Some questions about random/1 and frandom/1

Hi folks, 

The documentation for frandom/1 mentions that it is based on the Park-Miller
generator. Is random/1 (the integer version) based on the same generator?

In theory at least, to get the properties (long period / low correlation
etc.) of the Park-Miller generator for several runs, I believe the seed of
the i'th of an algorithm run should be initialised from wherever the seed
got to at the end of the i-1'th run. For this to be practical in ECLiPSe
we'd need some kind of get_seed/1 predicate to query the current seed value,
so that we can store this number and thereby repeat any run we like. Any
chance of such a feature in 5.7?

I'm not saying this makes a lot of difference in practice, but since we've
gone to the effort of building a good random number generator library, we
may as well get the most out of it.

cheers, 

josh

Josh Singer

Software Developer, Parc Technologies Limited
Tel. +44 (0)207 261 4067
josh.singer@parc-technologies.com 
http://www.parc-technologies.com

This e-mail message is for the sole use of the intended recipient(s) -its
contents are the property of Parc Technologies Limited (or its licensors)
and are confidential. Please do not copy, review, use (except for the
intended purposes), disclose or distribute the e-mail or its contents (or
allow anyone else to do so) without our prior permission. Parc Technologies
Limited does not guarantee that this e-mail has not been intercepted and
amended nor that it is virus-free. You should carry out your own virus
checks before opening any attachment.  Any opinions expressed in this e-mail
message are those of the author and not necessarily Parc Technologies
Limited.