kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-11 06:56:28 +01:00
Code Issues Releases Wiki Activity

make tests pass

Browse Source
This commit is contained in:
kalmarek 2017-10-24 15:28:02 +02:00
parent c593522ab9
commit 271e96b44f
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test/AutGroup-tests.jl
View File

@ -129,7 +129,6 @@
@test (Groups.change_pow(f, -2)).pow == 1 @test (Groups.change_pow(f, -2)).pow == 1
@test (inv(f)).pow == 1 @test (inv(f)).pow == 1
f = Groups.perm_autsymbol(G([2,1,4,3])) f = Groups.perm_autsymbol(G([2,1,4,3]))
@test isa(inv(f), Groups.AutSymbol) @test isa(inv(f), Groups.AutSymbol)
@ -164,7 +163,7 @@
S_inv = [S..., [inv(s) for s in S]...] S_inv = [S..., [inv(s) for s in S]...]
@test length(unique(S_inv)) == 75 @test length(unique(S_inv)) == 75
G = AutGroup(FreeGroup(N), special=true, outer=true) G = AutGroup(FreeGroup(N), special=true)
S = Nemo.gens(G) S = Nemo.gens(G)
S_inv = [G(), S..., [inv(s) for s in S]...] S_inv = [G(), S..., [inv(s) for s in S]...]
S_inv = unique(S_inv) S_inv = unique(S_inv)