petsc-3.7.3 2016-08-01

PetscRandomSetSeed

Sets the random seed. You MUST call PetscRandomSeed() after this call to have the new seed used.

#include "petscsys.h" 
PetscErrorCode  PetscRandomSetSeed(PetscRandom r,unsigned long seed)

Not collective

	r	- The random number generator context
	seed	- The random seed

PetscRandomSetSeed(r,a positive integer); PetscRandomSeed(r); PetscRandomGetValue() will now start with the new seed.

PetscRandomSeed(r) without a call to PetscRandomSetSeed() re-initializes the seed. The random numbers generated will be the same as before.