Question: msolve(eqs,2) source

Is it possible to see the algorithm used by msolve(eqs,2) ? The help page just says

"The procedure msolve has special code for efficiently handling large systems of equations mod 2. "

but I would like to know exactly what it is doing.

I tried print(msolve); and then print(ModularSolver:-Solve); but didn't get anywhere.


Please Wait...