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

formatting

Browse Source
This commit is contained in:
kalmar 2017-05-17 14:38:00 +02:00
parent 0dd23532ac
commit 15af76f068
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/GroupRings.jl
View File

@ -160,11 +160,11 @@ end
function show(io::IO, X::GroupRingElem) function show(io::IO, X::GroupRingElem)
T = eltype(X.coeffs) T = eltype(X.coeffs)
if X == parent(X)(T) RG = parent(X)
print(io, "0*$((parent(X).group)())") if X == RG(T)
print(io, "$(zero(T))*$((RG.group)())")
else else
elts = ("$(X[i])*$(RG.basis[i])" for i in 1:length(X) if X[i] != zero(T))
elts = ("$(X[i])*$(parent(X).basis[i])" for i in 1:length(X) if X[i] != zero(T))
join(io, elts, " + ") join(io, elts, " + ")
end end
end end
@ -198,10 +198,8 @@ end
(*){T<:Number}(a::T, X::GroupRingElem{T}) = GroupRingElem(a*X.coeffs, parent(X)) (*){T<:Number}(a::T, X::GroupRingElem{T}) = GroupRingElem(a*X.coeffs, parent(X))
function scalar_multiplication{T<:Number, S<:Number}(a::T, function scalar_mult{T<:Number, S<:Number}(a::T, X::GroupRingElem{S})
X::GroupRingElem{S}) promote_type(T,S) == S || warn("Scalar and coeffs are in different rings! Promoting result to $(promote_type(T,S))")
promote_type(T,S) == S || warn("Scalar and coeffs are in different rings!
Promoting result to $(promote_type(T,S))")
return GroupRingElem(a*X.coeffs, parent(X)) return GroupRingElem(a*X.coeffs, parent(X))
end end