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