kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-12-28 18:50:29 +01:00
Code Issues Releases Wiki Activity

add tests checking that comlpetions with 0s work

Browse Source
This commit is contained in:
kalmarek 2017-09-10 21:43:09 +02:00
parent 61bed0f3d0
commit d14c4ca0e7
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/runtests.jl
View File

@ -44,7 +44,6 @@ using Nemo
F = FreeGroup(3) F = FreeGroup(3)
S = gens(F) S = gens(F)
append!(S, [inv(s) for s in S]) append!(S, [inv(s) for s in S])
S = unique(S)
basis, sizes = Groups.generate_balls(S, F(), radius=4) basis, sizes = Groups.generate_balls(S, F(), radius=4)
d = GroupRings.reverse_dict(basis) d = GroupRings.reverse_dict(basis)
@ -58,6 +57,15 @@ using Nemo
B = GroupRing(F, basis, d, pm) B = GroupRing(F, basis, d, pm)
@test A == B @test A == B
RF = GroupRing(F, basis, d, create_pm(basis, d, check=false))
nz1 = contnz(RF.pm)
@test nz1 > 1000
GroupRings.complete!(RF)
nz2 = contnz(RF.pm)
@test nz2 > nz1
@test nz2 = 45469
g = B() g = B()
s = S[2] s = S[2]
g[s] = 1 g[s] = 1