LeadingCoefDetermination(OV, E, Z, P)¶
Package for leading coefficient determination in the lifting step. Package working for every unique factorization domain
R . Uses algorithm given in section 3 of  generalized to arbitrary unique factorization domain.
- distFact: (Z, List SparseUnivariatePolynomial Z, Record(contp: Z, factors: List Record(irr: P, pow: NonNegativeInteger)), List Z, List OV, List Z) -> Union(Record(polfac: List P, correct: Z, corrfact: List SparseUnivariatePolynomial Z), failed)
distFact(contm, unilist, plead, vl, lvar, lval), where
contmis the content of the evaluated polynomial,
unilistis the list of factors of the evaluated polynomial,
pleadis the complete factorization of the leading coefficient,
vlis the list of factors of the leading coefficient evaluated,
lvaris the list of variables, lval is the list of values, returns a record giving the list of leading coefficients to impose on the univariate factors,
- polCase: (Z, NonNegativeInteger, List Z) -> Boolean
polCase(contprod, numFacts, evallcs), where
contprodis the product of the content of the leading coefficient of the polynomial to be factored with the content of the evaluated polynomial,
numFactsis the number of factors of the leadingCoefficient, and evallcs is the list of the evaluated factors of the leadingCoefficient, returns
trueif the factors of the leading Coefficient can be distributed with this valuation.