mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-12-26 18:40:29 +01:00
central projections tend to be dense
This commit is contained in:
parent
451245419c
commit
8819269689
@ -97,6 +97,7 @@ end
|
|||||||
|
|
||||||
function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int})
|
function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int})
|
||||||
result = RG(T)
|
result = RG(T)
|
||||||
|
result.coeffs = full(result.coeffs)
|
||||||
for g in RG.basis
|
for g in RG.basis
|
||||||
result[g] = char(g)
|
result[g] = char(g)
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user