Drop1計算機(star版)
論文, The \(\mathbb{Z}\)-module of multiple zeta values is generated by ones for indices without ones におけるDrop1を計算するプログラム. 重さが大きすぎるインデックスを入力するとフリーズするかもしれないので注意.
\(\zeta^{\diamond,\star}\)は以下のように定義される. \begin{align} \zeta^{\diamond,\star}(\boldsymbol{k}):=\sum_{\boldsymbol{l}\preceq \boldsymbol{k}}\zeta^{\diamond}(\boldsymbol{l}) \end{align} ここで, 和は\(\boldsymbol{k}\)の縮約インデックスに関して足し合わせたものである.
インデックス入力 計算結果
\begin{align}
\zeta^{\diamond,\star}(3,1,2)&=-2\zeta^{\diamond,\star}(6)+3\zeta^{\diamond,\star}(3,3)-\zeta^{\diamond,\star}(2,4)+\zeta^{\diamond,\star}(2,2,2)\\
&=\zeta^{\diamond}(6)+\zeta^{\diamond}(4,2)+3\zeta^{\diamond}(3,3)+\zeta^{\diamond}(2,2,2)
\end{align}
論文のリンクは以下.