Marek Kaluba 8339cbd5cf format groupparse		2022-01-18 02:20:23 +01:00
..
FPGroups_GAP.jl	add second cheap KnuthBedix run	2020-02-12 01:57:54 +01:00
eigen_utils.jl	migrate eigenvalues to Arblib.jl	2020-11-14 19:23:21 +01:00
groupparse.jl	format groupparse	2022-01-18 02:20:23 +01:00
utils.jl	fix: computation of the Kazhdan constant and radius in certification	2020-02-26 14:50:32 +01:00