kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2025-01-01 11:45:28 +01:00
Code Issues Releases Wiki Activity

parametrise GroupRing by Group and GroupElem

Browse Source 
as suggested by thofma
This commit is contained in:
kalmar 2017-06-05 23:50:15 +02:00
parent 0972cd1fdc
commit 43d78c97f8
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/GroupRings.jl
View File

@ -11,13 +11,13 @@ import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize,
# #
############################################################################### ###############################################################################
type GroupRing <: Ring type GroupRing{Gr<:Group, T<:GroupElem} <: Ring
group::Group group::Gr
basis::Vector{GroupElem} basis::Vector{T}
basis_dict::Dict{GroupElem, Int} basis_dict::Dict{T, Int}
pm::Array{Int,2} pm::Array{Int,2}
function GroupRing(G::Group; initialise=true) function GroupRing(G::Gr; initialise=true)
A = new(G) A = new(G)
if initialise if initialise
complete(A) complete(A)
@ -25,11 +25,15 @@ type GroupRing <: Ring
return A return A
end end
function GroupRing(G::Group, basis, basis_dict, pm::Array{Int,2}) function GroupRing(G::Gr, basis::Vector{T}, basis_dict::Dict{T,Int}, pm::Array{Int,2})
return new(G, basis, basis_dict, pm) return new(G, basis, basis_dict, pm)
end end
end end
GroupRing{Gr<:Group}(G::Gr;initialise=true) = GroupRing{Gr, elem_type(G)}(G, initialise=initialise)
GroupRing{Gr<:Group, T<:GroupElem}(G::Gr, b::Vector{T}, b_d::Dict{T,Int}, pm::Array{Int,2}) = GroupRing{Gr, T}(G, b, b_d, pm)
type GroupRingElem{T<:Number} <: RingElem type GroupRingElem{T<:Number} <: RingElem
coeffs::AbstractVector{T} coeffs::AbstractVector{T}
parent::GroupRing parent::GroupRing