Module base 

Structs

Coeff

The polynomial is defined as coefficients

DeviceMatrix

DevicePoly

ExtendedLagrangeCoeff

The polynomial is defined as coefficients of Lagrange basis polynomials in an extended size domain which supports multiplication

LagrangeCoeff

The polynomial is defined as coefficients of Lagrange basis polynomials

Traits

Basis

The following trait and types are borrowed from halo2. The basis over which a polynomial is described.