SemanticNumericLiteral.cs

using System;
using Waher.Content.Semantic.Model.Literals;
using Waher.Script.Abstraction.Elements;
using Waher.Script.Abstraction.Sets;
 
namespace Waher.Content.Semantic.Model
{
    public abstract class SemanticNumericLiteral : SemanticLiteral, IFieldElement
    {
        public SemanticNumericLiteral()
        {
        }
 
        public SemanticNumericLiteral(object Value, string StringValue)
            : base(Value, StringValue)
        {
        }
 
        public abstract double ComparableValue { get; }
 
        public override IRing AssociatedRing => SemanticNumericLiterals.Instance;
 
        public override IAbelianGroup AssociatedAbelianGroup => SemanticNumericLiterals.Instance;
 
        public override IAbelianGroupElement Zero => DoubleLiteral.ZeroInstance;
 
        public override IGroup AssociatedGroup => SemanticNumericLiterals.Instance;
 
        public override ISemiGroup AssociatedSemiGroup => SemanticNumericLiterals.Instance;
 
        public ICommutativeRingWithIdentity AssociatedCommutativeRingWithIdentity => SemanticNumericLiterals.Instance;
 
        public IEuclidianDomain AssociatedEuclidianDomain => SemanticNumericLiterals.Instance;
 
        public IIntegralDomain AssociatedIntegralDomain => SemanticNumericLiterals.Instance;
 
        public IField AssociatedField => SemanticNumericLiterals.Instance;
 
        public ICommutativeRingWithIdentityElement One => DoubleLiteral.OneInstance;
 
        public ICommutativeRing AssociatedCommutativeRing => SemanticNumericLiterals.Instance;
 
        public override int CompareTo(object obj)
        {
            if (obj is SemanticNumericLiteral Typed)
                return this.ComparableValue.CompareTo(Typed.ComparableValue);
            else
                return base.CompareTo(obj);
        }
 
        public override IRingElement MultiplyLeft(IRingElement Element)
        {
            if (Element is SemanticNumericLiteral Typed)
                return new DoubleLiteral(Typed.ComparableValue * this.ComparableValue);
            else
                return null;
        }
 
        public override IRingElement MultiplyRight(IRingElement Element)
        {
            if (Element is SemanticNumericLiteral Typed)
                return new DoubleLiteral(this.ComparableValue * Typed.ComparableValue);
            else
                return null;
        }
 
        public virtual ICommutativeRingElement Multiply(ICommutativeRingElement Element)
        {
            if (Element is SemanticNumericLiteral Typed)
                return new DoubleLiteral(Typed.ComparableValue * this.ComparableValue);
            else
                return null;
        }
 
        public override IRingElement Invert()
        {
            double d = this.ComparableValue;
            if (d == 0)
                return null;
            else
                return new DoubleLiteral(1.0 / d);
        }
 
        public override IAbelianGroupElement Add(IAbelianGroupElement Element)
        {
            if (Element is SemanticNumericLiteral Typed)
                return new DoubleLiteral(this.ComparableValue + Typed.ComparableValue);
            else
                return null;
        }
 
        public override IGroupElement Negate()
        {
            return new DoubleLiteral(-this.ComparableValue);
        }
 
        public override ISemiGroupElement AddLeft(ISemiGroupElement Element)
        {
            if (Element is SemanticNumericLiteral Typed)
                return new DoubleLiteral(Typed.ComparableValue + this.ComparableValue);
            else
                return null;
        }
 
        public override ISemiGroupElement AddRight(ISemiGroupElement Element)
        {
            if (Element is SemanticNumericLiteral Typed)
                return new DoubleLiteral(this.ComparableValue + Typed.ComparableValue);
            else
                return null;
        }
    }
}