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/