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

broaden signature of generate_balls to include NCRingElems

Browse Source
This commit is contained in:
kalmarek 2019-06-30 19:55:56 +02:00
parent 54825b4964
commit fc4b01a193
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Groups.jl
View File

@ -425,7 +425,8 @@ end
# #
############################################################################### ###############################################################################
function generate_balls(S::Vector{T}, Id::T=parent(first(S))(); radius=2, op=*) where T<:GroupElem function generate_balls(S::AbstractVector{T}, Id::T=parent(first(S))();
radius=2, op=*) where T<:GroupElem
sizes = Int[] sizes = Int[]
B = [Id] B = [Id]
for i in 1:radius for i in 1:radius
@ -436,7 +437,8 @@ function generate_balls(S::Vector{T}, Id::T=parent(first(S))(); radius=2, op=*)
return B, sizes return B, sizes
end end
function generate_balls(S::Vector{T}, Id::T=one(parent(first(S))); radius=2, op=*) where {T<:RingElem} function generate_balls(S::AbstractVector{T}, Id::T=one(parent(first(S)));
radius=2, op=*) where {T<:NCRingElem}
sizes = Int[] sizes = Int[]
B = [Id] B = [Id]
for i in 1:radius for i in 1:radius

12
test/runtests.jl
View File

@ -5,6 +5,18 @@ using Groups
using LinearAlgebra using LinearAlgebra
@testset "Groups" begin @testset "Groups" begin
@testset "generate balls" begin
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)]);
_, sizes = Groups.generate_balls(S, radius=4);
@test sizes == [7, 33, 141, 561]
end
include("FreeGroup-tests.jl") include("FreeGroup-tests.jl")
include("AutGroup-tests.jl") include("AutGroup-tests.jl")
include("DirectPower-tests.jl") include("DirectPower-tests.jl")