AngouriMath
LiftFrom
Field
Summary
The width past which a rational system is solved by p-adic lifting: the reduced
fractions of Gauss-Jordan grow with every row they meet, and a system of sixty-three
unknowns over a hundred and thirty-eight rows -- the Hermite reduction of Welz's
1/((3 - 2x)^(21/2) (1 + x + 2x^2)^10) -- took two and a half minutes there,
and fraction-free elimination longer.
fractions of Gauss-Jordan grow with every row they meet, and a system of sixty-three
unknowns over a hundred and thirty-eight rows -- the Hermite reduction of Welz's
and fraction-free elimination longer.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online