P.Gianni General Hensel Lifting Used for Factorization of bivariate polynomials over a finite field.
- completeHensel: (TP, List TP, RP, PositiveInteger) -> List TP
completeHensel(pol, lfact, prime, bound)lifts
lfact, the factorization mod
pol, to the factorization mod prime^k>bound. Factors are recombined on the way.
- HenselLift: (TP, List TP, RP, PositiveInteger) -> Record(plist: List TP, modulo: RP)
HenselLift(pol, lfacts, prime, bound)lifts
lfacts, that are the factors of
prime, to factors of
polmod prime^k > bound. No recombining is done .
- reduction: (TP, RP) -> TP
reduction(u, pol)computes the symmetric reduction of