fix spinor genera in genus for QuadLat (#1173)

thofma · Jul 21, 2023 · 6fa1321 · 6fa1321
1 parent 84fffb9
commit 6fa1321
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/src/QuadForm/Quad/GenusRep.jl b/src/QuadForm/Quad/GenusRep.jl
@@ -165,9 +165,9 @@ function spinor_genera_in_genus(L, mod_out)
       if i > ncols(Gr)
         error("Lattice is degenerated")
       end
-      @assert !iszero(Gr[1, i])
-      spinornorm = 2 * Gr[1, i]
     end
+    @assert !iszero(Gr[1, i])
+    spinornorm = 2 * Gr[1, i]
   end
 
   # 2) At a place p where spinornorm does not generate norm(L_p)

diff --git a/test/QuadForm/Quad/GenusRep.jl b/test/QuadForm/Quad/GenusRep.jl
@@ -111,6 +111,10 @@
   L = integer_lattice(B, gram = G);
   @test length(genus_representatives(L))==1
 
+  U = hyperbolic_plane_lattice()
+  L = direct_sum(U, U)[1]
+  G = genus(L)
+  @test length(representatives(G)) == 1
 end
 
 @testset "Genus Representatives Number Field" begin