DateTimeVectors.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 DateTimeVectors : VectorSpace
    {
        private readonly int dimension;
 
        public DateTimeVectors(int Dimension)
        {
            this.dimension = Dimension;
        }
 
        public int Dimension => this.dimension;
 
        public override IField ScalarField
        {
            get { throw new ScriptException("Scalar field not defined for generic object vectors."); }
        }
 
        public override IAbelianGroupElement Zero
        {
            get { throw new ScriptException("Zero element not defined for generic object vectors."); }
        }
 
        public override bool Contains(IElement Element)
        {
            if (Element is DateTimeVector v)
                return v.Dimension == this.dimension;
            else
                return false;
        }
 
        public override bool Equals(object obj)
        {
            return (obj is DateTimeVectors v && v.dimension == this.dimension);
        }
 
        public override int GetHashCode()
        {
            return this.dimension.GetHashCode();
        }
 
    }
}