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

one liner for Id. TODO: fix by multiple dispatch

Browse Source
This commit is contained in:
kalmar 2017-06-22 13:36:15 +02:00
parent dbc74b212e
commit d4661d762a
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
OrbitDecomposition.jl
View File

@ -161,11 +161,10 @@ function compute_orbit_data{T<:GroupElem}(logger, name::String, G::Nemo.Group, S
isdir(name) || mkdir(name) isdir(name) || mkdir(name)
info(logger, "Generating ball of radius $(2*radius)") info(logger, "Generating ball of radius $(2*radius)")
if isa(G, Nemo.Ring)
Id = one(G) # TODO: Fix that by multiple dispatch?
else Id = (isa(G, Nemo.Ring) ? one(G) : G())
Id = G()
end
@time E4, sizes = Groups.generate_balls(S, Id, radius=2*radius); @time E4, sizes = Groups.generate_balls(S, Id, radius=2*radius);
info(logger, "Balls of sizes $sizes.") info(logger, "Balls of sizes $sizes.")
info(logger, "Reverse dict") info(logger, "Reverse dict")