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.