ObjectVectors.cs

using System;
using Waher.Script.Abstraction.Sets;
using Waher.Script.Abstraction.Elements;
using Waher.Script.Exceptions;
 
namespace Waher.Script.Objects.VectorSpaces
{
    public sealed class ObjectVectors : VectorSpace
    {
        private readonly ObjectVector referenceVector;
        private readonly int dimension;
 
        public ObjectVectors(ObjectVector ReferenceVector)
        {
            this.dimension = ReferenceVector.Dimension;
            this.referenceVector = ReferenceVector;
        }
 
        public int Dimension => this.dimension;
 
        public override IRing ScalarRing
        {
            get
            {
                if (!(this.scalarRing is null))
                    return this.scalarRing;
 
                IElement Ref = null;
                IElement Ref2 = null;
                ISet Set = null;
                ISet Set2;
 
                foreach (IElement Element in this.referenceVector.Elements)
                {
                    if (Set is null)
                    {
                        Ref = Element;
                        Set = Element.AssociatedSet;
                    }
                    else
                    {
                        Set2 = Element.AssociatedSet;
                        if (!Set.Equals(Set2))
                        {
                            if (!Expression.UpgradeField(ref Ref, ref Set, ref Ref2, ref Set2))
                                throw new ScriptException("No common scalar ring found.");
                        }
                    }
                }
 
                this.scalarRing = Set as IRing;
                if (this.scalarRing is null)
                    throw new ScriptException("No common scalar ring found.");
 
                return this.scalarRing;
            }
        }
 
        private IRing scalarRing = null;
 
        public override IField ScalarField
        {
            get
            {
                if (!(this.scalarField is null))
                    return this.scalarField;
 
                this.scalarField = this.ScalarRing as IField;
                if (this.scalarField is null)
                    throw new ScriptException("No common scalar field found.");
 
                return this.scalarField;
            }
        }
 
        private IField scalarField = null;
 
        public override IAbelianGroupElement Zero
        {
            get
            {
                return this.ScalarRing.Zero;
            }
        }
 
        public override bool Contains(IElement Element)
        {
            if (Element is ObjectVector v)
                return v.Dimension == this.dimension;
            else
                return false;
        }
 
        public override bool Equals(object obj)
        {
            return (obj is ObjectVectors v && v.dimension == this.dimension);
        }
 
        public override int GetHashCode()
        {
            return this.dimension.GetHashCode();
        }
 
    }
}