From 713c6cfdfbd7769703063c4a5d909a24bd3ca47e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 14 Jul 2025 11:47:02 +0200 Subject: [PATCH] Add code for collecting some timings --- lib/InduceReduce.gi | 24 ++++++++++++++++++++---- 1 file changed, 20 insertions(+), 4 deletions(-) diff --git a/lib/InduceReduce.gi b/lib/InduceReduce.gi index f00f943..0daae8b 100644 --- a/lib/InduceReduce.gi +++ b/lib/InduceReduce.gi @@ -509,7 +509,7 @@ InstallValue( IndRed , rec( ## InstallGlobalFunction( InduceReduce, function(GR,Opt) -local TR, RedTR, H, ccsizesH, temp, it; +local TR, RedTR, H, ccsizesH, temp, it, t, tElem, tInduce, tReduce; TR:=IndRed.GroupTools; # get group tools and reduce tools RedTR:=IndRed.ReduceTools; @@ -529,7 +529,9 @@ local TR, RedTR, H, ccsizesH, temp, it; return GR.Ir; fi; - + tElem := 0; + tInduce := 0; + tReduce := 0; while Size(GR.Ir)=GR.k then return GR.Ir;