From 709f030cb5a7a17a3bc33880c0b31fac9ef6340c Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 22 Jun 2017 21:06:51 +0200 Subject: [PATCH] Nemo is already in scope --- src/OrbitDecomposition.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/OrbitDecomposition.jl b/src/OrbitDecomposition.jl index 7f950ea..2a1268b 100644 --- a/src/OrbitDecomposition.jl +++ b/src/OrbitDecomposition.jl @@ -105,7 +105,7 @@ function matrix_repr(g::GroupElem, E, E_dict) return rep_matrix end -function matrix_reps{T<:GroupElem}(G::Nemo.Group, S::Vector{T}, AutS::Nemo.Group, radius::Int) +function matrix_reps{T<:GroupElem}(G::Group, S::Vector{T}, AutS::Group, radius::Int) Id = (isa(G, Nemo.Ring) ? one(G) : G()) E2, _ = Groups.generate_balls(S, Id, radius=radius) Edict = GroupRings.reverse_dict(E2)