Description of fast matrix multiplication algorithm: ⟨15×20×27:4621⟩

Algorithm type

2X9YZ2+7X6Y2Z4+448X4Y4Z4+7X4Y2Z6+X2YZ9+130X6Y2Z2+2X6YZ3+128X4Y4Z2+X3YZ6+128X2Y6Z2+64X2Y2Z6+4X6YZ2+2X4Y2Z3+4X2Y4Z3+4X2Y3Z4+20X6YZ+326X4Y2Z2+4X4YZ3+2X3Y3Z2+454X2Y4Z2+22X2Y3Z3+170X2Y2Z4+52XY6Z+22XYZ6+20X4Y2Z+4X3Y2Z2+52X2Y4Z+20X2Y3Z2+26X2Y2Z3+4XY4Z2+4XY2Z4+40X4YZ+52X3Y2Z+51X3YZ2+20X2Y3Z+697X2Y2Z2+17X2YZ3+116XY4Z+64XY3Z2+50XY2Z3+12XYZ4+26X3YZ+170X2Y2Z+88X2YZ2+70XY3Z+146XY2Z2+57XYZ3+122X2YZ+340XY2Z+258XYZ2+91XYZ2X9YZ27X6Y2Z4448X4Y4Z47X4Y2Z6X2YZ9130X6Y2Z22X6YZ3128X4Y4Z2X3YZ6128X2Y6Z264X2Y2Z64X6YZ22X4Y2Z34X2Y4Z34X2Y3Z420X6YZ326X4Y2Z24X4YZ32X3Y3Z2454X2Y4Z222X2Y3Z3170X2Y2Z452XY6Z22XYZ620X4Y2Z4X3Y2Z252X2Y4Z20X2Y3Z226X2Y2Z34XY4Z24XY2Z440X4YZ52X3Y2Z51X3YZ220X2Y3Z697X2Y2Z217X2YZ3116XY4Z64XY3Z250XY2Z312XYZ426X3YZ170X2Y2Z88X2YZ270XY3Z146XY2Z257XYZ3122X2YZ340XY2Z258XYZ291XYZ2*X^9*Y*Z^2+7*X^6*Y^2*Z^4+448*X^4*Y^4*Z^4+7*X^4*Y^2*Z^6+X^2*Y*Z^9+130*X^6*Y^2*Z^2+2*X^6*Y*Z^3+128*X^4*Y^4*Z^2+X^3*Y*Z^6+128*X^2*Y^6*Z^2+64*X^2*Y^2*Z^6+4*X^6*Y*Z^2+2*X^4*Y^2*Z^3+4*X^2*Y^4*Z^3+4*X^2*Y^3*Z^4+20*X^6*Y*Z+326*X^4*Y^2*Z^2+4*X^4*Y*Z^3+2*X^3*Y^3*Z^2+454*X^2*Y^4*Z^2+22*X^2*Y^3*Z^3+170*X^2*Y^2*Z^4+52*X*Y^6*Z+22*X*Y*Z^6+20*X^4*Y^2*Z+4*X^3*Y^2*Z^2+52*X^2*Y^4*Z+20*X^2*Y^3*Z^2+26*X^2*Y^2*Z^3+4*X*Y^4*Z^2+4*X*Y^2*Z^4+40*X^4*Y*Z+52*X^3*Y^2*Z+51*X^3*Y*Z^2+20*X^2*Y^3*Z+697*X^2*Y^2*Z^2+17*X^2*Y*Z^3+116*X*Y^4*Z+64*X*Y^3*Z^2+50*X*Y^2*Z^3+12*X*Y*Z^4+26*X^3*Y*Z+170*X^2*Y^2*Z+88*X^2*Y*Z^2+70*X*Y^3*Z+146*X*Y^2*Z^2+57*X*Y*Z^3+122*X^2*Y*Z+340*X*Y^2*Z+258*X*Y*Z^2+91*X*Y*Z

Algorithm definition

The algorithm ⟨15×20×27:4621⟩ is serendipitous tensor product (⟨5×5×9:161⟩ - 24) ⊗ ⟨3×4×3:29⟩ +12⟨3×4×6:54⟩.

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