Module zpe_extension 

Contains algorithms for computing divisions in ring extensions for which standard methods are not sufficient.

Functions

invert_over_local_znunstable-enable

Computes the inverse of a unit a in the ring (Z/p^eZ)[X]/(f(X)) with a monic irreducible polynomial f(X). Returns None if a is not a unit.