kalmar
/
GroupRings.jl
mirror of https://github.com/kalmarek/GroupRings.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

get rid of Group Algebra legacy

This commit is contained in:
kalmar 2017-05-17 12:31:49 +02:00
parent a62f63178c
commit 560cfc182a
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/GroupRings.jl
View File

@ -217,14 +217,14 @@ end
function add{T<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{T}) function add{T<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{T})
parent(X) == parent(Y) || throw(ArgumentError( parent(X) == parent(Y) || throw(ArgumentError(
"Elements don't seem to belong to the same Group Algebra!")) "Elements don't seem to belong to the same Group Ring!"))
return GroupRingElem(X.coeffs+Y.coeffs, parent(X)) return GroupRingElem(X.coeffs+Y.coeffs, parent(X))
end end
function add{T<:Number, S<:Number}(X::GroupRingElem{T}, function add{T<:Number, S<:Number}(X::GroupRingElem{T},
Y::GroupRingElem{S}) Y::GroupRingElem{S})
parent(X) == parent(Y) || throw(ArgumentError( parent(X) == parent(Y) || throw(ArgumentError(
"Elements don't seem to belong to the same Group Algebra!")) "Elements don't seem to belong to the same Group Ring!"))
warn("Adding elements with different base rings!") warn("Adding elements with different base rings!")
return GroupRingElem(+(promote(X.coeffs, Y.coeffs)...), parent(X)) return GroupRingElem(+(promote(X.coeffs, Y.coeffs)...), parent(X))
end end
@ -260,7 +260,7 @@ end
function groupring_mult{T<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{T}) function groupring_mult{T<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{T})
parent(X) == parent(Y) || throw(ArgumentError( parent(X) == parent(Y) || throw(ArgumentError(
"Elements don't seem to belong to the same Group Algebra!")) "Elements don't seem to belong to the same Group Ring!"))
result = groupring_mult(X.coeffs, Y.coeffs, parent(X).pm) result = groupring_mult(X.coeffs, Y.coeffs, parent(X).pm)
return GroupRingElem(result, parent(X)) return GroupRingElem(result, parent(X))
end end