Description of fast matrix multiplication algorithm: ⟨16×28×28:6902⟩

Algorithm type

12X4Y10Z2+13X4Y9Z2+16X4Y8Z2+128X4Y6Z4+14X4Y7Z2+2X3Y8Z2+7X2Y10Z+15X4Y6Z2+704X4Y4Z4+18X2Y9Z+16X2Y8Z2+16X2Y6Z4+10X4Y5Z2+2X3Y6Z2+8X2Y8Z+23X4Y5Z+16X4Y4Z2+16X4Y2Z4+6X2Y7Z+96X2Y6Z2+16X2Y4Z4+16X2Y2Z6+21X4Y4Z+X3Y5Z+12X2Y6Z+6X4Y3Z+182X4Y2Z2+2X3Y4Z+16X2Y5Z+336X2Y4Z2+208X2Y2Z4+X3Y3Z+8X2Y4Z+256X2Y3Z2+4X4YZ+2X2Y3Z+1888X2Y2Z2+32XY4Z+32XY3Z2+2X3YZ+32X2Y2Z+32X2YZ2+192XY3Z+32XY2Z2+32XYZ3+355X2YZ+672XY2Z+416XYZ2+960XYZ12X4Y10Z213X4Y9Z216X4Y8Z2128X4Y6Z414X4Y7Z22X3Y8Z27X2Y10Z15X4Y6Z2704X4Y4Z418X2Y9Z16X2Y8Z216X2Y6Z410X4Y5Z22X3Y6Z28X2Y8Z23X4Y5Z16X4Y4Z216X4Y2Z46X2Y7Z96X2Y6Z216X2Y4Z416X2Y2Z621X4Y4ZX3Y5Z12X2Y6Z6X4Y3Z182X4Y2Z22X3Y4Z16X2Y5Z336X2Y4Z2208X2Y2Z4X3Y3Z8X2Y4Z256X2Y3Z24X4YZ2X2Y3Z1888X2Y2Z232XY4Z32XY3Z22X3YZ32X2Y2Z32X2YZ2192XY3Z32XY2Z232XYZ3355X2YZ672XY2Z416XYZ2960XYZ12*X^4*Y^10*Z^2+13*X^4*Y^9*Z^2+16*X^4*Y^8*Z^2+128*X^4*Y^6*Z^4+14*X^4*Y^7*Z^2+2*X^3*Y^8*Z^2+7*X^2*Y^10*Z+15*X^4*Y^6*Z^2+704*X^4*Y^4*Z^4+18*X^2*Y^9*Z+16*X^2*Y^8*Z^2+16*X^2*Y^6*Z^4+10*X^4*Y^5*Z^2+2*X^3*Y^6*Z^2+8*X^2*Y^8*Z+23*X^4*Y^5*Z+16*X^4*Y^4*Z^2+16*X^4*Y^2*Z^4+6*X^2*Y^7*Z+96*X^2*Y^6*Z^2+16*X^2*Y^4*Z^4+16*X^2*Y^2*Z^6+21*X^4*Y^4*Z+X^3*Y^5*Z+12*X^2*Y^6*Z+6*X^4*Y^3*Z+182*X^4*Y^2*Z^2+2*X^3*Y^4*Z+16*X^2*Y^5*Z+336*X^2*Y^4*Z^2+208*X^2*Y^2*Z^4+X^3*Y^3*Z+8*X^2*Y^4*Z+256*X^2*Y^3*Z^2+4*X^4*Y*Z+2*X^2*Y^3*Z+1888*X^2*Y^2*Z^2+32*X*Y^4*Z+32*X*Y^3*Z^2+2*X^3*Y*Z+32*X^2*Y^2*Z+32*X^2*Y*Z^2+192*X*Y^3*Z+32*X*Y^2*Z^2+32*X*Y*Z^3+355*X^2*Y*Z+672*X*Y^2*Z+416*X*Y*Z^2+960*X*Y*Z

Algorithm definition

The algorithm ⟨16×28×28:6902⟩ is serendipitous tensor product (⟨4×7×7:144⟩ - 15) ⊗ ⟨4×4×4:48⟩ +⟨4×20×4:230⟩ +5⟨4×8×4:96⟩.

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