kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-04 04:20:29 +01:00
Code Issues Releases Wiki Activity

update benchmark on wl_ball

Browse Source
This commit is contained in:
Marek Kaluba 2023-03-22 21:44:33 +01:00
parent c69eff1540
commit 038fc29b81
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 17 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
test/benchmarks.jl
View File

@ -5,14 +5,18 @@ using Groups
function wl_ball(F; radius::Integer)
g, state = iterate(F)
while length(word(g)) <= radius
sizes = Int[]
while length(sizes) ≤ radius
res = iterate(F, state)
isnothing(res) && break
g, state = res
if length(word(g)) > length(sizes)
push!(sizes, length(state.seen) - 1)
end
end
elts = collect(state.seen)
elts = resize!(elts, length(elts)-1)
return elts
resize!(elts, sizes[end] - 1)
return elts, sizes[2:end]
end
@testset "Benchmarks" begin
@ -25,21 +29,16 @@ end
let G = FN
S = unique([gens(G); inv.(gens(G))])
sizes1 = last(Groups.wlmetric_ball(S, radius=R, threading=false))
sizes2 = last(Groups.wlmetric_ball(S, radius=R, threading=true))
l = length(wl_ball(G, radius=R))
sizes1 = last(Groups.wlmetric_ball(S; radius = R))
sizes2 = last(wl_ball(G; radius = R))
@test sizes1 == sizes2
@test last(sizes1) == l
@info "Ball of radius $R in $(parent(first(S)))" sizes=sizes1
@info "Ball of radius $R in $(parent(first(S)))" sizes = sizes1
@info "serial"
@time Groups.wlmetric_ball(S, radius=R, threading=false)
@info "threaded"
@time Groups.wlmetric_ball(S, radius=R, threading=true)
@time Groups.wlmetric_ball(S, radius = R)
@info "iteration"
@time wl_ball(G, radius=R)
@time wl_ball(G, radius = R)
end
end
@ -51,21 +50,16 @@ end
let G = SAutFN
S = unique([gens(G); inv.(gens(G))])
sizes1 = last(Groups.wlmetric_ball(S, radius=R, threading=false))
sizes2 = last(Groups.wlmetric_ball(S, radius=R, threading=true))
l = length(wl_ball(G, radius=R))
sizes1 = last(Groups.wlmetric_ball(S; radius = R))
sizes2 = last(wl_ball(G; radius = R))
@test sizes1 == sizes2
@test last(sizes1) == l
@info "Ball of radius $R in $(parent(first(S)))" sizes=sizes1
@info "Ball of radius $R in $(parent(first(S)))" sizes = sizes1
@info "serial"
@time Groups.wlmetric_ball(S, radius=R, threading=false)
@info "threaded"
@time Groups.wlmetric_ball(S, radius=R, threading=true)
@time Groups.wlmetric_ball(S, radius = R)
@info "iteration"
@time wl_ball(G, radius=R)
@time wl_ball(G, radius = R)
end
end
end