⬆️ actions/checkout@v4

.github/workflows/test.yml

@@ -7,7 +7,7 @@ jobs:
       matrix:
         ghc: ['9.0.1', '9.2.8', '9.4.7', '9.6.2']
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: haskell/actions/setup@v2
         with:
           ghc-version: ${{ matrix.ghc }}

analysis/corpus.txt

@@ -262,3 +262,5 @@ pNᵉ#ĉ#*
 ×
 ¥+Ƃi:↔¬?:Jĭ,Ťđ,?ƃa≤
 ±đZ≠nŘA
+←ᶠ{ᵈqEů∑=
+←ᶠ{1>B:o±=

analysis/freq_1gram.txt

@@ -1,15 +1,15 @@
-{ : 59
-: : 48
+{ : 61
+: : 49
 $ : 43
 + : 35
-∑ : 34
-= : 33
+= : 35
+∑ : 35
+← : 28
 R : 28
-← : 26
+1 : 26
 ᵐ : 26
 * : 26
 } : 26
-1 : 25
 ↔ : 23
 → : 23
 - : 23
@@ -20,8 +20,8 @@ j : 19
 2 : 19
 ᵉ : 18
 , : 18
+o : 18
 u : 17
-o : 17
 # : 16
 ᵒ : 16
 p : 16
@@ -62,15 +62,19 @@ N : 9
 ŋ : 9
 ? : 9
 ᵚ : 9
+ᶠ : 9
+± : 9
 L : 9
 ʷ : 8
 P : 8
 ᶜ : 8
 z : 8
 ũ : 8
+> : 8
 × : 8
 ¬ : 8
 r : 8
+E : 8
 ž : 8
 ≥ : 8
 ‼ : 8
@@ -80,20 +84,17 @@ c : 8
 ṁ : 8
 C : 8
 ∆ : 8
-± : 8
 J : 7
+q : 7
 ᵗ : 7
-> : 7
 f : 7
-E : 7
 ɗ : 7
-ᶠ : 7
 ƒ : 7
 Ĩ : 7
 ∙ : 7
 4 : 7
-q : 6
 ˡ : 6
+ů : 6
 ∕ : 6
 £ : 6
 Ä : 6
@@ -110,7 +111,6 @@ A : 6
 ᵏ : 5
 Ö : 5
 ƃ : 5
-ů : 5
 d : 5
 ≤ : 5
 Ĭ : 5
@@ -121,6 +121,8 @@ d : 5
 5 : 5
 ≈ : 5
 ∩ : 5
+ᵈ : 5
+B : 5
 I : 4
 y : 4
 H : 4
@@ -138,10 +140,8 @@ h : 4
 i : 4
 ÷ : 4
 ˣ : 4
-ᵈ : 4
 ň : 4
 0 : 4
-B : 4
 ᵋ : 4
 Ṃ : 3
 ř : 3

analysis/freq_2gram.txt

@@ -2,13 +2,14 @@
 ᵖ{ : 8
 ʷ{ : 7
 ᵑ{ : 7
+ᶠ{ : 7
 {$ : 6
 :↔ : 5
 ˡ{ : 5
-ᶠ{ : 5
+1> : 5
 ᵒ{ : 5
 Jᵐ : 4
-1> : 4
+{1 : 4
 *→ : 4
 ᵃƂ : 4
 -¬ : 4
@@ -17,7 +18,6 @@ Jᵐ : 4
 :ᵒ : 4
 ᵗz : 3
 ↔= : 3
-{1 : 3
 ŢṂ : 3
 ←½ : 3
 Ƃ× : 3
@@ -129,6 +129,8 @@ Qƥ : 2
 {C : 2
 ∆A : 2
 2< : 2
+±= : 2
+∑= : 2
 ᵐ↔ : 2
 +1 : 2
 12 : 2
@@ -179,6 +181,7 @@ ut : 2
 {* : 2
 ᵃ{ : 2
 ŋ+ : 2
+{ᵈ : 2
 }- : 2
 $B : 2
 $L : 2
@@ -194,6 +197,7 @@ RS : 2
 {R : 2
 #ᵑ : 2
 ĭ, : 2
+←ᶠ : 2
 ," : 1
 :ᶦ : 1
 $ᵉ : 1
@@ -416,13 +420,11 @@ X< : 1
 A2 : 1
 ∆: : 1
 :± : 1
-±= : 1
 *ä : 1
 äK : 1
 *ĕ : 1
 ĕ$ : 1
 $∑ : 1
-∑= : 1
 +7 : 1
 7f : 1
 ↔Ĭ : 1
@@ -696,7 +698,6 @@ x- : 1
 }≡ : 1
 ≡H : 1
 Cᶦ : 1
-{ᵈ : 1
 ᵈs : 1
 sf : 1
 f¡ : 1
@@ -1114,3 +1115,11 @@ Z≠ : 1
 ≠n : 1
 nŘ : 1
 ŘA : 1
+ᵈq : 1
+qE : 1
+Eů : 1
+ů∑ : 1
+>B : 1
+B: : 1
+:o : 1
+o± : 1

analysis/freq_3gram.txt

@@ -9,6 +9,7 @@ u∕u : 3
 ᵉĝ, : 2
 ᵗz: : 2
 :↔= : 2
+{1> : 2
 3*→ : 2
 *→I : 2
 ᵃƂ× : 2
@@ -35,6 +36,7 @@ tut : 2
 {ᵃƂ : 2
 }aş : 2
 #ᵑ{ : 2
+←ᶠ{ : 2
 ĝ," : 1
 ,"ᵉ : 1
 1:ᶦ : 1
@@ -54,7 +56,6 @@ Nᵗz : 1
 z:↔ : 1
 ↔=ũ : 1
 ˡ{1 : 1
-{1> : 1
 1>ᵉ : 1
 >ᵉ½ : 1
 ᵉ½3 : 1
@@ -1107,3 +1108,15 @@ Jĭ, : 1
 Z≠n : 1
 ≠nŘ : 1
 nŘA : 1
+ᶠ{ᵈ : 1
+{ᵈq : 1
+ᵈqE : 1
+qEů : 1
+Eů∑ : 1
+ů∑= : 1
+ᶠ{1 : 1
+1>B : 1
+>B: : 1
+B:o : 1
+:o± : 1
+o±= : 1

analysis/freq_4gram.txt

@@ -900,3 +900,16 @@ Jĭ,Ť : 1
 đZ≠n : 1
 Z≠nŘ : 1
 ≠nŘA : 1
+←ᶠ{ᵈ : 1
+ᶠ{ᵈq : 1
+{ᵈqE : 1
+ᵈqEů : 1
+qEů∑ : 1
+Eů∑= : 1
+←ᶠ{1 : 1
+ᶠ{1> : 1
+{1>B : 1
+1>B: : 1
+>B:o : 1
+B:o± : 1
+:o±= : 1

analysis/freq_5gram.txt

@@ -707,3 +707,14 @@ Jĭ,Ťđ : 1
 ±đZ≠n : 1
 đZ≠nŘ : 1
 Z≠nŘA : 1
+←ᶠ{ᵈq : 1
+ᶠ{ᵈqE : 1
+{ᵈqEů : 1
+ᵈqEů∑ : 1
+qEů∑= : 1
+←ᶠ{1> : 1
+ᶠ{1>B : 1
+{1>B: : 1
+1>B:o : 1
+>B:o± : 1
+B:o±= : 1

analysis/particles.txt

@@ -1,5 +1,5 @@
 particle : with "{" / total
-ᵈ : 0 / 4
+ᵈ : 0 / 5
 ᵗ : 0 / 7
 ˣ : 0 / 4
 ᶻ : 0 / 9
@@ -13,7 +13,7 @@ particle : with "{" / total
 ᵖ : 8 / 15
 ᵏ : 3 / 5
 ᵑ : 7 / 11
-ᶠ : 5 / 7
+ᶠ : 7 / 9
 ˡ : 5 / 6
 ʷ : 7 / 8
 ᶦ : 10 / 11

test/Eval.hs

@@ -2818,3 +2818,30 @@ testEval = describe "Evaluation" $ do
             , ("[3,5]", All ["[3,5]"])
             , ("[-3,-5]", All ["[3,5]"])
             ]
+    describe "q264918: Sum of consecutive nth powers" $ do
+        specEval
+            "←ᶠ{ᵈqEů∑="
+            [ ("1", All ["[]"])
+            , ("2", All ["[]"])
+            , ("3", All ["[]"])
+            , ("4", All ["[2]"])
+            , ("5", All ["[]"])
+            , ("6", All ["[2]"])
+            , ("7", All ["[2]"])
+            , ("8", All ["[2]"])
+            , ("9", All ["[3]"])
+            , ("10", All ["[]"])
+            ]
+        specEval
+            "←ᶠ{1>B:o±="
+            [ ("1", All ["[]"])
+            , ("2", All ["[]"])
+            , ("3", All ["[]"])
+            , ("4", All ["[2]"])
+            , ("5", All ["[]"])
+            , ("6", All ["[2]"])
+            , ("7", All ["[2]"])
+            , ("8", All ["[2]"])
+            , ("9", All ["[3]"])
+            , ("10", All ["[]"])
+            ]