Description of fast matrix multiplication algorithm: ⟨12×16×21:2385⟩

Algorithm type

60⁢X4⁢Y6⁢Z4+6⁢X⁢Y12⁢Z+18⁢X2⁢Y9⁢Z2+12⁢X4⁢Y6⁢Z2+150⁢X4⁢Y4⁢Z4+20⁢X2⁢Y8⁢Z2+12⁢X6⁢Y3⁢Z2+12⁢X4⁢Y3⁢Z4+4⁢X2⁢Y8⁢Z+18⁢X2⁢Y3⁢Z6+36⁢X⁢Y9⁢Z+39⁢X6⁢Y2⁢Z2+30⁢X4⁢Y4⁢Z2+108⁢X4⁢Y2⁢Z4+171⁢X2⁢Y6⁢Z2+45⁢X2⁢Y2⁢Z6+2⁢X⁢Y8⁢Z+2⁢X6⁢Y2⁢Z+12⁢X6⁢Y⁢Z2+9⁢X5⁢Y2⁢Z2+36⁢X4⁢Y3⁢Z2+29⁢X4⁢Y2⁢Z3+12⁢X4⁢Y⁢Z4+24⁢X2⁢Y6⁢Z+6⁢X2⁢Y3⁢Z4+18⁢X2⁢Y⁢Z6+3⁢X6⁢Y⁢Z+134⁢X4⁢Y2⁢Z2+4⁢X3⁢Y4⁢Z+9⁢X3⁢Y2⁢Z3+139⁢X2⁢Y4⁢Z2+17⁢X2⁢Y2⁢Z4+48⁢X⁢Y6⁢Z+6⁢X⁢Y4⁢Z3+8⁢X5⁢Y⁢Z+4⁢X4⁢Y2⁢Z+52⁢X4⁢Y⁢Z2+24⁢X3⁢Y3⁢Z+30⁢X3⁢Y2⁢Z2+X3⁢Y⁢Z3+36⁢X2⁢Y4⁢Z+54⁢X2⁢Y3⁢Z2+4⁢X2⁢Y2⁢Z3+16⁢X2⁢Y⁢Z4+2⁢X⁢Y4⁢Z2+36⁢X⁢Y3⁢Z3+3⁢X4⁢Y⁢Z+30⁢X3⁢Y2⁢Z+18⁢X3⁢Y⁢Z2+72⁢X2⁢Y3⁢Z+171⁢X2⁢Y2⁢Z2+25⁢X2⁢Y⁢Z3+16⁢X⁢Y4⁢Z+12⁢X⁢Y3⁢Z2+36⁢X⁢Y2⁢Z3+33⁢X3⁢Y⁢Z+108⁢X2⁢Y2⁢Z+80⁢X2⁢Y⁢Z2+54⁢X⁢Y3⁢Z+13⁢X⁢Y2⁢Z2+31⁢X⁢Y⁢Z3+83⁢X2⁢Y⁢Z+38⁢X⁢Y2⁢Z+17⁢X⁢Y⁢Z2+27⁢X⁢Y⁢Z60X4Y6Z46XY12Z18X2Y9Z212X4Y6Z2150X4Y4Z420X2Y8Z212X6Y3Z212X4Y3Z44X2Y8Z18X2Y3Z636XY9Z39X6Y2Z230X4Y4Z2108X4Y2Z4171X2Y6Z245X2Y2Z62XY8Z2X6Y2Z12X6YZ29X5Y2Z236X4Y3Z229X4Y2Z312X4YZ424X2Y6Z6X2Y3Z418X2YZ63X6YZ134X4Y2Z24X3Y4Z9X3Y2Z3139X2Y4Z217X2Y2Z448XY6Z6XY4Z38X5YZ4X4Y2Z52X4YZ224X3Y3Z30X3Y2Z2X3YZ336X2Y4Z54X2Y3Z24X2Y2Z316X2YZ42XY4Z236XY3Z33X4YZ30X3Y2Z18X3YZ272X2Y3Z171X2Y2Z225X2YZ316XY4Z12XY3Z236XY2Z333X3YZ108X2Y2Z80X2YZ254XY3Z13XY2Z231XYZ383X2YZ38XY2Z17XYZ227XYZ60*X^4*Y^6*Z^4+6*X*Y^12*Z+18*X^2*Y^9*Z^2+12*X^4*Y^6*Z^2+150*X^4*Y^4*Z^4+20*X^2*Y^8*Z^2+12*X^6*Y^3*Z^2+12*X^4*Y^3*Z^4+4*X^2*Y^8*Z+18*X^2*Y^3*Z^6+36*X*Y^9*Z+39*X^6*Y^2*Z^2+30*X^4*Y^4*Z^2+108*X^4*Y^2*Z^4+171*X^2*Y^6*Z^2+45*X^2*Y^2*Z^6+2*X*Y^8*Z+2*X^6*Y^2*Z+12*X^6*Y*Z^2+9*X^5*Y^2*Z^2+36*X^4*Y^3*Z^2+29*X^4*Y^2*Z^3+12*X^4*Y*Z^4+24*X^2*Y^6*Z+6*X^2*Y^3*Z^4+18*X^2*Y*Z^6+3*X^6*Y*Z+134*X^4*Y^2*Z^2+4*X^3*Y^4*Z+9*X^3*Y^2*Z^3+139*X^2*Y^4*Z^2+17*X^2*Y^2*Z^4+48*X*Y^6*Z+6*X*Y^4*Z^3+8*X^5*Y*Z+4*X^4*Y^2*Z+52*X^4*Y*Z^2+24*X^3*Y^3*Z+30*X^3*Y^2*Z^2+X^3*Y*Z^3+36*X^2*Y^4*Z+54*X^2*Y^3*Z^2+4*X^2*Y^2*Z^3+16*X^2*Y*Z^4+2*X*Y^4*Z^2+36*X*Y^3*Z^3+3*X^4*Y*Z+30*X^3*Y^2*Z+18*X^3*Y*Z^2+72*X^2*Y^3*Z+171*X^2*Y^2*Z^2+25*X^2*Y*Z^3+16*X*Y^4*Z+12*X*Y^3*Z^2+36*X*Y^2*Z^3+33*X^3*Y*Z+108*X^2*Y^2*Z+80*X^2*Y*Z^2+54*X*Y^3*Z+13*X*Y^2*Z^2+31*X*Y*Z^3+83*X^2*Y*Z+38*X*Y^2*Z+17*X*Y*Z^2+27*X*Y*Z

Algorithm definition

The algorithm ⟨12×16×21:2385⟩ is serendipitous tensor product (⟨4×4×3:38⟩ - 6) ⊗ ⟨3×4×7:63⟩ +3⟨6×4×7:123⟩.

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