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

use multiplicative group of a Ring by default

Browse Source
This commit is contained in:
kalmar 2017-06-08 21:38:58 +02:00
parent 633f2222c8
commit 2f2118a011
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
OrbitDecomposition.jl
View File

@ -163,6 +163,11 @@ function compute_orbit_data{T<:GroupElem}(logger, name::String, G::Group, S::Vec
info(logger, "Generating ball of radius 4") info(logger, "Generating ball of radius 4")
@time E4, sizes = Groups.generate_balls(S, G(), radius=2*radius); @time E4, sizes = Groups.generate_balls(S, G(), radius=2*radius);
if isa(G, Nemo.Ring)
Id = one(G)
else
Id = G()
end
info(logger, "Reverse dict") info(logger, "Reverse dict")
@time E_dict = GroupRings.reverse_dict(E4) @time E_dict = GroupRings.reverse_dict(E4)