creation
make
initializes this term to the TERM equivalent for1
feature(s) from TERM
termfactors: LINKED_LIST[FACTOR]
make
initializes this term to the TERM equivalent for1
add_indeterminate_exponent (indet: INDETERMINATE; exponent: INTEGER)
require
indet /= Void;
exponent >= 0
add_variable_exponent (name: STRING; power: INTEGER)
label on variable will be Void
require
name /= Void;
power >= 0
add_variable_label_exponent (variable: STRING; label: STRING; power: INTEGER)
require
variable /= Void;
label /= Void;
power >= 0
add_factor (fac: FACTOR)
factors are inserted in lexicographic order
require
fac /= Void
clone_factors (other: TERM)
require
other /= Void
clone_term: like Current
synonym for deep_copy
deep_twin: like Current
Return a new object with the dynamic type of Current.
The new object structure is recursively duplicated from the one
attached to Current.
remove_factor (index: INTEGER)
require
index <= termfactors.upper;
index >= termfactors.lower
remove_factor_by_name (fac: FACTOR)
require
fac /= Void
is_like (other: TERM): BOOLEAN
require
other /= Void
require
other /= Void
divisible_by (other: TERM): BOOLEAN
require
other /= Void
infix "//" (other: TERM): TERM
require
other /= Void;
divisible_by(other)
infix "#^" (power: INTEGER): TERM
require
power >= 0
require
other /= Void
require
other /= Void
is_one: BOOLEAN
is_relatively_prime_to (other: TERM): BOOLEAN
print_text
print_latex
print_html
exponent_vector: ARRAY[INTEGER]
if you want to know which variables apply to these exponents, use variable_vector
variable_vector: ARRAY[INDETERMINATE]
does not clone the indeterminates
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)
compose (inputs: ARRAY[COMPOSITION_PAIR]): POLYNOMIAL
composes the variables of Current with inputs
for each i, (inputs @ i).
works with partial composition (i.e., not all variables are replaced)
infix "#@" (inputs: ARRAY[COMPOSITION_PAIR]): POLYNOMIAL
synonym for compose
end of TERM