Local (including p-adic) Rings and Fields [HB 42, 59]

Bug Fixes:

• A problem with SuggestedPrecision has been fixed.

• UnramifiedExtension where p^f > 2³⁰ is now possible.

• A bug involving resultants of multivariate polynomials has been fixed.

• The error checking on HenselLift has improved.

• An improvement in the linear algebra over local rings has been attempted.