tests for single-element-cell scans

This commit is contained in:
dzaima 2025-03-04 20:11:04 +02:00
parent d9a80ee83b
commit 26cd40dfd3

View File

@ -498,6 +498,9 @@ a←↕2 ⋄ ! "e" ≡ (↕10){b←a‿a‿a‿a‿a‿a‿a‿a‿a‿a ⋄
!"𝕨𝔽`𝕩: Shape of 𝕨 must match the cell of 𝕩 (2‿2 ≡ ≢𝕨, 3‿2‿3 ≡ ≢𝕩)" % (221)+`323 !"𝕨𝔽`𝕩: Shape of 𝕨 must match the cell of 𝕩 (2‿2 ≡ ≢𝕨, 3‿2‿3 ≡ ≢𝕩)" % (221)+`323
!"𝕨𝔽`𝕩: Shape of 𝕨 must match the cell of 𝕩 (2‿2 ≡ ≢𝕨, 3‿3‿2 ≡ ≢𝕩)" % (221)+`332 !"𝕨𝔽`𝕩: Shape of 𝕨 must match the cell of 𝕩 (2‿2 ≡ ≢𝕨, 3‿3‿2 ≡ ≢𝕩)" % (221)+`332
!"𝕨𝔽`𝕩: Shape of 𝕨 must match the cell of 𝕩 (⟨⟩ ≡ ≢𝕨, 3‿3 ≡ ≢𝕩)" % 2+`33 !"𝕨𝔽`𝕩: Shape of 𝕨 must match the cell of 𝕩 (⟨⟩ ≡ ≢𝕨, 3‿3 ≡ ≢𝕩)" % 2+`33
%USE eqvar %USE k +,-,×,÷,,,,,¬,,,<,>,,=,,,, {f𝕊arr: ! ( F _k`_k arr) _k F` _eqvar arr} {𝕩˘¨𝕩} ˘¨ 1, 101
%USE eqvar %USE k +,-,×,÷,,,,,¬,,,<,>,,=,,,, {f𝕊arr: ! (1 F _k`_k arr) _k (1¨𝕩)(F`) _eqvar arr} {𝕩˘¨𝕩} ˘¨ 1, 101
# ´ # ´
!"𝔽´𝕩: 𝕩 must be a list (⟨⟩ ≡ ≢𝕩)" % +´0 !"𝔽´𝕩: 𝕩 must be a list (⟨⟩ ≡ ≢𝕩)" % +´0