1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 14:35:28 +01:00
Groups.jl/test/runtests.jl

41 lines
1.1 KiB
Julia
Raw Permalink Normal View History

2018-09-21 18:08:44 +02:00
using Test
2018-07-30 08:30:27 +02:00
using Groups
2022-04-02 15:50:03 +02:00
using PermutationGroups
2022-04-02 15:51:29 +02:00
import Logging
2021-06-21 19:14:42 +02:00
import KnuthBendix: Word
2018-09-21 18:08:44 +02:00
2021-06-21 18:16:04 +02:00
using GroupsCore
include(joinpath(pathof(GroupsCore), "..", "..", "test", "conformance_test.jl"))
2021-06-21 18:16:04 +02:00
@testset "Groups" begin
2021-05-24 14:46:54 +02:00
2022-04-02 15:53:55 +02:00
_, t = @timed include("free_groups.jl")
@info "free_groups.jl took $(round(t, digits=2))s"
_, t = @timed include("fp_groups.jl")
@info "fp_groups.jl took $(round(t, digits=2))s"
_, t = @timed include("matrix_groups.jl")
@info "matrix_groups.jl took $(round(t, digits=2))s"
_, t = @timed include("AutFn.jl")
@info "AutFn.jl took $(round(t, digits=2))s"
_, t = @timed include("homomorphisms.jl")
@info "homomorphisms.jl took $(round(t, digits=2))s"
2022-10-14 01:15:11 +02:00
if !haskey(ENV, "CI")
2022-04-02 15:53:55 +02:00
_, t = @timed include("AutSigma_41.jl")
@info "AutSigma_41 took $(round(t, digits=2))s"
_, t = @timed include("AutSigma3.jl")
@info "AutSigma3 took $(round(t, digits=2))s"
end
_, t = @timed include("group_constructions.jl")
@info "Constructions took $(round(t, digits=2))s"
end
2022-04-02 15:53:55 +02:00
if !haskey(ENV, "CI")
2022-10-14 01:15:11 +02:00
include("benchmarks.jl")
2017-01-23 16:53:33 +01:00
end