Repository navigation

Speed up the lifting of rational parametrizations over QQ - #384

Open

mohabsafey wants to merge 9 commits into

algebraic-solving:masterfrom

mohabsafey:lifting-param

Open

Speed up the lifting of rational parametrizations over QQ#384
mohabsafey wants to merge 9 commits into
algebraic-solving:masterfrom
mohabsafey:lifting-param

Commits on Oct 28, 2026
- Use FLINT rational reconstruction when lifting parametrizations
  
  mohabsafey
  and
  claude
  committed
  49f3345
- Make the reconstruction period of parametrizations depend on primes only
  
  mohabsafey
  and
  claude
  committed
  bed9b06
- Apply CRT to parametrizations only when reconstructing them
  
  mohabsafey
  and
  claude
  committed
  3d3d0bd
- Keep a 16-bit margin in the reconstruction bounds of parametrizations
  
  mohabsafey
  and
  claude
  committed
  b3bc417
- Fall back to bounds from the guessed denominator for parametrizations
  
  mohabsafey
  and
  claude
  committed
  0cda8a0
- Fix a leak in mulmat_reconstruct and remove dead code from lifting.c
  
  mohabsafey
  and
  claude
  committed
  41ac422
- Reconstruct witnesses of eliminating polynomials with a common denominator
  
  mohabsafey
  and
  claude
  committed
  6986d4a
- Try a more skewed reconstruction bound for eliminating polynomials
  
  mohabsafey
  and
  claude
  committed
  9d7596a
- Fix small memory leaks in the setup of msolve_trace_qq
  
  mohabsafey
  and
  claude
  committed
  29eb86b