Introduce ResetTimer

Author: zickgraf

ToolsForHomalg/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ToolsForHomalg",
 Subtitle := "Special methods and knowledge propagation tools",
-Version := "2024.07-01",
+Version := "2024.09-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

ToolsForHomalg/gap/ToolsForHomalg.gd

@@ -554,6 +554,11 @@ DeclareGlobalFunction( "StartTimer" );
 #! @Arguments name
 DeclareGlobalFunction( "StopTimer" );
 
+#! @Description
+#!   Resets a timer with the given name.
+#! @Arguments name
+DeclareGlobalFunction( "ResetTimer" );
+
 #! @Description
 #!   Displays the current value of the timer with the given name.
 #! @Arguments name

ToolsForHomalg/gap/ToolsForHomalg.gi

@@ -2685,6 +2685,27 @@ InstallGlobalFunction( StopTimer, function( name )
 
 end );
 
+##
+InstallGlobalFunction( ResetTimer, function( name )
+    
+    if not IsString( name ) then
+        
+        Error( "<name> must be a string" );
+        return;
+        
+    fi;
+    
+    if not IsBound( TOOLS_FOR_HOMALG_INTERNAL_TIMERS.(name) ) then
+        
+        Error( "Timer with name ", name, " was never started." );
+        return;
+        
+    fi;
+    
+    Unbind( TOOLS_FOR_HOMALG_INTERNAL_TIMERS.(name) );
+    
+end );
+
 ##
 InstallGlobalFunction( DisplayTimer, function( name )
   local current_time, elapsed_time, state, execs;