ExactpAdics v1.2.1

• Fixes some bugs in Factorization code.

ExactpAdics v1.2.0

• Adds RelativeApproximation and BaselineApproximation intrinsics, _Lazy versions and Weak versions (which are capped by the absolute precision)
• Adds an implementation of the "OM" factoring algorithm, which is now the default algorithm used by Factorization and Roots. These are directly accessible as ExactpAdics_Factorization and ExactpAdics_Roots, with versions for RngUPolElt[FldPad] available too. The original behaviour, wrapping Magma's implementation, is available by passing Alg:="Builtin", or calling Builtin_Factorization or Builtin_Roots directly.
• ExactpAdicField(L :: FldPad) not working when L has a finite precision
• Bug in ShiftValuation, caused by R.1 not being to full precision where R::RngUPol[FldPad] (a Magma feature/bug)

ExactpAdics v1.1.0

• Adds abstract types StrPadExact, PadExactElt and Val_PadExactElt, from which most other types are now derived, and inherit a common interface.
• Adds types SetCart_PadExact, Tup_PadExact and Val_Tup_PadExact for representing tuples of p-adic objects.
• Adds intrinsic NewtonPolygonFactorization.
• Adds intrinsic IsHenselLiftable (for univariate polynomial factorizations).
• Adds Support parameter to NewtonPolygon.
• Adds parameter UseNP to Roots and Factorization.
• Adds intrinsic AreAllWeaklyZero.
• Improves IsHenselLiftable (for multivariate roots).
• Minor bug fixes.

ExactpAdics v1.0.2

Bug fixes:

• Internal function assignResidueClassFieldNames now works with fields of degree 1.
• Factorization is easier to debug.
• Removes a hacky try-catch block, which are slow to execute in Magma.
• Warnings are now controlled by intrinsics, their behaviour can be altered via ExactpAdics_SetWarningAction.

ExactpAdics v1.0.1

Bug fixes:

• ExactCompletion precision errors
• Obsolete calls to ExactpAdics_ExecutePrecisionStrategy
• Minor bug in IsHenselLiftable
• Tweak to the update mechanism to catch under-precise updates in-place: The Update intrinsic now checks if the field update_expecting_apr is set, and if so asserts that the absolute precision is at least this; the dependency-checking framework sets this field whenever an element is about to be updated.

ExactpAdics v1.0.0

Initial release.