unit-test C7 x: C3

aidevnn · Sep 27, 2022 · 7a83fff · 7a83fff
1 parent d9b1c1e
commit 7a83fff
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/test/cgrouptest.jl b/test/cgrouptest.jl
@@ -111,5 +111,18 @@
 
         @test AreIsomorphic(S3, Z3sdpZ2)
         @test AreIsomorphic(D8, Z4sdpZ2)
+
+        G1 = CreateGroupByGenerators(Sn(7), Sn(7)([1:7...]), Sn(7)([2, 3, 5], [4, 7, 6]))
+        C3 = CreateGroupByGenerators(Zn(3), ZnInt(1, 3))
+        C7 = CreateGroupByGenerators(Zn(7), ZnInt(1, 7))
+        G2 = DirectProduct(Gp{2}(C3, C7))
+        G3 = CreateSemiDirectProduct(C7, C3)
+
+        @test length(G1.elements) == 21
+        @test length(G2.elements) == 21
+        @test length(G3.elements) == 21
+        @test !AreIsomorphic(G1, G2)
+        @test AreIsomorphic(G1, G3)
+
     end
 end