From 8c930a6f7f5f840db110b83ae4e9584314665174 Mon Sep 17 00:00:00 2001 From: kalmar Date: Tue, 6 Jun 2017 16:19:17 +0200 Subject: [PATCH] move overwritten convert --- OrbitDecomposition.jl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/OrbitDecomposition.jl b/OrbitDecomposition.jl index 603f85b..0265af3 100644 --- a/OrbitDecomposition.jl +++ b/OrbitDecomposition.jl @@ -11,6 +11,9 @@ import Nemo.elements using JLD using ProgressMeter +import Base.convert +convert(::Type{Int}, x::Nemo.fmpz) = x.d + function products{T<:GroupElem}(X::AbstractVector{T}, Y::AbstractVector{T}) result = Vector{T}() seen = Set{T}() @@ -151,9 +154,6 @@ function epsilon(i, g::DirectProducts.DirectProductGroupElem) return reduce(*, 1, ((-1)^isone(g.elts[j]) for j in 1:i)) end -import Base.convert -convert(::Type{Int}, x::Nemo.fmpz) = x.d - function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int}) result = RG(T) for g in RG.basis