M7R0
I3RankReductionViaLPy6+%?VolevicWeightWithLinearProgramG%/VolevicNumbersG%<Mini
malNormalizedPathLenghtG%DEchelonneThePrincipalMatrixFunctionG%0RankReductionLP
G%6MinimalNormalizedPathG%0PrincipalMatrixG%8PrincipalMatrixFunctionG%1RankRedu
ctionLPMG6'%5GaugeTransformationpG%.LeadingMatrixG%7ShearingTransformationG%.Ge
t_ValuationG%2MatrixOrdonnerbisG+t+6$%"VG%"qG6,%"iG%"jG%"lG%"tG%"nG%"dG%"rG%#vd
G%%tempG%#s1G6"6"C)>8(-_%.LinearAlgebraG%-RowDimensionG6#9$?(8$"""FPFG%%trueG?(
8%FPFPFGFQ@$0&FM6$FOFS%)infinityG>&8&FW1""!,*&8)6#FSFP&Fjn6#FO!""FVFP8'F^o@%/9#
""#>8*-_%(simplexG%)maximizeG6$F_o-%&unionG6$-%(convertG6$Fen%$setG<#1Fgn,&&9"6
#FcoFPF_oF^o>Feo-Fgo6$F_oF^p-%'assignG6#Feo>8,7#-%$seqG6$Fin/FS;FPFG>8--%'indet
sG6#F_qO6$F_o-%%subsG6$-Fbq6$/&FgqF]oFgn/FO;FP-%%nopsG6#FgqF_qFDFD6$%6_thismodu
ledefinitionGFD6#Fco%*protectedGt+6%%"RG%"vGF76-F9F:F;F<F=F>F?F@FAFBF66"FDC,>FG
FH>8.*&-%&denomG6#9%FP,&FMFP*&F[tFP-%'MatrixG6%FGFGFPFPF^oFP?(FOFPFPFGFQ>&Ffs6$
FOFOFgn?(FOFPFPFGFQ?(FSFPFPFGFQ@$0&FfsFWFX>FZ1Fgn,*FinFPF\oF^oFitFPF_oF^o@%/Fbo
""$>FeoFfo>FeoFipF[q>F_qF`q>FgqFhqF\rO7#-Fbq6$*&&F_qF]oFPFhsF^o/FOFeqFDFD6$FjrF
D6#F_uF\st+6$%"AG%"MG6&F=%"SGF9F:6"FDC(>FOFH@$/F[tFXOF[t@$/FOFPO&FM6#FP>FSFgn?(
FenFPFPFOFQ?(F_oFPFPFOFQ@$0&F[t6$FenF_oFgn>FS,&FSFP*&FcwFP&FMFdwFPFPOFSFDFD6$Fj
rFD6#FcoF\st+6'F_v%"pG%$AA0G%%AA0xG%"sG6D%#A0GF=%$kerGF`s%#k0G%"aGFA%"PG%"mG%&P
augmG%#PfG%#AfG%#P1G%#P2G%%TESTGFbv%"bGF6F9%$A0xG%$AfxG%$PfxG%$P1xG%$P2xG%#PxG%
'PaugmxG%&tempxGF_s%#V0G%"QG%&tempoGF7%%stepG%#P0G6"FDC7>8DFgn>839(>8?-%$mapG6%
%(ldegreeGFM%"xG>8@&-T%6#FezF]w>FO9&>879'>88Fe[l>8/Fb[l>F_q-FI6#Fb[l>857#-Fbq6$
Fgn/86;FPF_q>Ffs-_FJ%/IdentityMatrixG6$F_q/%.outputoptionsG7#/%&shapeG%,rectang
ularG>89Ff\l>FSF_q>8AF\[l?(FDFPFPFD3/-%)simplifyG6#-_FJ%,DeterminantGF]oFgn2FPF
SCQ>6%FOFbz80-T'6$FOFbz>F^\l7#-Fbq6$Fgn/Fc\l;FPFS>Fen-_FJ%*NullSpaceG6#-_FJ%*Tr
ansposeGF]o>Fen-F_p6$7#-%#opG6#FenF_t>Fen-_FJ%4GaussianEliminationG6#-Fb_lFj_l>
F_o&FenF]w>FGFS?(FDFPFPFD/&F_o6#FGFgn>FG,&FGFPF^oFP?(Fc\lFPFPFi`lFQC$>Feo,&&Fbz
Fg`lFP&Fbz6#Fc\lF^o@%/-FisF]qFP>&F^\lF`al*&&F_oF`alFP)FjzFeoFP>FealFgn>&F^\lFg`
lFf`l>F^\l-Fb_l6#-%'VectorG6#7#F^\l>8E-_FJ%-RowOperationG6$-Fg\lF[o7$FGFS>81-Ff
bl6$Fibl7$FSFS>&F\clFg`lF_o>F\cl-Ffbl6$F\clFjbl>F\cl-_FJ%0ColumnOperationGFdcl>
8+-%".G6$F\cl*$FdblF^o>FO-F\dl6%FjclFO*$FjclF^o>Fjcl-F\dl6%F\clF^dl*$Fb^lF^o@$0
FGFSC%>84F^al>F^al&FbzF[o>F]elF[el>8:Febl>8;Febl>&FbelF[oF^\l>Fbel-Fgcl6$FbelFj
bl>8<-F\dl6%Fbel*$F`elF^oFfdl>Fd[l-F\dl6%FielFd[l*$FielF^o>FgqFf\l>&Fgq6$F[_lF[
_lFjcl-%)userinfoG6%Fco.F"%3The~old~A0~and~A0xG>Ffs-F\dl6$FgqFfs>8=Ff\l>&F^glFd
flFiel>Fa]l-F\dl6$F^glFa]l>Fg[lFd[l>Fi[lFO-Fffl6%FcoFhfl%CThe~new~A0~and~the~tr
anformation~:G-Fffl6%FcoFhfl%DThe~new~A0x~and~the~tranformation~:G>8B-Fgz6$%'ex
pandG,&-F\dl6%Fa]l*&)Fjz,$F[tF^oFPFMFP*$Fa]lF^oFP-F\dl6$Fa]lFghlF^o>8C-T)6$F]hl
Fjz>Fez-Fgz6%Fiz-Fgz6$F`hl*&)Fjz,$F[ilF^oFPF]hlFPFjz>Fd]lF][l@$3/-Fis6#,&F[tFPF
\[lF^o-Fis6#,&F[ilF^oFd]lF^o2-%&numerGF\jl-FcjlF_jlC(>F`zFP>Fa]lFghl>Ffs*$FfsF^
o>Fi[l-F\dl6%FijlFb[lFfs>Fg[l-F\dl6%FghlFe[lFa]lO6(FfsFi[lFg[lFa]lFbzF`z>8>&Fd[
l6$;FP,&FSFPF^oFPFf[m>Fd[lFc[m>Feo&FOFe[m>FOFeo>FS-FIF]o>Fa]lFghl>FfsFijl>Fi[lF
[[m>Fg[lF^[m@$/FSFP>F`zFcoO6&FfsFi[lFg[lFa]lFDFD6*FjrFDF%%?VolevicWeightWithLin
earProgramGF3%2MatrixOrdonnerbisGF2%.Get_ValuationG6#""&F\st+6%%#AAG%#ppGFjz62F
^xF_sF6%#VNGFcxF`y%(eigenA0GF_v%%TempGF`sFgx%#A1G%#V1G%#VVGF=%$polG6"FDC(-Fffl6
%FPFhfl%6Call~of~the~algorithmG>FjclFM>82-FI6#Fjcl>FOF[t@$2FPFOC+>FS-Fgz6%FizFj
clFb[l>Fdw-F_[lF[o-Fffl6&FPFhfl%=Volevic~weight~and~numbers~:G%"%G@$/-%#isG6#-%
%typeG6$Fen%)rationalG%&falseGC%-Fffl6%FPFhfl%GSingular~regular.~Volevic~is~inf
inity~G>6$Fb^lF_o-F_[l6$FS,&FOFPF^oFPO6$-Fgz6$F`hl*&Fb[lFP-Fd^l6&FjclFOF_oFb[lF
P,&FOFPFb^lF^o@$0-Fiq6#F_o<">F_o-F^r6$-%&solveG6#F]amF_o>FG-F]il6&FjclFb[lF_oFe
n>Fjn-T+6&FGFb[lF_oFen>Fbz-_FJ%9CharacteristicPolynomialG6$FG%'lambdaG@%0Fbz)Fb
bmF`^m@(1,&FOFPFenF^oFPC%-Fffl6%FPFhfl%LSingular~regular.~Volevic~is~greater~th
en~pG>F_`mF``mOFd`m/-Fis6#FhbmFPC$-Fffl6'FPFhfl%:Singular~irregular.~Katz:G,(FO
FPFenF^oF^oFP-%&evalfG6#FfcmO6$-Fgz6$F`hl*&)Fb[lFhbmFPFh`mFPFhbm0F`cmFPC'>F\cl-
%&floorGFj_l>FSFh^m>F_`m-F_[l6$FSF\clFccmO6$-Fgz6$F`hl*&)Fb[lFj`mFPFh`mFPFj`mC)
>F_q-T-6'FjclFOFGFjnF_o-Fffl6%FPFhfl%3Preparation~of~A0xG>Ffs&F_q6#""%>Fi[l-T/6
&FjclFOFfsFb[l>FO,$-T16$Fi[lFb[lF^o>Fjcl-Fgz6$F`hl*&)Fb[lFOFPFi[lFP>6$FjclFO-T3
6%FjclFOFb[lOFjfmFDFD64FjrFDF%Fh\mF1%7ShearingTransformationGF+%0PrincipalMatri
xGF,%8PrincipalMatrixFunctionGF(%DEchelonneThePrincipalMatrixFunctionGF/%5Gauge
TransformationpGF2Fj\mF)%0RankReductionLPG6#F_uF\st+6#F_v6.F=F`vFbvF9F:%"CG%"LG
FA%#S0GFjz%$resGF66"FDC.>FOFH>FS-Fb_l6#-F_t6%FOFO7#-Fbq6$-Fbq6$&Fgq6$F_oFG/F_o;
FPFO/FGF^im>FenFgn?(F_oFPFPFOFQ?(FGFPFPFOFQC$>Fen,&FenFP*&&FMF\imFPF[imFPFP@$/F
gimFX>F[imFgn?(F_oFPFPFOFQC$>&FjnF^amFgn?(FGFPFPFOFQ>F^jm,&F^jmFP&Fgq6$FGF_oFP?
(F_oFPFPFOFQC$>&FeoF^amFgn?(FGFPFPFOFQ>Fgjm,&FgjmFPF[imFP>F_qFgn?(F_oFPFPFOFQ?(
FGFPFPFOFQ>F_q,&F_qFPF[imFP>Fjcl-_Fho%)minimizeG6%Fen<$-Fbq6$/F^jmFgjmF]im/F_qF
P%,NONNEGATIVEG>Ffs-F^r6$FjclFS>Fi[l-Fiq6#Ffs@%0Fi[lF_amOFXOFfsFDFD6$FjrFD6#FPF
\st+6&F_vFjz%0TVolevicNumbersG%/VVolevicWeightG6(F<F6F=F]hmF9F:6"FDC(>FOFb[l>FS
Fe[l>FenFH>F_o-F_t6$FenFen?(FGFPFPFenFQ?(FjnFPFPFenFQ@%/-Fis6#,(&FOFg`lFP&FO6#F
jnF^oFSFPFP>&F_o6$FGFjn-%&coeffG6%&FMF`^nF[tFj]n>F_^nFgnOF_oFDFD6$FjrFD6#FjemF
\st+6&F+FjzFi\nFj\n6)F<F6F=F]hmF9F:F_v6"FDC)>FeoFM>FOFb[l>FSFe[l>Fen-FIF]q>F_oF
b]n?(FGFPFPFenFQ?(FjnFPFPFenFQ>F_^n*&&FeoF`^nFP)F[tFj]nFPOF_oFDFD6$FjrFD6#FjemF
\st+F^]mFa]m6"FDC(F[^m>FjclFM>F`^mFa^m>FOF[t@$Fe^mC+>FSFh^m>FdwF[_mF\_m@$Fa_mC%
F[`m>F_`mF``mO6%Fe`mFj`mFen@$F\am>F_oFaam>FGFgam>FjnFjam>FbzF^bm@%Fdbm@(FgbmC%F
jbm>F_`mF``mOF[anF_cmC$FccmO6%F\dmFhbmFenF`dmC'>F\clFcdm>FSFh^m>F_`mFgdmFccmO6%
F[emFj`mFenC)>F_qFaemFdem>FfsFhem>Fi[l-Fi]l6#F\fm>FOF`fm>FjclFefm>6%FjclFOFenF[
gmOFhbnFDFD64FjrFDF%Fh\mF1F`gmF+FagmF,FbgmF(FcgmF/FdgmF2Fj\mF-%1RankReductionLP
MG6#F_uF\s't+6&F_vF^xFgxFjzFD6"FDO-Fgz6%F_p-Fgz6$F`hl,&-F\dl6%*$Fb[lF^o*&)Fe[lF
fhlFPFMFPFb[lFP-F\dl6$Fhcn-Fgz6%%%diffGFb[lFe[lF^o%(polynomGFDFD6$FjrFD6#FjemFD
t+6$F_vFjz6%F`sFAFcx6"FDC&>FO-F_[l6$FMF[t>FS-Fgz6$F`hl-Fi]l6#*&FMFP)F[t,$FOF^oF
P>Fen-F^r6$/F[tFgnFSOFenFDFD6&FjrFDF2Fj\m6#FcoFDt+6&F_vF^xFb]mFjz6#Fbv6"FDC$>FO
-_FJ%/DiagonalMatrixG6#7#-Fbq6$)Fe[l&Fb[l6#F9/F9;FP-FgrF\\lO-Fgz6%F_p-Fgz6$F`hl
,&-F\dl6%*$FOF^oFicnFOFP-F\dl6$Fegn-Fgz6%F_dnFOFe[lF^oF`dnFDFD6$FjrFD6#FjemFDt+
6$%"TGFjz6%F`vF[hm%#TTG6"FDC&>Fen-Fgz6%F_pFMF`dn>FO-Fgz6%FizFenF[t>FS7#-Fbq6$-F
bq6$&FO6$F9F:/F9;FPFH/F:FbinO-%$minGF[oFDFD6$FjrFD6#FcoFDt+6$F_vFi\n6*F<F=%"uGF
:F9FAF]hmFgx6"FDC(>FOF[t>FSFH>FjclFibl>FeoFM?(FGFPFPFSFQ?(F_o,&FGFPFPFPFPFSFQ@$
2&FOF^amF[^nC(>FjnFhjn>FhjnF[^n>F[^nFjn>Feo-F_p6$-_%'linalgG%(swaprowG6%FeoFGF_
oF_t>Feo-F_p6$-_Fb[o%(swapcolGFd[oF_t>Fjcl-Fgcl6$Fjcl7$FGF_oO6%FeoFOFjclFDFD6$F
jrFD6#FcoFDb6#%+thismoduleGF.6#%(packageGF$FDFDFDFDFDFD
