LiftLinearDependence(F, Q, UP)

rdeefx.spad line 237 [edit on github]

• F: Field

• Q: Field

• UP: UnivariatePolynomialCategory F

undocumented

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

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

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

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

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

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