General implementation of linear combinations, with an unbounded number of terms
Class for mixing together a number of LinearCombination
s that
are sorted by the same TermOrder
(namely by order
)
Class for representing linear combinations of terms.
Class for representing linear combinations of terms. Objects can be
considered as finite mappings from terms to integers (i.e., to the
coefficients). The terms are stored in an array that is sorted in descending
order according to a TermOrder
.
Constant linear combinations
Linear combinations with exactly one non-constant term
Linear combinations with exactly two non-constant term
Class for mixing together a number of
LinearCombination
s that are sorted by the sameTermOrder
(namely byorder
)