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

parametrise GroupRingElem on the type of parent

Browse Source
This commit is contained in:
kalmarek 2017-09-15 19:02:24 +02:00
parent cacef5f08a
commit 36be0e000f
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/GroupRings.jl
View File

@ -45,13 +45,13 @@ function GroupRing(G::Gr, b::Vector{T}, b_d::Dict{T,Int}, pm::Array{Int,2}) wher
end end
GroupRing(G::Gr, pm::Array{Int,2}) where {Gr<:Group} = GroupRing(G::Gr, pm::Array{Int,2}) where {Gr<:Group} =
GroupRing{Gr, elem_type(G)}(G, pm) GroupRing{Gr}(G, pm)
mutable struct GroupRingElem{T, A<:AbstractVector} <: RingElem mutable struct GroupRingElem{T, A<:AbstractVector, GR<:GroupRing} <: RingElem
coeffs::A coeffs::A
parent::GroupRing parent::GR
function GroupRingElem{T, A}(c::AbstractVector{T}, RG::GroupRing, check=true) where {T, A} function GroupRingElem{T, A, GR}(c::AbstractVector{T}, RG::GR, check=true) where {T, A, GR}
if check if check
if isdefined(RG, :basis) if isdefined(RG, :basis)
length(c) == length(RG.basis) || throw( length(c) == length(RG.basis) || throw(
@ -97,7 +97,7 @@ end
############################################################################### ###############################################################################
function GroupRingElem(c::AbstractVector, RG::GroupRing) function GroupRingElem(c::AbstractVector, RG::GroupRing)
return GroupRingElem{eltype(c), typeof(c)}(c, RG) return GroupRingElem{eltype(c), typeof(c), typeof(RG)}(c, RG)
end end
function GroupRing(G::Group; fastm::Bool=false) function GroupRing(G::Group; fastm::Bool=false)