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