diff options
Diffstat (limited to 'test')
| -rwxr-xr-x | test/dz_comp | 2 | ||||
| -rwxr-xr-x | test/dz_rt | 2 | ||||
| -rw-r--r-- | test/prim.bqn | 593 |
3 files changed, 293 insertions, 304 deletions
diff --git a/test/dz_comp b/test/dz_comp index a65dc717..dfa4bd6b 100755 --- a/test/dz_comp +++ b/test/dz_comp @@ -2,7 +2,7 @@ ⟨DRun⟩ ← •Import "../dc.bqn" c ← ∾(•LNS ∾⟜"cases.bqn")¨""‿"b" -{𝕩: c ∾↩ (¬":"⊑∘∊⊢)¨⊸/ "1 %"⊸∾¨ (3≤≠)◶0‿(('#'≠2⊸⊑)∧" "≡2⊸↑)¨⊸/ •LNS "prim.bqn" }⍟⊢⊑(<"-prim")∊•args +{𝕩: c ∾↩ (¬":"⊑∘∊⊢)¨⊸/ "1 %"⊸∾¨ (0<≠)◶0‿('#'≠⊑)¨⊸/ •LNS "prim.bqn" }⍟⊢⊑(<"-prim")∊•args M ← {e‿b: (⍎e)⊸≢◶""‿{(@+10)∾˜""""∾b∾""": expected "∾e∾" but received "∾⍕𝕩} DRun b} r ← '%' M∘((+`-2⊸×)∘=⊔⊢)¨ c •Out ("All "∾(⍕≠c)∾" passed!")⍟(0=≠) ∾r @@ -55,6 +55,6 @@ E_redef ← { # handles [fmd] [←↩] } pre ∾↩ E_isdef◶E_proc‿E_redef¨ impl -t ← (¬∘⊑':'∊⊢)¨⊸/ 3⊸↓⌾(3⊸⊑) •LNS "prim.bqn" +t ← ⟨"¬⟨"⟩∾⟨"⟩"⟩∾˜ (¬∘⊑':'∊⊢)¨⊸/ •LNS "prim.bqn" res ← DRun ∾ ∾⟜(@+10)¨ pre ∾ E_proc¨ t •Out ("All "∾(⍕≠res)∾" passed!")⍟(0=≠) /res diff --git a/test/prim.bqn b/test/prim.bqn index bf455944..473810f6 100644 --- a/test/prim.bqn +++ b/test/prim.bqn @@ -1,311 +1,300 @@ # Tests of primitive functionality # Ordering matches the reference implementations -•←/¬⟨ - # LAYER 0 - # [0,34) - 0≡¯2+2 - 1e4≡5e3+5e3 - ¯∞≡1e6-∞ - 4≡-¯4 - ¯∞≡-∞ - ∞≡-¯∞ - 4≡9-5 - 1.5≡3×0.5 - 4≡÷0.25 - ∞≡÷0 - 0≡÷∞ - 1≡⋆0 - ¯1≡¯1⋆5 - 1≡¯1⋆¯6 - 3≡⌊3.9 - ¯4≡⌊¯3.9 - ∞≡⌊∞ - ¯∞≡⌊¯∞ - ¯1e30≡⌊¯1e30 - 1≡1=1 - 0≡¯1=∞ - 1≡1≤1 - 1≡¯∞≤¯1e3 - 0≡∞≤¯∞ - ⟨⟩≡≢<2 - ⟨3⟩≡≢"abc" - ⟨2,3⟩≡≢>"abc"‿"fed" - ⟨2,3,4,5⟩≡≢2‿3‿4‿5⥊↕120 - ⟨6⟩≡≢⥊>"abc"‿"fed" - "abc"≡0⊑"abc"‿"de" - "de"≡1⊑"abc"‿"de" - ⟨⟩≡↕0 - ⟨0⟩≡↕1 - ⟨0,1,2,3,4,5,6⟩≡↕7 +# LAYER 0 +0≡¯2+2 +1e4≡5e3+5e3 +¯∞≡1e6-∞ +4≡-¯4 +¯∞≡-∞ +∞≡-¯∞ +4≡9-5 +1.5≡3×0.5 +4≡÷0.25 +∞≡÷0 +0≡÷∞ +1≡⋆0 +¯1≡¯1⋆5 +1≡¯1⋆¯6 +3≡⌊3.9 +¯4≡⌊¯3.9 +∞≡⌊∞ +¯∞≡⌊¯∞ +¯1e30≡⌊¯1e30 +1≡1=1 +0≡¯1=∞ +1≡1≤1 +1≡¯∞≤¯1e3 +0≡∞≤¯∞ +⟨⟩≡≢<2 +⟨3⟩≡≢"abc" +⟨2,3⟩≡≢>"abc"‿"fed" +⟨2,3,4,5⟩≡≢2‿3‿4‿5⥊↕120 +⟨6⟩≡≢⥊>"abc"‿"fed" +"abc"≡0⊑"abc"‿"de" +"de"≡1⊑"abc"‿"de" +⟨⟩≡↕0 +⟨0⟩≡↕1 +⟨0,1,2,3,4,5,6⟩≡↕7 - # LAYER 1 - # [34,56) - 3≡4>◶+‿-1 - 3≡4⊢◶+‿-1 - 3≡4 1◶+‿-1 - 5≡4<◶+‿-1 - 5≡4 0◶+‿-1 - 1≡-⊘0 ¯1 - 1≡¯1-⊘+2 - "abc"≡⊢"abc" - ""≡3⊢"" - ⟨⟩≡⊣⟨⟩ - "ab"≡"ab"⊣⟨⟩ - 4≡+˜2 - 3≡1-˜4 - 1≡-∘ׯ6 - ¯6≡2-∘×3 - 1≡-○ׯ7 - 2≡5-○ׯ7 - ¯20≡1⊸-⊸×5 - (0‿2+⌜0‿1)≡(>⟨"ab","cd"⟩)≢⊸⥊↕4 - 20≡×⟜(-⟜1)5 - 4≡5+⟜ׯ3 - 7≡5+⟜2 ¯3 - # [56,95) - 2≡√4 - 3≡3√27 - 6≡2∧3 - 0≡¯2∧0 - 0.75≡∨˜0.5 - 1.75≡2∨0.25 - 0≡¬1 - 1≡¬0 - 2≡¬¯1 - 0≡3¬4 - 2≡4¬3 - 4≡5¬2 - 0≡|0 - 5≡|¯5 - 6≡|6 - ∞≡|¯∞ - 2≡3|8 - 2≡3|¯7 - ¯1≡¯3|8 - "a"≡⥊<'a' - "abcd"≡⊑<"abcd" - ⟨⟩≡≢<⟨2,⟨3,4⟩⟩ - 0≡4<2 - 0≡5>5 - 0≡3≥4 - 0≡≠"" - 1≡≠"a" - 1≡≠'a' - 2≡≠"ab" - 25≡≠↕25 - 1≡×5 - ¯1≡ׯ2.5 - 3≡3⌊4 - ¯3≡¯3⌊∞ - 4≡3⌈4 - 1≡1⌈¯1 - 5≡⌈4.01 - ⟨⟩≡≢'a' - ⟨⟩≡≢0 - # [95,104) - ⟨0⟩‿⟨1⟩‿⟨2⟩≡⥊¨↕3 - (↕6)≡⟜(≠¨)○(2‿3⊸⥊)⟨⟩‿"a"‿"ab"‿"abc"‿"abcd"‿"abcde"‿"abcdef" - ≡⟜(≠¨)4‿0‿2⥊↕0 - 6≡+´↕4 - (⊑≡⊣´)"a"‿2‿(3‿"d") - 0(⊑≡⊣´)"a"‿2‿(3‿"d") - (2⊸⊑≡⊢´)"a"‿2‿(3‿"d") - 2(⊣≡⊢´)"a"‿2‿(3‿"d") - 7‿10≡+¨´⟨⟨2,3⟩,⟨5,7⟩⟩ +# LAYER 1 +3≡4>◶+‿-1 +3≡4⊢◶+‿-1 +3≡4 1◶+‿-1 +5≡4<◶+‿-1 +5≡4 0◶+‿-1 +1≡-⊘0 ¯1 +1≡¯1-⊘+2 +"abc"≡⊢"abc" +""≡3⊢"" +⟨⟩≡⊣⟨⟩ +"ab"≡"ab"⊣⟨⟩ +4≡+˜2 +3≡1-˜4 +1≡-∘ׯ6 +¯6≡2-∘×3 +1≡-○ׯ7 +2≡5-○ׯ7 +¯20≡1⊸-⊸×5 +(0‿2+⌜0‿1)≡(>⟨"ab","cd"⟩)≢⊸⥊↕4 +20≡×⟜(-⟜1)5 +4≡5+⟜ׯ3 +7≡5+⟜2 ¯3 +2≡√4 +3≡3√27 +6≡2∧3 +0≡¯2∧0 +0.75≡∨˜0.5 +1.75≡2∨0.25 +0≡¬1 +1≡¬0 +2≡¬¯1 +0≡3¬4 +2≡4¬3 +4≡5¬2 +0≡|0 +5≡|¯5 +6≡|6 +∞≡|¯∞ +2≡3|8 +2≡3|¯7 +¯1≡¯3|8 +"a"≡⥊<'a' +"abcd"≡⊑<"abcd" +⟨⟩≡≢<⟨2,⟨3,4⟩⟩ +0≡4<2 +0≡5>5 +0≡3≥4 +0≡≠"" +1≡≠"a" +1≡≠'a' +2≡≠"ab" +25≡≠↕25 +1≡×5 +¯1≡ׯ2.5 +3≡3⌊4 +¯3≡¯3⌊∞ +4≡3⌈4 +1≡1⌈¯1 +5≡⌈4.01 +⟨⟩≡≢'a' +⟨⟩≡≢0 +⟨0⟩‿⟨1⟩‿⟨2⟩≡⥊¨↕3 +(↕6)≡⟜(≠¨)○(2‿3⊸⥊)⟨⟩‿"a"‿"ab"‿"abc"‿"abcd"‿"abcde"‿"abcdef" +≡⟜(≠¨)4‿0‿2⥊↕0 +6≡+´↕4 +(⊑≡⊣´)"a"‿2‿(3‿"d") +0(⊑≡⊣´)"a"‿2‿(3‿"d") +(2⊸⊑≡⊢´)"a"‿2‿(3‿"d") +2(⊣≡⊢´)"a"‿2‿(3‿"d") +7‿10≡+¨´⟨⟨2,3⟩,⟨5,7⟩⟩ - # LAYER 2 - # [104,117) - ⟨⟩≡⟨⟩∾"" - "a"≡⟨⟩∾"a" - "a"≡"a"∾⟨⟩ - "aBCD"≡"a"∾"BCD" - ((+⌜˜≠¨)≡(≠¨∾⌜˜))""‿⟨2,3⟩‿"abcde" - (⥊⟜(↕×´)≡(×⟜4)⊸(+⌜)○↕´)3‿4 - (⥊⟜(↕×´)≡(×⟜4)⊸(+⌜)○↕´)0‿4 - (3‿2‿0⥊"")≡(3‿2⥊↕6)+⌜"" - (<<2)≡<¨2 - ⟨1,⟨3,2,2‿2⥊⟨1,0,2,0⟩⟩,⟨5,4⟩⟩≡-⟨-1,⟨-3,-2,-¨2‿2⥊⟨1,0,2,0⟩⟩,⟨-5,-4⟩⟩ - 3(+¨≡+⌜)↕6 - 3‿4‿5‿6‿6≡{F:F⍟(×≡)⊸∾⟜⥊´𝕩}⟨2,1⟩+⟨⟨⟨⟨1,2⟩,3⟩,4⟩,5⟩ - (=¨⟜(⥊⟜(↕×´)3‿4)≡(↕4)=⌜˜4|⊢)1‿6‿8 +# LAYER 2 +⟨⟩≡⟨⟩∾"" +"a"≡⟨⟩∾"a" +"a"≡"a"∾⟨⟩ +"aBCD"≡"a"∾"BCD" +((+⌜˜≠¨)≡(≠¨∾⌜˜))""‿⟨2,3⟩‿"abcde" +(⥊⟜(↕×´)≡(×⟜4)⊸(+⌜)○↕´)3‿4 +(⥊⟜(↕×´)≡(×⟜4)⊸(+⌜)○↕´)0‿4 +(3‿2‿0⥊"")≡(3‿2⥊↕6)+⌜"" +(<<2)≡<¨2 +⟨1,⟨3,2,2‿2⥊⟨1,0,2,0⟩⟩,⟨5,4⟩⟩≡-⟨-1,⟨-3,-2,-¨2‿2⥊⟨1,0,2,0⟩⟩,⟨-5,-4⟩⟩ +3(+¨≡+⌜)↕6 +3‿4‿5‿6‿6≡{F:F⍟(×≡)⊸∾⟜⥊´𝕩}⟨2,1⟩+⟨⟨⟨⟨1,2⟩,3⟩,4⟩,5⟩ +(=¨⟜(⥊⟜(↕×´)3‿4)≡(↕4)=⌜˜4|⊢)1‿6‿8 - # LAYER 3 - # [117,152) - 2≡⊑⟨2⟩ - "ab"≡⊑⟨"ab"⟩ - 0≡⊑↕20 - 4≡⊑3‿2‿1⥊4⥊⊸∾5⥊0 - 'c'≡2⊑"abcd" - 'c'≡¯2⊑"abcd" - 7≡7⊑↕10 - 21≡2‿¯3⊑(10×↕3)+⌜↕4 - 21‿12‿03≡⟨2‿¯3,1‿2,0‿¯1⟩⊑(10×↕3)+⌜↕4 - "dfeb"≡(⥊¨-⟨3,1,2,5⟩)⊑"abcdef" - "abc"≡⟨⟩⊑<"abc" - ⟨7,7‿7,7⟩≡⟨⟨⟩,⟨⟨⟩,⟨⟩⟩,⟨⟩⟩⊑<7 - ⟨7,⟨7,<7⟩⟩≡⟨⟨⟩,⟨⟨⟩,<⟨⟩⟩⟩⊑7 - "abcfab"≡⥊(↕2‿3)⊑5‿5⥊"abcdef" - "aedcaf"≡⥊(-↕2‿3)⊑5‿5⥊"abcdef" - (<6⥊0)(⊑≡<∘⊑∘⊢)(6⥊1)⥊5 - ¯6≡1‿0◶(2‿2⥊0‿0‿-‿0)6 - ⟨3⟩≡⥊3 - ⟨3,3,3⟩≡3⥊3 - 6(⊢⌜≡∾○≢⥊⊢)○↕3 - (<≡↕)⟨⟩ - (↕∘⥊≡⥊¨∘↕)9 - ¬'a'≡<'a' - ¬"a"≡≍"a" - ¬⟨1,2,⟨4,4⟩,5⟩≡○(2‿2⊸⥊)⟨1,2,⟨3,4⟩,5⟩ - ¬2‿3‿4≡2‿3 - ¬1.001≡1.002 - 'a'≢2 - 0≡≡'a' - 1≡≡↕6 - 2≡≡↕2‿4 - 3≡≡<<<4 - (1¨≡-○≡˜⟜↕¨)⟨0,⟨⟩,⟨1⟩,2,⟨3,4⟩⟩ - 2≡≡⟨5,⟨'c',+,2⟩⟩ - 0≡≡⊑⟨-⟩ +# LAYER 3 +2≡⊑⟨2⟩ +"ab"≡⊑⟨"ab"⟩ +0≡⊑↕20 +4≡⊑3‿2‿1⥊4⥊⊸∾5⥊0 +'c'≡2⊑"abcd" +'c'≡¯2⊑"abcd" +7≡7⊑↕10 +21≡2‿¯3⊑(10×↕3)+⌜↕4 +21‿12‿03≡⟨2‿¯3,1‿2,0‿¯1⟩⊑(10×↕3)+⌜↕4 +"dfeb"≡(⥊¨-⟨3,1,2,5⟩)⊑"abcdef" +"abc"≡⟨⟩⊑<"abc" +⟨7,7‿7,7⟩≡⟨⟨⟩,⟨⟨⟩,⟨⟩⟩,⟨⟩⟩⊑<7 +⟨7,⟨7,<7⟩⟩≡⟨⟨⟩,⟨⟨⟩,<⟨⟩⟩⟩⊑7 +"abcfab"≡⥊(↕2‿3)⊑5‿5⥊"abcdef" +"aedcaf"≡⥊(-↕2‿3)⊑5‿5⥊"abcdef" +(<6⥊0)(⊑≡<∘⊑∘⊢)(6⥊1)⥊5 +¯6≡1‿0◶(2‿2⥊0‿0‿-‿0)6 +⟨3⟩≡⥊3 +⟨3,3,3⟩≡3⥊3 +6(⊢⌜≡∾○≢⥊⊢)○↕3 +(<≡↕)⟨⟩ +(↕∘⥊≡⥊¨∘↕)9 +¬'a'≡<'a' +¬"a"≡≍"a" +¬⟨1,2,⟨4,4⟩,5⟩≡○(2‿2⊸⥊)⟨1,2,⟨3,4⟩,5⟩ +¬2‿3‿4≡2‿3 +¬1.001≡1.002 +'a'≢2 +0≡≡'a' +1≡≡↕6 +2≡≡↕2‿4 +3≡≡<<<4 +(1¨≡-○≡˜⟜↕¨)⟨0,⟨⟩,⟨1⟩,2,⟨3,4⟩⟩ +2≡≡⟨5,⟨'c',+,2⟩⟩ +0≡≡⊑⟨-⟩ - # LAYER 4 - # [152,183) - ≡⟜><'a' - ≡⟜><∞ - ≡⟜>↕5 - ≡⟜>5‿3⥊2 - 2‿3‿2≡≢>↕2‿3 - ((4⥊2)⊸⥊≡(>2‿2⥊·<2‿2⥊⊢))"abcd" - (⊢≡>∘<)5‿3⥊↕15 - (⊢≡(><¨))5‿3⥊↕15 - (⥊≡≍)'a' - (⥊≡≍)<'a' - (1‿2⊸⥊≡≍)"ab" - 1‿2≡1≍2 - 2‿1(≍≡2‿2⥊∾)4‿3 - (≍⟜<≡≍˜)'a' - (≍˘˜⥊˘1‿5‿9)≡⌽⎉2⊸+⥊⟜(↕×´)3‿2‿1 - (↕4)(×⌜≡×⎉0‿2)↕5 - (↕4)(⋆˜⌜˜≡⋆⎉∞‿¯4)↕5 - (⟨2⟩⊸∾⍟(2‿2⥊0‿1‿1‿1)2‿3)≡≢¨≍⎉(⌊○=)⌜˜⟨↕3,2‿3⥊↕6⟩ - (2=⌜○↕3)≡(2‿4⥊"abc")≡⎉1(2‿3‿4⥊"abc") - ⟨0,0⟩≡(2‿4⥊"abc")≡⎉¯1(2‿3‿4⥊"abc") - ⟨5,⟨15,1⟩⟩≡+´⚇1⟨⟨3,2⟩,⟨⟨4,5,6⟩,⟨1⟩⟩⟩ - 5‿6‿15≡∾´+´⚇1⟨⟨0,1⟩,⟨⟨⟩⟩⟩⥊⊸∾⚇¯2‿1⟨⟨2,3⟩,⟨4,5,6⟩⟩ - 4≡2+⍟¯1 6 - (2×↕7)≡2+⍟(¯3+↕7)6 - (3⌊↕5)≡{i←0⋄r←{i+↩1⋄1+𝕩}⍟(↕4)𝕩⋄r∾i}0 - (+⌜˜≡·>1+⍟⊢⊢)↕5 - 0‿1‿3‿6‿10≡+`↕5 - (-0‿1‿3‿6‿10)≡-`↕5 - ((0∾¨↕3)≍3⥊0)≡≡`↕2‿3 - ⟨⟩≡×`⟨⟩ - ≡⟜(!∘0`)3‿0‿2⥊"" +# LAYER 4 +≡⟜><'a' +≡⟜><∞ +≡⟜>↕5 +≡⟜>5‿3⥊2 +2‿3‿2≡≢>↕2‿3 +((4⥊2)⊸⥊≡(>2‿2⥊·<2‿2⥊⊢))"abcd" +(⊢≡>∘<)5‿3⥊↕15 +(⊢≡(><¨))5‿3⥊↕15 +(⥊≡≍)'a' +(⥊≡≍)<'a' +(1‿2⊸⥊≡≍)"ab" +1‿2≡1≍2 +2‿1(≍≡2‿2⥊∾)4‿3 +(≍⟜<≡≍˜)'a' +(≍˘˜⥊˘1‿5‿9)≡⌽⎉2⊸+⥊⟜(↕×´)3‿2‿1 +(↕4)(×⌜≡×⎉0‿2)↕5 +(↕4)(⋆˜⌜˜≡⋆⎉∞‿¯4)↕5 +(⟨2⟩⊸∾⍟(2‿2⥊0‿1‿1‿1)2‿3)≡≢¨≍⎉(⌊○=)⌜˜⟨↕3,2‿3⥊↕6⟩ +(2=⌜○↕3)≡(2‿4⥊"abc")≡⎉1(2‿3‿4⥊"abc") +⟨0,0⟩≡(2‿4⥊"abc")≡⎉¯1(2‿3‿4⥊"abc") +⟨5,⟨15,1⟩⟩≡+´⚇1⟨⟨3,2⟩,⟨⟨4,5,6⟩,⟨1⟩⟩⟩ +5‿6‿15≡∾´+´⚇1⟨⟨0,1⟩,⟨⟨⟩⟩⟩⥊⊸∾⚇¯2‿1⟨⟨2,3⟩,⟨4,5,6⟩⟩ +4≡2+⍟¯1 6 +(2×↕7)≡2+⍟(¯3+↕7)6 +(3⌊↕5)≡{i←0⋄r←{i+↩1⋄1+𝕩}⍟(↕4)𝕩⋄r∾i}0 +(+⌜˜≡·>1+⍟⊢⊢)↕5 +0‿1‿3‿6‿10≡+`↕5 +(-0‿1‿3‿6‿10)≡-`↕5 +((0∾¨↕3)≍3⥊0)≡≡`↕2‿3 +⟨⟩≡×`⟨⟩ +≡⟜(!∘0`)3‿0‿2⥊"" - # LAYER 5 - # [183,230) - (<'a')≡⊏"abc" - "a"≡⊏⥊˘"abc" - (<'c')≡2⊏"abc" - (<'c')≡¯1⊏"abc" - "ccc"≡2‿¯1‿2⊏"abc" - ((3-˜↕5)⊸⊏≡2⊸⌽)↕5‿2 - (0‿3⥊0)≡⟨⟩⊏2‿3⥊↕6 - ⟨3‿0,2‿1‿2⟩(×⟜5⊸+⌜´∘⊣≡⊏)⥊⟜(↕×´)6‿5 - (2‿0⥊0)≡⟨3‿¯1,⟨⟩⟩⊏4‿3⥊0 - 5‿1(<⊸⊏≡⊏)↕6‿2 - ⟨4‿0,1‿2‿3‿2‿1‿0⟩(+⌜´⊸(×⌜)≡⊏⟜(×⌜˜))+⌜˜↕5 - "abc"≡3↑"abce" - "e"≡¯1↑"abce" - ""≡0↑"ab" - (<⟜3⊸×↕5)≡5↑↕3 - (6⥊0)≡¯6↑↕0 - (≍↕3)≡1↑2‿3⥊↕6 - (↑⟜4≡⥊⟜0)↕3 - (≍"abc")≡1↑2‿3↑"abcd" - (6⥊1)(↑≡⥊⟜⊑)2‿3⥊↕6 - (↕¨∘↕∘(1⊸+)≡↑∘↕)5 - (↑≡((↕4)≍¨2)⥊¨<)3‿2⥊"abcdef" - "d"≡3↓"abcd" - 1‿2≡⟜(¯3⊸↓)○↕4‿2 - 1‿1‿3‿2‿1≡≢(5⥊0)↓↕3‿2‿1 - (↓∘↕≡↕∘(1⊸+)+⟜⌽↑∘↕)5 - (↕3‿4)≡1↓¨⊏↕2‿3‿4 - (4+⌜○↕2)≡2↕↕5 - ⟨⟩(↕≡⊢)4‿3⥊"abcd" - (0⊸↕≡(0≍˜1+≠)⊸⥊)↕6 - (7↕6‿0⥊"")≡0‿7‿0⥊"" - ≡⟜⌽⟨⟩ - ≡⟜⌽"a" - "ba"≡⟜⌽"ab" - (⌽≡(1-˜≠)(-○⊑∾1↓⊢)⚇1⊢)↕3‿2‿4 - ≡⟜⌽↕↕3 - ∧´5(⌽≡⊢)¨⟨"",⥊∞,↕5,↕0‿4,2‿0‿3⥊""⟩ - ∧´("bcdea"≡⌽⟜"abcde")¨1+5ׯ10‿¯2‿¯1‿0‿1‿6‿61 - ∧´⟨1,0‿2,¯1‿1‿3⟩(⊑∘⌽≡(3⊸↑)⊸⊑)⚇¯1‿∞ 2‿3‿5⥊"abcdef" - ⟨⟩(⌽≡⊢)'a' - 0‿4≡/1‿0‿0‿0‿1‿0 - 1‿1‿2≡/0‿2‿1 - ≡⟜/⟨⟩ - "aabbcc"≡2/"abc" - 3‿3‿3‿2‿2‿1≡/˜3‿2‿1 - (≍1∾¨1‿2‿2)≡(↕¨/↕)2‿3 - ⟨⟩(/≡⊢)≍"ab" +# LAYER 5 +(<'a')≡⊏"abc" +"a"≡⊏⥊˘"abc" +(<'c')≡2⊏"abc" +(<'c')≡¯1⊏"abc" +"ccc"≡2‿¯1‿2⊏"abc" +((3-˜↕5)⊸⊏≡2⊸⌽)↕5‿2 +(0‿3⥊0)≡⟨⟩⊏2‿3⥊↕6 +⟨3‿0,2‿1‿2⟩(×⟜5⊸+⌜´∘⊣≡⊏)⥊⟜(↕×´)6‿5 +(2‿0⥊0)≡⟨3‿¯1,⟨⟩⟩⊏4‿3⥊0 +5‿1(<⊸⊏≡⊏)↕6‿2 +⟨4‿0,1‿2‿3‿2‿1‿0⟩(+⌜´⊸(×⌜)≡⊏⟜(×⌜˜))+⌜˜↕5 +"abc"≡3↑"abce" +"e"≡¯1↑"abce" +""≡0↑"ab" +(<⟜3⊸×↕5)≡5↑↕3 +(6⥊0)≡¯6↑↕0 +(≍↕3)≡1↑2‿3⥊↕6 +(↑⟜4≡⥊⟜0)↕3 +(≍"abc")≡1↑2‿3↑"abcd" +(6⥊1)(↑≡⥊⟜⊑)2‿3⥊↕6 +(↕¨∘↕∘(1⊸+)≡↑∘↕)5 +(↑≡((↕4)≍¨2)⥊¨<)3‿2⥊"abcdef" +"d"≡3↓"abcd" +1‿2≡⟜(¯3⊸↓)○↕4‿2 +1‿1‿3‿2‿1≡≢(5⥊0)↓↕3‿2‿1 +(↓∘↕≡↕∘(1⊸+)+⟜⌽↑∘↕)5 +(↕3‿4)≡1↓¨⊏↕2‿3‿4 +(4+⌜○↕2)≡2↕↕5 +⟨⟩(↕≡⊢)4‿3⥊"abcd" +(0⊸↕≡(0≍˜1+≠)⊸⥊)↕6 +(7↕6‿0⥊"")≡0‿7‿0⥊"" +≡⟜⌽⟨⟩ +≡⟜⌽"a" +"ba"≡⟜⌽"ab" +(⌽≡(1-˜≠)(-○⊑∾1↓⊢)⚇1⊢)↕3‿2‿4 +≡⟜⌽↕↕3 +∧´5(⌽≡⊢)¨⟨"",⥊∞,↕5,↕0‿4,2‿0‿3⥊""⟩ +∧´("bcdea"≡⌽⟜"abcde")¨1+5ׯ10‿¯2‿¯1‿0‿1‿6‿61 +∧´⟨1,0‿2,¯1‿1‿3⟩(⊑∘⌽≡(3⊸↑)⊸⊑)⚇¯1‿∞ 2‿3‿5⥊"abcdef" +⟨⟩(⌽≡⊢)'a' +0‿4≡/1‿0‿0‿0‿1‿0 +1‿1‿2≡/0‿2‿1 +≡⟜/⟨⟩ +"aabbcc"≡2/"abc" +3‿3‿3‿2‿2‿1≡/˜3‿2‿1 +(≍1∾¨1‿2‿2)≡(↕¨/↕)2‿3 +⟨⟩(/≡⊢)≍"ab" - # LAYER 6 - # [230,270) - ≡⟜(∾⥊¨)"abc" - (∾´≡∾)"ab"‿"cde"‿"" - 1‿2‿3‿4‿6‿9≡∾(⊢×≠↑↓)1+↕3 - ≡⟜∾⟨⟩ - ⟨1‿4,⥊2⟩((∾⋆⌜⌜)≡⋆⌜○∾)⟨2‿3‿4,⟨⟩,⥊5⟩ - "abcd"≡"abc"∾'d' - "abcd"≡"abc"∾<'d' - (↕4‿3)≡(↕3‿3)∾3∾¨↕3 - (∾˜≡·¯1⊸(×´∘↓∾↑)∘≢⊸⥊≍˜)2‿3⥊"abcdef" - (∾´≡∾)⟨3‿2‿1,0‿2‿1⟩⥊¨<↕6 - ⟨1‿2,⥊0,⥊3⟩≡⊔1‿0‿0‿2 - 4‿3‿2(≍○<≡·(≠¨≍○<∾)/⊸⊔)"abcdefghi" - ⟨⟩≡(3⥊¯1)⊔"abc" - (≍˘1‿1‿4<∘⥊⎉1 16‿4+⌜↕4)≡2↓⟨3‿2,¯1‿0‿¯1⟩⊔2‿3‿4⥊↕24 - ⥊⚇0⊸≡○⊔⟜(⥊<)1‿2‿2‿¯1‿0 - (⊔≡·≍⍟2∘<·∾⌜´/∘(0⊸=)¨)⟨0‿¯1‿0‿0,¯1‿0‿0⟩ - 2‿0‿4≡"abcd"⊐"cae" - ⟨1⟩≡"abcd"⊐"b" - (<3)≡⊐⟜(3⊸⊏)"abcd" - (5⌊3+↕5)≡⊐⟜(3‿0‿0+⚇1⊢)↕5‿2‿1 - 1‿0‿0‿1≡"acef"∊"adf" - (∊⟜(↕2)≡<⟜2)3⋆⌜○↕5 - (<1)≡3‿4‿5∊4+⌜○↕3 - ('0'≠"11010001")≡∊"abacbacd" - (↑⟜1≡⟜∊⥊⟜∞)9 - (⥊⟜1≡∊∘↕)6 - ≡⟜∊⟨⟩ - ≡○∊⟜(≍˜˘)"abcadbba" - ≡⟜⍷⟨⟩ - "ba"≡⍷"baa" - 0‿1‿0‿0≡"abc"⍷"aabcba" - (0‿1≍0‿0)≡(1‿2≍4‿5)⍷3‿3⥊↕9 - (⌽¨≡⍉)↕2⥊3 - ∧´⍉⊸≡¨⟨'a',<'a',"a","abc",""⟩ - (↕4)(-˜⌜˜≡·⍉-⌜)↕3‿2 - (2×↕3)≡0‿0⍉6+⌜○↕3 - ⟨⟩(⍉≡⊢)<4 - (2‿0‿1⥊⟨⟩)≡1‿2‿0‿1⍉↕↕4 - 2‿0‿3‿1‿4≡⍋"bdace" - 5‿2‿4‿3‿0‿1≡⍋↓"deabb" - (⍋≡⍒)⟨"",↕0,0↑<"abc"⟩ - (⍒≡⌽∘↕∘≠)⟨¯∞,¯1.5,π,∞,'A','a','b'⟩ - (⍒≡⌽∘↕∘≠)⟨↕0,¯1.1,¯1,¯1‿¯∞,¯1‿0,¯1‿0‿0,¯1‿∞,0,6⥊0,1e¯20,1,1+1e¯15⟩ - (⍒≡⌽∘↕∘≠)(<∾⟨↕0,1,1‿1,2‿1‿1,2‿1,2,1‿2,2‿2,3⟩⥊¨<)'a' - (⍋≡↕∘≠)⥊⍉(↕5)⥊⟜1⊸⥊⌜1‿'b' - (⊢≡○⍋(0‿1+≠)⥊⊢)⟨¯2,'a',1,'f'⟩ - ⟨1,2,3,1‿2,2‿1,1‿3,2‿2,3‿1⟩(⥊⊸(≠∘⊣∾˜¯1⊸⊑⊸(⌊∾⊣)∾×´⊸⌊)⌜≡○(⍋⥊)⥊⌜⟜(+`∘≠⟜(↕6)¨))↕4 - ((⥊˜-⥊⟜2‿0)∘≠≡⍋+⍒)2/↕5 - "edcba"≡∨"bdace" - (↕7)≡∧⍋|⟜⌽1+↕7 - ⟨1,3,∞,'e','i'⟩ (⍋≡≠∘⊣(⊣↓⊢⍋⊸⊏+`∘>)⍋∘∾) (2÷˜↕8)∾"aegz" - ⟨'z','d',1‿0,0⟩ (⍒≡≠∘⊣(⊣↓⊢⍋⊸⊏+`∘>)⍒∘∾) (2÷˜↕8)∾"aegz" - (<1)≡(↕2‿3)⍋1+↕3 - (<0)≡"abc"⥊⊸⍒○<≍"acc" -⟩ +# LAYER 6 +≡⟜(∾⥊¨)"abc" +(∾´≡∾)"ab"‿"cde"‿"" +1‿2‿3‿4‿6‿9≡∾(⊢×≠↑↓)1+↕3 +≡⟜∾⟨⟩ +⟨1‿4,⥊2⟩((∾⋆⌜⌜)≡⋆⌜○∾)⟨2‿3‿4,⟨⟩,⥊5⟩ +"abcd"≡"abc"∾'d' +"abcd"≡"abc"∾<'d' +(↕4‿3)≡(↕3‿3)∾3∾¨↕3 +(∾˜≡·¯1⊸(×´∘↓∾↑)∘≢⊸⥊≍˜)2‿3⥊"abcdef" +(∾´≡∾)⟨3‿2‿1,0‿2‿1⟩⥊¨<↕6 +⟨1‿2,⥊0,⥊3⟩≡⊔1‿0‿0‿2 +4‿3‿2(≍○<≡·(≠¨≍○<∾)/⊸⊔)"abcdefghi" +⟨⟩≡(3⥊¯1)⊔"abc" +(≍˘1‿1‿4<∘⥊⎉1 16‿4+⌜↕4)≡2↓⟨3‿2,¯1‿0‿¯1⟩⊔2‿3‿4⥊↕24 +⥊⚇0⊸≡○⊔⟜(⥊<)1‿2‿2‿¯1‿0 +(⊔≡·≍⍟2∘<·∾⌜´/∘(0⊸=)¨)⟨0‿¯1‿0‿0,¯1‿0‿0⟩ +2‿0‿4≡"abcd"⊐"cae" +⟨1⟩≡"abcd"⊐"b" +(<3)≡⊐⟜(3⊸⊏)"abcd" +(5⌊3+↕5)≡⊐⟜(3‿0‿0+⚇1⊢)↕5‿2‿1 +1‿0‿0‿1≡"acef"∊"adf" +(∊⟜(↕2)≡<⟜2)3⋆⌜○↕5 +(<1)≡3‿4‿5∊4+⌜○↕3 +('0'≠"11010001")≡∊"abacbacd" +(↑⟜1≡⟜∊⥊⟜∞)9 +(⥊⟜1≡∊∘↕)6 +≡⟜∊⟨⟩ +≡○∊⟜(≍˜˘)"abcadbba" +≡⟜⍷⟨⟩ +"ba"≡⍷"baa" +0‿1‿0‿0≡"abc"⍷"aabcba" +(0‿1≍0‿0)≡(1‿2≍4‿5)⍷3‿3⥊↕9 +(⌽¨≡⍉)↕2⥊3 +∧´⍉⊸≡¨⟨'a',<'a',"a","abc",""⟩ +(↕4)(-˜⌜˜≡·⍉-⌜)↕3‿2 +(2×↕3)≡0‿0⍉6+⌜○↕3 +⟨⟩(⍉≡⊢)<4 +(2‿0‿1⥊⟨⟩)≡1‿2‿0‿1⍉↕↕4 +2‿0‿3‿1‿4≡⍋"bdace" +5‿2‿4‿3‿0‿1≡⍋↓"deabb" +(⍋≡⍒)⟨"",↕0,0↑<"abc"⟩ +(⍒≡⌽∘↕∘≠)⟨¯∞,¯1.5,π,∞,'A','a','b'⟩ +(⍒≡⌽∘↕∘≠)⟨↕0,¯1.1,¯1,¯1‿¯∞,¯1‿0,¯1‿0‿0,¯1‿∞,0,6⥊0,1e¯20,1,1+1e¯15⟩ +(⍒≡⌽∘↕∘≠)(<∾⟨↕0,1,1‿1,2‿1‿1,2‿1,2,1‿2,2‿2,3⟩⥊¨<)'a' +(⍋≡↕∘≠)⥊⍉(↕5)⥊⟜1⊸⥊⌜1‿'b' +(⊢≡○⍋(0‿1+≠)⥊⊢)⟨¯2,'a',1,'f'⟩ +⟨1,2,3,1‿2,2‿1,1‿3,2‿2,3‿1⟩(⥊⊸(≠∘⊣∾˜¯1⊸⊑⊸(⌊∾⊣)∾×´⊸⌊)⌜≡○(⍋⥊)⥊⌜⟜(+`∘≠⟜(↕6)¨))↕4 +((⥊˜-⥊⟜2‿0)∘≠≡⍋+⍒)2/↕5 +"edcba"≡∨"bdace" +(↕7)≡∧⍋|⟜⌽1+↕7 +⟨1,3,∞,'e','i'⟩ (⍋≡≠∘⊣(⊣↓⊢⍋⊸⊏+`∘>)⍋∘∾) (2÷˜↕8)∾"aegz" +⟨'z','d',1‿0,0⟩ (⍒≡≠∘⊣(⊣↓⊢⍋⊸⊏+`∘>)⍒∘∾) (2÷˜↕8)∾"aegz" +(<1)≡(↕2‿3)⍋1+↕3 +(<0)≡"abc"⥊⊸⍒○<≍"acc" |