Back to Forum | View unanswered posts | View active topics





Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - et the current seed value in Singular ( not the initial one)
Author Message
jack
  Post subject:  Re: et the current seed value in Singular ( not the initial one)  Reply with quote
The question was how to _get_ the current random seed in Singular (not the initial value)

Is that a valid question?
Post Posted: Wed Apr 23, 2014 1:19 pm
hannes
  Post subject:  Re: et the current seed value in Singular ( not the initial one)  Reply with quote
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
)
Post Posted: Mon Apr 21, 2014 6:13 pm
jack
  Post subject:  et the current seed value in Singular ( not the initial one)  Reply with quote
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
Post Posted: Sat Apr 19, 2014 3:18 pm


It is currently Fri May 13, 2022 11:02 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group