kalmar
/
GroupRings.jl
mirror of https://github.com/kalmarek/GroupRings.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

update to Groups-0.5 and bump to 0.3.4

This commit is contained in:
kalmarek 2020-10-09 17:16:33 +02:00
parent c1465a2209
commit b6526f93ed
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Project.toml
View File

@ -1,7 +1,7 @@
name = "GroupRings"
uuid = "0befed6a-bd73-11e8-1e41-a1190947c2f5"
authors = ["Marek Kaluba <kalmar@amu.edu.pl>"]
version = "0.3.3"
version = "0.3.4"
[deps]
AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
@ -10,11 +10,11 @@ LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
[compat]
AbstractAlgebra = "^0.9.0"
AbstractAlgebra = "^0.10.0"
Groups = "^0.5.0"
[extras]
Groups = "5d8bd718-bd84-11e8-3b40-ad14f4a32557"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
[targets]
test = ["Test", "Groups"]
test = ["Test"]

6
test/runtests.jl
View File

@ -49,7 +49,7 @@ using SparseArrays
S = gens(F)
append!(S, [inv(s) for s in S])
basis, sizes = Groups.generate_balls(S, one(F), radius=4)
basis, sizes = Groups.wlmetric_ball(S, one(F), radius=4)
d = GroupRings.reverse_dict(basis)
@test_throws KeyError create_pm(basis)
pm = create_pm(basis, d, sizes[2])
@ -120,7 +120,7 @@ using SparseArrays
E(M, i,j) = (e_ij = one(M); e_ij[i,j] = 1; e_ij)
S = [E(M, i,j) for i in 1:N for j in 1:N if i≠j]
S = unique([S; inv.(S)])
E_R, sizes = Groups.generate_balls(S, radius=2*halfradius)
E_R, sizes = Groups.wlmetric_ball(S, radius=2*halfradius)
E_rdict = GroupRings.reverse_dict(E_R)
pm = GroupRings.create_pm(E_R, E_rdict, sizes[halfradius]; twisted=true);
@ -260,7 +260,7 @@ using SparseArrays
ID = one(G)
RADIUS=3
@time E_R, sizes = Groups.generate_balls(S, ID, radius=2*RADIUS);
@time E_R, sizes = Groups.wlmetric_ball(S, ID, radius=2*RADIUS);
@test sizes == [9, 65, 457, 3201, 22409, 156865]
E_rdict = GroupRings.reverse_dict(E_R)
pm = GroupRings.create_pm(E_R, E_rdict, sizes[RADIUS]; twisted=true);