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

rename SymmetricGroup → SymmetrizedGroup

Browse Source
This commit is contained in:
kalmarek 2018-08-15 17:19:28 +02:00
parent 2c7bd86418
commit 7257c02820
4 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
groups/Allgroups.jl
View File

@ -4,11 +4,11 @@ using AbstractAlgebra
using Nemo using Nemo
using Groups using Groups
export PropertyTGroup, SymmetricGroup, GAPGroup export PropertyTGroup, SymmetrizedGroup, GAPGroup
abstract type PropertyTGroup end abstract type PropertyTGroup end
abstract type SymmetricGroup <: PropertyTGroup end abstract type SymmetrizedGroup <: PropertyTGroup end
abstract type GAPGroup <: PropertyTGroup end abstract type GAPGroup <: PropertyTGroup end

2
groups/autfreegroup.jl
View File

@ -1,4 +1,4 @@
struct SpecialAutomorphismGroup <: SymmetricGroup struct SpecialAutomorphismGroup <: SymmetrizedGroup
args::Dict{String,Any} args::Dict{String,Any}
group::AutGroup group::AutGroup

2
groups/speciallinear.jl
View File

@ -1,4 +1,4 @@
struct SpecialLinearGroup <: SymmetricGroup struct SpecialLinearGroup <: SymmetrizedGroup
args::Dict{String,Any} args::Dict{String,Any}
group::AbstractAlgebra.Group group::AbstractAlgebra.Group

10
main.jl
View File

@ -26,7 +26,7 @@ function summarize(logger, groupdir, iterations, tol, upper_bound, radius, G, S)
info(logger, "with generating set of size $(length(S))") info(logger, "with generating set of size $(length(S))")
end end
function params(Gr::SymmetricGroup) function params(Gr::SymmetrizedGroup)
radius = Gr.args["radius"] radius = Gr.args["radius"]
tol = Gr.args["tol"] tol = Gr.args["tol"]
iterations = Gr.args["iterations"] iterations = Gr.args["iterations"]
@ -45,11 +45,11 @@ function params(Gr::PropertyTGroup)
return radius, tol, iterations, upper_bound, warm return radius, tol, iterations, upper_bound, warm
end end
scs_solver(tol, iterations) = SCSSolver(eps=tol, max_iters=iterations, linearsolver=SCS.Direct, alpha=1.95, acceleration_lookback=10) scs_solver(tol, iterations) = SCSSolver(eps=tol, max_iters=iterations, linearsolver=SCS.Direct, alpha=1.5, acceleration_lookback=10)
main(G::SymmetricGroup) = main(Symmetrize, G) main(G::SymmetrizedGroup) = main(Symmetrize, G)
function main(::Type{Symmetrize}, Gr::SymmetricGroup) function main(::Type{Symmetrize}, Gr::SymmetrizedGroup)
radius, tol, iterations, upper_bound, warm, N = params(Gr) radius, tol, iterations, upper_bound, warm, N = params(Gr)
@ -81,7 +81,7 @@ function main(::Type{Symmetrize}, Gr::SymmetricGroup)
return PropertyT.check_property_T(sett) return PropertyT.check_property_T(sett)
end end
function main(::Type{Standard}, Gr::SymmetricGroup) function main(::Type{Standard}, Gr::SymmetrizedGroup)
radius, tol, iterations, upper_bound, warm, _ = params(Gr) radius, tol, iterations, upper_bound, warm, _ = params(Gr)