more tests of 𝕨/𝕩

This commit is contained in:
dzaima 2023-12-09 15:38:27 +02:00
parent 3454fbe3ee
commit 7851798516

View File

@ -69,6 +69,24 @@
!"Expected non-negative integer, got ¯1000" % (4/1000¯1000) / 81
%USE tvar 24e19 0/(•CurrentError@) _tvar 2 %% "Integer out of range: 4e19"
!"𝕨/𝕩: Length of compound 𝕨 must be at most rank of 𝕩" % 1/3
!"𝕨/𝕩: Length of compound 𝕨 must be at most rank of 𝕩" % 1/<"ab"
!"𝕨/𝕩: Length of compound 𝕨 must be at most rank of 𝕩" % (<1)/<"ab"
!"𝕨/𝕩: Length of compound 𝕨 must be at most rank of 𝕩" % (<0)/<"ab"
!"𝕨/𝕩: Length of compound 𝕨 must be at most rank of 𝕩" % 10,10 / 1010
!"𝕨/𝕩: Length of compound 𝕨 must be at most rank of 𝕩" % 10,10,<0 / 101010
!"/: Simple 𝕨 must have rank 0 or 1 (2≡=𝕨)" % (214) / 4416
!"𝕨/𝕩: Compound 𝕨 must have rank at most 1" % (21<4) / 4416
!"/: Simple 𝕨 must have rank 0 or 1 (2≡=𝕨)" % (124) / 4
!"𝕨/𝕩: Compound 𝕨 must have rank at most 1" % (12<4) / 4
!"𝕨/𝕩: 𝕨 must consist of natural numbers" % 4, 123.54 / 4416
!"𝕨/𝕩: 𝕨 must consist of natural numbers" % 4, 3.5 / 4416
4, 0, 5 / 445@ %% 6010@
4, 40, 5 / 445@ %% 6010@
102 / ¨ ["ab","cd","ef"] %% ¨ ["ab","ef","ef"]
(<102) / ¨ ["ab","cd","ef"] %% ¨ ["ab","ef","ef"]
(102) / ¨ ["ab","cd","ef"] %% ¨ ["ab","ef","ef"]
# /𝕩
!"Expected non-negative integer, got ¯1000" % / 4/1000¯1000
!"/: Argument must have rank 1 (3‿3 ≡ ≢𝕩)" % /33