class interface INDETERMINATE

creation

make (var: STRING; lab: STRING)

— var is the variable
— lab is the label
— for example: use make("a","1") to create the indeterminate a_{1} (or a1)

feature(s) from INDETERMINATE

variable: STRING

label: STRING

make (var: STRING; lab: STRING)

— var is the variable
— lab is the label
— for example: use make("a","1") to create the indeterminate a_{1} (or a1)

deep_twin: INDETERMINATE

— Return a new object with the dynamic type of Current.
— The new object structure is recursively duplicated from the one
— attached to Current.

is_equal (other: like Current): BOOLEAN

— Is other attached to an object considered equal to
— current object ?

require

other /= Void

ensure

generating_type = other.generating_type implies Result = other.is_equal(Current)

infix "<" (other: like Current): BOOLEAN

require

other /= Void

infix "<=" (other: like Current): BOOLEAN

require

other /= Void

infix ">" (other: like Current): BOOLEAN

require

other /= Void

infix ">=" (other: like Current): BOOLEAN

require

other /= Void

print_text

print_latex

print_html

end of INDETERMINATE