Meta ticket on IntegralLattices / QuadraticFormModules

[simonbrandhorst]

This meta ticket keeps track of all the tickets related to IntegralLattice development.
Here a lattice is a ZZ-Module L isomorphic to ZZ^n, equipped with a non-degenerate, symmetric bilinear form L x L --> ZZ.

• Improved printing for IntegralLattices #27876 improved printing for integral lattices
• Construct a genus from a list of symbols. #25875 constructor for the genus from a symbol
• Add access methods to the genus. #25682 access methods to the genus
• FGP_module - add a transformation from and to the user defined generators. #25684 FGP_module transformation to and from the user defined generators
• Locally automorphous numbers of a genus #25698 locally automorphous numbers of a genus
• Better printing for the genus symbol #25776 bug in printing of a genus symbol
• Bug in equivalence testing of binary quadratic forms #25888 bugs in equivalence testing of binary quadratic forms
• BinaryQF_reduced_representatives does not return representatives #25890 wrong results in BinaryQF_reduced_representatives
• Bugs in Mass formula for quadratic forms #26378 bugs in the mass formula
• Speed up TorsionQuadraticModule creation #25569 speed up creation of TorsionQuadraticModules
• Tensor product of lattices #24890 Tensor product of two lattices
• Construct a torsion quadratic or bilinear form - from a genus #24888 Construct a torsion quadratic or bilinear form - from a genus
• Enumerate all genera of given signature, determinant and bounded scale of a jordan block. #24889 Enumerate all genera of given signature, determinant and bounded scale of a jordan block.
• Neighbor method for quadratic forms #24868 p-neighbors
• bug in TorsionQuadraticForm.normal_form() #24864 bug in normal_form
• _mul_ for FGP_Module_class #24821 _mul_ for FGP_Modlue_class
• IntegralLattice.all_overlattices #24859 all_overlattices
• TorsionQuadraticModule.all_submodules() #24858 enumeration of all submodules of TorsionQuadraticModule
• _mul_ for IntegralLattices #24810 _mul_ for integral lattices rescaling the basis
• Bug in genus of a quadratic form #24818 yet another bug in the genus class
• Multiplication of the Gram Matrix #24788 Twist of lattice
• Twist of a TorsionQuadraticModule #25014 Twist of a TorsionQuadraticModule
• Intersections and saturations of FreeQuadraticModules have the wrong ambient module #24702 bug: saturation and intersection live in wrong ambient module
• Orthogonal groups of TorsionQuadraticModules #24571 Orthogonal groups of TorsionQuadraticModules
• is_genus for torsion quadratic modules #24577 is_genus for TorsionQuadraticModules
• Brown invariant of a TorsionQuadraticModule #24576 Brown invariant of a TorsionQuadraticModule
• Gluing of lattices #24564 Primitive extensions
• Factory function for famous lattices #24150 Factory function for lattices A,D,E etc.
• Abelian Groups with Gap #24521 Abelian groups with gap
• Automorphism group of finite abelian groups. #24087 Automorphism group of finite (additive) abelian groups.
• Factory function for TorsionQuadraticForms #24083 Factory function for TorsionQuadraticForms
• Genus from a TorsionQuadraticModules and a signature pair #24082 Interaction TorsionQuadraticModules vs Genus
• Orthogonal groups for IntegralLattices #24036 orthogonal groups for IntegralLattices
• Normal forms for TorsionQuadraticModules #24035 orthogonal decomposition for TorsionQuadraticModules
• use _mul_ for the inner_product in FreeQuadraticModules #23981 use _mul_ for the inner_product in FreeQuadraticModules
• Coercion pushout for FGP_modules #23967: Coercion pushout for FGP_modules
• Wrong results in vector matrix multiplication #23576 bug in vector matrix multiplication for free module elements
• torsion_quadratic_module_symmetric #23699 base class for torsion quadratic modules
• allow inner products of free modules to take values in rings different from the base ring. #23958 allow the inner product to take value in rings different from the base ring.
• trains() forgets the trains of length one. #23955 bug in the Genus class
• Pretty printing and latex for Genera of quadratic forms #23916 print a genus using the Conway Sloane symbols
• Equality testing of genera of quadratic forms over ZZ changes the genus and produces false results #23376 bug in genera equality testing
• include the inner_product_matrix in module comparison #23915 use the inner_product_matrix to compare ambient spaces
• A base class for integral quadratic forms seen as modules with a bilinear form. #23634 a class for IntegralLatticees
• AdditiveAbelianGroup([]).annihilator() fails. #22720 bug in annihilator() for the trivial abelian group
• Q/Z #23944 QQ/ZZ, QQ/2ZZ or QQ/nZZ as abelian groups.
• Genus Representative #28611 representative computation for genus symbols
• Maximal even overlattice #28942 Maximal even overlattice
• quadratic_form_from_invariants() #24108 quadratic form from invariants
• Rational representative for a genus #28952 Rational representative for a genus
• make doctests of fqf_orthogonal groups independent of the generators #29279 make doctests of fqf_orthogonal groups independent of the generators
• Memory leak in sage.categories.action.Action #27358 Memory leak in sage.groups.matrix_gps.isometries
• Compute the Conway mass directly from the genus symbol. #29609 Compute the Conway mass directly from the genus symbol.
• Direct sum for genus symbols #29611 Direct sum for genus symbols
• Remove ambiguous conversions for fqf_orthogonal groups #30669 Remove ambiguous conversions for fqf_orthogonal groups
• fix warnings and breaking conditions for neighbor method #30743 fix warnings and breaking conditions for neighbor method
• Genus representatives #30842 genus representatives

The following tickets are not related directly to IntegralLattices
however they are indirectly as they consider Free(Quadratic)Modules which are more general. Or bugs for Free(Quadratic)Modules that might effect Lattices:

• Free module equality, comparisons #11579 Free module equality, comparisons
• Rich comparison for Modules #23978 Rich comparison for Modules
• Allow the operator & for submodule intersections. #9576 Allow the operator & for submodule intersections.
• bug in pickling quotient module over pid #7516 bug in pickling quotient module over pid
• Correct FreeModule.coordinates() to match specification #13853 Correct FreeModule.coordinates() to match specification
• Trouble with deepcopy of vectorspaces where the inner product matrix is specified #10606 Trouble with deepcopy of vectorspaces where the inner product matrix is specified, see also Deepcopy fails on vectorspaces over GF(2) with inner_product_matrix specified #10577 might be related to
• dumps doesn't save immutability for Matrix_mod2_dense #14681 dumps doesn't save immutability for Matrix_mod2_dense
• Point lattices (free Z-modules) generated by algebraic real vectors #21217 Point lattices (free Z-modules) generated by algebraic real vectors
• Free modules over PIDs #16893 Free modules over PIDs
• Submodules of (ZZ/nZZ)^r #6452 Submodules of (ZZ/nZZ)^r
• Finite dimensional modules with basis: improved conversions to vectors and matrices #18310 Finite dimensional modules with basis: improved conversions to vectors and matrices
• Improve efficiency of fgp_module over integers #11538 Improve efficiency of fgp_module over integers

CC: @roed314 @annahaensch

Component: linear algebra

Author: Simon Brandhorst

Issue created by migration from https://trac.sagemath.org/ticket/23968