Module poly 

Polynomials and their monomials, in one, two, three or indexed-many variables, ordinary or Laurent.

Structs

MultiDeg

Multi-degree of a monomial, stored sparsely as { variable_index → exponent }. Zero exponents are elided.

MultiVar

A multivariate monomial in indexed variables Xᵢ, with exponents stored in a MultiDeg. The base symbol X is a const generic; the actual variables are X₀, X₁, … (displayed with subscripts).

PolyBase

A polynomial: a linear combination of monomials X with coefficients in R.

Var

A univariate monomial X^d, where the variable symbol X is a const generic and I is the exponent type (usize or isize).

Var2

A bivariate monomial X^i Y^j, with variable symbols X, Y as const generics and exponent type I (usize or isize).

Var3

A trivariate monomial X^i Y^j Z^k, with variable symbols X, Y, Z as const generics and exponent type I (usize or isize).

Traits

Mono

Abstract monomial, parameterized by its degree type Self::Deg.

MonoOrd

Lexicographic and graded-lex orderings on monomials.

Type Aliases

LPoly

Univariate Laurent polynomial R[X, X⁻¹].

LPoly2

Bivariate Laurent polynomial R[X, X⁻¹, Y, Y⁻¹].

LPoly3

Trivariate Laurent polynomial.

LPolyN

Multivariate Laurent polynomial in indexed variables X₀, X₁, ….

Poly

Univariate polynomial R[X].

Poly2

Bivariate polynomial R[X, Y].

Poly3

Trivariate polynomial R[X, Y, Z].

PolyN

Multivariate polynomial in indexed variables X₀, X₁, ….