Read-only forum archive

et the current seed value in Singular ( not the initial one)

et the current seed value in Singular ( not the initial one)

jack · Sat Apr 19, 2014 3:18 pm

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

Re: et the current seed value in Singular ( not the initial one)

hannes · Mon Apr 21, 2014 6:13 pm

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
)

Re: et the current seed value in Singular ( not the initial one)

jack · Wed Apr 23, 2014 1:19 pm

The question was how to _get_ the current random seed in Singular (not the initial value)

Is that a valid question?