RealNumbers.cs

using System;
using Waher.Script.Abstraction.Elements;
using Waher.Script.Abstraction.Sets;
 
namespace Waher.Script.Objects.Sets
{
    public sealed class RealNumbers : Set
    {
        private static readonly int hashCode = typeof(RealNumbers).GetHashCode();
 
        public RealNumbers()
        {
        }
 
        public static readonly RealNumbers Instance = new RealNumbers();
 
        public override bool Contains(IElement Element)
        {
            return Element.AssociatedObjectValue is double;
        }
 
        public override bool Equals(object obj)
        {
            return obj is RealNumbers;
        }
 
        public override int GetHashCode()
        {
            return hashCode;
        }
 
        public override string ToString()
        {
            return "ℝ";
        }
    }
}