From 5a26aaa5cb0ea309cbbce8cc6e90c9204df0a178 Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 18 May 2017 21:50:57 +0200 Subject: [PATCH] need vector for basis; collect(Base.product) preserves the structure --- src/GroupRings.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 06fecd0..a40c7a9 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -377,7 +377,7 @@ create_pm{T<:GroupElem}(b::Vector{T}) = create_pm(b, reverse_dict(b)) function complete(A::GroupRing) if !isdefined(A, :basis) - A.basis = collect(elements(A.group)) + A.basis = [elements(A.group)...] end if !isdefined(A, :basis_dict) A.basis_dict = reverse_dict(A.basis)