LinearSystemMatrixPackage2(S)

solvelin.spad line 217 [edit on github]

• S : IntegralDomain

This package solve system by passing to fraction field.

solveUniquely : (Matrix(S), Vector(S)) -> Union(Vector(S), "failed")

solveUniquely(m, v) returns unique solution to the system m*x = v or "failed" if solution is non unique or does not exist.