2 problems

Let $R={\mathbb Z}[x]/(x^2-1)$, let $a_n^s=\overline{\dim}J_n(D_1|D_2)$, and write … Define … and … The generating-function conjecture. The sequence $a_n^s$ is the unique solution…

Let $R={\mathbb Z}[x]/(x^2-1)$, and let $a_n^s=\overline{\dim}J_n(D_1|D_2)$ and $b_n^s=\overline{\dim}{\mathcal B}^s_n(J(D_1|D_2))$ be sequences in $R$. Write … Define…