Repository navigation

Fix modular reduction during PolyRatFun expansion - #921

Open

cbmarini wants to merge 1 commit into

form-dev:masterfrom

cbmarini:polyfun-modulus

Open

Fix modular reduction during PolyRatFun expansion#921
cbmarini wants to merge 1 commit into
form-dev:masterfrom
cbmarini:polyfun-modulus

Commits on Oct 13, 2026
- fix: during PolyRatFun expansion, the coefficients of the expansion are
  cbmarini
  committed
  b037e07