/* 1. Standard Lattice of rank 4 and degree 4 Determinant: 9 Factored Determinant: 3^2 Inner Product Matrix: [ 2 -1 0 0] [-1 2 0 0] [ 0 0 2 -1] [ 0 0 -1 2] |Aut| = [ <2, 5>, <3, 2> ] Modular = true LatDB = - */ // Data Liste:=[ PowerStructure(Lat) | LatticeWithGram(MatrixRing(IntegerRing(), 4) ! \[ 2, -1, 0, 0, -1, 2, 0, 0, 0, 0, 2, -1, 0, 0, -1, 2 ]:CheckPositive:=false) ];