CommutativeRing.cs

using System;
using Waher.Script.Abstraction.Elements;
 
namespace Waher.Script.Abstraction.Sets
{
    public abstract class CommutativeRing : Ring, ICommutativeRing
    {
        public CommutativeRing()
            : base()
        {
        }
 
        public override sealed IRingElement RightDivide(IRingElement Left, IRingElement Right)
        {
            if (Left is ICommutativeRingElement L && Right is ICommutativeRingElement R)
                return this.Divide(L, R);
            else
                return base.RightDivide(Left, Right);
        }
 
        public virtual ICommutativeRingElement Divide(ICommutativeRingElement Left, ICommutativeRingElement Right)
        {
            return this.Multiply(Left, Right.Invert()) as ICommutativeRingElement;
        }
 
        public override sealed bool IsCommutative
        {
            get
            {
                return true;
            }
        }
 
    }
}