Magma V2.11-8 Patch Notes
Patch release for Magma V2.11-8. Updated areas: Commutative Algebra, Language, Rings and Fields.
Commutative Algebra
Major improvements have been made to the Faugere F4 algorithm for computing Gröbner bases.
HFE systems (for which the secret degree parameter is up to 128) can now be solved in a much quicker time, by specifying the HFE parameter to the Gröbner procedure or the
GroebnerBasisfunction.
Language
A bug in the parsing code for extended types in intrinsics has been fixed.
A bug which caused Magma to crash upon the restoration of many saved workspaces has been fixed.
Rings and Fields
SplittingFieldhad problems dealing with trivial extensions. This has been fixed.Functionality involving
Norm,TraceandRationalFunctionof function field elements over specified coefficient rings and fields has been restored.A problem involving solution of linear equations over p-adic fields has been fixed.
A problem involving number fields defined by non-monic/non-integral polynomials has been fixed.
A problem involving norm equations with trivial right hand side has been fixed.