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

update Groups to 0.5

Browse Source
This commit is contained in:
kalmarek 2020-10-17 02:04:31 +02:00
parent 6ab18d0283
commit 6992840899
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Project.toml
View File

@ -15,9 +15,9 @@ LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
[compat] [compat]
AbstractAlgebra = "^0.9.0" AbstractAlgebra = "^0.10.0"
GroupRings = "^0.3.2" GroupRings = "^0.3.2"
Groups = "^0.4.2" Groups = "^0.5.0"
IntervalArithmetic = "^0.16.0" IntervalArithmetic = "^0.16.0"
JLD = "^0.9.0" JLD = "^0.9.0"
JuMP = "^0.20.0" JuMP = "^0.20.0"

2
src/laplacians.jl
View File

@ -16,7 +16,7 @@ end
function Laplacian(S::AbstractVector{REl}, halfradius) where REl<:Union{NCRingElem, GroupElem} function Laplacian(S::AbstractVector{REl}, halfradius) where REl<:Union{NCRingElem, GroupElem}
G = parent(first(S)) G = parent(first(S))
@info "Generating metric ball of radius" radius=2halfradius @info "Generating metric ball of radius" radius=2halfradius
@time E_R, sizes = Groups.generate_balls(S, one(G), radius=2halfradius) @time E_R, sizes = Groups.wlmetric_ball(S, radius=2halfradius)
@info "Generated balls:" sizes @info "Generated balls:" sizes
@info "Creating product matrix..." @info "Creating product matrix..."

4
test/actions.jl
View File

@ -15,7 +15,7 @@
halfradius = 2 halfradius = 2
M = MatrixAlgebra(zz, N) M = MatrixAlgebra(zz, N)
S = PropertyT.generating_set(M) S = PropertyT.generating_set(M)
E_R, sizes = Groups.generate_balls(S, one(M), radius=2halfradius); E_R, sizes = Groups.wlmetric_ball(S, one(M), radius=2halfradius);
rdict = GroupRings.reverse_dict(E_R) rdict = GroupRings.reverse_dict(E_R)
pm = GroupRings.create_pm(E_R, rdict, sizes[halfradius]; twisted=false); pm = GroupRings.create_pm(E_R, rdict, sizes[halfradius]; twisted=false);
@ -59,7 +59,7 @@ end
halfradius = 2 halfradius = 2
M = SAut(FreeGroup(N)) M = SAut(FreeGroup(N))
S = PropertyT.generating_set(M) S = PropertyT.generating_set(M)
E_R, sizes = Groups.generate_balls(S, one(M), radius=2halfradius); E_R, sizes = Groups.wlmetric_ball(S, one(M), radius=2halfradius);
rdict = GroupRings.reverse_dict(E_R) rdict = GroupRings.reverse_dict(E_R)
pm = GroupRings.create_pm(E_R, rdict, sizes[halfradius]; twisted=false); pm = GroupRings.create_pm(E_R, rdict, sizes[halfradius]; twisted=false);