Description of fast matrix multiplication algorithm: ⟨10×15×32:2878⟩

Algorithm type

X6Y13Z2+X6Y10Z2+24X4Y8Z6+8X2Y12Z4+7X3Y13Z+216X4Y8Z4+80X2Y12Z2+8XY12Z2+8X6Y6Z2+X3Y10Z+49X2Y8Z4+80XY12Z+X6Y5Z2+2X3Y9Z+24X2Y8Z3+X2Y7Z4+4X6Y4Z2+3X3Y8Z+328X2Y8Z2+40X2Y4Z6+6X2Y5Z4+55XY8Z2+2X6Y2Z2+8X4Y4Z2+4X3Y6Z+125X2Y4Z4+112XY8Z+3XY7Z2+6X3Y5Z+2X2Y3Z4+3XY6Z2+6X3Y4Z+32X2Y4Z2+2X2Y2Z4+6XY5Z2+40XY4Z3+12X3Y3Z+8X2Y4Z+48X2Y2Z3+127XY4Z2+432X2Y2Z2+32XY4Z+25XY3Z2+5X3YZ+160XY3Z+102XY2Z2+80XYZ3+16X2YZ+224XY2Z+245XYZ2+64XYZX6Y13Z2X6Y10Z224X4Y8Z68X2Y12Z47X3Y13Z216X4Y8Z480X2Y12Z28XY12Z28X6Y6Z2X3Y10Z49X2Y8Z480XY12ZX6Y5Z22X3Y9Z24X2Y8Z3X2Y7Z44X6Y4Z23X3Y8Z328X2Y8Z240X2Y4Z66X2Y5Z455XY8Z22X6Y2Z28X4Y4Z24X3Y6Z125X2Y4Z4112XY8Z3XY7Z26X3Y5Z2X2Y3Z43XY6Z26X3Y4Z32X2Y4Z22X2Y2Z46XY5Z240XY4Z312X3Y3Z8X2Y4Z48X2Y2Z3127XY4Z2432X2Y2Z232XY4Z25XY3Z25X3YZ160XY3Z102XY2Z280XYZ316X2YZ224XY2Z245XYZ264XYZX^6*Y^13*Z^2+X^6*Y^10*Z^2+24*X^4*Y^8*Z^6+8*X^2*Y^12*Z^4+7*X^3*Y^13*Z+216*X^4*Y^8*Z^4+80*X^2*Y^12*Z^2+8*X*Y^12*Z^2+8*X^6*Y^6*Z^2+X^3*Y^10*Z+49*X^2*Y^8*Z^4+80*X*Y^12*Z+X^6*Y^5*Z^2+2*X^3*Y^9*Z+24*X^2*Y^8*Z^3+X^2*Y^7*Z^4+4*X^6*Y^4*Z^2+3*X^3*Y^8*Z+328*X^2*Y^8*Z^2+40*X^2*Y^4*Z^6+6*X^2*Y^5*Z^4+55*X*Y^8*Z^2+2*X^6*Y^2*Z^2+8*X^4*Y^4*Z^2+4*X^3*Y^6*Z+125*X^2*Y^4*Z^4+112*X*Y^8*Z+3*X*Y^7*Z^2+6*X^3*Y^5*Z+2*X^2*Y^3*Z^4+3*X*Y^6*Z^2+6*X^3*Y^4*Z+32*X^2*Y^4*Z^2+2*X^2*Y^2*Z^4+6*X*Y^5*Z^2+40*X*Y^4*Z^3+12*X^3*Y^3*Z+8*X^2*Y^4*Z+48*X^2*Y^2*Z^3+127*X*Y^4*Z^2+432*X^2*Y^2*Z^2+32*X*Y^4*Z+25*X*Y^3*Z^2+5*X^3*Y*Z+160*X*Y^3*Z+102*X*Y^2*Z^2+80*X*Y*Z^3+16*X^2*Y*Z+224*X*Y^2*Z+245*X*Y*Z^2+64*X*Y*Z

Algorithm definition

The algorithm ⟨10×15×32:2878⟩ is serendipitous tensor product (⟨5×3×8:90⟩ - 4) ⊗ ⟨2×5×4:32⟩ +2⟨2×5×8:63⟩.

Algorithm description

These encodings are given in compressed text format using the maple computer algebra system. In each cases, the last line could be understood as a description of the encoding with respect to classical matrix multiplication algorithm. As these outputs are structured, one can construct easily a parser to its favorite format using the maple documentation without this software.


Back to main table