/** * Generates a variate from the normal distribution with parameters * * @f$\mu= @f$ `mu` and @f$\sigma= @f$ `sigma`, using stream `s`. */ public static double nextDouble(RandomStream s, double mu, double sigma) { return NormalDist.inverseF(mu, sigma, s.nextDouble()); }