Marek Kaluba a1bc334fb2 make AutomorphismGroup mutable ... parent field of an automorphism is now a pointer (i.e. 8 bytes)		2023-03-22 21:43:00 +01:00
..
aut_groups	format aut_groups	2023-03-15 18:37:10 +01:00
constructions	more formatting	2023-03-15 19:07:14 +01:00
matrix_groups	format MatrixGroups module	2023-03-15 18:32:27 +01:00
abelianize.jl	more formatting	2023-03-15 19:07:14 +01:00
autgroups.jl	make AutomorphismGroup mutable	2023-03-22 21:43:00 +01:00
Groups.jl	remove threaded wlmetric_ball	2023-03-22 21:41:37 +01:00
hashing.jl	more formatting	2023-03-15 19:07:14 +01:00
homomorphisms.jl	more formatting	2023-03-15 19:07:14 +01:00
iteration.jl	remove threaded wlmetric_ball	2023-03-22 21:41:37 +01:00
normalform.jl	replace KB.rewrite_from_left! → KB.rewrite!	2022-10-13 23:30:55 +02:00
types.jl	more formatting	2023-03-15 19:07:14 +01:00
wl_ball.jl	remove threaded wlmetric_ball	2023-03-22 21:41:37 +01:00