Desiderata | Index << >> |
assert←{⍺←'assertion failure' ⋄ 0∊⍵:⍺ ⎕signal 8 ⋄ shy←0} UD←{ u←⍺⍺ ⍵ assert (≢⍴u)=1⌈≢⍴⍵ : assert (≢u) > u ⍳ ⍵ : ⍝ ⍵ ∊ u assert (≢⍵) > i←⍵ ⍳ Tol 0 ⊢u : ⍝ u ∊ Tol 0 ⊢⍵ assert 2 </ i : assert u ≡ Tol 0 ⍺⍺ u : assert (⍳≢u)≡u⍳u : 1 } ∪ UD 3 1 4 1 5 9 1 ∪ UD ×\1,1+20⍴⎕ct assertion failure UD[3] assert(≢u)>u⍳⍵: ⍝ ⍵ ∊ u ∧ |