ExactpAdics2 v0.4.0

• Adds Generator(E,F) and DefiningPolynomial(E,F) for an extension E/F.
• Adds HasRoot(f) and IsIrreducible(f) for univariate polynomial f.
• RamificationFiltration now more robust.
• Fixes bugs in IsCoercible and univariate factorization.

ExactpAdics2 v0.3.0

• Now licensed under GPL.
• Homomorphism constructors have been reimplemented.
• Adds representations for vector spaces, vectors and matrices over p-adic fields.
• Adds DiscriminantValuation, VectorSpace, StandardForm and OptimizedRepresentation for field extensions.
• Adds SplittingField.
• Fixes bugs in IsCoercible.

ExactpAdics2 v0.2.0

• RamificationFiltration now uses linear algebra instead of factorization, which is faster.
• BringToEpoch is reimplemented more simply, and is faster.
• Adds CanBringToEpoch, UninitializedCopy, WithDependencies, NumberOfNames
• Adds DefiningPolynomial for extensions (but only implemented for single-hop extensions)
• Adds Safe parameters to functions which need them to make them safe for WithDependencies with the Fast option.

ExactpAdics2 v0.1.0

Initial release.