diff --git a/groups/higman.jl b/groups/higman.jl index 74b0af2..99ab5a0 100644 --- a/groups/higman.jl +++ b/groups/higman.jl @@ -11,14 +11,14 @@ function group(G::HigmanGroup) a,b,c,d = gens(higman_group) relations = [ - b^-1*Comm(b,a), - c^-1*Comm(c,b), - d^-1*Comm(d,c), - a^-1*Comm(a,d) + b*Comm(b,a), + c*Comm(c,b), + d*Comm(d,c), + a*Comm(a,d) ]; relations = [relations; [inv(rel) for rel in relations]] - Groups.add_rels!(higman_group, Dict(rel => HigmanGr() for rel in relations)) + Groups.add_rels!(higman_group, Dict(rel => higman_group() for rel in relations)) return higman_group end diff --git a/groups/mappingclassgroup.jl b/groups/mappingclassgroup.jl index 500dceb..65971d2 100644 --- a/groups/mappingclassgroup.jl +++ b/groups/mappingclassgroup.jl @@ -3,12 +3,12 @@ struct MappingClassGroup <: GAPGroup end function name(G::MappingClassGroup) - N = G.args["N"] + N = G.args["MCG"] return "MCG($(N))" end function group(G::MappingClassGroup) - N = G.args["N"] + N = G.args["MCG"] if N < 2 throw("Genus must be at least 2!") elseif N == 2 diff --git a/main.jl b/main.jl index 2e8bbc5..b7ffc8d 100644 --- a/main.jl +++ b/main.jl @@ -106,7 +106,7 @@ function main(Gr::GAPGroup) radius, tol, iterations, upper_bound, warm = params(Gr) - groupdir = groupname(Gr) + groupdir = "$(PropertyTGroups.name(Gr))_r$radius" isdir(groupdir) || mkdir(groupdir) logger = PropertyT.setup_logging(joinpath(groupdir, "$(upper_bound)"), :fulllog)