leadcdet.spad line 1 [edit on github]
Package for leading coefficient determination in the lifting step. Package working for every unique factorization domain R . Uses algorithm given in section 3 of [1] generalized to arbitrary unique factorization domain.
distFact(contm, unilist, plead, vl, lvar, lval), where contm is the content of the evaluated polynomial, unilist is the list of factors of the evaluated polynomial, plead is the complete factorization of the leading coefficient, vl is the list of factors of the leading coefficient evaluated, lvar is 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(contprod, numFacts, evallcs), where contprod is the product of the content of the leading coefficient of the polynomial to be factored with the content of the evaluated polynomial, numFacts is the number of factors of the leadingCoefficient, and evallcs is the list of the evaluated factors of the leadingCoefficient, returns true if the factors of the leading Coefficient can be distributed with this valuation.