From 07cc7eff168d470717a592a462066d5a89c3cd0e Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 17 May 2017 17:44:36 +0200 Subject: [PATCH] generators of GroupRing (symmetric generating set) --- src/GroupRings.jl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index d8ea9f3..6f38294 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -160,6 +160,12 @@ function setindex!(X::GroupRingElem, value, g::GroupElem) X.coeffs[RG.basis_dict[g]] = value end +function generators(RG::GroupRing) + S = generators(RG.group) + S = unique([S..., [inv(s) for s in S]...]) + return [RG(s) for s in S] +end + ############################################################################### # # String I/O