Description of fast matrix multiplication algorithm: ⟨20×25×32:8744⟩

Algorithm type

X12⁢Y2⁢Z+56⁢X8⁢Y4⁢Z2+56⁢X6⁢Y4⁢Z4+336⁢X4⁢Y4⁢Z6+X9⁢Y2⁢Z2+X9⁢Y2⁢Z+2⁢X9⁢Y⁢Z2+56⁢X6⁢Y4⁢Z2+112⁢X6⁢Y2⁢Z4+504⁢X4⁢Y4⁢Z4+8⁢X2⁢Y6⁢Z4+117⁢X2⁢Y4⁢Z6+13⁢X8⁢Y2⁢Z+6⁢X6⁢Y2⁢Z3+12⁢X2⁢Y6⁢Z3+12⁢X2⁢Y5⁢Z4+6⁢X2⁢Y4⁢Z5+17⁢X2⁢Y3⁢Z6+2⁢X⁢Y8⁢Z2+22⁢X6⁢Y2⁢Z2+224⁢X4⁢Y4⁢Z2+224⁢X4⁢Y2⁢Z4+131⁢X2⁢Y6⁢Z2+26⁢X2⁢Y5⁢Z3+31⁢X2⁢Y4⁢Z4+11⁢X2⁢Y3⁢Z5+581⁢X2⁢Y2⁢Z6+17⁢X6⁢Y2⁢Z+30⁢X6⁢Y⁢Z2+18⁢X4⁢Y4⁢Z+78⁢X4⁢Y2⁢Z3+18⁢X3⁢Y4⁢Z2+20⁢X3⁢Y2⁢Z4+X2⁢Y5⁢Z2+122⁢X2⁢Y4⁢Z3+27⁢X2⁢Y3⁢Z4+10⁢X⁢Y6⁢Z2+X⁢Y5⁢Z3+48⁢X⁢Y2⁢Z6+137⁢X4⁢Y2⁢Z2+18⁢X3⁢Y4⁢Z+2⁢X3⁢Y2⁢Z3+40⁢X3⁢Y⁢Z4+353⁢X2⁢Y4⁢Z2+35⁢X2⁢Y3⁢Z3+753⁢X2⁢Y2⁢Z4+48⁢X⁢Y6⁢Z+12⁢X⁢Y5⁢Z2+44⁢X⁢Y4⁢Z3+10⁢X⁢Y3⁢Z4+6⁢X⁢Y2⁢Z5+165⁢X⁢Y⁢Z6+68⁢X4⁢Y2⁢Z+52⁢X4⁢Y⁢Z2+4⁢X3⁢Y3⁢Z+73⁢X3⁢Y2⁢Z2+9⁢X3⁢Y⁢Z3+72⁢X2⁢Y4⁢Z+46⁢X2⁢Y3⁢Z2+134⁢X2⁢Y2⁢Z3+80⁢X2⁢Y⁢Z4+13⁢X⁢Y5⁢Z+19⁢X⁢Y4⁢Z2+34⁢X⁢Y3⁢Z3+16⁢X⁢Y2⁢Z4+21⁢X3⁢Y2⁢Z+43⁢X3⁢Y⁢Z2+34⁢X2⁢Y3⁢Z+843⁢X2⁢Y2⁢Z2+111⁢X2⁢Y⁢Z3+77⁢X⁢Y4⁢Z+97⁢X⁢Y3⁢Z2+218⁢X⁢Y2⁢Z3+205⁢X⁢Y⁢Z4+11⁢X3⁢Y⁢Z+111⁢X2⁢Y2⁢Z+201⁢X2⁢Y⁢Z2+79⁢X⁢Y3⁢Z+323⁢X⁢Y2⁢Z2+161⁢X⁢Y⁢Z3+134⁢X2⁢Y⁢Z+291⁢X⁢Y2⁢Z+389⁢X⁢Y⁢Z2+194⁢X⁢Y⁢ZX12Y2Z56X8Y4Z256X6Y4Z4336X4Y4Z6X9Y2Z2X9Y2Z2X9YZ256X6Y4Z2112X6Y2Z4504X4Y4Z48X2Y6Z4117X2Y4Z613X8Y2Z6X6Y2Z312X2Y6Z312X2Y5Z46X2Y4Z517X2Y3Z62XY8Z222X6Y2Z2224X4Y4Z2224X4Y2Z4131X2Y6Z226X2Y5Z331X2Y4Z411X2Y3Z5581X2Y2Z617X6Y2Z30X6YZ218X4Y4Z78X4Y2Z318X3Y4Z220X3Y2Z4X2Y5Z2122X2Y4Z327X2Y3Z410XY6Z2XY5Z348XY2Z6137X4Y2Z218X3Y4Z2X3Y2Z340X3YZ4353X2Y4Z235X2Y3Z3753X2Y2Z448XY6Z12XY5Z244XY4Z310XY3Z46XY2Z5165XYZ668X4Y2Z52X4YZ24X3Y3Z73X3Y2Z29X3YZ372X2Y4Z46X2Y3Z2134X2Y2Z380X2YZ413XY5Z19XY4Z234XY3Z316XY2Z421X3Y2Z43X3YZ234X2Y3Z843X2Y2Z2111X2YZ377XY4Z97XY3Z2218XY2Z3205XYZ411X3YZ111X2Y2Z201X2YZ279XY3Z323XY2Z2161XYZ3134X2YZ291XY2Z389XYZ2194XYZX^12*Y^2*Z+56*X^8*Y^4*Z^2+56*X^6*Y^4*Z^4+336*X^4*Y^4*Z^6+X^9*Y^2*Z^2+X^9*Y^2*Z+2*X^9*Y*Z^2+56*X^6*Y^4*Z^2+112*X^6*Y^2*Z^4+504*X^4*Y^4*Z^4+8*X^2*Y^6*Z^4+117*X^2*Y^4*Z^6+13*X^8*Y^2*Z+6*X^6*Y^2*Z^3+12*X^2*Y^6*Z^3+12*X^2*Y^5*Z^4+6*X^2*Y^4*Z^5+17*X^2*Y^3*Z^6+2*X*Y^8*Z^2+22*X^6*Y^2*Z^2+224*X^4*Y^4*Z^2+224*X^4*Y^2*Z^4+131*X^2*Y^6*Z^2+26*X^2*Y^5*Z^3+31*X^2*Y^4*Z^4+11*X^2*Y^3*Z^5+581*X^2*Y^2*Z^6+17*X^6*Y^2*Z+30*X^6*Y*Z^2+18*X^4*Y^4*Z+78*X^4*Y^2*Z^3+18*X^3*Y^4*Z^2+20*X^3*Y^2*Z^4+X^2*Y^5*Z^2+122*X^2*Y^4*Z^3+27*X^2*Y^3*Z^4+10*X*Y^6*Z^2+X*Y^5*Z^3+48*X*Y^2*Z^6+137*X^4*Y^2*Z^2+18*X^3*Y^4*Z+2*X^3*Y^2*Z^3+40*X^3*Y*Z^4+353*X^2*Y^4*Z^2+35*X^2*Y^3*Z^3+753*X^2*Y^2*Z^4+48*X*Y^6*Z+12*X*Y^5*Z^2+44*X*Y^4*Z^3+10*X*Y^3*Z^4+6*X*Y^2*Z^5+165*X*Y*Z^6+68*X^4*Y^2*Z+52*X^4*Y*Z^2+4*X^3*Y^3*Z+73*X^3*Y^2*Z^2+9*X^3*Y*Z^3+72*X^2*Y^4*Z+46*X^2*Y^3*Z^2+134*X^2*Y^2*Z^3+80*X^2*Y*Z^4+13*X*Y^5*Z+19*X*Y^4*Z^2+34*X*Y^3*Z^3+16*X*Y^2*Z^4+21*X^3*Y^2*Z+43*X^3*Y*Z^2+34*X^2*Y^3*Z+843*X^2*Y^2*Z^2+111*X^2*Y*Z^3+77*X*Y^4*Z+97*X*Y^3*Z^2+218*X*Y^2*Z^3+205*X*Y*Z^4+11*X^3*Y*Z+111*X^2*Y^2*Z+201*X^2*Y*Z^2+79*X*Y^3*Z+323*X*Y^2*Z^2+161*X*Y*Z^3+134*X^2*Y*Z+291*X*Y^2*Z+389*X*Y*Z^2+194*X*Y*Z

Algorithm definition

The algorithm ⟨20×25×32:8744⟩ is serendipitous tensor product (⟨5×5×8:144⟩ - 20) ⊗ ⟨4×5×4:61⟩ +10⟨4×5×8:118⟩.

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