mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2025-01-11 14:02:33 +01:00
make sure we don't reduce if not asked
This commit is contained in:
parent
7139322d05
commit
8cd10c0bfa
@ -177,6 +177,13 @@
|
||||
|
||||
@test g == A(Groups.perm_autsymbol([2,1,3,4]))
|
||||
|
||||
g_im = g(Groups.domain(A))
|
||||
@test length(g_im[1]) == 5
|
||||
@test length(g_im[2]) == 3
|
||||
@test length(g_im[3]) == 1
|
||||
@test length(g_im[4]) == 1
|
||||
@test length.(Groups.reduce!.(g_im)) == (1,1,1,1)
|
||||
|
||||
end
|
||||
|
||||
@testset "specific Aut(F4) tests" begin
|
||||
|
Loading…
Reference in New Issue
Block a user