@dharr I am quietly hoping `solve/linear` choice of method can be specified or there is an alternative.

It looks like denom=2152 bits is the root of the problem. Is this true?

@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

@Kitonum So this is identical to the method I used:

L1 := [2, 2, 3, 2, 4, 2, 3, 5, 4]:
L2 := [5, 4, 3, 4, 2, 2, 2, 2, 3]:
f := {op}@(L -> convert(L, multiset));
evalb(f(L1) = f(L2));

@C_R The More->Delete and Spam functions are available only when you access the Post. The Post is accessed by clicking on the title. The title was a crafted url link to .in website and not the post. I had to access the url of the post using debug tools.

Did you try Windows Key + Tab, right click on the title bar.

I wish there was OCR function to deal with the pics but there isn't:

Matrix(9, 9, [[0, 0, 0, -1, 1, -1, -1, 0, 0], [0, -1, 0, 1, -1, 1, 0, -1, -1], [0, 0, -1, 0, 0, 0, 1, 1, 0], [0, 1, 0, -1, -1, 1, -1, -1, 0], [0, 0, 0, 0, 0, -1, 1, 0, -1], [0, 0, 0, 0, 0, -1, 0, 1, 1], [0, 0, 1, -1, 1, 1, -1, -1, 0], [0, 0, 0, 0, 0, 1, 1, -1, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0]]);

I think the above is proper copy.

@scottwr So, the for loops with lists result in x,y assignments and an additional level of execution. Two nested loops should only require printlevel 2, but the y assignment is level 3. Use print instead and use colon, not semicolon:

for x in [ -1, 1 ] do for y in [ -1, 1 ] do print('x*y'=x*y); end do; end do:

Gmail accounts are not reachable from MaplePrimes.

Does it make a difference if you use this instead:

restart;

g_list:=[sin(t)*diff(x(t),t$2)+cos(t)*diff(x(t),t)+2*x(t)=0,
         diff(y(x),x)=lambda*sin(lambda*x)*y(x)^2+a*cos(lambda*x)^n*y(x)-a*cos(lambda*x)^(n-1)]:

work_func:=proc(i::posint)  
  :-dsolve(g_list[i]):
end proc:

Threads:-Seq( Threads:-Create( work_func(i)), i=1..2) ;

@C_R The error you describe in Maple 2020 is present in all previous versions I presume. This code illustrates what you are doing:

eqs := [a = b, c = d, e = f]:
map(map@`^`, eqs, 2);
map(Map@`^`, eqs, 2);

@C_R I let Maple create the matrix by submitting system of linear equations.

@nm I had this very idea, but I did not anticipate it would be faster. The code is MUCH faster in cmaple the wmaple plus theere is no memory issue. I now wonder if my wmaple is badly configured.

@dharr Normalizing an expression in a field carries the overhead of identifying and applying the field. Is this cost applies once per matrix or once per matrix entry on each operation? I have a faint recollection of there being a long ago discussion about timing/optimizing operations on matrices with entries mod a polynomial.

@mmcdara Is there a way to see a list of all variables saved in a .m file?

@Carl Love Once, at console. Does saving to .m file overwrite the file or change it?... After testing it, it does overwrite.