1. Create classes for Galois groups of local fields, parallel to those for number fields.
  2. Implement computation of Galois groups for unramified and tame extensions, both abstractly and with an action on the fields involved.
  3. Galois groups of wild extensions, higher ramification filtrations...

padics/GaloisGroups (last edited 2010-12-03 01:37:14 by DavidRoe)