Output of /home/aschiem/Pgm/Hn/hn --invar -t --shells-4 -D5 &K=Q(sqrt(-1)) &Hdim=4 V=K^4 &HNeighbourhood at <2,-1+w> contains 2 classes: mass of the neighbourhood is 17/92160 1 even classes, mass 1/46080 1 odd classes, mass 1/6144 even classes: ------------ Steinitz class <1,w>: &Hlattice (#1 <-- #2) 2 1 2 0 1+w 2 0 1+w 1 2 |Aut| = 2^10*3^2*5 #short vectors: 0 240 0 2160 odd classes: ----------- Steinitz class <1,w>: &Hlattice (#2 <-- #1) 1 0 1 0 0 1 0 0 0 1 |Aut| = 2^11*3 #short vectors: 16 112 448 1136 &Adjacence matrix (M_ij=#{neighbours of class i isometric to class j}): 15 15 2 12 classes of Z-lattices with respect to the trace form (scaled by 1/2) &Dim=8 V=Q^8 &Genus of the even trace-forms: det= 1 = 1 2-adic symbol: 1^8_II -1-adic symbol: +^8 -^0 level=1, weight=4 a_0,..,a_0 determine modular form &Gram (#1 <- H1) 2 1 2 0 1 2 0 1 1 2 0 0 0 0 2 0 0 1 1 1 2 0 -1 0 0 0 1 2 0 -1 0 0 0 1 1 2 |Aut| = 2^14*3^5*5^2*7 &Genus of the odd trace-forms: det= 1 = 1 2-adic symbol: 1^8_0 -1-adic symbol: +^8 -^0 level(of 2-scaled form)=4, weight=4 a_0,..,a_2 determine modular form &Gram (#2 <- H2) 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 |Aut| = 2^15*3^2*5*7 #short vectors: 16 112