From 2f2118a011a3f309ebdfbe16718d32f0cfbe474d Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 8 Jun 2017 21:38:58 +0200 Subject: [PATCH] use multiplicative group of a Ring by default --- OrbitDecomposition.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/OrbitDecomposition.jl b/OrbitDecomposition.jl index 6a43211..35ecec8 100644 --- a/OrbitDecomposition.jl +++ b/OrbitDecomposition.jl @@ -163,6 +163,11 @@ function compute_orbit_data{T<:GroupElem}(logger, name::String, G::Group, S::Vec info(logger, "Generating ball of radius 4") @time E4, sizes = Groups.generate_balls(S, G(), radius=2*radius); + if isa(G, Nemo.Ring) + Id = one(G) + else + Id = G() + end info(logger, "Reverse dict") @time E_dict = GroupRings.reverse_dict(E4)