Description: Reduction[aListOfPolynomials, aListOfRules] computes the Normal Forms of
aListOfPolynomials with respect to the rules aListOfRules.
Arguments: aListOfPolynomials is a list of polynomials. aListOfRules is a list of rules.
That is the rules are applied repeatedly to the polynomials in the list until no further
reduction occurs
Comments / Limitations: Not available before NCAlgebra 1.2
20.3.2 PolyToRule[aPolynomial]
Aliases: PolToRule,ToGBRule,ToGBRules
Description: PolyToRule[aPolynomial] returns the replacement rule corresponding to
aPolynomial, assuming the order of monomials has been set.
Arguments: aPolynomial is a polynomial
Comments / Limitations: Not available before NCAlgebra 1.2
20.3.3 RuleToPoly[aRule]
Aliases: None
Description: RuletoPoly[aRule] returns aPolynomial corresponding to the replacement rule
aRule.
Arguments: aPolynomial is a polynomial
Comments / Limitations: Not available before NCAlgebra 1.2