13.7. Cross-references🔗

HexHensel depends on the polynomial representation libraries, and the integer-factorization libraries depend on it:

• HexPolyZ supplies the integer polynomial type Hex.ZPoly, the coefficientwise congruence predicate the lift invariants are stated against, and the executable Mignotte bound that fixes the target precision k. HexPolyFp supplies the prime-field type Hex.FpPoly p and the mod-p Bezout witnesses that seed a lift.

• Downstream, the integer Berlekamp–Zassenhaus factorization pipeline consumes Hex.ZPoly.multifactorLiftQuadratic to lift its mod-p factorizations to working precision.