20.3 Reduction

20.3.1 Reduction[aListOfPolynomials, aListOfRules]

Aliases: None
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