From 1468ac209c246df65bb4f6b41c20498e14e8326c Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 21 Jun 2017 16:51:21 +0200 Subject: [PATCH] Group -> Nemo.Group for easier include --- OrbitDecomposition.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/OrbitDecomposition.jl b/OrbitDecomposition.jl index 976a668..9989edd 100644 --- a/OrbitDecomposition.jl +++ b/OrbitDecomposition.jl @@ -133,7 +133,7 @@ function orthSVD(M::AbstractMatrix) return fact[:U][:,1:M_rank] end -function compute_orbit_data{T<:GroupElem}(logger, name::String, G::Group, S::Vector{T}, AutS; radius=2) +function compute_orbit_data{T<:GroupElem}(logger, name::String, G::Nemo.Group, S::Vector{T}, AutS; radius=2) isdir(name) || mkdir(name) info(logger, "Generating ball of radius $(2*radius)")