Description of fast matrix multiplication algorithm: ⟨16×20×25:4578⟩

Algorithm type

448⁢X4⁢Y8⁢Z4+8⁢X2⁢Y12⁢Z2+8⁢X⁢Y12⁢Z+X3⁢Y2⁢Z7+552⁢X2⁢Y8⁢Z2+X2⁢Y2⁢Z8+4⁢X6⁢Y2⁢Z3+4⁢X5⁢Y2⁢Z4+2⁢X4⁢Y2⁢Z5+3⁢X3⁢Y2⁢Z6+6⁢X6⁢Y2⁢Z2+4⁢X5⁢Y2⁢Z3+144⁢X4⁢Y4⁢Z2+9⁢X4⁢Y2⁢Z4+2⁢X3⁢Y2⁢Z5+2⁢X3⁢Y⁢Z6+160⁢X2⁢Y4⁢Z4+5⁢X2⁢Y2⁢Z6+X2⁢Y⁢Z7+104⁢X⁢Y8⁢Z+X⁢Y2⁢Z7+2⁢X6⁢Y2⁢Z+8⁢X6⁢Y⁢Z2+7⁢X5⁢Y2⁢Z2+6⁢X4⁢Y2⁢Z3+3⁢X4⁢Y⁢Z4+8⁢X3⁢Y2⁢Z4+2⁢X2⁢Y2⁢Z5+3⁢X2⁢Y⁢Z6+4⁢X⁢Y2⁢Z6+8⁢X6⁢Y⁢Z+X5⁢Y2⁢Z+10⁢X5⁢Y⁢Z2+23⁢X4⁢Y2⁢Z2+8⁢X4⁢Y⁢Z3+13⁢X3⁢Y2⁢Z3+5⁢X3⁢Y⁢Z4+128⁢X2⁢Y4⁢Z2+18⁢X2⁢Y2⁢Z4+2⁢X2⁢Y⁢Z5+14⁢X5⁢Y⁢Z+6⁢X4⁢Y2⁢Z+21⁢X4⁢Y⁢Z2+2⁢X3⁢Y3⁢Z+33⁢X3⁢Y2⁢Z2+14⁢X3⁢Y⁢Z3+144⁢X2⁢Y4⁢Z+3⁢X2⁢Y3⁢Z2+13⁢X2⁢Y2⁢Z3+5⁢X2⁢Y⁢Z4+160⁢X⁢Y4⁢Z2+2⁢X⁢Y3⁢Z3+11⁢X⁢Y2⁢Z4+32⁢X4⁢Y⁢Z+8⁢X3⁢Y2⁢Z+20⁢X3⁢Y⁢Z2+6⁢X2⁢Y3⁢Z+932⁢X2⁢Y2⁢Z2+14⁢X2⁢Y⁢Z3+128⁢X⁢Y4⁢Z+2⁢X⁢Y3⁢Z2+7⁢X⁢Y2⁢Z3+47⁢X3⁢Y⁢Z+8⁢X2⁢Y2⁢Z+35⁢X2⁢Y⁢Z2+21⁢X⁢Y3⁢Z+12⁢X⁢Y2⁢Z2+8⁢X⁢Y⁢Z3+325⁢X2⁢Y⁢Z+208⁢X⁢Y2⁢Z+329⁢X⁢Y⁢Z2+280⁢X⁢Y⁢Z448X4Y8Z48X2Y12Z28XY12ZX3Y2Z7552X2Y8Z2X2Y2Z84X6Y2Z34X5Y2Z42X4Y2Z53X3Y2Z66X6Y2Z24X5Y2Z3144X4Y4Z29X4Y2Z42X3Y2Z52X3YZ6160X2Y4Z45X2Y2Z6X2YZ7104XY8ZXY2Z72X6Y2Z8X6YZ27X5Y2Z26X4Y2Z33X4YZ48X3Y2Z42X2Y2Z53X2YZ64XY2Z68X6YZX5Y2Z10X5YZ223X4Y2Z28X4YZ313X3Y2Z35X3YZ4128X2Y4Z218X2Y2Z42X2YZ514X5YZ6X4Y2Z21X4YZ22X3Y3Z33X3Y2Z214X3YZ3144X2Y4Z3X2Y3Z213X2Y2Z35X2YZ4160XY4Z22XY3Z311XY2Z432X4YZ8X3Y2Z20X3YZ26X2Y3Z932X2Y2Z214X2YZ3128XY4Z2XY3Z27XY2Z347X3YZ8X2Y2Z35X2YZ221XY3Z12XY2Z28XYZ3325X2YZ208XY2Z329XYZ2280XYZ448*X^4*Y^8*Z^4+8*X^2*Y^12*Z^2+8*X*Y^12*Z+X^3*Y^2*Z^7+552*X^2*Y^8*Z^2+X^2*Y^2*Z^8+4*X^6*Y^2*Z^3+4*X^5*Y^2*Z^4+2*X^4*Y^2*Z^5+3*X^3*Y^2*Z^6+6*X^6*Y^2*Z^2+4*X^5*Y^2*Z^3+144*X^4*Y^4*Z^2+9*X^4*Y^2*Z^4+2*X^3*Y^2*Z^5+2*X^3*Y*Z^6+160*X^2*Y^4*Z^4+5*X^2*Y^2*Z^6+X^2*Y*Z^7+104*X*Y^8*Z+X*Y^2*Z^7+2*X^6*Y^2*Z+8*X^6*Y*Z^2+7*X^5*Y^2*Z^2+6*X^4*Y^2*Z^3+3*X^4*Y*Z^4+8*X^3*Y^2*Z^4+2*X^2*Y^2*Z^5+3*X^2*Y*Z^6+4*X*Y^2*Z^6+8*X^6*Y*Z+X^5*Y^2*Z+10*X^5*Y*Z^2+23*X^4*Y^2*Z^2+8*X^4*Y*Z^3+13*X^3*Y^2*Z^3+5*X^3*Y*Z^4+128*X^2*Y^4*Z^2+18*X^2*Y^2*Z^4+2*X^2*Y*Z^5+14*X^5*Y*Z+6*X^4*Y^2*Z+21*X^4*Y*Z^2+2*X^3*Y^3*Z+33*X^3*Y^2*Z^2+14*X^3*Y*Z^3+144*X^2*Y^4*Z+3*X^2*Y^3*Z^2+13*X^2*Y^2*Z^3+5*X^2*Y*Z^4+160*X*Y^4*Z^2+2*X*Y^3*Z^3+11*X*Y^2*Z^4+32*X^4*Y*Z+8*X^3*Y^2*Z+20*X^3*Y*Z^2+6*X^2*Y^3*Z+932*X^2*Y^2*Z^2+14*X^2*Y*Z^3+128*X*Y^4*Z+2*X*Y^3*Z^2+7*X*Y^2*Z^3+47*X^3*Y*Z+8*X^2*Y^2*Z+35*X^2*Y*Z^2+21*X*Y^3*Z+12*X*Y^2*Z^2+8*X*Y*Z^3+325*X^2*Y*Z+208*X*Y^2*Z+329*X*Y*Z^2+280*X*Y*Z

Algorithm definition

The algorithm ⟨16×20×25:4578⟩ is serendipitous tensor product (⟨8×5×5:144⟩ - 20) ⊗ ⟨2×4×5:32⟩ +10⟨4×4×5: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