MPolyCatRationalFunctionFactorizer(E, OV, R, PRF)¶
OV: OrderedSet with
convert: % -> Symbol
This package exports a factor operation for multivariate polynomials with coefficients which are rational functions over some ring
R over which we can factor. It is used internally by packages such as primary decomposition which need to work with polynomials with rational function coefficients, i.e. themselves fractions of polynomials.
- factor: PRF -> Factored PRF
factor(prf)factors a polynomial with rational function coefficients.
- pushdown: (PRF, OV) -> PRF
pushdown(prf, var)pushes all top level occurences of the variable var into the coefficient domain for the polynomial
- pushdterm: (SparseUnivariatePolynomial PRF, OV) -> PRF
pushdterm(monom, var)pushes all top level occurences of the variable var into the coefficient domain for the monomial
- pushucoef: (SparseUnivariatePolynomial Polynomial R, OV) -> PRF
pushucoef(upoly, var)converts the anonymous univariate polynomial
upolyto a polynomial in var over rational functions.
- pushuconst: (Fraction Polynomial R, OV) -> PRF
pushuconst(r, var)takes a rational function and raises all occurances of the variable var to the polynomial level.
- pushup: (PRF, OV) -> PRF
pushup(prf, var)raises all occurences of the variable var in the coefficients of the polynomial
prfback to the polynomial level.