kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

move overwritten convert

Browse Source
This commit is contained in:
kalmar 2017-06-06 16:19:17 +02:00
parent ca2948404b
commit 8c930a6f7f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
OrbitDecomposition.jl
View File

@ -11,6 +11,9 @@ import Nemo.elements
using JLD using JLD
using ProgressMeter using ProgressMeter
import Base.convert
convert(::Type{Int}, x::Nemo.fmpz) = x.d
function products{T<:GroupElem}(X::AbstractVector{T}, Y::AbstractVector{T}) function products{T<:GroupElem}(X::AbstractVector{T}, Y::AbstractVector{T})
result = Vector{T}() result = Vector{T}()
seen = Set{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)) return reduce(*, 1, ((-1)^isone(g.elts[j]) for j in 1:i))
end end
import Base.convert
convert(::Type{Int}, x::Nemo.fmpz) = x.d
function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int}) function central_projection(RG::GroupRing, char::Function, T::Type=Rational{Int})
result = RG(T) result = RG(T)
for g in RG.basis for g in RG.basis