Bound the resultant's elimination by measured work rather than by reasoned size (#921) - #927

Aug 14, 2026

Bound the resultant's elimination by measured work rather than by reasoned size (#921)#927
Rafael-SOWNet merged 1 commit into
masterfrom
perf/resultant-sylvester-ceiling

Bound the resultant's elimination by measured work rather than by reasoned size (#921)