Repository navigation

Split the solution set along equal coordinates and find separating elements from the multiplication matrices - #388

Open

mohabsafey wants to merge 17 commits into

algebraic-solving:masterfrom

mohabsafey:sep-element

Open

Split the solution set along equal coordinates and find separating elements from the multiplication matrices#388
mohabsafey wants to merge 17 commits into
algebraic-solving:masterfrom
mohabsafey:sep-element

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
Commits on Oct 30, 2026
- Search for a separating element from the multiplication matrices
  
  mohabsafey
  and
  claude
  committed
  f453cdb
Commits on Oct 31, 2026
- Compute parametrizations from the multiplication matrix when the form slows F4
  
  mohabsafey
  and
  claude
  committed
  446f10b
- Lift the components of the solution set separately when it splits
  
  mohabsafey
  and
  claude
  committed
  a7436c5
- Isolate the real roots of the components of the solution set separately
  
  mohabsafey
  and
  claude
  committed
  7258ddc
- Free the coordinate of the added variable in the real points
  
  mohabsafey
  and
  claude
  committed
  5470ef2
- Add the files of the fekete-valdes n5 test to the distribution
  
  mohabsafey
  and
  claude
  committed
  d9a98ad
- Test linear forms in the search for a separating element by power projections
  
  mohabsafey
  and
  claude
  committed
  d9c7f8d
Commits on Nov 1, 2026
- Pad the coordinates of recombined parametrizations to the degree of the eliminating polynomial
  
  mohabsafey
  and
  claude
  committed
  4f2629d

Commits

Commits on Oct 28, 2026

Commits on Oct 30, 2026

Commits on Oct 31, 2026

Commits on Nov 1, 2026