Crate mvpoly

This module contains the definition of the MVPoly trait, which is used to represent multi-variate polynomials.

Different representations are provided in the sub-modules:

• monomials: a representation based on monomials
• prime: a representation based on a mapping from variables to prime numbers. This representation is unmaintained for now. We leave it for interested users.

“Expressions”, as defined in the kimchi crate, can be converted into a multi-variate polynomial using the from_expr method.

Modules

monomials

pbt

This module contains a list of property tests for the MVPoly trait.

prime

Multivariate polynomial dense representation using prime numbers

utils

This module contains functions to work with prime numbers and to compute dimension of multivariate spaces

Traits

MVPoly

Generic trait to represent a multi-variate polynomial

Functions

compute_combined_cross_terms

Compute the cross terms of a list of polynomials. The polynomials are linearly combined using the power of a combiner, often called α.