Singular https://www.singular.uni-kl.de/forum/ |
|
et the current seed value in Singular ( not the initial one) https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2397 |
Page 1 of 1 |
Author: | jack [ Sat Apr 19, 2014 3:18 pm ] |
Post subject: | et the current seed value in Singular ( not the initial one) |
is it possible to get the current seed value in Singular ( not the initial one)? If it is, how? This is necessary to reproduce bugs in long tests where an error occurs only in rare cases for a specific seed... Thanks, Jack |
Author: | hannes [ Mon Apr 21, 2014 6:13 pm ] |
Post subject: | Re: et the current seed value in Singular ( not the initial one) |
To set the seed value: system("--random",<seed>); and this is then the current seed value as we are not changing the past. (see http://www.singular.uni-kl.de/Manual/4-0-0/sing_400.htm ) |
Author: | jack [ Wed Apr 23, 2014 1:19 pm ] |
Post subject: | Re: et the current seed value in Singular ( not the initial one) |
The question was how to _get_ the current random seed in Singular (not the initial value) Is that a valid question? |
Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |