deprecate groupring_mult in favour of multiple dispatch of (*)
This commit is contained in:
parent
2eeb85d2ed
commit
986dd3dae1
|
@ -305,7 +305,7 @@ function groupring_mult(X::AbstractVector, Y::AbstractVector, pm::Array{Int,2})
|
||||||
return result
|
return result
|
||||||
end
|
end
|
||||||
|
|
||||||
function groupring_mult{T<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{T})
|
function *{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 Ring!"))
|
"Elements don't seem to belong to the same Group Ring!"))
|
||||||
RG = parent(X)
|
RG = parent(X)
|
||||||
|
@ -314,8 +314,7 @@ function groupring_mult{T<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{T})
|
||||||
return GroupRingElem(result, RG)
|
return GroupRingElem(result, RG)
|
||||||
end
|
end
|
||||||
|
|
||||||
function groupring_mult{T<:Number, S<:Number}(X::GroupRingElem{T},
|
function *{T<:Number, S<:Number}(X::GroupRingElem{T}, Y::GroupRingElem{S})
|
||||||
Y::GroupRingElem{S})
|
|
||||||
parent(X) == parent(Y) || throw("Elements don't seem to belong to the same
|
parent(X) == parent(Y) || throw("Elements don't seem to belong to the same
|
||||||
Group Ring!")
|
Group Ring!")
|
||||||
warn("Multiplying elements with different base rings!")
|
warn("Multiplying elements with different base rings!")
|
||||||
|
@ -325,8 +324,6 @@ function groupring_mult{T<:Number, S<:Number}(X::GroupRingElem{T},
|
||||||
return GroupRingElem(result, RG)
|
return GroupRingElem(result, RG)
|
||||||
end
|
end
|
||||||
|
|
||||||
(*)(X::GroupRingElem, Y::GroupRingElem) = groupring_mult(X,Y)
|
|
||||||
|
|
||||||
###############################################################################
|
###############################################################################
|
||||||
#
|
#
|
||||||
# *-involution
|
# *-involution
|
||||||
|
|
Loading…
Reference in New Issue