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/