6 ms·* "monic" = the leading coefficient is 1by huhtenberg 7d ago* "monic" = the leading coefficient is 1NooneAtAll3 7d ago> non-monic input costs 1 extra scalar multiplication I guess that's covered