M7R0
I/SplittingLemmay6%%3SplittingTheSystemG%8SplittingTheSystemwithcG%:SplittingTh
eSystemOnePartG60%1TheLeadingMatrixG%.MatrixPolEvalG%4ChooseTheEigenvalueG%,Dec
omposeA0G%/DecomposeSLA0MG%*NumbOccurG%/ListOfMatricesG%.Get_ValuationG%+Get_De
greeG%1MySylvesterSolveG%(my_multG%*SplittingG%1SplittingOnePartG%+SplittingcG%
t+6$%"AG%"xG61%"vG%%tempG%#A0G%"PG%"BG%"bG%%TempG%"nG%#BBG%#n1G%&TTempG%"TG%"MG
%#M1G%#t0G6"6"C8>8+-_%.LinearAlgebraG%-RowDimensionG6#9$>8$-T%6$FU9%>8%-%$mapG6
$%'expandG-%)simplifyG6#*&)Fen,$FW!"""""FUFco>8&-%%subsG6$/Fen""!Fgn>82-%%timeG
FL>8*-T'6#Feo-%)userinfoG6&Fco.%0MiyakeReductionG%2decompose~A0~timeG,&F]pFcoF
\pFbo>8'-Fin6%_%*AlgebraicG%'ReduceG&F`p6#Fco.%)expandedG>8-&F`p6#""#>F\pF]p>8(
-Fin6%F_q-F]o6#-%".G6%-Fin6%F_q*$F\qFboFdq-Fin6%F_qFUFdqF\qFdq-Fep6&FcoFgp%.com
pute~new~BGFjp>F\pF]p>8,-T)6$F]rFen-Fep6&FcoFgp%2liste~of~matricesGFjp>F\pF]p>8
.-T+6&7#F_s,&FOFcoFgqFboFgqFao-Fep6&FcoFgp%2call~of~SplittingGFjp>8/&FhsFcq>80&
FhsFiq>81&Fhs6#""$O7%-F]o6#-Fgo6$/%"zGFenFbt-Fin6%%(convertG-Fin6&%'seriesG*&)F
enFWFco-Fgo6$FbuFetFcoFen,$*&FOFcoFWFcoFbo%(polynomG7$-Fin6%Ffu-Fin6&Fiu*&F[vFc
o-Fgo6$Fbu&FhtFcqFcoFenF^vF`v-Fin6%Ffu-Fin6&Fiu*&F[vFco-Fgo6$Fbu&FhtFiqFcoFenF^
vF`vFLFL6,%6_thismoduledefinitionGFLF0%.Get_ValuationGF-%/DecomposeSLA0MGF/%/Li
stOfMatricesGF4%*SplittingG6#Fjq%*protectedGt+F8F;6"FLC8>FOFP>FWFX>FgnFhn>FeoFf
o>F\pF]p>F`pFapFdp>F\q-Fin6$F[oFbq>FgqFhq>F\pF]p>F]r-Fin6$F[o-Fcr6%FgrFUF\qFjr>
F\pF]p>F_sF`sFcs>F\pF]p>FhsFisF^t>FbtFct>FetFft>FhtFitOF]uFLFL6,FcwFLF0FdwF-Few
F/FfwF6%+SplittingcG6#FjqFiwt+F8F;6"FLC6>FOFP>FWFX>FgnFhn>FeoFfo>F\pF]p>F`pFapF
dp>F\q-F]o6#F]q>FgqFhq>F\pF]p>F]rF^rFjr>F_sF`s>F\pF]p>FhsFisF^t>FbtFct>FetFft>F
htFitO7&FjoFjo-Fin6$F[oF^wFjoFLFL6,FcwFLF0FdwF-FewF/FfwF5%1SplittingOnePartG6#F
jqFiw0t+F86%F<F=F>6"FLC&>FWFX>Fgn-Fin6$F[oF_o>FeoFfoOFeoFLFL6&FcwFLF0Fdw6#FjqFL
t+6%%$polGFH%'lambdaG6&FC%#p0G%#p1G%$resG6"FLC(>FW&-_FR%+DimensionsG6#FenFcq>Fg
n-%&coeffG6%-F[oFT9&Fjo>Feo-%'normalG6#*&,&FUFcoFgnFboFcoFe]lFbo>F\q*&FgnFco-_F
R%/IdentityMatrixG6#FWFco@$0FeoFjo>F\q-Fin6$Fh]l,&F\qFco-Fcr6$Fen-FY6%FeoFenFe]
lFcoOF\qFLFL6&FcwFLF*%.MatrixPolEvalG6#F[uFLt+6#F>6,FC%"fG%"iG%"jG%$SeqGF=%.Sim
pleFactorsG%"pG%%testG%#cpG6"FLC+>FWFP>Fgq-%'factorG6#-_FR%9CharacteristicPolyn
omialG6$FhrFc\l>Fgn-%(factorsG6#Fgq>F]r7#-%$seqG6$&&FgnFiqFcp/Feo;Fco-%%nopsG6#
F`al@$/-Fdal6#F]rFcoO7$Fgq7$,&Fc\lFco-%'RootOfG6#&&F]rFcqFcqFbo&FbblFiq>F\qFco?
(FeoFcoFcoFhal%%trueG@$/-%'degreeG6$&&F]rFcpFcqFc\lFcoC$>&8)6#F\qF]cl>F\q,&F\qF
coFcoFco>F`p7#-F]al6$&FaclFcp/Feo;Fco,&F\qFcoFboFco@%2FcoF\qC%>FO-%$mulG6$)&&F`
pFcpFcq&FfdlFiqFjcl>F_s7#-%&solveG6#FO@%-%#isG6#-%#inG6$FjoF_sO7$Fgq7$Fc\l-FY6$
F_sFjoO7$Fgq7$,&Fc\lFco&F_sFcqFbo-FY6$F_sF]flO7$FgqFbblFLFL6&FcwFLF.%*NumbOccur
G6#FcoFLt+Fa_l6&F=Fh_lFf\lFe\l6"FLC'>FW-FYFT>Fgn&FWFcq>F\q)&&FWFiqFcq&F`glFiq>F
eo-%$quoG6%FgnF\qFc\lO7$-F]o6#-%'MatrixG6#7$-%#opG6#-_FR%*NullSpaceG6#-Fbp6%F\q
FUFc\l-F_hl6#-Fbhl6#-Fbp6%FeoFUFc\l*&FaglFco-Fjbl6#F_glFcoFLFL6(FcwFLF+%4Choose
TheEigenvalueGF*F^_l6#FcoFLt+Fa_lFffl6"FLC'>FWFjfl>FgnF\gl>F\qF^gl>FeoFcglO7$-F
]o6#-F[hl6#7$FghlF^hl*&FaglFco-Fjbl6$F_glFc\lFcoFLFL6(FcwFLF+FailF*F^_l6#FcoFLt
+6$%&ListeG%"aG6$Fd_lFe_l6"FLC%>FgnFjo?(FWFcoFco-FdalFTFfbl@$/Fen&FUFa^l>Fgn,&F
gnFcoFcoFcoOFgnFLFL6$FcwFL6#FjqFLt+F86'F<%"dGF=Fd_lFC6"FLC'>F]rFP>FWFX>FeoFhn>F
gn-Fbp6$FeoFen@%2Fgn,$*&F]rFcoFWFcoFboO6$-F]al6$-Fin6&Fb]lFeoFenF\q/F\q;FjoFgn-
F]al6$-F[hlFial/F\q;Fd[mFe\mO-F]al6$F[]m/F\q;FjoFe\mFLFL6(FcwFLF0FdwF1%+Get_Deg
reeG6#FjqFLt+6$FGF:6%FH%"LG%#TTG6"FLC&>Feo-Fin6%FfuFUF`v>FW-Fin6%%(ldegreeGFeoF
en>Fgn7#-F]al6$-F]al6$&FWFjjl/Fd_l;FcoFP/Fe_lFb_mO-%$minG6#FgnFLFL6$FcwFL6#FjqF
Lt+F]^mF^^m6"FLC&>FeoFd^m>FW-Fin6%FjblFeoFen>FgnF[_mO-%$maxGFg_mFLFL6$FcwFL6#Fj
qFLt+6%'FHF[hl'%"NGF[hl'%"QGF[hl6)%"mGFCFG%$sysG%$solG%#_tGFJ6"FLC(>FW-&FR6#FSF
T>Fgn-FgamF_]l>Feo-F[hl6%FWFgn7#-F]al6$-F]al6$&FaclFjjl/Fe_l;FcoFgn/Fd_l;FcoFW>
F\q-Ffu6$,(-Ffu6$-%&evalmG6#-%#&*G6$FUFeoF[hlFco-Ffu6$-F_cm6#-FbcmFb\mF[hlFboFe
]lFbo%$setG>F]r-&%+SolveToolsG6#%'LinearG6$F\q<#F_bm-%'RETURNG6#-Fgo6$F]rFeoFLF
L6$FcwFL6#F[uFLt+6$F9F@6)Fd_lFe_l%"lG%"CGF_amFC%"kG6"FLC)>FaclFP>F]r-_FR%0Colum
nDimensionGFT>F`p-FdemF_]l@$0-FQF_]lF]r-%&ERRORG6#%Cwrong~dimensions~in~matrix~
productG>F\q-&%'linalgG6#%'matrixG6$FaclF`p?(FWFcoFcoFaclFfbl?(FgnFcoFcoF`pFfbl
>&F\q6$FWFgn-Ffu6$7#-F]al6$*&&FU6$FWFeoFco&Fen6$FeoFgnFco/Feo;FcoF]r%"+GO-Ffu6$
-F_cmFbclF[hlFLFL6$FcwFL6#FjqFLt+6&'F9%%listGFE%#n2GFh_l64FC%%A011G%%A012G%%A02
1G%%A022GFG%"rGF@Fd_l%"HG%$H11G%$H12G%$H21G%$H22G%$B11G%$B22G%$T12G%$T21G6"FLC,
>FW,&FenFcoFe]lFco>Fgn-&FR6#%*SubMatrixG6%&FUFcq;FcoFenF]jm>Feo-Fhim6%F\jmF]jm;
,&FenFcoFcoFcoFeim>F\q-Fhim6%F\jmFajmF]jm>F]r-Fhim6%F\jmFajmFajm>&Facl6#Fjo-&FR
6#F`^lFa^l>&FOF[[nF\jm?(F_sFcoFco,&9'FcoFcoFcoFfbl>&Facl6#,$F_sFbo-F[hlFa^l?(F`
pFcoFco,&F_[mFcoFboFcoFfblC-@%/Fc[nFco>&Fgq6#F`p-Fin6%F_q,(&FU6#,&F`pFcoFcoFcoF
bo-%$addG6$,&-Fcr6$&Facl6#F_s&FO6#,&F`pFcoF_sFboFco-Fcr6$&FU6#,(F`pFcoF_sFboFco
FcoF]]nFbo/F_s;Fco,&F`pFcoFboFcoFco*&,&F`pFcoFc[nFboFco&Facl6#F[^nFcoFcoFdq>F_
\n-Fin6%F_q,(Fd\nFbo-Fh\n6$,&-Fin6%F_qF[]nFdqFco-Fin6%F_qFb]nFdqFboFg]nFco*&,(F
`pFcoFc[nFboFcoFcoFco&Facl6#Fj^nFcoFcoFdq>Fhs-Fhim6%F_\nF]jmF]jm>Fbt-Fhim6%F_\n
F]jmFajm>Fet-Fhim6%F_\nFajmF]jm>Fht-Fhim6%F_\nFajmFajm>F\p-Fin6%F_q,$FhsFboFdq>
83-Fin6%F_q,$FhtFboFdq>84-Fin6%F_q-FY6%FgnF]rFbtFdq>85-Fin6%F_q-FY6%F]rFgnFetFd
q>&FOF`\n-&FR6#%/DiagonalMatrixG6#7$F\pF^`n>&FaclF`\n-Ffu6$-&Fbfm6#%,stackmatri
xG6$-&Fbfm6#%(augmentG6$-F[hl6$FenFenFc`n-F`bn6$Fi`n-F[hl6$Fe]lFe]lF[hl-Fcdm6#7
%-Fh\n6$*&F]]nFco)FcuF_sFco/F_s;FjoFj[n-Fh\n6$*&&FOF^]nFcoF`cnFcoFacn7$-Fh\n6$*
&&Ffcn6$F]jmF]jmFcoF`cnFcoFacn-Fh\n6$*&&Ffcn6$;FbjmFWFbdnFcoF`cnFcoFacnFLFL6&Fc
wFLF2%1MySylvesterSolveG6#""%FLt+F_hm66FCFdhmFehmFfhmFghmFGFhhmF@Fd_lFihmFjhmF[
imF\imF]imF^imF_imF`imFaim%#AAGFJ6"FLC,>FWFeim@%3/Fe]lFco2Fc[nFj[n>867#-F]al6$&
FUF^]n/F_s;FcoFc[n>FbenFU>FgnFgim>F\qFdjm>F]rFgjm>&F^`nF[[nF]r>&Fc`nF[[n-F[hl6$
FenFe]l?(F_sFcoFcoFb[nFfbl>&Fc`nFf[nFafn?(F`pFcoFco,&-Fdal6#FbenFcoFboFcoFfblC$
@%F]\n-Fcdm6#7%FjoFjo7$FjoF^fnC%>87F]p>&F^`nF`\n-Fin6$F]o-Fin6$F[o,&&Fd\nFadnFc
o-Fh\n6$-Fin6$F[o-Fcr6$&Fd]n6$FbdnF]jm&Fc`nF^]n/F_s;FjoFi]nFco>&FbtF`\n,(&Fd\n6
$F]jmFbdnFbo-F]o6#-Fin6$F[o-Fh\n6$,&-Fcr6$Fchn&F^`nF`]nFco-Fcr6$&Fd]nF\dnFchnFb
oFdhnFco*&Fj^nFco&Fc`nF\_nFcoFco>&Fc`nF`\n-FY6%FgnF]rFghn-Fcdm6#7%FjoFjo7$Fjo-F
h\n6$*&&F^`nF^]nFcoF`cnFco/F_s;FjoFgfnFLFL6&FcwFLF2Fddn6#FfdnFLt+F_hmFchm6"FLC,
>FWFeim>FgnFgim>FeoF_jm>F\qFdjm>F]rFgjm>FjjmF\[n>F`[nF\jm?(F_sFcoFcoFb[nFfbl>Fe
[nFh[n?(F`pFcoFcoFj[nFfblC-@%F]\n>F_\n-F]o6#-Fin6$F[oFc\n>F_\n-F]o6#-Fin6$F[o,(
Fd\nFbo-Fh\n6$,&-Fin6$F[oF[]nFco-Fin6$F[oFb]nFboFg]nFcoFi^nFco>FhsF^_n>FbtFa_n>
FetFd_n>FhtFg_n>F\p-Fin6$F[oF\`n>F^`n-Fin6$F[oFa`n>Fc`n-Fin6$F[oFf`n>Fi`n-Fin6$
F[oF\an>F_anF`an>FganFhanFjbnFLFL6&FcwFLF2Fddn6#FfdnFLb6#%+thismoduleGF(6#%(pac
kageGF$FLFLFLFLFLFL
