kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 02:05:30 +01:00
Code Issues Releases Wiki Activity

rm AbstractAlgebra

Browse Source
This commit is contained in:
Marek Kaluba 2022-04-02 14:53:06 +02:00
parent e78520f90b
commit 22a8809c6f
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
3 changed files with 15 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Project.toml
View File

@ -12,7 +12,6 @@ PermutationGroups = "8bc5a954-2dfc-11e9-10e6-cd969bffa420"
Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
[compat] [compat]
AbstractAlgebra = "0.22"
Folds = "0.2.7" Folds = "0.2.7"
GroupsCore = "0.4" GroupsCore = "0.4"
KnuthBendix = "0.3" KnuthBendix = "0.3"
@ -27,4 +26,4 @@ PermutationGroups = "8bc5a954-2dfc-11e9-10e6-cd969bffa420"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
[targets] [targets]
test = ["Test", "BenchmarkTools", "AbstractAlgebra", "PermutationGroups"] test = ["Test", "BenchmarkTools"]

18
test/matrix_groups.jl
View File

@ -1,7 +1,6 @@
using Groups.MatrixGroups using Groups.MatrixGroups
@testset "Matrix Groups" begin @testset "Matrix Groups" begin
@testset "SL(n, ℤ)" begin @testset "SL(n, ℤ)" begin
SL3Z = SpecialLinearGroup{3}(Int8) SL3Z = SpecialLinearGroup{3}(Int8)
@ -9,7 +8,20 @@ using Groups.MatrixGroups
E, sizes = Groups.wlmetric_ball(S, radius=4) E, sizes = Groups.wlmetric_ball(S, radius=4)
@test sizes = [13, 121, 883, 5455] @test sizes == [13, 121, 883, 5455]
E(i,j) = SL3Z([A[MatrixGroups.ElementaryMatrix{3}(i,j, Int8(1))]])
A = alphabet(SL3Z)
w = E(1,2)
r = E(2,3)^-3
s = E(1,3)^2*E(3,2)^-1
S = [w,r,s]; S = unique([S; inv.(S)]);
_, sizes = Groups.wlmetric_ball(S, radius=4);
@test sizes == [7, 33, 141, 561]
_, sizes = Groups.wlmetric_ball_serial(S, radius=4);
@test sizes == [7, 33, 141, 561]
@testset "GroupsCore conformance" begin @testset "GroupsCore conformance" begin
test_Group_interface(SL3Z) test_Group_interface(SL3Z)
@ -18,7 +30,5 @@ using Groups.MatrixGroups
test_GroupElement_interface(g, h) test_GroupElement_interface(g, h)
end end
end end
end end

14
test/runtests.jl
View File

@ -1,5 +1,4 @@
using Test using Test
import AbstractAlgebra
using Groups using Groups
import KnuthBendix: Word import KnuthBendix: Word
@ -9,19 +8,6 @@ include(joinpath(pathof(GroupsCore), "..", "..", "test", "conformance_test.jl"))
@testset "Groups" begin @testset "Groups" begin
@testset "wlmetric_ball" begin
M = AbstractAlgebra.MatrixAlgebra(AbstractAlgebra.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)]);
_, sizes = Groups.wlmetric_ball(S, radius=4);
@test sizes == [7, 33, 141, 561]
_, sizes = Groups.wlmetric_ball_serial(S, radius=4);
@test sizes == [7, 33, 141, 561]
end
include("free_groups.jl") include("free_groups.jl")
include("fp_groups.jl") include("fp_groups.jl")