Discussion

It's not clear to me whether relative extensions should be implemented as absolute extensions with appropriate coercions, or as iterated polynomials...

Tasks

padics/RelativeExtensions (last edited 2010-12-03 01:58:39 by DavidRoe)