add tests for powering (and the required copy method)

kalmarek · Nov 29, 2023 · cef2ef0 · cef2ef0
1 parent d063952
commit cef2ef0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/group_elements.jl b/src/group_elements.jl
@@ -38,6 +38,8 @@ Base.deepcopy_internal(g::GroupElement, stackdict::IdDict) = throw(
 # or a singleton). However by defining this fallback we force everybody to
 # implement it, except isbits group elements.
 
+Base.copy(g::GroupElement) = deepcopy(g)
+
 @doc Markdown.doc"""
     inv(g::GroupElement)
 

diff --git a/test/conformance_test.jl b/test/conformance_test.jl
@@ -129,6 +129,12 @@ function test_GroupElement_interface(g::GEl, h::GEl) where {GEl<:GroupElement}
             @test g^-3 == inv(g) * inv(g) * inv(g)
             @test (g, h) == (old_g, old_h)
 
+            pow(g,n) = g^n
+
+            @test pow(g, 6) isa GroupElement
+            @test pow(g, 1) isa GroupElement
+            @test (g, h) == (old_g, old_h)
+
             @test (g * h)^-1 == inv(h) * inv(g)
             @test (g, h) == (old_g, old_h)