LinearSystemPolynomialPackage(R, E, OV, P)ΒΆ

solvelin.spad line 154

this package finds the solutions of linear systems presented as a list of polynomials.

intoMatrix: (List P, List OV) -> Record(mat: Matrix Fraction P, vec: Vector Fraction P)
intoMatrix(lp, lvar) converts linear in symbols lvar system of polynomials lp = 0 into matrix form
linSolve: (List P, List OV) -> Record(particular: Union(Vector Fraction P, failed), basis: List Vector Fraction P)
linSolve(lp, lvar) finds the solutions of the linear system of polynomials lp = 0 with respect to the list of symbols lvar.