Merge pull request #616 from zickgraf/master

homalg-project · Sep 20, 2024 · 6a88f6e · 6a88f6e
2 parents f1c53ce + c10795b
commit 6a88f6e
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 1 deletion.
diff --git a/ToolsForHomalg/PackageInfo.g b/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",
 

diff --git a/ToolsForHomalg/gap/ToolsForHomalg.gd b/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

diff --git a/ToolsForHomalg/gap/ToolsForHomalg.gi b/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;