Groups.jl/src
Marek Kaluba 46c95dbb83
add general matrix groups
2023-03-15 18:26:45 +01:00
..
aut_groups formatting 2022-10-14 01:14:38 +02:00
constructions formatting 2022-10-14 01:14:38 +02:00
matrix_groups add general matrix groups 2023-03-15 18:26:45 +01:00
Groups.jl tidy a bit alphabet/ordering/rewriting requirements 2022-10-14 01:03:19 +02:00
abelianize.jl rename matrix_repr to simply matrix 2023-03-15 17:04:05 +01:00
autgroups.jl formatting 2022-10-14 01:14:38 +02:00
hashing.jl introduce AbstractFPGroupElement 2021-06-29 16:52:35 +02:00
homomorphisms.jl formatting 2022-10-14 01:14:38 +02:00
iteration.jl formatting 2022-10-14 01:14:38 +02:00
normalform.jl replace KB.rewrite_from_left! → KB.rewrite! 2022-10-13 23:30:55 +02:00
types.jl formatting 2022-10-14 01:14:38 +02:00
wl_ball.jl make wl_ball thread safe: pre-compute normalforms! 2022-11-15 19:52:40 +01:00