Magma V2.22-10 Patch Notes

Algebraic Number Fields¶

• A crash in OptimizedRepresentation of an order of a number field has beeen fixed.
• SimpleExtension can now be applied to a number field and itself.

Coding Theory¶

• A problem computing equivalence of two binary codes reported by M. Kiermaier has been addressed by using a different algorithm. A vararg Al has been added to the IsIsomorphic algorithm for codes which only applies to binary codes. Setting this to the string "Leon" retains the old algorithm, otherwise the default for binary codes is the "Unger" algorithm.

Hyperelliptic Curves¶

• A bug with Height of a 2-torsion point on a Jacobian was fixed. Reported by S. Marseglia.

Lattices¶

• A problem with the lengths/norms and number of ShortVectors was fixed. Reported by M. Stoll.

Local Fields¶

• A problem with NormEquation of a low-precision element in a higher precision ring was fixed. Reported by S. Marseglia.

Local Polynomial Rings¶

• A crash in quotient algebras of local polynomial rings has been fixed. Reported by G. Blanco.

Polynomial Rings¶

• A wrong result in bivariate polynomial factorisation has been fixed. Reported by M. Zieve.
• A potential crash in SmallRoots has been fixed.
• Factorization of polynomials has been fixed for fields of fractions of affine algebras over rational function fields. Reported by E. Ruiz Duarte.
• A crash in polynomial multiplication of very high-degree multivariate polynomials has been fixed. Reported by X. Roulleau.

Schemes¶

• Coercing the zero point into a pointset of an affine scheme now works.
• A crash which occured when constructing a cluster from a point which had coordinates in a ring which did not allow Gröbner basis calculations has been fixed to give an error.