(PHP 7)
gmp_random_seed — Sets the RNG seed
seedThe seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.
Il peut être soit une ressource GMP en PHP 5.5 et antérieurs, soit un objet GMP en PHP 5.6 et suivants, soit une chaîne numérique qu'il est possible de convertir plus tard en un nombre.
Returns NULL on success.
Issues an E_WARNING and returns FALSE if
seed is not valid.
Exemple #1 gmp_random_seed() example
<?php
// set the seed
gmp_random_seed(100);
var_dump(gmp_strval(gmp_random(1)));
// set the seed to something else
gmp_random_seed(gmp_init(-100));
var_dump(gmp_strval(gmp_random_bits(10)));
// set the seed to something invalid
var_dump(gmp_random_seed('not a number'));
L'exemple ci-dessus va afficher :
string(20) "15370156633245019617" string(3) "683" Warning: gmp_random_seed(): Unable to convert variable to GMP - string is not an integer in %s on line %d bool(false)