diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 16:24:38 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 16:24:38 -0400 |
| commit | ddf99fe01eaefb0b6f838f8111287141a946be88 (patch) | |
| tree | 9e468b490e57ee0223a4becfd79acce43bd1a39e /docs/spec | |
| parent | e623a2fcafdf5fd6c8d31570175284805c4f34d9 (diff) | |
Specify that •rand is randomly initialized if possible
Diffstat (limited to 'docs/spec')
| -rw-r--r-- | docs/spec/system.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/spec/system.html b/docs/spec/system.html index de33a0d4..3616425c 100644 --- a/docs/spec/system.html +++ b/docs/spec/system.html @@ -474,7 +474,7 @@ <p><code><span class='Modifier'>•_timed</span></code> returns the total time taken divided by the number of function calls (<code><span class='Value'>𝕨</span></code> if provided and 1 otherwise), including the overhead required for the outer loop that counts iterations (which will typically be negligible in comparison to the BQN code).</p> <p>More accurately the modifier <code><span class='Modifier2'>•_maxTime_</span></code> <em>may</em> fail if execution of <code><span class='Function'>𝔽</span></code> takes over <code><span class='Value'>𝕨</span><span class='Function'>𝔾</span><span class='Value'>𝕩</span></code> seconds, and should fail as quickly as it is practically able to. The most likely way to implement this modifier is to interrupt execution at the given time. If <code><span class='Function'>𝔽</span></code> completes before the interrupt there is no need to measure the amount of time it actually took.</p> <h2 id="random-generation"><a class="header" href="#random-generation">Random generation</a></h2> -<p><code><span class='Function'>•MakeRand</span></code> initializes a deterministic pseudorandom number generator with seed value <code><span class='Value'>𝕩</span></code>. <code><span class='Value'>•rand</span></code>, if it exists, is a globally accessible generator initialized at first use. A random generator has the following member functions:</p> +<p><code><span class='Function'>•MakeRand</span></code> initializes a deterministic pseudorandom number generator with seed value <code><span class='Value'>𝕩</span></code>. <code><span class='Value'>•rand</span></code>, if it exists, is a globally accessible generator initialized at first use; this initialization should use randomness from an outside source if available. A random generator has the following member functions:</p> <table> <thead> <tr> |