EuclidianDomain.cs

using System;
using Waher.Script.Abstraction.Elements;
 
namespace Waher.Script.Abstraction.Sets
{
    public abstract class EuclidianDomain : IntegralDomain, IEuclidianDomain
    {
        public EuclidianDomain()
            : base()
        {
        }
 
        public override ICommutativeRingElement Divide(ICommutativeRingElement Left, ICommutativeRingElement Right)
        {
            if (!(Left is IEuclidianDomainElement L) || !(Right is IEuclidianDomainElement R))
                return base.Divide(Left, Right);
            else
            {
                IEuclidianDomainElement Result = this.Divide(L, R, out IEuclidianDomainElement Remainder);
                if (Result is null || !Remainder.Equals(Remainder.AssociatedAbelianGroup.Zero))
                    return null;
                else
                    return Result;
            }
        }
 
        public abstract IEuclidianDomainElement Divide(IEuclidianDomainElement Left, IEuclidianDomainElement Right, out IEuclidianDomainElement Remainder);
 
    }
}