Skip to main content

Module over_fixed_semiring

Module over_fixed_semiring 

Source

Structsยง

DynamicPolynomialFS
Polynomials of dynamic degree. The implementation is tailored to work with FixedSemirings. To be used in UAIR and PIOP where ZIP+ degree bound is not observed anymore.