AngouriMath
TrySolveByLifting(PeterO.Numbers.ERational[][],System.Int32,System.Int32,AngouriMath.Entity[]@)
Method (no overloads)
Summary
Dixon's p-adic lifting on the system with every row scaled to integers: the rank
and a square nonsingular subsystem are found modulo a prime, its solution is lifted
digit by digit in that prime, each digit one solve modulo the prime, and the
rationals are reconstructed from the digits (Wang) and checked against every row
exactly. An unknown outside the pivot columns is zero, as in the eliminations.
and a square nonsingular subsystem are found modulo a prime, its solution is lifted
digit by digit in that prime, each digit one solve modulo the prime, and the
rationals are reconstructed from the digits (Wang) and checked against every row
exactly. An unknown outside the pivot columns is zero, as in the eliminations.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online