solvelin.spad line 217 [edit on github]
S: IntegralDomain
This package solve system by passing to fraction field.
solveUniquely(m, v) returns unique solution to the system m*x = v or “failed” if solution is non unique or does not exist.
solveUniquely(m, v)
m*x = v