rings
rings copied to clipboard
LinearSolver: switch to Gauss-Bareiss elimination for certain problems over integral domains
(to avoid many gcd calculations in some cases)
This is also required for Groebner bases over Z (for F4 algorithm)