31.4 Less Valuable Change of Variables Commands
These commands are used by the above commands. They would not be of use to the average
user.
31.4.1 NCXMultiplyByMonomials[ aVerySpecialList]
-
- Aliases: None
-
- Description: NCXMultiplyByMonomials[ aVerySpecialList] takes a list like the one returned
by NCXPossibleChangeOfVariables and returns the list appended (possibly) with new pairs
which are multiplied through by certain monomials (prefixes and suffixes of the candidate
for motivated unknown) on the left and/or right.
-
- Arguments: aVerySpecialList is list of pairs of polynomials, so it looks like {{poly1, poly2},
...,{poly3,poly4}} where poly1,..., poly4 are polynomials.
-
- Comments / Limitations: A new pair is gotten from an old pair by looking at the candidate for
motivated unknown and then multiplying by prefixes and suffixes of the candidate.
31.4.2 NCXAllPossibleChangeOfVariables[ aListOfPolynomials]
-
- Aliases: None
-
- Description: NCXAllPossibleChangeOfVariables[ aListOfPolynomials] takes a list of
polynomials and returns a list of pairs {P, C} where P is a polynomial from
aListOfPolynomials and C is on the left or right side of a product of knowns inside P after
P has been collected (with NCCollectOnVariables).
-
- Arguments: aListOfPolynomials is a list of polynomial expressions.
-
- Comments / Limitations: This procedrue uses the ambient order, so it must be set
before use. This procedure returns a dumb set of candidates for motivated unknowns.
NCXPossibleChangeOfVariables uses it and returns a more intelligent list of candidates.
Thus the average user would not find a need for this procedure.