LinearSystemMatrixPackage2 S

solvelin.spad line 217 [edit on github]

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.