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