2018-09-21 18:08:44 +02:00
|
|
|
using Test
|
2018-07-30 08:30:27 +02:00
|
|
|
using AbstractAlgebra
|
|
|
|
using Groups
|
2017-01-23 16:45:24 +01:00
|
|
|
|
2018-09-21 18:08:44 +02:00
|
|
|
using LinearAlgebra
|
|
|
|
|
2017-05-11 18:30:23 +02:00
|
|
|
@testset "Groups" begin
|
2019-06-30 19:55:56 +02:00
|
|
|
|
2020-10-09 15:29:19 +02:00
|
|
|
@testset "wlmetric_ball" begin
|
2019-06-30 19:55:56 +02:00
|
|
|
M = MatrixAlgebra(zz, 3)
|
|
|
|
w = one(M); w[1,2] = 1;
|
|
|
|
r = one(M); r[2,3] = -3;
|
|
|
|
s = one(M); s[1,3] = 2; s[3,2] = -1;
|
|
|
|
|
|
|
|
S = [w,r,s]; S = unique([S; inv.(S)]);
|
2020-10-09 13:50:11 +02:00
|
|
|
_, sizes = Groups.wlmetric_ball(S, radius=4);
|
2019-06-30 19:55:56 +02:00
|
|
|
@test sizes == [7, 33, 141, 561]
|
|
|
|
end
|
|
|
|
|
2017-05-15 17:30:38 +02:00
|
|
|
include("FreeGroup-tests.jl")
|
2017-05-15 10:12:46 +02:00
|
|
|
include("AutGroup-tests.jl")
|
2019-01-02 15:55:37 +01:00
|
|
|
include("DirectPower-tests.jl")
|
2017-07-23 17:09:50 +02:00
|
|
|
include("WreathProd-tests.jl")
|
2019-11-15 23:32:04 +01:00
|
|
|
include("FPGroup-tests.jl")
|
2017-01-23 16:53:33 +01:00
|
|
|
end
|