LinearSystemPolynomialPackage(R, E, OV, P)

solvelin.spad line 154 [edit on github]

• R: IntegralDomain

• E: OrderedAbelianMonoidSup

• OV: OrderedSet

• P: PolynomialCategory(R, E, OV)

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.