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