- Introduction
- Polynomial Rings and Polynomials
- Structure Operations
- Element Operations
- Arithmetic Operators
- Equality and Membership
- Predicates on Ring Elements
- Coefficients, Monomials and Terms
- Coefficients(f) : RngMPolElt -> [ RngElt ]
- Coefficients(f, i) : RngMPolElt, RngIntElt -> [ RngElt ]
- Coefficient(f, i, k) : RngMPolElt, RngIntElt, RngIntElt -> RngElt
- LeadingCoefficient(f) : RngMPolElt -> RngElt
- LeadingCoefficient(f, i) : RngMPolElt, RngIntElt -> RngElt
- Length(f) : RngMPolElt -> RngIntElt
- TrailingCoefficient(f) : RngMPolElt -> RngElt
- TrailingCoefficient(f, i) : RngMPolElt, RngIntElt -> RngElt
- CoefficientDenominator(f) : RngMPolElt -> RngElt
- MonomialCoefficient(f, m) : RngMPolElt, RngMPolElt -> RngElt
- Monomials(f) : RngMPolElt -> [ RngMPolElt ]
- CoefficientsAndMonomials(f) : RngMPolElt -> [ RngElt ], [ RngMPolElt ]
- LeadingMonomial(f) : RngMPolElt -> RngMPolElt
- Terms(f) : RngMPolElt -> [ RngMPolElt ]
- Terms(f, i) : RngMPolElt, RngIntElt -> [ RngMPolElt ]
- Term(f, i, k) : RngMPolElt, RngIntElt, RngIntElt -> RngMPolElt
- LeadingTerm(f) : RngMPolElt -> RngMPolElt
- LeadingTerm(f, i) : RngMPolElt, RngIntElt -> RngMPolElt
- TrailingTerm(f) : RngMPolElt -> RngElt
- TrailingTerm(f, i) : RngMPolElt, RngIntElt -> RngElt
- Exponents(f) : RngMPolElt -> [ RngIntElt ]
- Monomial(P, E) : RngMPol, [ RngIntElt ] -> RngMPolElt
- Polynomial(C, M) : [RngElt], [RngMPolElt] -> RngMPolElt
- Example RngMPol_Coefficients (H25E4)
- Degrees
- Univariate Polynomials
- Derivative, Integral
- Evaluation, Interpolation
- Evaluate(f, s) : RngMPolElt, [ RngElt ] -> RngElt
- Evaluate(f, i, r) : RngMPolElt, RngMPolElt, RngElt -> RngMPolElt
- Interpolation(I, V, i) : [ RngElt ], [ RngMPolElt ], RngIntElt -> RngMPolElt
- Example RngMPol_Interpolate (H25E6)
- Quotient and Reductum
- Diagonalizing a Polynomial of Degree 2
- Greatest Common Divisors
- Factorization and Irreducibility
- Resultants and Discriminants
- Polynomials over the Integers
- Bibliography
V2.28, 13 July 2023