NPCoef(BP, E, OV, R, P)

npcoef.spad line 1 [edit on github]

• BP: UnivariatePolynomialCategory R

• E: OrderedAbelianMonoidSup

• OV: OrderedSet

• R: IntegralDomain

• P: PolynomialCategory(R, E, OV)

Package for the determination of the coefficients in the lifting process. Used by MultivariateLifting. This package will work for every integral domain R. The same method is described in [1] section 2.3.4.

npcoef: (SparseUnivariatePolynomial P, List BP, List P) -> Record(deter: List SparseUnivariatePolynomial P, dterm: List List Record(expt: NonNegativeInteger, pcoef: P), nfacts: List BP, nlead: List P)

npcoef(p, lmf, lcf) tries to determine some coefficients of factors of p assuming that lcf gives true leading coefficients of the factors and that sparsity pattern of modular factors lmf is the same as sparsity pattern of true factors. If res is the result, then res.deter gives fully determined factors, res.dterm gives determined terms of partially determinaed factors, res.nfacts and res.nlead give modular factors and leading coefficients corresponding to undetermined factors.