Re: run with random seed?

[Sven N. Thommesen]

At 11:53 AM 6/16/01, Marcus wrote:

> KG> -s, --varyseed      Run with a random seed
>
> KG> May I take this to mean that the time is used as the random seed?
>
> MGD> The `seconds since 1970' * the current process id is used as the 
> random seed.

Marcus is correct. (See src/random/random.m and src/random/randomDefs.h.)

Note that if your program resets the random generator with a seed provided 
by the user (e.g. in a probe panel) or read in from a .scm file, the act of 
resetting the generator will override the random starting seed. The 
initialization of the default generator with either a random or a fixed 
standard seed happens before any user code is executed.

Sven


                 ==================================
  Swarm-Support is for discussion of the technical details of the day
  to day usage of Swarm.  For list administration needs (esp.
  [un]subscribing), please send a message to <address@hidden>
  with "help" in the body of the message.