RationalSparse -> LAModularSolve -> IntegerLinearS...

Christian Wolinski — Fri, 23 Oct 2026 17:04:49 Z

@dharr I was going to add what I found

The error is reproducible and the trace gives output below, from here I presume: showstat(LinearAlgebra:-Modular:-IntegerLinearSolve);
That is reached via kernelopts(opaquemodules=false); showstat(SolveTools:-LinearSolvers:-RationalSparse:-RationalSparse); readlib(SolveTools:-LinearSolvers:-RationalSparse): showstat(SolveTools:-LinearSolvers:-RationalSparse:-LAModularSolve).

IntegerLinearSolve: 36 x 112 dense linear system with 1 rhs
IntegerLinearSolve: using integer[8] coefficients
IntegerLinearSolve: row reducing modulo 3471051047
IntegerLinearSolve: counts discarded, rank set to 36
IntegerLinearSolve: 36 x 36, 36 rhs, bound: 315 steps at 32 bits
IntegerLinearSolve: lifting vector 1 of 36
IntegerLinearSolve: lift: 1 to 2
IntegerLinearSolve: lift: 3 to 4
IntegerLinearSolve: lift: 5 to 8
IntegerLinearSolve: lift: 9 to 16
IntegerLinearSolve: lift: 17 to 32
IntegerLinearSolve: RR success, denom=304 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 1 checks out
IntegerLinearSolve: lifting vector 2 of 36
IntegerLinearSolve: lift: 1 to 24
IntegerLinearSolve: RR success, denom=7 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 2 checks out
IntegerLinearSolve: lifting vector 3 of 36
IntegerLinearSolve: lift: 1 to 27
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 3 checks out
IntegerLinearSolve: lifting vector 4 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 4 checks out
IntegerLinearSolve: lifting vector 5 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 5 checks out
IntegerLinearSolve: lifting vector 6 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 6 checks out
IntegerLinearSolve: lifting vector 7 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 7 checks out
IntegerLinearSolve: lifting vector 8 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 8 checks out
IntegerLinearSolve: lifting vector 9 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 9 checks out
IntegerLinearSolve: lifting vector 10 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 10 checks out
IntegerLinearSolve: lifting vector 11 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=5 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 11 checks out
IntegerLinearSolve: lifting vector 12 of 36
IntegerLinearSolve: lift: 1 to 26
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 12 checks out
IntegerLinearSolve: lifting vector 13 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 13 checks out
IntegerLinearSolve: lifting vector 14 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 14 checks out
IntegerLinearSolve: lifting vector 15 of 36
IntegerLinearSolve: lift: 1 to 27
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 15 checks out
IntegerLinearSolve: lifting vector 16 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 16 checks out
IntegerLinearSolve: lifting vector 17 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 17 checks out
IntegerLinearSolve: lifting vector 18 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 18 checks out
IntegerLinearSolve: lifting vector 19 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 19 checks out
IntegerLinearSolve: lifting vector 20 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 20 checks out
IntegerLinearSolve: lifting vector 21 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 21 checks out
IntegerLinearSolve: lifting vector 22 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 22 checks out
IntegerLinearSolve: lifting vector 23 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 23 checks out
IntegerLinearSolve: lifting vector 24 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 24 checks out
IntegerLinearSolve: lifting vector 25 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 25 checks out
IntegerLinearSolve: lifting vector 26 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 26 checks out
IntegerLinearSolve: lifting vector 27 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 27 checks out
IntegerLinearSolve: lifting vector 28 of 36
IntegerLinearSolve: lift: 1 to 30
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 28 checks out
IntegerLinearSolve: lifting vector 29 of 36
IntegerLinearSolve: lift: 1 to 31
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 29 checks out
IntegerLinearSolve: lifting vector 30 of 36
IntegerLinearSolve: lift: 1 to 27
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 30 checks out
IntegerLinearSolve: lifting vector 31 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 31 checks out
IntegerLinearSolve: lifting vector 32 of 36
IntegerLinearSolve: lift: 1 to 29
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 32 checks out
IntegerLinearSolve: lifting vector 33 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 33 checks out
IntegerLinearSolve: lifting vector 34 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 34 checks out
IntegerLinearSolve: lifting vector 35 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 35 checks out
IntegerLinearSolve: lifting vector 36 of 36
IntegerLinearSolve: lift: 1 to 28
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 36 checks out
IntegerLinearSolve: multiplying rhs by inverse
IntegerLinearSolve: solving complete
IntegerLinearSolve: 222 x 277 dense linear system with 1 rhs
IntegerLinearSolve: using integer[8] coefficients
IntegerLinearSolve: row reducing modulo 2566416427
IntegerLinearSolve: counts discarded, rank set to 118
IntegerLinearSolve: row reducing modulo 2566416409
IntegerLinearSolve: 2 images have this rank profile
IntegerLinearSolve: row reducing modulo 2566416401
IntegerLinearSolve: 3 images have this rank profile
IntegerLinearSolve: 118 x 118, 118 rhs, bound: 1767 steps at 31 bits
IntegerLinearSolve: lifting vector 1 of 118
IntegerLinearSolve: lift: 1 to 2
IntegerLinearSolve: lift: 3 to 4
IntegerLinearSolve: lift: 5 to 8
IntegerLinearSolve: lift: 9 to 16
IntegerLinearSolve: lift: 17 to 32
IntegerLinearSolve: lift: 33 to 64
IntegerLinearSolve: RR success, denom=943 bits
IntegerLinearSolve: lift: 65 to 128
IntegerLinearSolve: RR success, denom=997 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 1 checks out
IntegerLinearSolve: lifting vector 2 of 118
IntegerLinearSolve: lift: 1 to 58
IntegerLinearSolve: RR success, denom=4 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 2 checks out
IntegerLinearSolve: lifting vector 3 of 118
IntegerLinearSolve: lift: 1 to 60
IntegerLinearSolve: RR success, denom=3 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 3 checks out
IntegerLinearSolve: lifting vector 4 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 4 checks out
IntegerLinearSolve: lifting vector 5 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 5 checks out
IntegerLinearSolve: lifting vector 6 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 6 checks out
IntegerLinearSolve: lifting vector 7 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 7 checks out
IntegerLinearSolve: lifting vector 8 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 8 checks out
IntegerLinearSolve: lifting vector 9 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 9 checks out
IntegerLinearSolve: lifting vector 10 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 10 checks out
IntegerLinearSolve: lifting vector 11 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 11 checks out
IntegerLinearSolve: lifting vector 12 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 12 checks out
IntegerLinearSolve: lifting vector 13 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 13 checks out
IntegerLinearSolve: lifting vector 14 of 118
IntegerLinearSolve: lift: 1 to 64
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 14 checks out
IntegerLinearSolve: lifting vector 15 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 15 checks out
IntegerLinearSolve: lifting vector 16 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=3 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 16 checks out
IntegerLinearSolve: lifting vector 17 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 17 checks out
IntegerLinearSolve: lifting vector 18 of 118
IntegerLinearSolve: lift: 1 to 64
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 18 checks out
IntegerLinearSolve: lifting vector 19 of 118
IntegerLinearSolve: lift: 1 to 61
IntegerLinearSolve: RR success, denom=7 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 19 checks out
IntegerLinearSolve: lifting vector 20 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 20 checks out
IntegerLinearSolve: lifting vector 21 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 21 checks out
IntegerLinearSolve: lifting vector 22 of 118
IntegerLinearSolve: lift: 1 to 63
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 22 checks out
IntegerLinearSolve: lifting vector 23 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 23 checks out
IntegerLinearSolve: lifting vector 24 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 24 checks out
IntegerLinearSolve: lifting vector 25 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 25 checks out
IntegerLinearSolve: lifting vector 26 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 26 checks out
IntegerLinearSolve: lifting vector 27 of 118
IntegerLinearSolve: lift: 1 to 64
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 27 checks out
IntegerLinearSolve: lifting vector 28 of 118
IntegerLinearSolve: lift: 1 to 65
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 28 checks out
IntegerLinearSolve: lifting vector 29 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 29 checks out
IntegerLinearSolve: lifting vector 30 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 30 checks out
IntegerLinearSolve: lifting vector 31 of 118
IntegerLinearSolve: lift: 1 to 67
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 31 checks out
IntegerLinearSolve: lifting vector 32 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 32 checks out
IntegerLinearSolve: lifting vector 33 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 33 checks out
IntegerLinearSolve: lifting vector 34 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 34 checks out
IntegerLinearSolve: lifting vector 35 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 35 checks out
IntegerLinearSolve: lifting vector 36 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 36 checks out
IntegerLinearSolve: lifting vector 37 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 37 checks out
IntegerLinearSolve: lifting vector 38 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 38 checks out
IntegerLinearSolve: lifting vector 39 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 39 checks out
IntegerLinearSolve: lifting vector 40 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 40 checks out
IntegerLinearSolve: lifting vector 41 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 41 checks out
IntegerLinearSolve: lifting vector 42 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 42 checks out
IntegerLinearSolve: lifting vector 43 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 43 checks out
IntegerLinearSolve: lifting vector 44 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 44 checks out
IntegerLinearSolve: lifting vector 45 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 45 checks out
IntegerLinearSolve: lifting vector 46 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 46 checks out
IntegerLinearSolve: lifting vector 47 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 47 checks out
IntegerLinearSolve: lifting vector 48 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 48 checks out
IntegerLinearSolve: lifting vector 49 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 49 checks out
IntegerLinearSolve: lifting vector 50 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 50 checks out
IntegerLinearSolve: lifting vector 51 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 51 checks out
IntegerLinearSolve: lifting vector 52 of 118
IntegerLinearSolve: lift: 1 to 68
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 52 checks out
IntegerLinearSolve: lifting vector 53 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 53 checks out
IntegerLinearSolve: lifting vector 54 of 118
IntegerLinearSolve: lift: 1 to 67
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 54 checks out
IntegerLinearSolve: lifting vector 55 of 118
IntegerLinearSolve: lift: 1 to 66
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 55 checks out
IntegerLinearSolve: lifting vector 56 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 56 checks out
IntegerLinearSolve: lifting vector 57 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 57 checks out
IntegerLinearSolve: lifting vector 58 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 58 checks out
IntegerLinearSolve: lifting vector 59 of 118
IntegerLinearSolve: lift: 1 to 68
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 59 checks out
IntegerLinearSolve: lifting vector 60 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 60 checks out
IntegerLinearSolve: lifting vector 61 of 118
IntegerLinearSolve: lift: 1 to 62
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 61 checks out
IntegerLinearSolve: lifting vector 62 of 118
IntegerLinearSolve: lift: 1 to 67
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 62 checks out
IntegerLinearSolve: lifting vector 63 of 118
IntegerLinearSolve: lift: 1 to 67
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 63 checks out
IntegerLinearSolve: lifting vector 64 of 118
IntegerLinearSolve: lift: 1 to 68
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 64 checks out
IntegerLinearSolve: lifting vector 65 of 118
IntegerLinearSolve: lift: 1 to 68
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 65 checks out
IntegerLinearSolve: lifting vector 66 of 118
IntegerLinearSolve: lift: 1 to 68
IntegerLinearSolve: RR success, denom=6 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 66 checks out
IntegerLinearSolve: lifting vector 67 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 67 checks out
IntegerLinearSolve: lifting vector 68 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 68 checks out
IntegerLinearSolve: lifting vector 69 of 118
IntegerLinearSolve: lift: 1 to 70
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 69 checks out
IntegerLinearSolve: lifting vector 70 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 70 checks out
IntegerLinearSolve: lifting vector 71 of 118
IntegerLinearSolve: lift: 1 to 69
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 71 checks out
IntegerLinearSolve: lifting vector 72 of 118
IntegerLinearSolve: lift: 1 to 71
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 72 checks out
IntegerLinearSolve: lifting vector 73 of 118
IntegerLinearSolve: lift: 1 to 72
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 73 checks out
IntegerLinearSolve: lifting vector 74 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 74 checks out
IntegerLinearSolve: lifting vector 75 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 75 checks out
IntegerLinearSolve: lifting vector 76 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 76 checks out
IntegerLinearSolve: lifting vector 77 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 77 checks out
IntegerLinearSolve: lifting vector 78 of 118
IntegerLinearSolve: lift: 1 to 72
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 78 checks out
IntegerLinearSolve: lifting vector 79 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 79 checks out
IntegerLinearSolve: lifting vector 80 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 80 checks out
IntegerLinearSolve: lifting vector 81 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 81 checks out
IntegerLinearSolve: lifting vector 82 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 82 checks out
IntegerLinearSolve: lifting vector 83 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 83 checks out
IntegerLinearSolve: lifting vector 84 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 84 checks out
IntegerLinearSolve: lifting vector 85 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 85 checks out
IntegerLinearSolve: lifting vector 86 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 86 checks out
IntegerLinearSolve: lifting vector 87 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 87 checks out
IntegerLinearSolve: lifting vector 88 of 118
IntegerLinearSolve: lift: 1 to 72
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 88 checks out
IntegerLinearSolve: lifting vector 89 of 118
IntegerLinearSolve: lift: 1 to 72
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 89 checks out
IntegerLinearSolve: lifting vector 90 of 118
IntegerLinearSolve: lift: 1 to 72
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 90 checks out
IntegerLinearSolve: lifting vector 91 of 118
IntegerLinearSolve: lift: 1 to 72
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 91 checks out
IntegerLinearSolve: lifting vector 92 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 92 checks out
IntegerLinearSolve: lifting vector 93 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 93 checks out
IntegerLinearSolve: lifting vector 94 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 94 checks out
IntegerLinearSolve: lifting vector 95 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 95 checks out
IntegerLinearSolve: lifting vector 96 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 96 checks out
IntegerLinearSolve: lifting vector 97 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 97 checks out
IntegerLinearSolve: lifting vector 98 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 98 checks out
IntegerLinearSolve: lifting vector 99 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 99 checks out
IntegerLinearSolve: lifting vector 100 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 100 checks out
IntegerLinearSolve: lifting vector 101 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 101 checks out
IntegerLinearSolve: lifting vector 102 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 102 checks out
IntegerLinearSolve: lifting vector 103 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 103 checks out
IntegerLinearSolve: lifting vector 104 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 104 checks out
IntegerLinearSolve: lifting vector 105 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 105 checks out
IntegerLinearSolve: lifting vector 106 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 106 checks out
IntegerLinearSolve: lifting vector 107 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 107 checks out
IntegerLinearSolve: lifting vector 108 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 108 checks out
IntegerLinearSolve: lifting vector 109 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 109 checks out
IntegerLinearSolve: lifting vector 110 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 110 checks out
IntegerLinearSolve: lifting vector 111 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 111 checks out
IntegerLinearSolve: lifting vector 112 of 118
IntegerLinearSolve: lift: 1 to 71
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 112 checks out
IntegerLinearSolve: lifting vector 113 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 113 checks out
IntegerLinearSolve: lifting vector 114 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 114 checks out
IntegerLinearSolve: lifting vector 115 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 115 checks out
IntegerLinearSolve: lifting vector 116 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 116 checks out
IntegerLinearSolve: lifting vector 117 of 118
IntegerLinearSolve: lift: 1 to 73
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 117 checks out
IntegerLinearSolve: lifting vector 118 of 118
IntegerLinearSolve: lift: 1 to 72
IntegerLinearSolve: RR success, denom=1 bits
IntegerLinearSolve: RR success, testing solution
IntegerLinearSolve: solution 118 checks out
IntegerLinearSolve: multiplying rhs by inverse
IntegerLinearSolve: solving complete
IntegerLinearSolve: 1090 x 1605 dense linear system with 1 rhs
IntegerLinearSolve: using integer[8] coefficients
IntegerLinearSolve: row reducing modulo 3343624369
IntegerLinearSolve: counts discarded, rank set to 469
IntegerLinearSolve: row reducing modulo 3343624363
IntegerLinearSolve: 2 images have this rank profile
IntegerLinearSolve: row reducing modulo 3343624343
IntegerLinearSolve: 3 images have this rank profile
IntegerLinearSolve: 469 x 469, 469 rhs, bound: 30822 steps at 32 bits
IntegerLinearSolve: lifting vector 1 of 469
IntegerLinearSolve: lift: 1 to 2
IntegerLinearSolve: lift: 3 to 4
IntegerLinearSolve: lift: 5 to 8
IntegerLinearSolve: lift: 9 to 16
IntegerLinearSolve: lift: 17 to 32
IntegerLinearSolve: lift: 33 to 64
IntegerLinearSolve: lift: 65 to 128
IntegerLinearSolve: RR success, denom=2152 bits
Error, (in LinearAlgebra:-Modular:-IntegerLinearSolve) invalid arguments to iratrecon

MaplePrimes - Newest Comments

RationalSparse -> LAModularSolve -> IntegerLinearS...

bug

It seems Maple does not list minor subrevision

reply

Maple 2026.1.2 update mostly fixes the issue

@sand15 My interest in certain topics would ...