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