Groups.jl/src/Groups.jl

module Groups

import Logging

using GroupsCore
import Random

import KnuthBendix
import KnuthBendix: AbstractWord, Alphabet, Word
import KnuthBendix: alphabet, ordering

export MatrixGroups

export Alphabet,
    AutomorphismGroup,
    FreeGroup,
    FreeGroup,
    FPGroup,
    FPGroupElement,
    SpecialAutomorphismGroup,
    Homomorphism

export alphabet, evaluate, word, gens

# general constructions
include(joinpath("constructions", "constructions.jl"))
import .Constructions

include("types.jl")
include("rand.jl")
include("hashing.jl")
include("normalform.jl")
include("autgroups.jl")
include("homomorphisms.jl")

include("aut_groups/sautFn.jl")
include("aut_groups/mcg.jl")

include("matrix_groups/MatrixGroups.jl")
using .MatrixGroups

include("abelianize.jl")

include("wl_ball.jl")
end # of module Groups
Groups.jl generated files. license: MIT authors: kalmar years: 2017 user: Julia Version 0.5.1-pre+0 [6a1e339*] 2017-01-23 16:45:24 +01:00			`module Groups`

use NullLogger to suppress warnings 2022-04-02 15:51:29 +02:00			`import Logging`
fixing and ordering imports 2022-04-02 15:50:03 +02:00
remove DirectPower, WreathProduct these are included in GroupsCore 2021-04-11 01:27:01 +02:00			`using GroupsCore`
remove threaded wlmetric_ball * the threaded version was hardly faster * there was a memory leak (?) that was gone with -t 1 * simplifies the whole thing 2023-03-22 21:41:37 +01:00			`import Random`
fixing and ordering imports 2022-04-02 15:50:03 +02:00
first working version of new AutomoprhismGroups 2021-05-09 18:54:29 +02:00			`import KnuthBendix`
rename files in src 2021-06-21 18:53:22 +02:00			`import KnuthBendix: AbstractWord, Alphabet, Word`
tidy a bit alphabet/ordering/rewriting requirements 2022-10-14 01:03:19 +02:00			`import KnuthBendix: alphabet, ordering`
general cleanup 2020-03-25 05:24:34 +01:00
add implementation of MatrixGroups as fp groups 2022-04-02 14:21:42 +02:00			`export MatrixGroups`

more formatting 2023-03-15 19:07:14 +01:00			`export Alphabet,`
			`AutomorphismGroup,`
			`FreeGroup,`
			`FreeGroup,`
			`FPGroup,`
			`FPGroupElement,`
			`SpecialAutomorphismGroup,`
			`Homomorphism`
add Homomorphisms 2022-04-02 14:24:01 +02:00
export gens 2021-08-13 13:55:54 +02:00			`export alphabet, evaluate, word, gens`
general cleanup 2020-03-25 05:24:34 +01:00
add Constructions module with Direct/Wreath product 2022-04-02 14:43:52 +02:00			`# general constructions`
			`include(joinpath("constructions", "constructions.jl"))`
fixing and ordering imports 2022-04-02 15:50:03 +02:00			`import .Constructions`
add Constructions module with Direct/Wreath product 2022-04-02 14:43:52 +02:00
rename files in src 2021-06-21 18:53:22 +02:00			`include("types.jl")`
add PoissonSampler for FPGroupElements Words of length following the Poisson(λ=8) distribution are chosen uniformly at random. 2024-02-12 12:16:03 +01:00			`include("rand.jl")`
separate hashing and freereduce 2020-03-25 04:40:14 +01:00			`include("hashing.jl")`
first try on the new FPGroups 2021-05-05 01:10:28 +02:00			`include("normalform.jl")`
rename files in src 2021-06-21 18:53:22 +02:00			`include("autgroups.jl")`
add Homomorphisms 2022-04-02 14:24:01 +02:00			`include("homomorphisms.jl")`
first working version of new AutomoprhismGroups 2021-05-09 18:54:29 +02:00
move autFn and mcg to aut_groups folder 2022-04-02 14:17:40 +02:00			`include("aut_groups/sautFn.jl")`
			`include("aut_groups/mcg.jl")`

add implementation of MatrixGroups as fp groups 2022-04-02 14:21:42 +02:00			`include("matrix_groups/MatrixGroups.jl")`
			`using .MatrixGroups`
separate SAut(F_n) from AutomorphismGroups 2021-05-28 14:20:17 +02:00
add Homomorphisms 2022-04-02 14:24:01 +02:00			`include("abelianize.jl")`

remove the old implementation 2021-06-21 18:16:04 +02:00			`include("wl_ball.jl")`
create package from existing code 2017-01-23 16:53:33 +01:00			`end # of module Groups`