diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-03 21:05:54 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-03 21:05:54 -0400 |
| commit | ca4cabe18c71b3ca58cf39b6f8463610f44c4dd5 (patch) | |
| tree | d4b5e177d422e0d24314ea95df66a1ff01190626 /test | |
| parent | 71c8e12b5544fe0870f401cb0dcdcc83a3a95029 (diff) | |
Support Λ and β with constant π in structural Under
Diffstat (limited to 'test')
| -rw-r--r-- | test/cases/under.bqn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/cases/under.bqn b/test/cases/under.bqn index e4cdf496..f831edeb 100644 --- a/test/cases/under.bqn +++ b/test/cases/under.bqn @@ -52,6 +52,10 @@ "aec"βΏ"db" β‘ β½βΎ(1βΒ¨β’) "abc"βΏ"de" "dbe"βΏ"ac" β‘ β½ΛβΎ(0βΏΒ―1βββ’) "abc"βΏ"de" ("bac"β"def") β‘ β½ΛβΎ((-β1Β¨β’)βΈβ) "abc"β"def" +"acbd" β‘ ββΎ(>2βΈββ2βΈβ) "abcd" +("dbc"β"aef") β‘ β½βΎ(βΛ) "abc"β"def" +("aef"β"dbc") β‘ β½βΎ(2βΏ1ββ1β’) "abc"β"def" +("abe"β"dcf") β‘ β½βΎ(2βΏ1ββΒ―1β’) "abc"β"def" # Fills ! % β½βΎ(1β4ββ’)"abc" |