9 static PetscErrorCode PetscRandomSeed_Sprng(PetscRandom r)  in PetscRandomSeed_Sprng()  argument
12   init_sprng(r->seed, SPRNG_DEFAULT);  in PetscRandomSeed_Sprng()
16 static PetscErrorCode PetscRandomGetValue_Sprng(PetscRandom r, PetscScalar *val)  in PetscRandomGetValue_Sprng()  argument
20   if (r->iset) {  in PetscRandomGetValue_Sprng()
21 …*val = PetscRealPart(r->width) * sprng() + PetscRealPart(r->low) + (PetscImaginaryPart(r->width) *…  in PetscRandomGetValue_Sprng()
26   if (r->iset) *val = r->width * sprng() + r->low;  in PetscRandomGetValue_Sprng()
32 static PetscErrorCode PetscRandomGetValueReal_Sprng(PetscRandom r, PetscReal *val)  in PetscRandomGetValueReal_Sprng()  argument
36   if (r->iset) *val = PetscRealPart(r->width) * sprng() + PetscRealPart(r->low);  in PetscRandomGetValueReal_Sprng()
39   if (r->iset) *val = r->width * sprng() + r->low;  in PetscRandomGetValueReal_Sprng()
52    PETSCSPRNG - access to the publicly available random number generator sprng
55 . -random_type <rand,rand48,sprng> - select the random number generator at runtime
60    PETSc must be ./configure with the option --download-sprng to use this random number generator.
69 PETSC_EXTERN PetscErrorCode PetscRandomCreate_Sprng(PetscRandom r)  in PetscRandomCreate_Sprng()  argument
72   r->ops[0] = PetscRandomOps_Values;  in PetscRandomCreate_Sprng()
73   PetscCall(PetscObjectChangeTypeName((PetscObject)r, PETSCSPRNG));  in PetscRandomCreate_Sprng()