Discussion

Tasks

  1. Implement round 4 (or some other p-adic factoring algorithm) for polynomials over Zp. Compare results against results from pari. Find right precisions for factors.
  2. Write functions to extract the unramified and Eisenstein pieces from an irreducible polynomial over Zp using the internals of the factoring algorithm.
  3. Write a new p-adic parent class and printer that allows the "generator" of an extension to be arbitrary (rather than a uniformizer for an Eisenstein extension).
  4. Change the extension factory in sage.rings.padics.factory to allow creation of such extensions.

  5. Implement factoring for polynomials over other Henselian rings.