Structs§
- Array
Coef - Custom implementation of a fixed size coefficient using a static sized array.
- Mod
- The mod factor that we are using.
- Polynom
- Represents a polynomial. Contains additional data structures to allow for fast variable substitution.
- Term
- VarIndex
Traits§
- Coef
- A coefficient representation that can be used to perform variable substitution.
Functions§
- exec_
benchmark - Execute a benchmark in the format used by the FastPoly paper (FMCAD’25)
- parse_
poly