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

Algorithm type

448X4Y8Z4+8X2Y12Z2+8XY12Z+X3Y2Z7+552X2Y8Z2+X2Y2Z8+4X6Y2Z3+4X5Y2Z4+2X4Y2Z5+3X3Y2Z6+6X6Y2Z2+4X5Y2Z3+144X4Y4Z2+9X4Y2Z4+2X3Y2Z5+2X3YZ6+160X2Y4Z4+5X2Y2Z6+X2YZ7+104XY8Z+XY2Z7+2X6Y2Z+8X6YZ2+7X5Y2Z2+6X4Y2Z3+3X4YZ4+8X3Y2Z4+2X2Y2Z5+3X2YZ6+4XY2Z6+8X6YZ+X5Y2Z+10X5YZ2+23X4Y2Z2+8X4YZ3+13X3Y2Z3+5X3YZ4+128X2Y4Z2+18X2Y2Z4+2X2YZ5+14X5YZ+6X4Y2Z+21X4YZ2+2X3Y3Z+33X3Y2Z2+14X3YZ3+144X2Y4Z+3X2Y3Z2+13X2Y2Z3+5X2YZ4+160XY4Z2+2XY3Z3+11XY2Z4+32X4YZ+8X3Y2Z+20X3YZ2+6X2Y3Z+932X2Y2Z2+14X2YZ3+128XY4Z+2XY3Z2+7XY2Z3+47X3YZ+8X2Y2Z+35X2YZ2+21XY3Z+12XY2Z2+8XYZ3+325X2YZ+208XY2Z+329XYZ2+280XYZ448X4Y8Z48X2Y12Z28XY12ZX3Y2Z7552X2Y8Z2X2Y2Z84X6Y2Z34X5Y2Z42X4Y2Z53X3Y2Z66X6Y2Z24X5Y2Z3144X4Y4Z29X4Y2Z42X3Y2Z52X3YZ6160X2Y4Z45X2Y2Z6X2YZ7104XY8ZXY2Z72X6Y2Z8X6YZ27X5Y2Z26X4Y2Z33X4YZ48X3Y2Z42X2Y2Z53X2YZ64XY2Z68X6YZX5Y2Z10X5YZ223X4Y2Z28X4YZ313X3Y2Z35X3YZ4128X2Y4Z218X2Y2Z42X2YZ514X5YZ6X4Y2Z21X4YZ22X3Y3Z33X3Y2Z214X3YZ3144X2Y4Z3X2Y3Z213X2Y2Z35X2YZ4160XY4Z22XY3Z311XY2Z432X4YZ8X3Y2Z20X3YZ26X2Y3Z932X2Y2Z214X2YZ3128XY4Z2XY3Z27XY2Z347X3YZ8X2Y2Z35X2YZ221XY3Z12XY2Z28XYZ3325X2YZ208XY2Z329XYZ2280XYZ448*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