Toom-Cookの定数例

http://xn--w6q13e505b.jp/method/toomcook.html の定数例計算ネタ。
上記リンク先のToom-4の定数例は一部誤っているようなので注意。

A(), B()の計算・逆行列の計算（抄）

Toom-4で["-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/0"]のパラメータを取り、A,Bをそれぞれ4分割する場合の例。（{0^0=1}とする。）（冗長になりすぎるので他の例はここでは省略。）
{\left(\begin{array}{cc}A(-1,2)&B(-1,2)\\A(-2,1)&B(-2,1)\\A(-1,1)&B(-1,1)\\A(0,1)&B(0,1)\\A(1,1)&B(1,1)\\A(2,1)&B(2,1)\\A(1,0)&B(1,0)\end{array}\right)=\left(\begin{array}{cccc}(-1)^3&(-1)^2\cdot{2^1}&(-1)^1\cdot{2^2}&2^3\\(-2)^3&(-2)^2\cdot{1^1}&(-2)^1\cdot{1^2}&1^3\\(-1)^3&(-1)^2\cdot{1^1}&(-1)^1\cdot{1^2}&1^3\\0^3&0^2\cdot{1^1}&0^1\cdot{1^2}&1^3\\1^3&1^2\cdot{1^1}&1^1\cdot{1^2}&1^3\\2^3&2^2\cdot{1^1}&2^1\cdot{1^2}&1^3\\1^3&1^2\cdot{0^1}&1^1\cdot{0^2}&0^3\end{array}\right)\left(\begin{array}A_3&B_3\\A_2&B_2\\A_1&B_1\\A_0&B_0\end{array}\right)=\left(\begin{array}{cccc}-1&2&-4&8\\-8&4&-2&1\\-1&1&-1&1\\0&0&0&1\\1&1&1&1\\8&4&2&1\\1&0&0&0\end{array}\right)\left(\begin{array}A_3&B_3\\A_2&B_2\\A_1&B_1\\A_0&B_0\end{array}\right)}
{\left(\begin{array}{ccccccc}(-1)^6&(-1)^5\cdot{}2^1&(-1)^4\cdot{}2^2&(-1)^3\cdot{}2^3&(-1)^2\cdot{}2^4&(-1)^1\cdot{}2^5&2^6\\(-2)^6&(-2)^5\cdot{}1^1&(-2)^4\cdot{}1^2&(-2)^3\cdot{}1^3&(-2)^2\cdot{}1^4&(-2)^1\cdot{}1^5&1^6\\(-1)^6&(-1)^5\cdot{}1^1&(-1)^4\cdot{}1^2&(-1)^3\cdot{}1^3&(-1)^2\cdot{}1^4&(-1)^1\cdot{}1^5&1^6\\0^6&0^5\cdot{}1^1&0^4\cdot{}1^2&0^3\cdot{}1^3&0^2\cdot{}1^4&0^1\cdot{}1^5&1^6\\1^6&1^5\cdot{}1^1&1^4\cdot{}1^2&1^3\cdot{}1^3&1^2\cdot{}1^4&1^1\cdot{}1^5&1^6\\2^6&2^5\cdot{}1^1&2^4\cdot{}1^2&2^3\cdot{}1^3&2^2\cdot{}1^4&2^1\cdot{}1^5&1^6\\1^6&1^5\cdot{}0^1&1^4\cdot{}0^2&1^3\cdot{}0^3&1^2\cdot{}0^4&1^1\cdot{}0^5&0^6\end{array}\right)^{-1} = \left(\begin{array}{ccccccc}0&0&0&0&0&0&1\\-2/180&-5/180&60/180&90/180&-20/180&3/180&90/180\\0&1/24&-4/24&6/24&-4/24&1/24&-5\\1/18&1/18&-27/18&-45/18&7/18&0&-45/18\\0&-1/24&16/24&-30/24&16/24&-1/24&4\\-8/180&-5/180&120/180&2&40/180&-3/180&2\\0&0&0&1&0&0&0\end{array}\right)}

Toom-2.0 ["-1/1", "0/1", "1/0"] : 2*2

{\left(\begin{array}{c}C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccc}0&0&1\\-1&1&1\\0&1&0\end{array}\right)\left(\begin{array}{c}A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccc}0&0&1\\-1&1&1\\0&1&0\end{array}\right)\left(\begin{array}{c}A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-2.5 ["-1/1", "0/1", "1/1", "1/0"] : 3*2

{\left(\begin{array}{c}C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{cccc}0&0&0&1\\1/2&-1&1/2&0\\-1/2&0&1/2&-1\\0&1&0&0\end{array}\right)\left(\begin{array}{c}A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{2}\left(\begin{array}{cccc}0&0&0&2\\1&-2&1&0\\-1&0&1&-2\\0&2&0&0\end{array}\right)\left(\begin{array}{c}A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-3.0 ["-2/1", "-1/1", "0/1", "1/1", "1/0"] : 3*3, 4*2

{\left(\begin{array}{c}C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccccc}0&0&0&0&1\\-1/6&3/6&-3/6&1/6&2\\0&1/2&-1&1/2&-1\\1/6&-1&3/6&2/6&-2\\0&0&1&0&0\end{array}\right)\left(\begin{array}{c}A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{6}\left(\begin{array}{ccccc}0&0&0&0&6\\-1&3&-3&1&12\\0&3&-6&3&-6\\1&-6&3&2&-12\\0&0&6&0&0\end{array}\right)\left(\begin{array}{c}A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-3.5 ["-2/1", "-1/1", "0/1", "1/1", "2/1", "1/0"] : 4*3, 5*2

{\left(\begin{array}{c}C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{cccccc}0&0&0&0&0&1\\1/24&-4/24&6/24&-4/24&1/24&0\\-1/12&2/12&0&-2/12&1/12&-5\\-1/24&16/24&-30/24&16/24&-1/24&0\\1/12&-8/12&0&8/12&-1/12&4\\0&0&1&0&0&0\end{array}\right)\left(\begin{array}{c}A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{24}\left(\begin{array}{cccccc}0&0&0&0&0&24\\1&-4&6&-4&1&0\\-2&4&0&-4&2&-120\\-1&16&-30&16&-1&0\\2&-16&0&16&-2&96\\0&0&24&0&0&0\end{array}\right)\left(\begin{array}{c}A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-4.0 ["-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/0"] : 4*4, 5*3, 6*2

{\left(\begin{array}{c}C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccccccc}0&0&0&0&0&0&1\\-2/180&-5/180&60/180&90/180&-20/180&3/180&90/180\\0&1/24&-4/24&6/24&-4/24&1/24&-5\\1/18&1/18&-27/18&-45/18&7/18&0&-45/18\\0&-1/24&16/24&-30/24&16/24&-1/24&4\\-8/180&-5/180&120/180&2&40/180&-3/180&2\\0&0&0&1&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{360}\left(\begin{array}{ccccccc}0&0&0&0&0&0&360\\-4&-10&120&180&-40&6&180\\0&15&-60&90&-60&15&-1800\\20&20&-540&-900&140&0&-900\\0&-15&240&-450&240&-15&1440\\-16&-10&240&720&80&-6&720\\0&0&0&360&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-4.5 ["-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "1/0"] : 5*4, 6*3, 7*2

{\left(\begin{array}{c}C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{cccccccc}0&0&0&0&0&0&0&1\\1/180&2/180&-40/180&-1&-40/180&2/180&1/180&0\\-1/360&-8/360&80/360&0&-80/360&8/360&1/360&-1890/360\\-2/72&-1/72&68/72&378/72&68/72&-1/72&-2/72&0\\1/72&2/72&-68/72&0&68/72&-2/72&-1/72&378/72\\8/360&1/360&-80/360&-1890/360&-80/360&1/360&8/360&0\\-2/180&-1/180&40/180&0&-40/180&1/180&2/180&-1\\0&0&0&1&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{360}\left(\begin{array}{cccccccc}0&0&0&0&0&0&0&360\\2&4&-80&-360&-80&4&2&0\\-1&-8&80&0&-80&8&1&-1890\\-10&-5&340&1890&340&-5&-10&0\\5&10&-340&0&340&-10&-5&1890\\8&1&-80&-1890&-80&1&8&0\\-4&-2&80&0&-80&2&4&-360\\0&0&0&360&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-5.0 ["-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "1/0"] : 5*5, 6*4, 7*3, 8*2

{\left(\begin{array}{c}C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccccccccc}0&0&0&0&0&0&0&0&1\\-6/6300&7/6300&70/6300&-700/6300&-2100/6300&-350/6300&14/6300&5/6300&3\\0&1/360&4/360&-80/360&-1&-80/360&4/360&1/360&-1890/360\\9/1800&-13/1800&-145/1800&1450/1800&3150/1800&125/1800&19/1800&-5/1800&-28350/1800\\0&-1/72&-1/72&68/72&378/72&68/72&-1/72&-1/72&378/72\\-9/1800&23/1800&155/1800&-2750/1800&-3150/1800&1175/1800&-29/1800&-5/1800&28350/1800\\0&4/360&1/360&-80/360&-1890/360&-80/360&1/360&4/360&-1\\2/2100&-14/2100&-35/2100&700/2100&700/2100&-350/2100&7/2100&10/2100&-3\\0&0&0&0&1&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{12600}\left(\begin{array}{ccccccccc}0&0&0&0&0&0&0&0&12600\\-12&14&140&-1400&-4200&-700&28&10&37800\\0&35&140&-2800&-12600&-2800&140&35&-66150\\63&-91&-1015&10150&22050&875&133&-35&-198450\\0&-175&-175&11900&66150&11900&-175&-175&66150\\-63&161&1085&-19250&-22050&8225&-203&-35&198450\\0&140&35&-2800&-66150&-2800&35&140&-12600\\12&-84&-210&4200&4200&-2100&42&60&-37800\\0&0&0&0&12600&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-5.5 ["-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "3/1", "1/0"] : 6*5, 7*4, 8*3, 9*2

{\left(\begin{array}{c}C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{cccccccccc}0&0&0&0&0&0&0&0&0&1\\1/6300&-1/6300&-14/6300&175/6300&700/6300&175/6300&-14/6300&-1/6300&1/6300&0\\-6/12600&1/12600&56/12600&-350/12600&0&350/12600&-56/12600&-1/12600&6/12600&-179550/12600\\-3/3600&8/3600&82/3600&-1325/3600&-5700/3600&-1325/3600&82/3600&8/3600&-3/3600&0\\9/3600&-4/3600&-164/3600&1325/3600&0&-1325/3600&164/3600&4/3600&-9/3600&189000/3600\\3/3600&-28/3600&-92/3600&3925/3600&21000/3600&3925/3600&-92/3600&-28/3600&3/3600&0\\-9/3600&14/3600&184/3600&-3925/3600&0&3925/3600&-184/3600&-14/3600&9/3600&-173700/3600\\-2/12600&72/12600&63/12600&-3150/12600&-67550/12600&-3150/12600&63/12600&72/12600&-2/12600&0\\1/2100&-6/2100&-21/2100&525/2100&0&-525/2100&21/2100&6/2100&-1/2100&9\\0&0&0&0&1&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{25200}\left(\begin{array}{cccccccccc}0&0&0&0&0&0&0&0&0&25200\\4&-4&-56&700&2800&700&-56&-4&4&0\\-12&2&112&-700&0&700&-112&-2&12&-359100\\-21&56&574&-9275&-39900&-9275&574&56&-21&0\\63&-28&-1148&9275&0&-9275&1148&28&-63&1323000\\21&-196&-644&27475&147000&27475&-644&-196&21&0\\-63&98&1288&-27475&0&27475&-1288&-98&63&-1215900\\-4&144&126&-6300&-135100&-6300&126&144&-4&0\\12&-72&-252&6300&0&-6300&252&72&-12&226800\\0&0&0&0&25200&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-6.0 ["-1/3", "-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "3/1", "1/0"] : 6*6, 7*5, 8*4, 9*3, 10*2

{\left(\begin{array}{c}C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccccccccccc}0&0&0&0&0&0&0&0&0&0&1\\-1/84000&-5/84000&40/84000&112/84000&-3500/84000&28000/84000&1750/84000&-80/84000&-8/84000&4/84000&28000/84000\\0&2/12600&-1/12600&-28/12600&350/12600&1400/12600&350/12600&-28/12600&-1/12600&2/12600&-179550/12600\\171/1008000&375/1008000&-6800/1008000&-14672/1008000&570500/1008000&-4788000/1008000&-271250/1008000&9200/1008000&1328/1008000&-204/1008000&-4788000/1008000\\0&-3/3600&4/3600&82/3600&-1325/3600&-5700/3600&-1325/3600&82/3600&4/3600&-3/3600&189000/3600\\-9/14400&-9/14400&352/14400&352/14400&-26200/14400&252000/14400&10450/14400&-64/14400&-64/14400&0&252000/14400\\0&3/3600&-14/3600&-92/3600&3925/3600&21000/3600&3925/3600&-92/3600&-14/3600&3/3600&-173700/3600\\579/1008000&375/1008000&-21200/1008000&-13328/1008000&927500/1008000&-16212000/1008000&85750/1008000&-5200/1008000&2672/1008000&204/1008000&-16212000/1008000\\0&-2/12600&36/12600&63/12600&-3150/12600&-67550/12600&-3150/12600&63/12600&36/12600&-2/12600&9\\-9/84000&-5/84000&240/84000&168/84000&-10500/84000&3&-5250/84000&120/84000&48/84000&-4/84000&3\\0&0&0&0&0&1&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{1008000}\left(\begin{array}{ccccccccccc}0&0&0&0&0&0&0&0&0&0&1008000\\-12&-60&480&1344&-42000&336000&21000&-960&-96&48&336000\\0&160&-80&-2240&28000&112000&28000&-2240&-80&160&-14364000\\171&375&-6800&-14672&570500&-4788000&-271250&9200&1328&-204&-4788000\\0&-840&1120&22960&-371000&-1596000&-371000&22960&1120&-840&52920000\\-630&-630&24640&24640&-1834000&17640000&731500&-4480&-4480&0&17640000\\0&840&-3920&-25760&1099000&5880000&1099000&-25760&-3920&840&-48636000\\579&375&-21200&-13328&927500&-16212000&85750&-5200&2672&204&-16212000\\0&-160&2880&5040&-252000&-5404000&-252000&5040&2880&-160&9072000\\-108&-60&2880&2016&-126000&3024000&-63000&1440&576&-48&3024000\\0&0&0&0&0&1008000&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-6.5 ["-1/3", "-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "3/1", "1/3", "1/0"] : 7*6, 8*5, 9*4, 10*3, 11*2

{\left(\begin{array}{c}C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{cccccccccccc}0&0&0&0&0&0&0&0&0&0&0&1\\1/168000&3/168000&-48/168000&-96/168000&5250/168000&-1&5250/168000&-96/168000&-48/168000&3/168000&1/168000&0\\-1/504000&-27/504000&72/504000&576/504000&-15750/504000&0&15750/504000&-576/504000&-72/504000&27/504000&1/504000&-7238000/504000\\-171/2016000&-193/2016000&8128/2016000&11936/2016000&-841750/2016000&28952000/2016000&-841750/2016000&11936/2016000&8128/2016000&-193/2016000&-171/2016000&0\\57/2016000&579/2016000&-4064/2016000&-23872/2016000&841750/2016000&0&-841750/2016000&23872/2016000&4064/2016000&-579/2016000&-57/2016000&109032000/2016000\\9/28800&3/28800&-416/28800&-208/28800&36650/28800&-1557600/28800&36650/28800&-208/28800&-416/28800&3/28800&9/28800&0\\-3/28800&-9/28800&208/28800&416/28800&-36650/28800&0&36650/28800&-416/28800&-208/28800&9/28800&3/28800&-1557600/28800\\-579/2016000&-57/2016000&23872/2016000&4064/2016000&-841750/2016000&109032000/2016000&-841750/2016000&4064/2016000&23872/2016000&-57/2016000&-579/2016000&0\\193/2016000&171/2016000&-11936/2016000&-8128/2016000&841750/2016000&0&-841750/2016000&8128/2016000&11936/2016000&-171/2016000&-193/2016000&28952000/2016000\\27/504000&1/504000&-576/504000&-72/504000&15750/504000&-7238000/504000&15750/504000&-72/504000&-576/504000&1/504000&27/504000&0\\-3/168000&-1/168000&96/168000&48/168000&-5250/168000&0&5250/168000&-48/168000&-96/168000&1/168000&3/168000&-1\\0&0&0&0&0&1&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{2016000}\left(\begin{array}{cccccccccccc}0&0&0&0&0&0&0&0&0&0&0&2016000\\12&36&-576&-1152&63000&-2016000&63000&-1152&-576&36&12&0\\-4&-108&288&2304&-63000&0&63000&-2304&-288&108&4&-28952000\\-171&-193&8128&11936&-841750&28952000&-841750&11936&8128&-193&-171&0\\57&579&-4064&-23872&841750&0&-841750&23872&4064&-579&-57&109032000\\630&210&-29120&-14560&2565500&-109032000&2565500&-14560&-29120&210&630&0\\-210&-630&14560&29120&-2565500&0&2565500&-29120&-14560&630&210&-109032000\\-579&-57&23872&4064&-841750&109032000&-841750&4064&23872&-57&-579&0\\193&171&-11936&-8128&841750&0&-841750&8128&11936&-171&-193&28952000\\108&4&-2304&-288&63000&-28952000&63000&-288&-2304&4&108&0\\-36&-12&1152&576&-63000&0&63000&-576&-1152&12&36&-2016000\\0&0&0&0&0&2016000&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-7.0 ["-3/2", "-1/3", "-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "3/1", "1/3", "1/0"] : 7*7, 8*6, 9*5, 10*4, 11*3, 12*2

{\left(\begin{array}{c}C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&1\\-50/19404000&33/19404000&-231/19404000&-2772/19404000&22176/19404000&1212750/19404000&-12936000/19404000&242550/19404000&-3168/19404000&-1386/19404000&77/19404000&21/19404000&29106000/19404000\\0&1/504000&9/504000&-72/504000&-288/504000&15750/504000&-1&15750/504000&-288/504000&-72/504000&9/504000&1/504000&-7238000/504000\\2350/63504000&-1593/63504000&7455/63504000&134820/63504000&-969696/63504000&-58983750/63504000&607992000/63504000&-9415350/63504000&76320/63504000&60606/63504000&-217/63504000&-945/63504000&-1367982000/63504000\\0&-57/2016000&-193/2016000&4064/2016000&11936/2016000&-841750/2016000&28952000/2016000&-841750/2016000&11936/2016000&4064/2016000&-193/2016000&-57/2016000&109032000/2016000\\-5900/42336000&4293/42336000&-15099/42336000&-369768/42336000&2115456/42336000&160781250/42336000&-1526448000/42336000&10944150/42336000&127488/42336000&-120876/42336000&-3073/42336000&2079/42336000&3434508000/42336000\\0&3/28800&3/28800&-208/28800&-208/28800&36650/28800&-1557600/28800&36650/28800&-208/28800&-208/28800&3/28800&3/28800&-1557600/28800\\1475/10584000&-1341/10584000&3507/10584000&119994/10584000&-501312/10584000&-49245000/10584000&381612000/10584000&6313650/10584000&-59424/10584000&2667/10584000&1036/10584000&-252/10584000&-858627000/10584000\\0&-193/2016000&-57/2016000&11936/2016000&4064/2016000&-841750/2016000&109032000/2016000&-841750/2016000&4064/2016000&11936/2016000&-57/2016000&-193/2016000&28952000/2016000\\-4700/127008000&7155/127008000&-10941/127008000&-636552/127008000&1572480/127008000&167028750/127008000&-1215984000/127008000&-30230550/127008000&214272/127008000&245700/127008000&-3535/127008000&-2079/127008000&2735964000/127008000\\0&9/504000&1/504000&-288/504000&-72/504000&15750/504000&-7238000/504000&15750/504000&-72/504000&-288/504000&1/504000&9/504000&-1\\100/38808000&-297/38808000&231/38808000&16632/38808000&-33264/38808000&-3638250/38808000&25872000/38808000&727650/38808000&-4752/38808000&-8316/38808000&77/38808000&189/38808000&-58212000/38808000\\0&0&0&0&0&0&1&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{1397088000}\left(\begin{array}{ccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&1397088000\\-3600&2376&-16632&-199584&1596672&87318000&-931392000&17463600&-228096&-99792&5544&1512&2095632000\\0&2772&24948&-199584&-798336&43659000&-1397088000&43659000&-798336&-199584&24948&2772&-20063736000\\51700&-35046&164010&2966040&-21333312&-1297642500&13375824000&-207137700&1679040&1333332&-4774&-20790&-30095604000\\0&-39501&-133749&2816352&8271648&-583332750&20063736000&-583332750&8271648&2816352&-133749&-39501&75559176000\\-194700&141669&-498267&-12202344&69810048&5305781250&-50372784000&361156950&4207104&-3988908&-101409&68607&113338764000\\0&145530&145530&-10090080&-10090080&1777891500&-75559176000&1777891500&-10090080&-10090080&145530&145530&-75559176000\\194700&-177012&462924&15839208&-66173184&-6500340000&50372784000&833401800&-7843968&352044&136752&-33264&-113338764000\\0&-133749&-39501&8271648&2816352&-583332750&75559176000&-583332750&2816352&8271648&-39501&-133749&20063736000\\-51700&78705&-120351&-7002072&17297280&1837316250&-13375824000&-332536050&2356992&2702700&-38885&-22869&30095604000\\0&24948&2772&-798336&-199584&43659000&-20063736000&43659000&-199584&-798336&2772&24948&-1397088000\\3600&-10692&8316&598752&-1197504&-130977000&931392000&26195400&-171072&-299376&2772&6804&-2095632000\\0&0&0&0&0&0&1397088000&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-7.5 ["-3/2", "-1/3", "-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "3/1", "1/3", "3/2", "1/0"] : 8*7, 9*6, 10*5, 11*4, 12*3, 13*2

{\left(\begin{array}{c}C_{13}\\C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{cccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&0&1\\25/58212000&-18/58212000&154/58212000&2079/58212000&-19008/58212000&-1455300/58212000&25872000/58212000&-1455300/58212000&-19008/58212000&2079/58212000&154/58212000&-18/58212000&25/58212000&0\\-25/38808000&4/38808000&-308/38808000&-693/38808000&25344/38808000&970200/38808000&0&-970200/38808000&-25344/38808000&693/38808000&308/38808000&-4/38808000&25/38808000&-644644000/38808000\\-1175/190512000&972/190512000&-3836/190512000&-111321/190512000&784512/190512000&74352600/190512000&-1406496000/190512000&74352600/190512000&784512/190512000&-111321/190512000&-3836/190512000&972/190512000&-1175/190512000&0\\1175/127008000&-216/127008000&7672/127008000&37107/127008000&-1046016/127008000&-49568400/127008000&0&49568400/127008000&1046016/127008000&-37107/127008000&-7672/127008000&216/127008000&-1175/127008000&10972962000/127008000\\2950/127008000&-3321/127008000&6013/127008000&373338/127008000&-1490976/127008000&-224755650/127008000&4876872000/127008000&-224755650/127008000&-1490976/127008000&373338/127008000&6013/127008000&-3321/127008000&2950/127008000&0\\-1475/42336000&369/42336000&-6013/42336000&-62223/42336000&993984/42336000&74918550/42336000&0&-74918550/42336000&-993984/42336000&62223/42336000&6013/42336000&-369/42336000&1475/42336000&-7441434000/42336000\\-1475/63504000&3267/63504000&-2471/63504000&-351981/63504000&662832/63504000&166675950/63504000&-4960956000/63504000&166675950/63504000&662832/63504000&-351981/63504000&-2471/63504000&3267/63504000&-1475/63504000&0\\1475/42336000&-726/42336000&4942/42336000&117327/42336000&-883776/42336000&-111117300/42336000&0&111117300/42336000&883776/42336000&-117327/42336000&-4942/42336000&726/42336000&-1475/42336000&5759754000/42336000\\2350/381024000&-13851/381024000&3703/381024000&1323378/381024000&-1018656/381024000&-295888950/381024000&23039016000/381024000&-295888950/381024000&-1018656/381024000&1323378/381024000&3703/381024000&-13851/381024000&2350/381024000&0\\-1175/127008000&1539/127008000&-3703/127008000&-220563/127008000&679104/127008000&98629650/127008000&0&-98629650/127008000&-679104/127008000&220563/127008000&3703/127008000&-1539/127008000&1175/127008000&-4230954000/127008000\\-50/116424000&729/116424000&-77/116424000&-37422/116424000&21384/116424000&6548850/116424000&-1723722000/116424000&6548850/116424000&21384/116424000&-37422/116424000&-77/116424000&729/116424000&-50/116424000&0\\25/38808000&-81/38808000&77/38808000&6237/38808000&-14256/38808000&-2182950/38808000&0&2182950/38808000&14256/38808000&-6237/38808000&-77/38808000&81/38808000&-25/38808000&87318000/38808000\\0&0&0&0&0&0&1&0&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(3,2)\times{}B(3,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{13}\\C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{4191264000}\left(\begin{array}{cccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&0&4191264000\\1800&-1296&11088&149688&-1368576&-104781600&1862784000&-104781600&-1368576&149688&11088&-1296&1800&0\\-2700&432&-33264&-74844&2737152&104781600&0&-104781600&-2737152&74844&33264&-432&2700&-69621552000\\-25850&21384&-84392&-2449062&17259264&1635757200&-30942912000&1635757200&17259264&-2449062&-84392&21384&-25850&0\\38775&-7128&253176&1224531&-34518528&-1635757200&0&1635757200&34518528&-1224531&-253176&7128&-38775&362107746000\\97350&-109593&198429&12320154&-49202208&-7416936450&160936776000&-7416936450&-49202208&12320154&198429&-109593&97350&0\\-146025&36531&-595287&-6160077&98404416&7416936450&0&-7416936450&-98404416&6160077&595287&-36531&146025&-736701966000\\-97350&215622&-163086&-23230746&43746912&11000612700&-327423096000&11000612700&43746912&-23230746&-163086&215622&-97350&0\\146025&-71874&489258&11615373&-87493824&-11000612700&0&11000612700&87493824&-11615373&-489258&71874&-146025&570215646000\\25850&-152361&40733&14557158&-11205216&-3254778450&253429176000&-3254778450&-11205216&14557158&40733&-152361&25850&0\\-38775&50787&-122199&-7278579&22410432&3254778450&0&-3254778450&-22410432&7278579&122199&-50787&38775&-139621482000\\-1800&26244&-2772&-1347192&769824&235758600&-62053992000&235758600&769824&-1347192&-2772&26244&-1800&0\\2700&-8748&8316&673596&-1539648&-235758600&0&235758600&1539648&-673596&-8316&8748&-2700&9430344000\\0&0&0&0&0&0&4191264000&0&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(3,2)\times{}B(3,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-8.0 ["-2/3", "-3/2", "-1/3", "-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "3/1", "1/3", "3/2", "1/0"] : 8*8, 9*7, 10*6, 11*5, 12*4, 13*3, 14*2

{\left(\begin{array}{c}C_{14}\\C_{13}\\C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{ccccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&0&0&1\\-40/252252000&-65/252252000&-78/252252000&-286/252252000&27027/252252000&61776/252252000&18918900/252252000&168168000/252252000&-3783780/252252000&-30888/252252000&3861/252252000&182/252252000&-26/252252000&25/252252000&168168000/252252000\\0&25/116424000&-12/116424000&308/116424000&2079/116424000&-38016/116424000&-2910600/116424000&51744000/116424000&-2910600/116424000&-38016/116424000&2079/116424000&308/116424000&-12/116424000&25/116424000&-1933932000/116424000\\1840/698544000&2765/698544000&3612/698544000&7612/698544000&-1249479/698544000&-2385504/698544000&-852805800/698544000&-7735728000/698544000&156590280/698544000&964656/698544000&-171369/698544000&-2828/698544000&1172/698544000&-925/698544000&-7735728000/698544000\\0&-1175/381024000&648/381024000&-7672/381024000&-111321/381024000&1569024/381024000&148705200/381024000&-2812992000/381024000&148705200/381024000&1569024/381024000&-111321/381024000&-7672/381024000&648/381024000&-1175/381024000&32918886000/381024000\\-1740/127008000&-2240/127008000&-3465/127008000&-4769/127008000&1194228/127008000&1641240/127008000&773403750/127008000&7315308000/127008000&-115026030/127008000&-297612/127008000&149400/127008000&245/127008000&-1059/127008000&500/127008000&7315308000/127008000\\0&1475/127008000&-1107/127008000&6013/127008000&186669/127008000&-1490976/127008000&-224755650/127008000&4876872000/127008000&-224755650/127008000&-1490976/127008000&186669/127008000&6013/127008000&-1107/127008000&1475/127008000&-22324302000/127008000\\295/10584000&295/10584000&606/10584000&606/10584000&-207102/10584000&-207102/10584000&-120797250/10584000&-1240239000/10584000&9175740/10584000&-20697/10584000&-20697/10584000&161/10584000&161/10584000&0&-1240239000/10584000\\0&-1475/127008000&2178/127008000&-4942/127008000&-351981/127008000&1325664/127008000&333351900/127008000&-9921912000/127008000&333351900/127008000&1325664/127008000&-351981/127008000&-4942/127008000&2178/127008000&-1475/127008000&17279262000/127008000\\-2740/127008000&-2240/127008000&-6069/127008000&-4765/127008000&2027340/127008000&1580328/127008000&962592750/127008000&11519508000/127008000&74162970/127008000&535500/127008000&88488/127008000&-2359/127008000&-1055/127008000&-500/127008000&11519508000/127008000\\0&1175/381024000&-4617/381024000&3703/381024000&661689/381024000&-1018656/381024000&-295888950/381024000&23039016000/381024000&-295888950/381024000&-1018656/381024000&661689/381024000&3703/381024000&-4617/381024000&1175/381024000&-12692862000/381024000\\3690/698544000&2765/698544000&10017/698544000&6017/698544000&-3099789/698544000&-1963764/698544000&-1202805450/698544000&-15513498000/698544000&-193409370/698544000&-885654/698544000&250371/698544000&3577/698544000&-423/698544000&925/698544000&-15513498000/698544000\\0&-25/116424000&243/116424000&-77/116424000&-18711/116424000&21384/116424000&6548850/116424000&-1723722000/116424000&6548850/116424000&21384/116424000&-18711/116424000&-77/116424000&243/116424000&-25/116424000&261954000/116424000\\-90/252252000&-65/252252000&-351/252252000&-143/252252000&81081/252252000&46332/252252000&28378350/252252000&378378000/252252000&5675670/252252000&23166/252252000&-11583/252252000&-91/252252000&117/252252000&-25/252252000&378378000/252252000\\0&0&0&0&0&0&0&1&0&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-2,3)\times{}B(-2,3)\\A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(3,2)\times{}B(3,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{14}\\C_{13}\\C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{54486432000}\left(\begin{array}{ccccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&0&0&54486432000\\-8640&-14040&-16848&-61776&5837832&13343616&4086482400&36324288000&-817296480&-6671808&833976&39312&-5616&5400&36324288000\\0&11700&-5616&144144&972972&-17791488&-1362160800&24216192000&-1362160800&-17791488&972972&144144&-5616&11700&-905080176000\\143520&215670&281736&593736&-97459362&-186069312&-66518852400&-603386784000&12214041840&75243168&-13366782&-220584&91416&-72150&-603386784000\\0&-168025&92664&-1097096&-15918903&224370432&21264843600&-402257856000&21264843600&224370432&-15918903&-1097096&92664&-168025&4707400698000\\-746460&-960960&-1486485&-2045901&512323812&704091960&331790208750&3138267132000&-49346166870&-127675548&64092600&105105&-454311&214500&3138267132000\\0&632775&-474903&2579577&80081001&-639628704&-96420173850&2092178088000&-96420173850&-639628704&80081001&2579577&-474903&632775&-9577125558000\\1518660&1518660&3119688&3119688&-1066161096&-1066161096&-621864243000&-6384750372000&47236709520&-106548156&-106548156&828828&828828&0&-6384750372000\\0&-632775&934362&-2120118&-150999849&568709856&143007965100&-4256500248000&143007965100&568709856&-150999849&-2120118&934362&-632775&7412803398000\\-1175460&-960960&-2603601&-2044185&869728860&677960712&412952289750&4941868932000&31815914130&229729500&37961352&-1012011&-452595&-214500&4941868932000\\0&168025&-660231&529529&94621527&-145667808&-42312119850&3294579288000&-42312119850&-145667808&94621527&529529&-660231&168025&-1815079266000\\287820&215670&781326&469326&-241783542&-153173592&-93818825100&-1210052844000&-15085930860&-69081012&19528938&279006&-32994&72150&-1210052844000\\0&-11700&113724&-36036&-8756748&10007712&3064861800&-806701896000&3064861800&10007712&-8756748&-36036&113724&-11700&122594472000\\-19440&-14040&-75816&-30888&17513496&10007712&6129723600&81729648000&1225944720&5003856&-2501928&-19656&25272&-5400&81729648000\\0&0&0&0&0&0&0&54486432000&0&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-2,3)\times{}B(-2,3)\\A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(3,2)\times{}B(3,2)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Toom-8.5 ["-2/3", "-3/2", "-1/3", "-3/1", "-1/2", "-2/1", "-1/1", "0/1", "1/1", "2/1", "1/2", "3/1", "1/3", "3/2", "2/3", "1/0"] : 9*8, 10*7, 11*6, 12*5, 13*4, 14*3, 15*2

{\left(\begin{array}{c}C_{15}\\C_{14}\\C_{13}\\C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \left(\begin{array}{cccccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1\\10/252252000&15/252252000&26/252252000&78/252252000&-11583/252252000&-23166/252252000&-11351340/252252000&-1&-11351340/252252000&-23166/252252000&-11583/252252000&78/252252000&26/252252000&15/252252000&10/252252000&0\\-40/1513512000&-135/1513512000&-52/1513512000&-1404/1513512000&34749/1513512000&277992/1513512000&68108040/1513512000&0&-68108040/1513512000&-277992/1513512000&-34749/1513512000&1404/1513512000&52/1513512000&135/1513512000&40/1513512000&-25813788000/1513512000\\-92/139708800&-123/139708800&-244/139708800&-348/139708800&107811/139708800&167508/139708800&100939608/139708800&2382811200/139708800&100939608/139708800&167508/139708800&107811/139708800&-348/139708800&-244/139708800&-123/139708800&-92/139708800&0\\368/838252800&1107/838252800&488/838252800&6264/838252800&-323433/838252800&-2010096/838252800&-605637648/838252800&0&605637648/838252800&2010096/838252800&323433/838252800&-6264/838252800&-488/838252800&-1107/838252800&-368/838252800&78610131600/838252800\\1305/381024000&1370/381024000&3609/381024000&2507/381024000&-1567242/381024000&-1454139/381024000&-1332644670/381024000&-35731878000/381024000&-1332644670/381024000&-1454139/381024000&-1567242/381024000&2507/381024000&3609/381024000&1370/381024000&1305/381024000&0\\-290/127008000&-685/127008000&-401/127008000&-2507/127008000&261207/127008000&969426/127008000&444214890/127008000&0&-444214890/127008000&-969426/127008000&-261207/127008000&2507/127008000&401/127008000&685/127008000&290/127008000&-27201174000/127008000\\-177/25401600&-118/25401600&-534/25401600&-178/25401600&223686/25401600&111843/25401600&155967588/25401600&5440234800/25401600&155967588/25401600&111843/25401600&223686/25401600&-178/25401600&-534/25401600&-118/25401600&-177/25401600&0\\118/25401600&177/25401600&178/25401600&534/25401600&-111843/25401600&-223686/25401600&-155967588/25401600&0&155967588/25401600&223686/25401600&111843/25401600&-534/25401600&-178/25401600&-177/25401600&-118/25401600&5440234800/25401600\\685/127008000&290/127008000&2507/127008000&401/127008000&-969426/127008000&-261207/127008000&-444214890/127008000&-27201174000/127008000&-444214890/127008000&-261207/127008000&-969426/127008000&401/127008000&2507/127008000&290/127008000&685/127008000&0\\-1370/381024000&-1305/381024000&-2507/381024000&-3609/381024000&1454139/381024000&1567242/381024000&1332644670/381024000&0&-1332644670/381024000&-1567242/381024000&-1454139/381024000&3609/381024000&2507/381024000&1305/381024000&1370/381024000&-35731878000/381024000\\-1107/838252800&-368/838252800&-6264/838252800&-488/838252800&2010096/838252800&323433/838252800&605637648/838252800&78610131600/838252800&605637648/838252800&323433/838252800&2010096/838252800&-488/838252800&-6264/838252800&-368/838252800&-1107/838252800&0\\123/139708800&92/139708800&348/139708800&244/139708800&-167508/139708800&-107811/139708800&-100939608/139708800&0&100939608/139708800&107811/139708800&167508/139708800&-244/139708800&-348/139708800&-92/139708800&-123/139708800&2382811200/139708800\\135/1513512000&40/1513512000&1404/1513512000&52/1513512000&-277992/1513512000&-34749/1513512000&-68108040/1513512000&-25813788000/1513512000&-68108040/1513512000&-34749/1513512000&-277992/1513512000&52/1513512000&1404/1513512000&40/1513512000&135/1513512000&0\\-15/252252000&-10/252252000&-78/252252000&-26/252252000&23166/252252000&11583/252252000&11351340/252252000&0&-11351340/252252000&-11583/252252000&-23166/252252000&26/252252000&78/252252000&10/252252000&15/252252000&-1\\0&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-2,3)\times{}B(-2,3)\\A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(3,2)\times{}B(3,2)\\A(2,3)\times{}B(2,3)\\A(1,0)\times{}B(1,0)\end{array}\right)}
{\left(\begin{array}{c}C_{15}\\C_{14}\\C_{13}\\C_{12}\\C_{11}\\C_{10}\\C_{9}\\C_{8}\\C_{7}\\C_{6}\\C_{5}\\C_{4}\\C_{3}\\C_{2}\\C_{1}\\C_{0}\end{array}\right) = \frac{1}{54486432000}\left(\begin{array}{cccccccccccccccc}0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&54486432000\\2160&3240&5616&16848&-2501928&-5003856&-2451889440&-54486432000&-2451889440&-5003856&-2501928&16848&5616&3240&2160&0\\-1440&-4860&-1872&-50544&1250964&10007712&2451889440&0&-2451889440&-10007712&-1250964&50544&1872&4860&1440&-929296368000\\-35880&-47970&-95160&-135720&42046290&65328120&39366447120&929296368000&39366447120&65328120&42046290&-135720&-95160&-47970&-35880&0\\23920&71955&31720&407160&-21023145&-130656240&-39366447120&0&39366447120&130656240&21023145&-407160&-31720&-71955&-23920&5109658554000\\186615&195910&516087&358501&-224115606&-207941877&-190568187810&-5109658554000&-190568187810&-207941877&-224115606&358501&516087&195910&186615&0\\-124410&-293865&-172029&-1075503&112057803&415883754&190568187810&0&-190568187810&-415883754&-112057803&1075503&172029&293865&124410&-11669303646000\\-379665&-253110&-1145430&-381810&479806470&239903235&334550476260&11669303646000&334550476260&239903235&479806470&-381810&-1145430&-253110&-379665&0\\253110&379665&381810&1145430&-239903235&-479806470&-334550476260&0&334550476260&479806470&239903235&-1145430&-381810&-379665&-253110&11669303646000\\293865&124410&1075503&172029&-415883754&-112057803&-190568187810&-11669303646000&-190568187810&-112057803&-415883754&172029&1075503&124410&293865&0\\-195910&-186615&-358501&-516087&207941877&224115606&190568187810&0&-190568187810&-224115606&-207941877&516087&358501&186615&195910&-5109658554000\\-71955&-23920&-407160&-31720&130656240&21023145&39366447120&5109658554000&39366447120&21023145&130656240&-31720&-407160&-23920&-71955&0\\47970&35880&135720&95160&-65328120&-42046290&-39366447120&0&39366447120&42046290&65328120&-95160&-135720&-35880&-47970&929296368000\\4860&1440&50544&1872&-10007712&-1250964&-2451889440&-929296368000&-2451889440&-1250964&-10007712&1872&50544&1440&4860&0\\-3240&-2160&-16848&-5616&5003856&2501928&2451889440&0&-2451889440&-2501928&-5003856&5616&16848&2160&3240&-54486432000\\0&0&0&0&0&0&0&54486432000&0&0&0&0&0&0&0&0\end{array}\right)\left(\begin{array}{c}A(-2,3)\times{}B(-2,3)\\A(-3,2)\times{}B(-3,2)\\A(-1,3)\times{}B(-1,3)\\A(-3,1)\times{}B(-3,1)\\A(-1,2)\times{}B(-1,2)\\A(-2,1)\times{}B(-2,1)\\A(-1,1)\times{}B(-1,1)\\A(0,1)\times{}B(0,1)\\A(1,1)\times{}B(1,1)\\A(2,1)\times{}B(2,1)\\A(1,2)\times{}B(1,2)\\A(3,1)\times{}B(3,1)\\A(1,3)\times{}B(1,3)\\A(3,2)\times{}B(3,2)\\A(2,3)\times{}B(2,3)\\A(1,0)\times{}B(1,0)\end{array}\right)}

Rubyによる計算