Singular https://www.singular.uni-kl.de/forum/ |
|
how to get runtime of a command? https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1804 |
Page 1 of 1 |
Author: | gepo [ Fri Mar 05, 2010 6:50 am ] |
Post subject: | how to get runtime of a command? |
Hi, Is there a way to obtain the runtime of a command? thanks Gepo |
Author: | hannes [ Fri Mar 05, 2010 1:27 pm ] |
Post subject: | Re: how to get runtime of a command? |
See http://www.singular.uni-kl.de/Manual/3-1-1/sing_340.htm (description of system variable timer wit examples how to use it for kernel commands and procedures) |
Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |