kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-10-11 15:00:36 +02:00
Code Issues Releases Wiki Activity

Revert "Type experiment: parametrise GroupRingElem after types of its parent"

Browse Source 
This reverts commit 75a83da8cb.
This commit is contained in:
kalmar 2017-07-19 13:33:55 +02:00
parent 1a77e8a2bc
commit f939a2ae27
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/GroupRings.jl
View File

@ -34,9 +34,9 @@ GroupRing{Gr<:Group}(G::Gr;initialise=true) = GroupRing{Gr, elem_type(G)}(G, ini
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) 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, Gr<:Group, GrEl<:GroupElem} <: RingElem type GroupRingElem{T<:Number} <: RingElem
coeffs::AbstractVector{T} coeffs::AbstractVector{T}
parent::GroupRing{Gr, GrEl} parent::GroupRing
function GroupRingElem(c::AbstractVector{T}, RG::GroupRing, check=true) function GroupRingElem(c::AbstractVector{T}, RG::GroupRing, check=true)
if check if check
@ -81,8 +81,8 @@ end
# #
############################################################################### ###############################################################################
function GroupRingElem{T<:Number, Gr<:Group, GrEl<:GroupElem}(c::AbstractVector{T}, RG::GroupRing{Gr, GrEl}) function GroupRingElem{T<:Number}(c::AbstractVector{T}, RG::GroupRing)
return GroupRingElem{T, Gr, GrEl}(c, RG) return GroupRingElem{T}(c, RG)
end end
function GroupRing(G::Group, pm::Array{Int,2}) function GroupRing(G::Group, pm::Array{Int,2})