1. Implement the compositum of two fields by factoring the defining polynomial for one over the other (I assume there's a better way...). Each of the original fields should coerce into the compositum.
  2. Implement the intersection of extension rings. Determine the precision of the defining polynomial... The intersection should coerce into each of the original fields.
  3. Implement an algorithm to give the lattice (in the poset sense) of subfields of a given p-adic field. These subfields should coerce naturally into the larger field.

padics/SubfieldsAndCompositums (last edited 2010-12-03 01:42:24 by DavidRoe)