Description of fast matrix multiplication algorithm: ⟨8×15×20:1498⟩

Algorithm type

104X4Y8Z4+32X2Y12Z2+16X2Y8Z4+32XY12Z+16X6Y4Z2+152X2Y8Z2+16X2Y4Z6+2X6Y2Z3+2X5Y2Z4+16XY8Z2+5X6Y2Z2+2X6YZ3+2X5Y2Z3+16X4Y4Z2+2X4Y2Z4+64X2Y4Z4+48XY8Z+6X6Y2Z+3X6YZ2+2X5Y2Z2+X4Y2Z3+X4YZ4+X3Y2Z4+2X5Y2Z+3X5YZ2+2X4Y2Z2+16X3Y4Z+6X3Y2Z3+5X3YZ4+32X2Y4Z2+X2Y2Z4+16XY4Z3+X4Y2Z+2X4YZ2+X3Y3Z+9X3Y2Z2+5X3YZ3+16X2Y4Z+X2Y3Z2+2X2Y2Z3+2X2YZ4+64XY4Z2+4X3Y2Z+13X3YZ2+X2Y3Z+209X2Y2Z2+7X2YZ3+32XY4Z+XY2Z3+37X3YZ+5X2YZ2+65XY3Z+32XY2Z2+36XYZ3+36X2YZ+96XY2Z+129XYZ2+68XYZ104X4Y8Z432X2Y12Z216X2Y8Z432XY12Z16X6Y4Z2152X2Y8Z216X2Y4Z62X6Y2Z32X5Y2Z416XY8Z25X6Y2Z22X6YZ32X5Y2Z316X4Y4Z22X4Y2Z464X2Y4Z448XY8Z6X6Y2Z3X6YZ22X5Y2Z2X4Y2Z3X4YZ4X3Y2Z42X5Y2Z3X5YZ22X4Y2Z216X3Y4Z6X3Y2Z35X3YZ432X2Y4Z2X2Y2Z416XY4Z3X4Y2Z2X4YZ2X3Y3Z9X3Y2Z25X3YZ316X2Y4ZX2Y3Z22X2Y2Z32X2YZ464XY4Z24X3Y2Z13X3YZ2X2Y3Z209X2Y2Z27X2YZ332XY4ZXY2Z337X3YZ5X2YZ265XY3Z32XY2Z236XYZ336X2YZ96XY2Z129XYZ268XYZ104*X^4*Y^8*Z^4+32*X^2*Y^12*Z^2+16*X^2*Y^8*Z^4+32*X*Y^12*Z+16*X^6*Y^4*Z^2+152*X^2*Y^8*Z^2+16*X^2*Y^4*Z^6+2*X^6*Y^2*Z^3+2*X^5*Y^2*Z^4+16*X*Y^8*Z^2+5*X^6*Y^2*Z^2+2*X^6*Y*Z^3+2*X^5*Y^2*Z^3+16*X^4*Y^4*Z^2+2*X^4*Y^2*Z^4+64*X^2*Y^4*Z^4+48*X*Y^8*Z+6*X^6*Y^2*Z+3*X^6*Y*Z^2+2*X^5*Y^2*Z^2+X^4*Y^2*Z^3+X^4*Y*Z^4+X^3*Y^2*Z^4+2*X^5*Y^2*Z+3*X^5*Y*Z^2+2*X^4*Y^2*Z^2+16*X^3*Y^4*Z+6*X^3*Y^2*Z^3+5*X^3*Y*Z^4+32*X^2*Y^4*Z^2+X^2*Y^2*Z^4+16*X*Y^4*Z^3+X^4*Y^2*Z+2*X^4*Y*Z^2+X^3*Y^3*Z+9*X^3*Y^2*Z^2+5*X^3*Y*Z^3+16*X^2*Y^4*Z+X^2*Y^3*Z^2+2*X^2*Y^2*Z^3+2*X^2*Y*Z^4+64*X*Y^4*Z^2+4*X^3*Y^2*Z+13*X^3*Y*Z^2+X^2*Y^3*Z+209*X^2*Y^2*Z^2+7*X^2*Y*Z^3+32*X*Y^4*Z+X*Y^2*Z^3+37*X^3*Y*Z+5*X^2*Y*Z^2+65*X*Y^3*Z+32*X*Y^2*Z^2+36*X*Y*Z^3+36*X^2*Y*Z+96*X*Y^2*Z+129*X*Y*Z^2+68*X*Y*Z

Algorithm definition

The algorithm ⟨8×15×20:1498⟩ is serendipitous tensor product (⟨4×3×5:47⟩ - 4) ⊗ ⟨2×5×4:32⟩ +2⟨4×5×4:61⟩.

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