kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2025-01-08 13:22:33 +01:00
Code Issues Releases Wiki Activity

simplify parametrisation of SLn and Spn

Browse Source
This commit is contained in:
Marek Kaluba 2023-03-15 18:25:55 +01:00
parent 116439d074
commit 40cd92e3c4
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
2 changed files with 21 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/matrix_groups/SLn.jl
View File

@ -1,25 +1,26 @@
include("eltary_matrices.jl") include("eltary_matrices.jl")
struct SpecialLinearGroup{N,T,R,A,S} <: AbstractMatrixGroup{N,T} struct SpecialLinearGroup{N,T,R,S} <: AbstractMatrixGroup{N,T}
base_ring::R base_ring::R
alphabet::A alphabet::Alphabet{S}
gens::S gens::Vector{S}
function SpecialLinearGroup{N}(base_ring) where {N} function SpecialLinearGroup{N}(base_ring) where {N}
S = [ElementaryMatrix{N}(i, j, one(base_ring)) for i in 1:N for j in 1:N if i ≠ j] S = [
ElementaryMatrix{N}(i, j, one(base_ring)) for i in 1:N for
j in 1:N if i ≠ j
]
alphabet = Alphabet(S) alphabet = Alphabet(S)
return new{ T = eltype(base_ring)
N, R = typeof(base_ring)
eltype(base_ring), St = eltype(S)
typeof(base_ring),
typeof(alphabet), return new{N,T,R,St}(base_ring, alphabet, S)
typeof(S)
}(base_ring, alphabet, S)
end end
end end
GroupsCore.ngens(SL::SpecialLinearGroup{N}) where {N} = N^2 - N GroupsCore.ngens(SL::SpecialLinearGroup) = length(SL.gens)
function Base.show(io::IO, ::SpecialLinearGroup{N,T}) where {N,T} function Base.show(io::IO, ::SpecialLinearGroup{N,T}) where {N,T}
return print(io, "SL{$N,$T}") return print(io, "SL{$N,$T}")

18
src/matrix_groups/Spn.jl
View File

@ -1,21 +1,19 @@
include("eltary_symplectic.jl") include("eltary_symplectic.jl")
struct SymplecticGroup{N,T,R,A,S} <: AbstractMatrixGroup{N,T} struct SymplecticGroup{N,T,R,S} <: AbstractMatrixGroup{N,T}
base_ring::R base_ring::R
alphabet::A alphabet::Alphabet{S}
gens::S gens::Vector{S}
function SymplecticGroup{N}(base_ring) where {N} function SymplecticGroup{N}(base_ring) where {N}
S = symplectic_gens(N, eltype(base_ring)) S = symplectic_gens(N, eltype(base_ring))
alphabet = Alphabet(S) alphabet = Alphabet(S)
return new{ T = eltype(base_ring)
N, R = typeof(base_ring)
eltype(base_ring), St = eltype(S)
typeof(base_ring),
typeof(alphabet), return new{N,T,R,St}(base_ring, alphabet, S)
typeof(S)
}(base_ring, alphabet, S)
end end
end end