35 lines
663 B
Julia
35 lines
663 B
Julia
module PropertyTGroups
|
|
|
|
using AbstractAlgebra
|
|
using Nemo
|
|
using Groups
|
|
|
|
export PropertyTGroup, SymmetrizedGroup, GAPGroup, Naive, Symmetrize,
|
|
SpecialLinearGroup,
|
|
SpecialAutomorphismGroup,
|
|
HigmanGroup,
|
|
CapraceGroup,
|
|
MappingClassGroup
|
|
|
|
abstract type PropertyTGroup end
|
|
|
|
abstract type SymmetrizedGroup <: PropertyTGroup end
|
|
|
|
abstract type GAPGroup <: PropertyTGroup end
|
|
|
|
struct Symmetrize end
|
|
struct Naive end
|
|
|
|
include("autfreegroup.jl")
|
|
include("speciallinear.jl")
|
|
|
|
Comm(x,y) = x*y*x^-1*y^-1
|
|
|
|
generatingset(G::GAPGroup) = gens(group(G))
|
|
|
|
include("mappingclassgroup.jl")
|
|
include("higman.jl")
|
|
include("caprace.jl")
|
|
|
|
end # of module PropertyTGroups
|