kalmarek d9bb982c84 integrate precision into Acb		2020-05-15 14:52:36 +02:00
..
FPGroups_GAP.jl	add second cheap KnuthBedix run	2020-02-12 01:57:54 +01:00
groupparse.jl	generalize groupparse to arbitrary number of gens	2020-04-23 16:43:40 +02:00
nemo_utils.jl	integrate precision into Acb	2020-05-15 14:52:36 +02:00
utils.jl	fix: computation of the Kazhdan constant and radius in certification	2020-02-26 14:50:32 +01:00