From ddf99fe01eaefb0b6f838f8111287141a946be88 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 4 Sep 2021 16:24:38 -0400 Subject: =?UTF-8?q?Specify=20that=20=E2=80=A2rand=20is=20randomly=20initia?= =?UTF-8?q?lized=20if=20possible?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/spec/system.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/spec/system.html') 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 @@

•_timed returns the total time taken divided by the number of function calls (𝕨 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).

More accurately the modifier •_maxTime_ may fail if execution of 𝔽 takes over 𝕨𝔾𝕩 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 𝔽 completes before the interrupt there is no need to measure the amount of time it actually took.

Random generation

-

•MakeRand initializes a deterministic pseudorandom number generator with seed value 𝕩. •rand, if it exists, is a globally accessible generator initialized at first use. A random generator has the following member functions:

+

•MakeRand initializes a deterministic pseudorandom number generator with seed value 𝕩. •rand, 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:

-- cgit v1.2.3