aboutsummaryrefslogtreecommitdiff
path: root/spec/reference.bqn
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-16 17:02:57 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-16 17:02:57 -0400
commit987e6890f78e54402b1355201d45e2fbce1fd992 (patch)
treeb3f4ffce7d5c96854c103d418e7c7e4d21b35081 /spec/reference.bqn
parent66097b4135773acefcb19ab031212e532546d2f7 (diff)
Allow higher-precision implementations of √ and |
Diffstat (limited to 'spec/reference.bqn')
-rw-r--r--spec/reference.bqn4
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/reference.bqn b/spec/reference.bqn
index a876f388..a9d2ef44 100644
--- a/spec/reference.bqn
+++ b/spec/reference.bqn
@@ -59,11 +59,11 @@ Nat←(1=Type)◶⟨0,0⊸≤×⌊⊸=⟩
≢ ↩ IsArray◶⟨⟩‿≢ # LIMITED to monadic case
# LIMITED to numeric arguments for arithmetic cases
-√ ← ⋆⟜(÷2) ⊘ (⋆⟜÷˜)
+√ ← ⋆⟜(÷2) ⊘ (⋆⟜÷˜) # Higher precision allowed; see spec
∧ ← ×
∨ ← (+-×)
¬ ← 1+-
-| ← ×⟜× ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}
+| ← ×⟜× ⊘ {𝕩-𝕨×⌊𝕩÷𝕨} # Higher precision allowed; see spec
< ← {⟨⟩⥊⟨𝕩⟩} ⊘ (¬≤˜)
> ← (¬≤)
≥ ← !∘0 ⊘ (≤˜)