Maths value Application Object

A Maths_value is a Class that is a value within a mathematical space.

NOTE - For efficiency Maths_value is a TYPE rather than and ENTITY in the EXPRESS. Hence Maths_value cannot be a SUBTYPE of Class.

EXPRESS specification:

*)
TYPE Maths_value = SELECT (
  Maths_atom,
  Maths_function,
  Maths_space,
  Maths_tuple);
END_TYPE;
(*