Fix test cases for finite pcgroup

oscar-system · Oct 30, 2024 · 416fd8b · 416fd8b
1 parent 94cd03e
commit 416fd8b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/test/Groups/pcgroup.jl b/test/Groups/pcgroup.jl
@@ -91,15 +91,15 @@ end
   set_relative_order!(c, 2, 3)
   set_power!(c, 1, [2 => 1])
   gg = pc_group(c)
-  @test letters(gg[1]^5*gg[2]^-4) == [1, 2, 2]
-  @test letters(gg[1]^5*gg[2]^4) == [1, 2] # all positive exp
+  @test letters(gg[1]^5*gg[2]^-4) == [1, 2]
+  @test letters(gg[1]^5*gg[2]^4) == [1] # all positive exp
   @test letters(gg[1]^-5*gg[2]^-7) == [1, 2, 2] # all negative exp
-  @test letters(gg[1]^2*gg[2]^3) == [] # both identity elements
+  @test letters(gg[1]^2*gg[2]^3) == [2] # both identity elements
 
   # finite polycyclic subgroup
   gg = pc_group(symmetric_group(4))
   G = derived_subgroup(gg)[1]
   @test letters(G[1]^2) == [2, 2]
   @test letters(G[1]^2*G[2]^3*G[3]^3) == [2, 2, 3, 4]
   @test letters(G[1]^-2*G[2]^-3*G[3]^-3) == [2, 3, 4]
-end
+end