add autS(N::Int) for ease of use

This commit is contained in:
kalmarek 2017-11-08 11:55:34 +01:00
parent bdd88eec76
commit 09eeffcc8b
3 changed files with 8 additions and 8 deletions

View File

@ -15,7 +15,7 @@ function main(GROUP, parsed_args)
name, N = GROUP.groupname(parsed_args) name, N = GROUP.groupname(parsed_args)
G, S = GROUP.generatingset(parsed_args) G, S = GROUP.generatingset(parsed_args)
AutS = GROUP.autS(parsed_args) autS = GROUP.autS(parsed_args)
name = "$(name)_r$radius" name = "$(name)_r$radius"
isdir(name) || mkdir(name) isdir(name) || mkdir(name)
@ -38,7 +38,7 @@ function main(GROUP, parsed_args)
# MSK_IPAR_INTPNT_MAX_ITERATIONS=iterations, # MSK_IPAR_INTPNT_MAX_ITERATIONS=iterations,
# QUIET=false) # QUIET=false)
sett = Settings(name, N, G, S, AutS, radius, solver, upper_bound, tol) sett = Settings(name, N, G, S, autS, radius, solver, upper_bound, tol)
PropertyT.check_property_T(sett) PropertyT.check_property_T(sett)
end end

View File

@ -58,10 +58,10 @@ function (p::perm)(a::AutGroupElem)
return g*a*g^-1 return g*a*g^-1
end end
autS(N::Int) = WreathProduct(PermutationGroup(2), PermutationGroup(N))
function autS(parsed_args) function autS(parsed_args)
N = parsed_args["N"] return autS(parsed_args["N"])
return WreathProduct(PermutationGroup(2), PermutationGroup(N))
# return WreathProduct(FiniteField(2,1, "a")[1], PermutationGroup(N))
end end
############################################################################### ###############################################################################

View File

@ -88,10 +88,10 @@ function (p::perm)(A::MatElem)
return p*A*inv(p) return p*A*inv(p)
end end
autS(N::Int) = WreathProduct(PermutationGroup(2), PermutationGroup(N))
function autS(parsed_args) function autS(parsed_args)
N = parsed_args["N"] return autS(parsed_args["N"])
return WreathProduct(PermutationGroup(2), PermutationGroup(N))
# return WreathProduct(FiniteField(2,1, "a")[1], PermutationGroup(N))
end end
############################################################################### ###############################################################################