LiftLinearDependence(F, Q, UP)

rdeefx.spad line 240 [edit on github]

• F: Field

• Q: Field

• UP: UnivariatePolynomialCategory F

This package lifts computation of linear dependecies from base field to univariate polynomials and univariate rational functions.

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.