LiftLinearDependence(F, Q, UP)

rdeefx.spad line 237 [edit on github]

• F : Field
• Q : Field
• UP : UnivariatePolynomialCategory(F)

undocumented

csolve_pol : (Mapping(List(Vector(Q)), Matrix(F)), List(UP)) -> List(Vector(Q))

csolve_pol(solf, lp) uses solf to solve linear dependence for univariate polynomials.

csolve_rf : (Mapping(List(Vector(Q)), Matrix(F)), List(Fraction(UP))) -> List(Vector(Q))

csolve_rf(solf, lrf) uses solf to solve linear dependence for univariate rational functions.

csolve_rmat : (Mapping(List(Vector(Q)), Matrix(F)), Matrix(Fraction(UP))) -> List(Vector(Q))

csolve_rmat(solf, mrf) uses solf to solve linear dependence for univariate rational functions.