From 8819269689f44eac22aea5a10f7167c45f7dda22 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 12 Jul 2017 20:18:42 +0200 Subject: [PATCH] central projections tend to be dense --- src/Projections.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Projections.jl b/src/Projections.jl index 9ca9ca0..4a7d315 100644 --- a/src/Projections.jl +++ b/src/Projections.jl @@ -97,6 +97,7 @@ end function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int}) result = RG(T) + result.coeffs = full(result.coeffs) for g in RG.basis result[g] = char(g) end