CommutativeRingElement.cs

using System;
using Waher.Script.Abstraction.Sets;
 
namespace Waher.Script.Abstraction.Elements
{
    public abstract class CommutativeRingElement : RingElement, ICommutativeRingElement
    {
        public CommutativeRingElement()
        {
        }
 
        public override IRingElement MultiplyLeft(IRingElement Element)
        {
            if (Element is ICommutativeRingElement E)
                return this.Multiply(E);
            else
                return null;
        }
 
        public override IRingElement MultiplyRight(IRingElement Element)
        {
            if (Element is ICommutativeRingElement E)
                return this.Multiply(E);
            else
                return null;
        }
 
        public abstract ICommutativeRingElement Multiply(ICommutativeRingElement Element);
 
        public override ISet AssociatedSet => this.AssociatedCommutativeRing;
 
        public override ISemiGroup AssociatedSemiGroup => this.AssociatedCommutativeRing;
 
        public override IGroup AssociatedGroup => this.AssociatedCommutativeRing;
 
        public override IAbelianGroup AssociatedAbelianGroup => this.AssociatedCommutativeRing;
 
        public override IRing AssociatedRing => this.AssociatedCommutativeRing;
 
        public abstract ICommutativeRing AssociatedCommutativeRing
        {
            get;
        }
    }
}