#486 - Add Temperature Unit (#487)

xFunc.Maths/Analyzers/Analyzer{TResult,TContext}.cs

@@ -113,6 +113,10 @@ public virtual TResult Analyze(Angle exp, TContext context)
     public virtual TResult Analyze(Power exp, TContext context)
         => Analyze(exp as IExpression, context);
 
+    /// <inheritdoc />
+    public virtual TResult Analyze(Temperature exp, TContext context)
+        => Analyze(exp as IExpression, context);
+
     /// <inheritdoc />
     public virtual TResult Analyze(ToDegree exp, TContext context)
         => Analyze(exp as IExpression, context);

xFunc.Maths/Analyzers/Analyzer{TResult}.cs

@@ -112,6 +112,10 @@ public virtual TResult Analyze(Angle exp)
     public virtual TResult Analyze(Power exp)
         => Analyze(exp as IExpression);
 
+    /// <inheritdoc />
+    public virtual TResult Analyze(Temperature exp)
+        => Analyze(exp as IExpression);
+
     /// <inheritdoc />
     public virtual TResult Analyze(ToDegree exp)
         => Analyze(exp as IExpression);

xFunc.Maths/Analyzers/Differentiator.cs

@@ -226,6 +226,14 @@ public override IExpression Analyze(Power exp, DifferentiatorContext context)
         return Number.Zero;
     }
 
+    /// <inheritdoc />
+    public override IExpression Analyze(Temperature exp, DifferentiatorContext context)
+    {
+        ValidateArguments(exp, context);
+
+        return Number.Zero;
+    }
+
     /// <inheritdoc />
     public override IExpression Analyze(Pow exp, DifferentiatorContext context)
     {

xFunc.Maths/Analyzers/Formatters/CommonFormatter.cs

@@ -157,6 +157,10 @@ public virtual string Analyze(Angle exp)
     public virtual string Analyze(Power exp)
         => exp.Value.ToString();
 
+    /// <inheritdoc />
+    public virtual string Analyze(Temperature exp)
+        => exp.Value.ToString();
+
     /// <inheritdoc />
     public virtual string Analyze(ToDegree exp)
         => ToString(exp, "todegree({0})");

xFunc.Maths/Analyzers/IAnalyzer{TResult,TContext}.cs

@@ -204,6 +204,14 @@ public interface IAnalyzer<out TResult, in TContext>
     /// <returns>The result of analysis.</returns>
     TResult Analyze(Power exp, TContext context);
 
+    /// <summary>
+    /// Analyzes the specified expression.
+    /// </summary>
+    /// <param name="exp">The expression.</param>
+    /// <param name="context">The context.</param>
+    /// <returns>The result of analysis.</returns>
+    TResult Analyze(Temperature exp, TContext context);
+
     /// <summary>
     /// Analyzes the specified expression.
     /// </summary>

xFunc.Maths/Analyzers/IAnalyzer{TResult}.cs

@@ -179,6 +179,13 @@ public interface IAnalyzer<out TResult>
     /// <returns>The result of analysis.</returns>
     TResult Analyze(Power exp);
 
+    /// <summary>
+    /// Analyzes the specified expression.
+    /// </summary>
+    /// <param name="exp">The expression.</param>
+    /// <returns>The result of analysis.</returns>
+    TResult Analyze(Temperature exp);
+
     /// <summary>
     /// Analyzes the specified expression.
     /// </summary>

xFunc.Maths/Analyzers/TypeAnalyzers/ResultTypes.cs

@@ -66,6 +66,11 @@ public enum ResultTypes
     /// </summary>
     PowerNumber = 1 << 9,
 
+    /// <summary>
+    /// The expression returns a temperature number.
+    /// </summary>
+    TemperatureNumber = 1 << 10,
+
     /// <summary>
     /// The expression returns a number or a complex number.
     /// </summary>
@@ -81,18 +86,20 @@ public enum ResultTypes
     /// </summary>
     NumberOrAngleOrComplex = NumberOrAngle | ComplexNumber,
 
-    /// <summary>
-    /// The expression returns a number or a angle number or a complex number or a vector.
-    /// </summary>
-    NumberOrAngleOrComplexOrVector = NumberOrAngleOrComplex | Vector,
-
     /// <summary>
     /// The expression returns a number or a vector or a matrix.
     /// </summary>
     NumberOrVectorOrMatrix = Number | Vector | Matrix,
 
+    // TODO: remove?
+
     /// <summary>
     /// The expression returns any type of number.
     /// </summary>
-    Numbers = Number | AngleNumber | PowerNumber,
+    Numbers = Number | AngleNumber | PowerNumber | TemperatureNumber,
+
+    /// <summary>
+    /// The expression returns a number or a angle number or a complex number or a vector.
+    /// </summary>
+    NumbersOrComplexOrVector = Numbers | ComplexNumber | Vector,
 }

xFunc.Maths/Analyzers/TypeAnalyzers/TypeAnalyzer.cs

@@ -111,9 +111,12 @@ private ResultTypes AnalyzeRelational([NotNull] BinaryExpression? exp)
                 (ResultTypes.Undefined, ResultTypes.AngleNumber) or
                 (ResultTypes.PowerNumber, ResultTypes.Undefined) or
                 (ResultTypes.Undefined, ResultTypes.PowerNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.Undefined) or
+                (ResultTypes.Undefined, ResultTypes.TemperatureNumber) or
                 (ResultTypes.Number, ResultTypes.Number) or
                 (ResultTypes.AngleNumber, ResultTypes.AngleNumber) or
-                (ResultTypes.PowerNumber, ResultTypes.PowerNumber)
+                (ResultTypes.PowerNumber, ResultTypes.PowerNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.TemperatureNumber)
                 => ResultTypes.Boolean,
 
             (_, ResultTypes.Number) => ResultTypes.Number.ThrowForLeft(leftResult),
@@ -125,6 +128,9 @@ private ResultTypes AnalyzeRelational([NotNull] BinaryExpression? exp)
             (_, ResultTypes.PowerNumber) => ResultTypes.PowerNumber.ThrowForLeft(leftResult),
             (ResultTypes.PowerNumber, _) => ResultTypes.PowerNumber.ThrowForRight(rightResult),
 
+            (_, ResultTypes.TemperatureNumber) => ResultTypes.TemperatureNumber.ThrowForLeft(leftResult),
+            (ResultTypes.TemperatureNumber, _) => ResultTypes.TemperatureNumber.ThrowForRight(rightResult),
+
             _ => throw new ParameterTypeMismatchException(),
         };
     }
@@ -198,10 +204,13 @@ private ResultTypes AnalyzeEquality([NotNull] BinaryExpression? exp)
                 (ResultTypes.Undefined, ResultTypes.AngleNumber) or
                 (ResultTypes.PowerNumber, ResultTypes.Undefined) or
                 (ResultTypes.Undefined, ResultTypes.PowerNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.Undefined) or
+                (ResultTypes.Undefined, ResultTypes.TemperatureNumber) or
                 (ResultTypes.Number, ResultTypes.Number) or
                 (ResultTypes.Boolean, ResultTypes.Boolean) or
                 (ResultTypes.AngleNumber, ResultTypes.AngleNumber) or
-                (ResultTypes.PowerNumber, ResultTypes.PowerNumber)
+                (ResultTypes.PowerNumber, ResultTypes.PowerNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.TemperatureNumber)
                 => ResultTypes.Boolean,
 
             (_, ResultTypes.Number) => ResultTypes.Number.ThrowForLeft(leftResult),
@@ -216,6 +225,9 @@ private ResultTypes AnalyzeEquality([NotNull] BinaryExpression? exp)
             (_, ResultTypes.PowerNumber) => ResultTypes.PowerNumber.ThrowForLeft(leftResult),
             (ResultTypes.PowerNumber, _) => ResultTypes.PowerNumber.ThrowForRight(rightResult),
 
+            (_, ResultTypes.TemperatureNumber) => ResultTypes.TemperatureNumber.ThrowForLeft(leftResult),
+            (ResultTypes.TemperatureNumber, _) => ResultTypes.TemperatureNumber.ThrowForRight(rightResult),
+
             _ => throw new ParameterTypeMismatchException(),
         };
     }
@@ -296,7 +308,8 @@ public virtual ResultTypes Analyze(Abs exp)
                 => ResultTypes.Number,
             ResultTypes.AngleNumber => ResultTypes.AngleNumber,
             ResultTypes.PowerNumber => ResultTypes.PowerNumber,
-            _ => ResultTypes.NumberOrAngleOrComplexOrVector.ThrowFor(result),
+            ResultTypes.TemperatureNumber => ResultTypes.TemperatureNumber,
+            _ => ResultTypes.NumbersOrComplexOrVector.ThrowFor(result),
         };
     }
 
@@ -327,6 +340,11 @@ public virtual ResultTypes Analyze(Add exp)
                 (ResultTypes.PowerNumber, ResultTypes.PowerNumber)
                 => ResultTypes.PowerNumber,
 
+            (ResultTypes.Number, ResultTypes.TemperatureNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.Number) or
+                (ResultTypes.TemperatureNumber, ResultTypes.TemperatureNumber)
+                => ResultTypes.TemperatureNumber,
+
             (ResultTypes.Number, ResultTypes.ComplexNumber) or
                 (ResultTypes.ComplexNumber, ResultTypes.Number) or
                 (ResultTypes.ComplexNumber, ResultTypes.ComplexNumber)
@@ -369,7 +387,8 @@ public virtual ResultTypes Analyze(Ceil exp)
             ResultTypes.Number => ResultTypes.Number,
             ResultTypes.AngleNumber => ResultTypes.AngleNumber,
             ResultTypes.PowerNumber => ResultTypes.PowerNumber,
-            _ => ResultTypes.NumberOrAngle.ThrowFor(result),
+            ResultTypes.TemperatureNumber => ResultTypes.TemperatureNumber,
+            _ => ResultTypes.Numbers.ThrowFor(result),
         };
     }
 
@@ -426,6 +445,11 @@ public virtual ResultTypes Analyze(Div exp)
                 (ResultTypes.PowerNumber, ResultTypes.PowerNumber)
                 => ResultTypes.PowerNumber,
 
+            (ResultTypes.Number, ResultTypes.TemperatureNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.Number) or
+                (ResultTypes.TemperatureNumber, ResultTypes.TemperatureNumber)
+                => ResultTypes.TemperatureNumber,
+
             (ResultTypes.Number, ResultTypes.ComplexNumber) or
                 (ResultTypes.ComplexNumber, ResultTypes.Number) or
                 (ResultTypes.ComplexNumber, ResultTypes.ComplexNumber)
@@ -485,6 +509,7 @@ public virtual ResultTypes Analyze(Floor exp)
             ResultTypes.Number => ResultTypes.Number,
             ResultTypes.AngleNumber => ResultTypes.AngleNumber,
             ResultTypes.PowerNumber => ResultTypes.PowerNumber,
+            ResultTypes.TemperatureNumber => ResultTypes.TemperatureNumber,
             _ => ResultTypes.NumberOrAngle.ThrowFor(result),
         };
     }
@@ -503,6 +528,7 @@ public virtual ResultTypes Analyze(Trunc exp)
             ResultTypes.Number => ResultTypes.Number,
             ResultTypes.AngleNumber => ResultTypes.AngleNumber,
             ResultTypes.PowerNumber => ResultTypes.PowerNumber,
+            ResultTypes.TemperatureNumber => ResultTypes.TemperatureNumber,
             _ => ResultTypes.NumberOrAngle.ThrowFor(result),
         };
     }
@@ -521,6 +547,7 @@ public virtual ResultTypes Analyze(Frac exp)
             ResultTypes.Number => ResultTypes.Number,
             ResultTypes.AngleNumber => ResultTypes.AngleNumber,
             ResultTypes.PowerNumber => ResultTypes.PowerNumber,
+            ResultTypes.TemperatureNumber => ResultTypes.TemperatureNumber,
             _ => ResultTypes.NumberOrAngle.ThrowFor(result),
         };
     }
@@ -687,6 +714,11 @@ public virtual ResultTypes Analyze(Mul exp)
                 (ResultTypes.PowerNumber, ResultTypes.PowerNumber)
                 => ResultTypes.PowerNumber,
 
+            (ResultTypes.Number, ResultTypes.TemperatureNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.Number) or
+                (ResultTypes.TemperatureNumber, ResultTypes.TemperatureNumber)
+                => ResultTypes.TemperatureNumber,
+
             (ResultTypes.Number, ResultTypes.ComplexNumber) or
                 (ResultTypes.ComplexNumber, ResultTypes.Number) or
                 (ResultTypes.ComplexNumber, ResultTypes.ComplexNumber)
@@ -732,6 +764,10 @@ public virtual ResultTypes Analyze(Angle exp)
     public virtual ResultTypes Analyze(Power exp)
         => CheckArgument(exp, ResultTypes.PowerNumber);
 
+    /// <inheritdoc />
+    public virtual ResultTypes Analyze(Temperature exp)
+        => CheckArgument(exp, ResultTypes.TemperatureNumber);
+
     /// <inheritdoc />
     public virtual ResultTypes Analyze(ToDegree exp)
         => AngleConversion(exp);
@@ -867,6 +903,11 @@ public virtual ResultTypes Analyze(Sub exp)
                 (ResultTypes.PowerNumber, ResultTypes.PowerNumber)
                 => ResultTypes.PowerNumber,
 
+            (ResultTypes.Number, ResultTypes.TemperatureNumber) or
+                (ResultTypes.TemperatureNumber, ResultTypes.Number) or
+                (ResultTypes.TemperatureNumber, ResultTypes.TemperatureNumber)
+                => ResultTypes.TemperatureNumber,
+
             (ResultTypes.Number, ResultTypes.ComplexNumber) or
                 (ResultTypes.ComplexNumber, ResultTypes.Number) or
                 (ResultTypes.ComplexNumber, ResultTypes.ComplexNumber)
@@ -905,6 +946,7 @@ public virtual ResultTypes Analyze(UnaryMinus exp)
             ResultTypes.Number => ResultTypes.Number,
             ResultTypes.AngleNumber => ResultTypes.AngleNumber,
             ResultTypes.PowerNumber => ResultTypes.PowerNumber,
+            ResultTypes.TemperatureNumber => ResultTypes.TemperatureNumber,
             ResultTypes.ComplexNumber => ResultTypes.ComplexNumber,
             _ => ResultTypes.NumberOrComplex.ThrowFor(result),
         };
@@ -938,9 +980,10 @@ public virtual ResultTypes Analyze(Sign exp)
         {
             ResultTypes.Undefined => ResultTypes.Undefined,
             ResultTypes.Number => ResultTypes.Number,
-            ResultTypes.AngleNumber => ResultTypes.AngleNumber,
-            ResultTypes.PowerNumber => ResultTypes.PowerNumber,
-            _ => ResultTypes.Number.ThrowFor(result),
+            ResultTypes.AngleNumber => ResultTypes.Number,
+            ResultTypes.PowerNumber => ResultTypes.Number,
+            ResultTypes.TemperatureNumber => ResultTypes.Number,
+            _ => ResultTypes.Numbers.ThrowFor(result),
         };
     }
 
@@ -974,6 +1017,7 @@ ResultTypes.Undefined or
                 ResultTypes.Number => ResultTypes.Undefined,
             ResultTypes.AngleNumber => ResultTypes.AngleNumber,
             ResultTypes.PowerNumber => ResultTypes.PowerNumber,
+            ResultTypes.TemperatureNumber => ResultTypes.TemperatureNumber,
 
             _ => ResultTypes.Numbers.ThrowFor(valueResult),
         };

xFunc.Maths/Expressions/Abs.cs

@@ -42,6 +42,7 @@ public override object Execute(ExpressionParameters? parameters)
             NumberValue number => NumberValue.Abs(number),
             AngleValue angle => AngleValue.Abs(angle),
             PowerValue power => PowerValue.Abs(power),
+            TemperatureValue temperature => TemperatureValue.Abs(temperature),
             Complex complex => Complex.Abs(complex),
             Vector vector => vector.Abs(parameters),
             _ => throw new ResultIsNotSupportedException(this, result),

xFunc.Maths/Expressions/Add.cs

@@ -51,6 +51,10 @@ public override object Execute(ExpressionParameters? parameters)
             (PowerValue left, NumberValue right) => left + right,
             (PowerValue left, PowerValue right) => left + right,
 
+            (NumberValue left, TemperatureValue right) => left + right,
+            (TemperatureValue left, NumberValue right) => left + right,
+            (TemperatureValue left, TemperatureValue right) => left + right,
+
             (NumberValue left, Complex right) => left + right,
             (Complex left, NumberValue right) => left + right,
             (Complex left, Complex right) => left + right,

xFunc.Maths/Expressions/Ceil.cs

@@ -40,6 +40,7 @@ public override object Execute(ExpressionParameters? parameters)
             NumberValue number => NumberValue.Ceiling(number),
             AngleValue angle => AngleValue.Ceiling(angle),
             PowerValue power => PowerValue.Ceiling(power),
+            TemperatureValue temperature => TemperatureValue.Ceiling(temperature),
             _ => throw new ResultIsNotSupportedException(this, result),
         };
     }

xFunc.Maths/Expressions/Collections/ParameterValue.cs

@@ -36,6 +36,12 @@ public ParameterValue(PowerValue value)
     {
     }
 
+    /// <inheritdoc cref="ParameterValue(object)"/>
+    public ParameterValue(TemperatureValue value)
+        : this(value as object)
+    {
+    }
+
     /// <inheritdoc cref="ParameterValue(object)"/>
     public ParameterValue(Complex value)
         : this(value as object)
@@ -79,6 +85,7 @@ internal ParameterValue(object value)
             value is NumberValue
                 or AngleValue
                 or PowerValue
+                or TemperatureValue
                 or Complex
                 or bool
                 or Vector
@@ -109,6 +116,10 @@ or Matrix
     public static implicit operator ParameterValue(PowerValue value)
         => new ParameterValue(value);
 
+    /// <inheritdoc cref="ParameterValue.op_Implicit(double)"/>
+    public static implicit operator ParameterValue(TemperatureValue value)
+        => new ParameterValue(value);
+
     /// <inheritdoc cref="ParameterValue.op_Implicit(double)"/>
     public static implicit operator ParameterValue(Complex value)
         => new ParameterValue(value);

xFunc.Maths/Expressions/Div.cs

@@ -49,6 +49,10 @@ public override object Execute(ExpressionParameters? parameters)
             (PowerValue left, NumberValue right) => left / right,
             (PowerValue left, PowerValue right) => left / right,
 
+            (NumberValue left, TemperatureValue right) => left / right,
+            (TemperatureValue left, NumberValue right) => left / right,
+            (TemperatureValue left, TemperatureValue right) => left / right,
+
             (NumberValue left, Complex right) => left / right,
             (Complex left, NumberValue right) => left / right,
             (Complex left, Complex right) => left / right,

xFunc.Maths/Expressions/Floor.cs

@@ -40,6 +40,7 @@ public override object Execute(ExpressionParameters? parameters)
             NumberValue number => NumberValue.Floor(number),
             AngleValue angle => AngleValue.Floor(angle),
             PowerValue power => PowerValue.Floor(power),
+            TemperatureValue temperature => TemperatureValue.Floor(temperature),
             _ => throw new ResultIsNotSupportedException(this, result),
         };
     }

xFunc.Maths/Expressions/Frac.cs

@@ -40,6 +40,7 @@ public override object Execute(ExpressionParameters? parameters)
             NumberValue number => NumberValue.Frac(number),
             AngleValue angle => AngleValue.Frac(angle),
             PowerValue power => PowerValue.Frac(power),
+            TemperatureValue temperature => TemperatureValue.Frac(temperature),
             _ => throw new ResultIsNotSupportedException(this, result),
         };
     }

xFunc.Maths/Expressions/Mul.cs

@@ -50,6 +50,10 @@ public override object Execute(ExpressionParameters? parameters)
             (PowerValue left, NumberValue right) => left * right,
             (PowerValue left, PowerValue right) => left * right,
 
+            (NumberValue left, TemperatureValue right) => left * right,
+            (TemperatureValue left, NumberValue right) => left * right,
+            (TemperatureValue left, TemperatureValue right) => left * right,
+
             (NumberValue left, Complex right) => left * right,
             (Complex left, NumberValue right) => left * right,
             (Complex left, Complex right) => left * right,