kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-26 02:20:30 +01:00
Code Issues Releases Wiki Activity

fix bug in reduce!(::Automorphism)

Browse Source
This commit is contained in:
kalmarek 2020-03-25 16:25:21 +01:00
parent 6d22c82ab3
commit 7bc26ece79
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/AutGroup.jl
View File

@ -294,7 +294,7 @@ function reduce!(w::Automorphism)
while !reduced while !reduced
reduced = simplifyperms!(Bool, w) && freereduce!(Bool, w) reduced = simplifyperms!(Bool, w) && freereduce!(Bool, w)
end end
return W return w
end end
############################################################################### ###############################################################################

9
test/AutGroup-tests.jl
View File

@ -182,6 +182,15 @@
g_im = g(Groups.domain(A)) g_im = g(Groups.domain(A))
@test length.(g_im) == (1,1,1,1) @test length.(g_im) == (1,1,1,1)
g = A(Groups.σ(perm"(1,2)(4)"))
h = A(Groups.σ(perm"(2,3,4)"))
@test g*h isa Groups.Automorphism{4}
f = g*h
Groups
@test Groups.syllablelength(f) == 2
@test Groups.reduce!(f) isa Groups.Automorphism{4}
@test Groups.syllablelength(f) == 1
end end
@testset "specific Aut(F4) tests" begin @testset "specific Aut(F4) tests" begin