The internal global RNG is undesirable because it makes pruning non-deterministic even if the user fixes a seed for the RNGs they control.
We could fix this by splitting off a new RNG using the current global RNG when the first stochastic triple is initialized. (And also allowing for a user-provided RNG.)
The internal global RNG is undesirable because it makes pruning non-deterministic even if the user fixes a seed for the RNGs they control.
We could fix this by splitting off a new RNG using the current global RNG when the first stochastic triple is initialized. (And also allowing for a user-provided RNG.)