Skip to content

Speed up and reduce the memory of Groebner bases over QQ - #383

Merged
ederc merged 4 commits into
algebraic-solving:masterfrom
mohabsafey:lifting-gb
Oct 25, 2026
Merged

ederc merged 4 commits into
algebraic-solving:masterfrom
mohabsafey:lifting-gb

Choose rational reconstruction bounds from the guessed denominator

76c931c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view