M7R0
I-OreMorphisms=6"%&falseGE\[lY%.MorphismsRat2Gt+6(%"RG%"TG'%$AlgG%%listG%#dDG%%
dnumG%%ddenG6T%"aG%"uG%"iG%"jG%"kG%#p1G%#q1G%#p2G%#q2G%"rG%#raG%"sG%"vG%#vlG%#v
rG%#GBG%"VG%"UG%"LG%"MG%"SG%#S1G%#S2G%#S3G%#S4G%#S5G%#S6G%#S7G%%elimG%%mAlgG%&m
TOrdG%%MnumG%%MdenG%#MDG%#S8G%%denUG%$nS8G%$IndG%$ResG%&basisG%#S9G%$nS9G%%Ind1
G%%Ind2G%#UUG%&paramG%&mAlg1G%&mAlg2G%%UredG%'lambdaGF$F$CF>81&9&6#""$>82&Fco6#
""%>8)-&%'linalgG6#%'coldimG6#9$>8*-&F_p6#%'rowdimGFbp>8+-F^p6#9%>8,-FgpF]q@%2"
"!9)C'>8E-%9OreModules/monomialbasisG6%9'FdqFco>8C-Fjq6%Fdq9(Fco>8D-Fjq6%FdqFeq
Fco>85-&F_p6#%'matrixG6%F\pF[qt+6$F5F66$F7%"lGF$F$-%$addG6$*(-Fbs6$*&&&&&%"nGFb
pF]q6#8$6#8%"""&T#F]tFat/F^t;Fat-%%nopsG6#FctFat-Fbs6$*&&&&&%"dGFbpF]qF]tF_tFat
&T%F]tFat/F^t;Fat-Fgt6#Fbu!""&T'F_tFat/F`t;Fat-Fgt6#FiuF$F$6(FRF^rFSFcrFTFhq6#"
"#>807$-%$seqG6$-Fev6$-Fev6$-Fev6$&&&&F\t6#8&6#8'6#8(6#F`s/F`s;Fat-Fgt6#Fhq/Ffw
;Fat-Fgt6#F^r/Fdw;FatF[q/Fbw;FatF\p-Fev6$-Fev6$-Fev6$-Fev6$&&&&F`uFawFcwFewFgwF
hw/Ffw;Fat-Fgt6#FcrF`xFbxC&>FhqFiq>F^rF_r>Fgr-Fir6%F\pF[qt+F^sF_sF$F$-Fbs6$*&Fe
sFat&FbuF_tFat/F`tFduF$F$6&FRF^rFTFhq6#F`v>Fbv7#Fdv>8K-Fev6$&8UFaw/FbwFax>8A-%<
OreModules/DefineOreAlgebraG6(-%#opG6#&Fco6#"#8/%%commG7%-Fa[l6#&Fco6#""'-Fa[l6
#FbvFez/%(polynomG7$-Fa[l6#-%'removeG6%%$hasG&Fco6#""&FaoFez/%%funcG&Fco6#"")/%
/characteristicG&Fco6#""(/%.alg_relationsG&Fco6#""*>88-%&evalmG6#-%0OreModules/
MultG6%FcpFgrF\[l>8B-%6OreModules/term_orderG6%&F\[l6#Fat-%%tdegG6$-Fa[l6#FgoFe
z7#Fez>83-%.OreModules/gbG6$7#-Fev6$-Fbs6$*&&F^q6$FbwFdwFat&FizFcwFatF`x/Fbw;Fa
tF`qFd^l>8@7#-Fev6$-%7OreModules/normal_formG6%-Fbs6$*&&F\^l6$FfwFdwFatF]`lFatF
`xFa_lFd^l/Ffw;FatFep>89-%(collectG6%Fa`l7$FfzF]_l%,distributedG>8:-F^^l6#-%$ma
pG6$t+6#%"PG6#F5F$F$7#-Fev6$-%&coeffG6$FcpFbt/F^t;FatFbuF$F$6&F^oFizF:F[q6#FatF
`al>8;-%(convertG6$Fgal%$setG>8<-F[bl6%%'coeffsGF\cl<#F]_l>8=-F[bl6$%&numerG-F^
^l6#Fbcl>8>-F[bl6%Fecl-F[bl6$%'expandG-F^^l6#Fhcl<#-Fa[l6#Fao@%/Fc]lFdq>8?7#-%&
solveG6$F_dl<#F^\lC$>F]el7#-%'msolveG6%F_dlFbelFc]l>F\[l-F^[l6(F`[l/Fg[l7%Fi[l-
Fa[l6#-%&minusG6$-%'indetsG6#F]el-F^cl6$FbvF`clFezF`\lF\]lFa]lFf]l>8F-F^cl6$F]e
lF`cl>8H-Fgt6#Fifl>8G-F[bl6$%&denomG-F^^l6#Fgr>8I<"?(FbwFatFatF]gl%%trueG@$0-Fh
\l6$Fdq-F^cl6$-F^^l6#-%%subsG6$&FiflFaw-F^^l6#FaglF`clF[hl>Fhgl-%&unionG6$Fhgl<
#Fbw>8L7#-Fev6$-F^cl6$-%)simplifyG6#-Fehl6$FghlFeglF[s/FbwFhgl>8M-Fgt6#F`il>8NF
igl?(FbwFatFat,&F]jlFatFguFatF[hl?(Fdw,&FbwFatFatFatFatF]jlF[hl@$-%.IsMatrixSha
peG6$-F^cl6$-Fgil6#-F^^l6#,&&F`ilFawFat&F`ilFcwFgu%'MatrixG%'scalarG@%0-&F_p6#%
'iszeroG6#-F^^l6#Fa[mF[hl>Fajl-F\il6$Fajl<#Fdw>Fajl-F\il6$FajlF^il>8O-Fafl6$<#-
Fev6$Fbw/Fbw;FatF]jlFajl>8P7#-Fev6$F\\m/FbwFf\m>8Q-Fafl6$<#-Fev6$-Fev6$-Fev6$-F
a[l6#-Fdfl6#&&F_]mFewF\`lF`xFbx/Ffw;Fat-Fgt6#F_]m<%-Fa[l6#&F\[lFj\lFhdlF]_l>8R-
F^[l6(-Fa[l6#&F\[lFd[l/Fg[l7$-Fa[l6#Fe]m-Fa[l6#&F\[lF\\l/Fa\l7#Fj^m/F]]l&F\[lF_
]l/Fb]l&F\[lFd]l/Fg]l&F\[lFi]l>8T7#-Fev6$-&F"6#%-ReduceMatRatG6%&F_]mFawF^qF^_m
/FbwFf^m>8S-F^[l6(Fa_m/Fg[l7%Ff_mFi[lF^fl/Fa\l7#-Fa[l6#Fi\lF]`mF_`mFa`m-%'RETUR
NG6#7$-Fev6$-F^^l6#&Fd`mFawF^amF`amF$F$F$6#F]\l%,IdempotentsGt+6&F*FDF-%%Alg1G6
@F5F6F7F8F9F:F?F@FAFBFGFHFIFPFQF[oFZF^oFOF_bl%#PPGFT%"cGFJFKFLFMFNFUFjnF$F$C7>F
[qFbo>F`qFho>FdwF]p>FfwFfp>F\pF\q>8.-F^^l6#,&-Fa^l6%F^qF^qF\rFatF^qFgu>84-Fev6$
&FgrF]t/F^t;FatFdw>Fao-F^[l6(F`[l/Fa\l7$FhcmFgam/Fg[l7$Fhcm-Fa[l6#&F\rF\\lF\]lF
a]lFf]l>Fgo-Ff^l6%&FaoFi^l-%'lexdegG6$7#Ficm7$-Fa[l6#F`q-Fa[l6#F[q7#Fhcm>8--Fc_
l6$7#-Fev6$-Fbs6$*&&Fcp6$F^tF`tFat&FgrF_tFat/F`tF]dm/F^t;FatFfwFgo>867#-Fev6$-F
f`l6%-Fbs6$*&&Facm6$FbwF`tFatFbfmFat/F`tFcxFgemFgo/FbwF]dm>8/-Fbal6%Fgfm7%FicmF
cemFaemFeal>Fbv-F^^l6#-F[bl6$t+6#%"QGF`blF$F$FablF$F$6&F^oFgrF8Fdw6#FatFegm>F\c
lFffl>Fbcl-F[bl6%FeclF\cl<#Faem>FhclFicl>F_dl-F[bl6%FeclFbdl<#Fcem@%F[elC$>Fep-
Fafl6$<#Fedm<#Fi[l>F]el7#-F`el6$F_dl<#-Fa[l6#Fep>F]el7#-Fgel6%F_dlFhimFc]l>Fa`l
Fjfl>F\^l7#-Fev6$-Fgil6#-Fehl6$&Fa`lF]t-F^^lF]q/F^t;Fat-Fgt6#Fa`l-Fjam6#F\^lF$F
$F$6#Fjo%,findalgrelsGt+6#FGF$F$F$@/5-%%typeG6$FcpF.-Fg[n6$FcpF`cl-F[bl6$Fa[l-F
[bl6$&F"6#Fa[n<#-Fa[lFbp-Fg[n6$Fcp%)equationG-F_\n6#-Fa[l6$F`vFcp-Fg[n6$Fcp%"+G
F[\n-Fg[n6$Fcp%"*GF[\n-Fg[n6$Fcp%"^G-F_\n6#-Fa[l6$FatFcp/-Fa[l6$FdqFcp%'RootOfG
<#Fe]nFiglF$F$F$6#Fat%3InverseMorphismRatGt+6'F*F+FDF,%$optG6&FG%"FG%#A1G%#B2GF
$F$@%3/-&F"6#%+TestInjRatG6&FcpF^qFcoF\rF[hl/-&F"6#%,TestSurjRatGF\_nF[hlC'>F^t
-&F"6#%-CoimMorphismGF\_n>F`t-%8OreModules/FactorizeRatG6%F^tFcpF\r>Fbw-&F_p6#%
*submatrixG6%-%:OreModules/LeftInverseRatG6$-&F_p6#%,stackmatrixG6$FcoF^qF\r;Fa
t-F^p6#Fco;Fat-FgpF\an>Fdw-Fj_n6%-F^^l6#,$-Fa^l6%F^qFbwF\rFguF^tF\r-Fjam6#7$-F^
^lFaw-F^^l6#,$-%%MultG6%FdwF`tF\rFgu-Fjam6#7"F$F$F$6#F[]lF[_nt+6&F*F+FDF,6$%"KG
%%InvKGF$F$C$>F^t&&-&F"6#%/KerMorphismRatGF\_nFi^lFi^l@%/&-F^cl6$F^t%&arrayG6$F
atFatFat-Fjam6#F[hl-Fjam6#F%F$F$F$6#Fjo%1CheckCommutationGt+6'F*F_blF`hm%#RpGF,
6+%#r2G%#r1GF:F8%$rp2G%$rp1GF;F9I&checkG%(_syslibGF$F$C+>F^tF]p>F`tFfp>FbwF\q>F
dwFaq>Ffw-F^p6#F\r>F\p-FgpF`en>FepF[an>F[qF^an@%5550F^tFdw0FepF\p0F`tF[q0FbwFfw
-%&ERRORG6#%9non-matching~dimensions!GC$>F`q-Fgil6#-F^^l6#,&-Fa^l6%FcpF^q%"AGFa
t-Fa^l6%FcoF\rFjfnFgu@%-Fh[mFbemFicnF[dnF$F$F$6#F[]l%2CompositionMatrixGt+6%F*%
"EGF,6-F8F:%#TTG%#T1G%#T2G%'IndiceGF5F6%,CompositionG%+CompMatrixG%#sUGF$F$C,>F
^t-Fgp6#&F^qFi^l>F`tF^t>Facm-FgtF]q>Fdw-Ff`n6#-Fev6$-F[s6%Fat*&F^tFatF`tFat7#-F
ev6$-Fev6$&&F^q6#F76$FepF[q/F[q;FatF`t/Fep;FatF^t/F7;FatFacm>Ffw-%<OreModules/K
roneckerProductG6%-&F_p6#%%diagG6#-Fev6$FatFginFcp&FcoFi^l>Fbw-Ff`n6$FdwFfw>F\p
-F[s6$*&FacmFatFacmFatFat?(FepFatFatFacmF[hl?(F[qFatFatFacmF[hlC$>&F`qFdin-%5Or
eModules/FactorizeG6%-&F_p6#%*transposeG6#-F^cl6$-F^cl6$-F_bn6%&F^qFjim&F^qFdem
Fco%'vectorGF[sFbwFco>&F\p6$,&*&,&FepFatFguFatFatFacmFatFatF[qFatFat7$FepF[q>Fg
em-&F_p6#%(augmentG6$-F^^l6#F\p-F^`n6%-Ff`n6#-Fev6$-Fev6$-F^^l6#Fb[o/F[qFjin/Fe
pFjin;Fat*$FacmF`vFjin-Fjam6#-F^^l6#FgemF$F$F$6#Feo%(TestIsoGt+F_^nFa^nF$F$@%3/
-&F"6#%(TestInjGF\_nF[hl/-&F"6#%)TestSurjGF\_nF[hl@%29#F]\lFicnC'>F^tFd_n>F`t-F
d[oF[`n>Fbw-F^`n6%-%7OreModules/LeftInverseGFd`nFj`nF]an>Fdw-Fd[oFaan-Fjam6#7%F
[hlFjanF[bnF[dnF$F$F$6#F[]l%-MorphismsRatGt+6)F*F+F,F/F0F1F`^nF$F$F$@%2F]\lFf_o
-&F"6#F'6(FcpF^qFcoF\rFarFeq-&F"6#%.MorphismsRat1GF^aoF$F$F$6#Fe]l%6AuslanderEq
uivalence2Gt+6&F*FadnF_bl'FjfnF.6B%"pG%"qG%#ppG%#qpG%(IsoToEqGF`hm%#PpG%#QpG%"Z
G%#ZpG%#R2G%$R2pG%#Z2G%$Z2pG%%LadjG%&LpadjG%#U1G%#U2G%#U3G%#U4GFD%%UadjG%'U_inv
1G%'U_inv2G%'U_inv3G%'U_inv4G%&U_invG%)U_invadjGFC%%VadjG%&V_invG%)V_invadjGF$F
$CD>F^tF]p>F`tFfp>FbwF\q>FdwFaq>Ffw-&F"6#%9IsomorphismToEquivalenceG6'FcpF^qFco
F\rF`^n>F\p-Fd[o6%-Fa^l6%FcpFcoF\rF^qF\r@$/-Fgt6#&Ffw6#F`vF`vC%>Fep&FjdoFi^l>F[
q&FjdoF[eo-Fjam6#7(-%6OreModules/InvolutionG6$F^qF\r-Feeo6$FcpF\r-Feeo6$F\pF\r-
Feeo6$FcoF\r-Feeo6$F[qF\r-Feeo6$FepF\r>FepF^eo>F[qF`eo>F`q&FjdoFdo>Fgem&FjdoFio
>Facm&FjdoFj\l>Fegm&FjdoF\\l>Fbv&FjdoFd]l>Fao&FjdoF_]l>Fgo-Feeo6$&&FfwFi^lFi^lF
\r>Fa_l-Feeo6$&FcgoF[eoF\r>Fhcm-F]]o6&-F`jn6#-%"$G6$FatF`t-Fir6%F`tFbw7#-F^ho6$
Fdq*&F`tFatFbwFatFcpF\p>Fgr-Fir6%Fbw,*F`tFatFbwFatF^tFatFdwFat7#-F^ho6$Fdq*&Fbw
FatFihoFat>Fgfm-F]]o6&-F^^l6#,$F`qFguFco-F`jn6#-F^ho6$FdqF^t-F^^l6#,&-Fa^l6%Fco
FgemF\rFat-Fa^l6%F`qF\pF\rFgu>87-F]]o6&-F^^l6#,$F[qFgu-F^^l6#,$F^qFgu-Fir6%FdwF
^t7#-F^ho6$Fdq*&FdwFatF^tFat-Fa^l6%FaoFegmF\r>F\^l-Ff`n6&FhcmFgrFgfmF`jo>F`al-F
eeo6$F\^lF\r>Fa`l-Ff`n6$-F]]o6$-F`jn6#-F^ho6$FatF^tFco-Fir6%Fbw,&F^tFatFbwFat7#
-Fev6$Fdq/F5;Fat*&FbwFatFb\pFat>F\[l-Feeo6$Fa`lF\r>Fgal-F]]o6&-Fa^l6%FbvFacmF\r
F`ho-F^^l6#,$FcpFgu-F^^l6#,$F\pFgu>F\cl-F]]o6&-F^^l6#,&-Fa^l6%FepF`qF\rFat-Fa^l
6%FgemF[qF\rFgu-Fir6%FbwFbw7#-F^ho6$Fdq*&FbwFatFbwFatFep-F^^l6#,$FgemFgu>Fbcl-F
]]o6&F`q-Fir6%F^tFbw7#-F^ho6$Fdq*&FbwFatF^tFatF\\p-Fir6%F^tFdwF[[p>Fhcl-F]]o6&F
[q-Fir6%FdwFbw7#-F^ho6$Fdq*&FbwFatFdwFatFijo-F`jn6#-F^ho6$FatFdw>F_dl-Ff`n6&Fga
lF\clFbclFhcl>F]el-Feeo6$F_dlF\r>Fd^l-Ff`n6$-F]]o6$-F^^l6#,&FatFat-Fa^l6%FcoFep
F\rFgu-Fir6%F^tFbw7#-Fev6$Fdq/F5;FatFb_p-F]]o6$Fep-Fir6%FbwFbw7#-F^ho6$Fdq*&Fbw
FatFbwFat>F^r-Feeo6$Fd^lF\r-Fjam6#7(-F^^l6#Fa_l-F^^lF^_l-F^^l6#F`al-F^^l6#F\[l-
F^^lFefl-F^^lF_xF$F$F$6#Fjo%.CokerMorphismGt+FfbnF$F$F$-Fjam6#Fe`nF$F$F$6#Fjo%/
OrderedOutputsGt+6$%"XGF,6)%#XXGF5%"tGFGF`s%$indG%'newwPPGF$F$C)>F^t7#-Fev6$7#-
Fa[l6#-F^cl6$&FcpF_tF`cl/F`t;Fat-FgtFbp>Fbw-Fev6$-%%sortG6$&F^tF_tt+6$F3%"bGF$6
$%)operatorG%&arrowGF$-&%)GroebnerG6#%*TestOrderG6%FcpF^q-F[_l6#-Fa[l6#&T$FioF$
F$6$F-F^q6#F`vFjdp>Fdw7#-Fev6$-F[bl6%&F\fp6#%0LeadingMonomialG&FbwF_t-F[_l6#-Fa
[l6#&F^qFioFjdp>Ffw7#-Fev6$*&F`tFat&&FdwF_t6#FguFatFjdp-Faep6$Ffwt+FeepF$FgepF$
FjepF$F$Fffp6#F`v>F\p-F[bl6$Fecl%"%G-Fjam6#7#-Fev6$&Fcp6#F6-%#inG6$F6F\pF$F$F$6
#F`v%:HeuristicDecompositionRatGt+6%F*F_blF-6.F`hmFhbo%&SyzU1GFibo%#V1G%&SyzV1G
%#V2GFDFC%%invUG%&SyzU2G%&SyzV2GF$F$C(>F^t-Fj_n6%-F_bn6%FcpF^qFcoFcpFco>F`t-%;O
reModules/SyzygyModuleRatG6$F^qFco>Fbw-Fejp6$F`tFco>Ffw-Fejp6$F^tFco>F\p-Fejp6$
FfwFco@%3/-Fa[l6$FdqFbw%$INJG/-Fa[l6$FdqF\pFe[qC'>Fdw-Fejp6$-F^^l6#,&FatFatF^qF
guFco>Fep-Fejp6$-F^^l6#,&FatFatF^tFguFco>Facm-Fejp6$FdwFco>Fegm-Fejp6$FepFco@%3
/-Fa[l6$FdqFacmFe[q/-Fa[l6$FdqFegmFe[qC&>F[q-Ff`n6$F`tFdw>Fgem-Fc`n6$F[qFco>F`q
-Ff`n6$FfwFepO7%-Fgil6#-F^^l6#-Fa^l6&F`qFcpFgemFco-F^^lFdem-F^^lFbemOQ0Heuristi
c~failsF$OFi^qF$F$F$6#Feo%(RiccatiGt+6*F*F_blF`hmF`boF,F/%#dxG%%nameG6?F5F6F7F8
F9F?F@FAFPFEFhbmFTFGFJFKFLFMFNFUFjnF[oF\oF`s%(commnewG%-subsalgnamesG%(algrelsG
%)algnamesG%*set_paramG%#l2GF$F$C3>Fep&FarFdo>F[q&FarFio>FdwF]p>FfwFfp>Fegm-Fjq
6%Feq9*Far>Fgem-Fir6%FdwFfwt+F^sFcinF$F$-Fbs6$*&-%$catG6$-F[aq6$-F[aq6$FfepFcpF
^qF^tFatFbtFatFdtF$F$6$FTFegm6#F`v>F\p7#-Fev6$-Fev6$-Fev6$-F[aq6$-F[aq6$-F[aq6$
FfepF^tF`tFbw/Fbw;Fat-Fgt6#FegmF\dm/F`tFefm>F`q-F^[l6(-Fa[l6#&FarFd[l/Fg[l7$-Fa
[l6#&FarF\\l-Fa[lFb]o/Fa\l7#-Fa[l6#&FarFj\l/F]]l&FarF_]l/Fb]l&FarFd]l/Fg]l&FarF
i]l>Fbv-Fgil6#-F^^l6#,*-Fa^l6&FgemFcpFgemF`qFat-Fa^l6%FgemFcoF`qFat-Fa^l6%-F^^l
6#,&F^qFatFguFatFgemF`qFatF\rFat>FaoFffl>Fgo-F[bl6%Fecl-F[bl6&FbalFaoF\imFealF
\im>Fa_l-F[bl6$F[dlFibp>Fhcm-F[bl6%Fecl-F[bl6$FddlFgbpFhim@%/FjcqFdq>Fgr7#-F`el
6$Fhcm<#Facq>Fgr7#-Fgel6%FhcmF`fqFjcq@$/FgrFiglFabn>Fgal-F[bl6&%'selectGFh\lFgr
Fj]n@%/FgalFcbnC'>Fgfm-F^cl6$FgrF`cl>Facm7#-Fev6$-Fgil6#-Fehl6$&FgfmF]tFc^o/F^t
;Fat-Fgt6#Fgfm>F\cl-Fafl6$<#-Fev6$-Fev6$-Fev6$-Fa[l6#-Fdfl6#&&FacmFawFafmFebqF
\dm/Fbw;Fat-Fgt6#Facm<%F^cqFiimFcem>F\^l-F^[l6(Fibq/Fg[l7$F^cq-Fa[l6#F\clFbcqFg
cqFicqF[dq-Fjam6#7$FacmF\^lC->Fgfm-Fafl6$<#-Fa[lFfgl<#-Fa[l6#Fgal>Fhcl7#-Fa[l6#
-F_\nFejq>F_dl7#-Fev6$&9+F]t/F^t;Fat-FgtFfdl>F]elFcbn?(F^tFatFatFc[rF[hl>F]el7$
-Fa[lFefl-Fehl6$/&-F^cl6$-Fafl6$-Fafl6$-Fdfl6#&FhclF]t-F^cl6$F`cqF`cl-F^cl6$F\p
F`clF.Fi^lF_[rFe\r>Fa`l-F\il6$<#-Fa[l6#-F[bl6&&F"6#%%FuncGFgalF_dlFhclFgfm>Facm
7#-Fev6$-Fgil6#-Fehl6$FhjmFc^oFjjm>F\cl-Fafl6$Fahq<&F^cqFiimFcem-Fa[l6#F_dl>F\^
l-F^[l6(FibqFfiq/Fa\lFfcqFgcqFicqF[dq>F`al-F^[l6(-Fa[l6#&F\^lFd[l/Fg[l7$-Fa[l6#
&F\^lF\\lFa^r/Fa\l&F\^lFj\l/F]]l&F\^lF_]l/Fb]l&F\^lFd]l/Fg]l7$-Fa[l6#&F\^lFi]lF
h[r-Fjam6#7$FacmF`alF$F$F$6#F`]l%?MatrixElementarySimplificationGt+6$FFF-6+%%nr
owG%%ncolGFE%#M1G%"GGF7%#GFG%#GGGF5F$F$C*>F`tF]p>F^tFfp>FdwFcp?(F\pFatFatF^tF[h
lC%>Fbw-F^`n6%Fdw7#F\pFfin>&FfwFb]o-&F"6#%<RowElementarySimplificationG6$FbwF^q
>Fdw-Fa^l6%FdwFfarF^q>F[qFcbn?(F`qFatFatF^tF[hl@$/-Fh[m6#-Fgil6#-F^^l6#,&&FfwFb
emFatF[hoFguF%>F[q7$Fcem-F^^l6#Fjbr@%/-FgtFdemFdq-Fjam6#-F^^lFbp@%/FacrFat>Fep&
F[qFi^l>Fep-Fa^l6$-Fev6$&F[qFbem/F`q;FatFacrF^q-Fjam6$-F^^lFjim-F^^lFcwF$F$F$6#
F`vFc_ot+FfbnFgbnF$F$C%>F^t-&F"6#FacpF\_n>F`t-F_`o6$F^tF\r@%/F`tFcbnF[dnFicnF$F
$F$6#FjoFacnt+Ffbn6+FEFGF`sF4%#P1GF`hm%#P2G%#L1G%#L2GF$F$C,>F^t-Ff`n6$FcoFhjo>F
`t-FejpF^er>Fbw-FgpF_t>FdwF^an>Ffw-F^`n6%F`t;FatFbwF]dm>F\p-%7OreModules/Quotie
ntRatG6%FfwFcpF\r>Fep-F^`n6%F`tFdfr;,&FdwFatFatFat-F^pF_t>F[q-Fejp6$FfwF\r>F`q-
Fj_n6%FcpFfwF\r@%-Fg[n6$Fcem%(integerG-Fjam6$7%Fa]o-F^^lFewFdcr7#Fg^q-Fjam6$F[h
r7#-F^^l6#-Ff`n6$F[qF`qF$F$F$6#FjoFd]rt+6%%$solGFe_qFd_q6$F5%&listeGF$F$C$>F`tF
cbn?(F^tFatFatF\epF[hl>F`t<$-Fa[lF_t/-%$lhsG6#&FcpF]t-&F"6#Fc_q6%-%$rhsGFdirF^q
FcoF$F$F$6#Feo%+RiccatiRatGt+6+F*F_blF`hmF`boF,F/F0F1F`_q6fnF3F4F5F6F7F8F9F:F;F
<F=F>F?F@FAFBFCFDFEFFFGFHFIFJFKFLFMFNFOFPFQFRFSFTFUFVFWFXFYFZFenFfnFgnFhnFinFjn
F[oF\oFibmF\tF`uF`sFd_qFe_qFf_qFg_qFhbmFb_qF$F$C3>FaoFj_q>FgoF\`q>F\pF]p>FepFfp
>F[qF]p>F`qFfp@%2FdqF`[rC'>Fhq-Fjq6%FeqFdqFar>F^r-Fjq6%FdqFb`qFar>Fcr-Fjq6%FdqF
`[rFar>Fgr-Fir6%F\pF[qt+F^sF_sF$F$-Fbs6$*(-Fbs6$*&-F[aq6$-F[aq6$-F[aq6$-F[aq6$F
ctFcpF^qF^tF`tFatFauFatFcuFat-Fbs6$*&-F[aq6$-F[aq6$FiuF^tF`tFat&T)F]tFat/F^t;Fa
t-Fgt6#F^]sFgu&T+F_tFat/F`t;Fat-Fgt6#Fd]sF$F$6,F\tFizFRF^rF`u8VFSFcrFTFhq6#F`v>
Fbv7$-Fev6$-Fev6$-Fev6$-Fev6$-F[aq6$-F[aq6$-F[aq6$-F[aq6$FizFbwFdwFfw8W/F^_sFiw
F\xF`xFbx-Fev6$-Fev6$-F[aq6$-F[aq6$Fj]sFfwF^_sF__sF`yC&>FhqF\[s>F^rF_[s>Fgr-Fir
6%F\pF[qt+F^sF_sF$F$-Fbs6$*&F[\sFatFhuFatFjuF$F$6(F\tFizFRF^rFTFhq6#F`v>Fbv7#F^
^s>F\[l-F^[l6(Fibq/Fg[l7$F^cqF^\l/Fa\l7#-Fa[l6#-Ff\l6%Fh\lFfcqFaoFgcqFicqF[dq>F
\^l-Fgil6#-F^^l6#,*-Fa^l6&FgrFcpFgrF\[lFat-Fa^l6%FgrFcoF\[lFat-Fa^l6%FidqFgrF\[
lFatF\rFat>F\cl-F^cl6$F\^lF`cl>Fbcl-F[bl6%Fecl-F[bl6&FbalF\clFfclFealFfcl>FhclF
icl>F_dlF`dl@%F[fq>F]elF^el>F]el7#-Fgel6%F_dlFbelFjcq@$/F]elFiglFabn>F^_s-F[bl6
&FjfqFh\lF]elFj]n@%/F^_sFcbnC0>FiflFjfl>F]glF^gl>FaglFbgl>FhglFigl?(FbwFatFatF]
glF[hl@$F]hl>FhglF[il>F`il7#-Fev6$FfilF[jl>F]jlF^jl>FajlFigl?(FbwFatFatFcjlF[hl
?(FdwFejlFatF]jlF[hl@$Fgjl@%Ff[m>FajlF_\m>FajlFc\m>Ff\mFg\m>F_]mF`]m>Fe]m-Fafl6
$Fh]m<%F^cqFhdlF]_l>F^_m-F^[l6(Fa_m/Fg[l7$Ff_mF^cqF[`mF]`mF_`mFa`m-Fjam6$7#-Fev
6$-F^^l6#F]amF^amF^_mC6>Fifl-Fafl6$<#Fh[r<#-Fa[l6#F^_s>F]glF^gl>FaglFbgl>FhglFi
gl?(FbwFatFatF]glF[hl@$F]hl>FhglF[il>F`ilF]ds>F]jlF^jl>FajlFigl?(FbwFatFatFcjlF
[hl?(FdwFejlFatF]jlF[hl@$Fgjl@%Ff[m>FajlF_\m>FajlFc\m>Ff\mFg\m>8X7#-Fa[l6#-F_\n
Fafs>8Y7#-Fev6$&9,Faw/Fbw;Fat-Fgt6#Fcgs>8ZFcbn?(FbwFatFatFahsF[hl>Fdhs7$-Fa[l6#
Fdhs-Fehl6$/&-Ff\l6%Fh\l-Fdfl6#&FcgsFawFj_mFi^lF]hsFbis>8en<#-Fa[l6#-F[bl6&Fb]r
F^_sFigsFcgs>8fn7$-Fev6$-Fgil6#-Fehl6$&FdisFawFegl/Fbw;Fat-Fgt6#FdisFa]m>8gn-Fa
fl6$<#-Fev6$-Fev6$-Fev6$-Fa[l6#-Fdfl6#&&F[jsFewF\`l/FdwF^alFbx/Ffw;Fat-Fgt6#F[j
s<&F^cqFhdlF]_l-Fa[l6#Figs>F^_m-F^[l6(Fibq/Fg[l7$F^cq-Fa[l6#FijsFf^rFgcqFicqF[d
q>F`am-F^[l6(-Fa[l6#&F^_mFd[l/Fg[l7$-Fa[l6#&F^_mF\\lF_\t/Fa\l&F^_mFj\l/F]]l&F^_
mF_]l/Fb]l&F^_mFd]l/Fg]l7$-Fa[l6#&F^_mFi]lFhhs-Fjam6$7#-Fev6$-F^^l6#&F[jsFaw/Fb
wF[\tF`amF$F$F$6#Fj]lF^_ot+FfbnFgbnF$F$C$>F^t&&-&F"6#%,KerMorphismGF\_nF[eoFi^l
@%/F]erFcbnF[dnFicnF$F$F$6#FjoF_dot+6'F*FadnF_blFgaoF`^n6DFiaoFjaoF[boF\bo%$Inv
GF^boF_boFicp%"YG%&X_invG%&Y_invGF`boFaboFbboFcboF`hmFdboFebo%#Y1G%#Y2G%#Y3G%#Y
4G%'Y_inv1G%'Y_inv2G%'Y_inv3G%'Y_inv4GFferFger%#L3GFE%$Lp1G%$Lp2G%$Lp3G%#LpGF$F
$C(>F^tF]p>F`tFfp>FbwF\q>FdwFaq>Ffw-&F"6#%0InverseMorphismGF\_n@%/FfwFcbnFabnCA
>F\pFcgo>FepFjdo>F[q-Ff`n6$Fj[p-F]]o6$Ff]p-F^^l6#,&FatFat-Fa^l6%F\pFcoF\rFgu>Fg
em-Ff`n6$-F]]o6$-F^^l6#,&FatFat-Fa^l6%FcoF\pF\rFgu,$FcoFgu-F]]o6$F\p-F`jn6#-F^h
o6$FatFbw>Fegm-Fd[o6%FfbtFcpF\r>Fbv-Fd[o6%F\btF^qF\r>Fao-%8OreModules/SyzygyMod
uleGFheo>Fgo-FjctFfeo>Fa_lFbdo@$3/-Fa[l6$FdqFaoFe[q/-Fa[l6$FdqFgoFe[qC+>F`q-Ff`
n6$-F]]o6$FcpFa_l-F]]o6$Fd]pFbv>Facm-Ff`n6$-F]]o6$Fegm-F^^l6#F[ct-F]]o6$FepF^q>
F_dl-F]]o6$FcpF`ho>F]el-F]]o6$-Fir6%FbwF^tF__pF^ct>F\[l-Ff`n6$F_dlF]el>F^r-F]]o
6$F\\pF]_p>Fcr-F]]o6$FijoF^q>Fhq-Ff`n6$F^rFcr@%Fe_o-Fjam6#7(F\cp-F^^lF[xFf^qFg^
qFc^o-F^^lFaiq-Fjam6$F^gt7$Fa]oFcdr@%F`dtC$>Fao-F`jn6#-F^ho6$FdqF`t>FhcmF[ho>Fh
cm-Fd[o6%-F^^l6#,(FatFat-Fa^l6%Fa_lFepF\rFgu-Fa^l6%FcpFegmF\rFguFaoF\r@%FcdtC$>
Fgo-F`jn6#-F^ho6$FdqFdw>FgrF^`p>Fgr-Fd[o6%-F^^l6#,(FatFat-Fa^l6%FepFa_lF\rFgu-F
a^l6%F^qFbvF\rFguFgoF\r>Fgfm-F]]o6&F[hoF`hoFcpFa_l>F`jo-F]]o6&-Fir6%FbwF`tFbhoF
^ctFd]pFbv>F\^l-F]]o6&-F^^l6#,$FegmFguFcoFdio-F^^l6#,&-Fa^l6%FcoFbvF\rFat-Fa^l6
%FegmFa_lF\rFgu>F`al-F]]o6&-F^^l6#,$FepFguFfjoFijo-Fa^l6%FgrFgoF\r>F`q-Ff`n6&Fg
fmF`joF\^lF`al>Fgal-F]]o6&-Fa^l6%FhcmFaoF\rF`hoFa]p-F^^l6#,$Fa_lFgu>F\cl-F]]o6&
-F^^l6#,&-Fa^l6%F\pFegmF\rFat-Fa^l6%FbvFepF\rFgu-F`jn6#-F^hoFd[qF\p-F^^l6#,$Fbv
Fgu>Fbcl-F]]o6&FegmFcetF\\pFc_p>Fhcl-F]]o6&FepF^qFijoF^`p>FacmFc`p>F_dlFhet>F]e
lF[ft>Fa`l-Fir6%,&F^tFatFdwFatFb\p7#-F^ho6$Fdq*&F\^uFatFb\pFat>F\[l-Ff`n6%F_dlF
]elFa`l>Fd^l-Fir6%,&F`tFatFbwFatFb\p7#-F^ho6$Fdq*&Fg^uFatFb\pFat>F^rFcft>FcrFff
t>Fhq-Ff`n6%Fd^lF^rFcr@%2Ff_oF[]lF\gt-Fjam6$F^gt7*Fa]oFcdr-F^^lFdbq-F^^lF_\l-F^
^lFidlFibp-F^^l6#FhcmFeglF$F$F$6#F[]l%2RiccatiConstCoeffGt+6)F*F_blF`hmF`boF,F/
F`_q6?F5F6F7F8F9F?F@FAFPFEFhbmFTFGFJFKFLFMFNFUFjnF[oF\oF`sFg_qFf_qFb_qFd_qFe_qF
c_qF$F$C2>FepFj_q>F[qF\`q>FdwF]p>FfwFfp>FegmF\[s>Fgem-Fir6%FdwFfwt+F^sFcinF$F$F
g`qF$F$Faaq6#F`v>F\pFdaq>F`qFgbq>FbvF^dq>FaoFffl>FgoF^eq>Fa_lFceq>FhcmFfeq@%F[f
q>FgrF]fq>FgrFbfq>FgalFhfq@%F\gqC'>FgfmF_gq>FacmFbgq>FhclF_hq>F\^l-F^[l6(Fibq/F
g[l7$F^cq-Fa[lFfdlFbcqFgcqFicqF[dqFjiqC->FgfmF_jq>F_dlFgjq>F]el7#-Fev6$&Fb`qF]t
/F^t;Fat-FgtFb^r>FbclFcbn?(F^tFatFatF[cuF[hl>Fbcl7$-Fa[lF]dl-Fehl6$/&-F^cl6$-Fa
fl6$-Fafl6$-Fdfl6#&F_dlF]tFf\rFh\rF.Fi^lFhbuF]du>F\cl-F\il6$<#-Fa[l6#-F[bl6&Fb]
rFgalF]elF_dlFgfm>Facm7#-Fev6$-Fgil6#-Fehl6$&F\clF]tFc^o/F^t;Fat-FgtFiiq>Fhcl-F
afl6$Fahq<&F^cqFiimFcemFh[r>F\^l-F^[l6(FibqF^buFf^rFgcqFicqF[dq>F`al-F^[l6(Fj^r
/Fg[l7$F__rFh[rFb_rFd_rFf_r/Fg]l7$Fj_rF`cuF]`rF$F$F$6#Fe]lF`_tt+FfbnFcerF$F$C,>
F^tFjer>F`t-FjctF^er>FbwF_fr>FdwF^an>FfwFbfr>F\p-%4OreModules/QuotientGFhfr>Fep
Fjfr>F[q-FjctFagr>F`q-Fd[oFdgr@%FfgrFigrF^hrF$F$F$6#Fjo%/SearchForRootsGt+6$F3F
`_q6+F`s%"mGF\tF.FfepF5F6%2algrelations_listG%*comm_listGF$F$C*>F^t-Fjfq6%Fh\lF
cpFj]n>F`t7#-Fa[lF]t>FdwFcbn>F`qFcbn>F[qFcbn>FfwFcp?(F\pFatFat-FgtF_tF[hlC$>Fbw
-Fjfq6%Fh\l7#-Fa[l6#&F`tFb]oFj]n?(FepFatFat-FgtFawF[hl@$-Fg[n6$&FbwFjimFj]nC&>F
dw7$-Fa[lFcw7$Fep-Fa[l6#Fdiu>Ffw-Fehl6$/Fdiu&F^qFb]oFfw>F`q7$FaemF`ju>F[q7$Fcem
-Fehl6$/%#_ZGF`ju&FjiuFi^l7%FfwF`qF[qF$F$F$6#F`vFg_nt+Ffbn6'FEFGF`sF4FderF$F$C(
>F^tFjer>F`tFefu>FbwF_fr>FdwF^an>FfwFbfr-Fjam6#F\hrF$F$F$6#Fjo%1KroneckerProduc
tGt+6%Fjfn%"BGF-6%F3F5F6F$F$-&F_p6#%,blockmatrixG6%FfpF]p7#-Fev6$-Fev6$-F[bl6$f
*6#F3F$FgepF$-F_bn6%&Fefp6$FbuFiuFcpT*F$F$6*FjfnFcpF5F`tF6FbwF-FcoF^q/Fbw;FatF]
p/F`t;FatFfpF$F$F$6#Feo%/MorphismsConstGt+6%F*F+F,69F8F:F9F;FF%"NGFEFGF>FDF5F6F
7FCFin%#VVGFP%%quotGF]o%%VredGFibmF]dpF[oF$F$C2>F^tF]p>FbwFfp>F`tF\q>FdwFaq>Ffw
-F]jn6%-Fg[oFbp-F`jn6#-Fev6$Fat/FacmFfinFfjn>F\p-F]jn6%-F`jn6#-Fev6$Fgu/FacmFdf
rF^qFfjn>Fep-Ff`n6$FfwF\p>F[q-FjctF[]q>F`q-FgpFdem>Fgem7#-Fev6$-Ff`n6#-Fev6$-F^
`n6%F[q;FacmFacm;,&*&F`tFat,&FegmFatFguFatFatFatFatFat*&F`tFatFegmFat/FegmFhin/
FacmF_`l>FbvF[in>Fgo-F^^l6#-Fbs6$*&&FiaoFaiqFat&FgemFaiqFatF[av>Fhcm-F^[l6(F`[l
/Fg[l7$-Fev6$FcavF[avFi[lFeamF\]lFa]lFf]l>Fgfm-&F"6#%*ReduceMatG6%FgoF^qFhcm>F`
al-Fafl6$-F\il6#-Fev6$-Fev6$-Fdfl6#&Fgfm6$FacmFegm/FacmFhin/FegmFfin<$-Fa[l6#Fh
oFi[l-Fjam6#7$-F^^lF]hq7#-Fa[lF[cpF$F$F$6#Feo%/IdempotentsRatGt+Febm6IF5F6F7F8F
9F:F?F@FAFBFGFHFIFPFQF[oFZF^oFOF_blFhbmFTFibmFJFKFLFMFNFUFjnFen%$S10GFXFgnFhnFf
nFWFV%#v1GF$F$CC>F[qFbo>F`qFho>FdwF]p>FfwFfp>F\p-F^pF_hn>F`jo-F^^l6#-Fbs6$*&-F[
aq6$FgalF^tFat&F^qF]tFat/F^t;FatFchn>Fep7#-Fev6$F]evF`ev>FhcmFicm>Fao-F^[l6(F`[
l/Fg[l7%FhcmFi[lFiim/Fa\l7$-Fa[l6#-Ff\l6%Fh\lFi\lF[qFhcmF\]lFa]lFf]l>Facm-F^^l6
#,&-Fa^l6%F`joF`joFaoFatF`joFgu>Fgo-Ff^l6%F[em-F]em6$F_em7#FaemFeem>FgemFhem>Fg
fmFhfm>FegmFfgm>Fbv-F^^l6#-F[bl6$t+F_hmF`blF$F$FablF$F$Fahm6#FatFegm>F\clFffl>F
bclFehm>FhclFicl>F_dlFjhm>8J-Fafl6$<$Fi[lFiimFbim@%F[el>F]el7#-F`el6$F_dl<#-Fa[
l6#F]hv>F]el7#-Fgel6%F_dlFfhvFc]l>Fa`lFjfl>F]glF\[n>Fhgl-F[bl6$Fdgl-F^^l6#F`jo>
FcrFigl?(F^tFatFatF]glF[hl@$0-Fh\l6$Fdq-F^cl6$-F^^l6#-Fehl6$Fhjm-F^^l6#FhglF`cl
F[hl>Fcr-F\il6$Fcr<#F^t>Fd^l7#-Fev6$-Fgil6#-Fehl6$FhjmFbiv/F^tFcr>Fagl-Fgt6#Fd^
l>FhqFigl?(F^tFatFat,&FaglFatFguFatF[hl?(F`t,&F^tFatFatFatFatFaglF[hl@$-Fhjl6$-
F^cl6$-Fgil6#-F^^l6#,&&Fd^lF]tFat&Fd^lF_tFguFc[mFd[m@%0-Fh[m6#-F^^l6#Fa\wF[hl>F
hq-F\il6$Fhq<#F`t>Fhq-F\il6$FhqFejv>Fifl-Fafl6$<#-Fev6$F^t/F^t;FatFaglFhq>F^r7#
-Fev6$Fg\w/F^tFifl-FjamF_xF$F$F$6#FjoFa_nt+FfbnFgbnF$F$C%>F^t-&F"6#%1CokerMorph
ismRatGF\_n>F`t-Fc`nF^er@%F`erF[dnFicnF$F$F$6#Fjo%3HeuristicReductionGt+Fdip63F
`hmFhboFfipFiboFgipFhipFiipFDFCFjip%%W2_VG%%W2_UG%$Z_UGF5%$Z_VG%#nUG%#nVGF$F$C(
>F^t-Fd[oF`jp>F`t-FjctFfjp>Fbw-FjctFijp>Ffw-FjctF\[q>F\p-FjctF_[q@%Fa[qC)>Fegm-
%COreModules/MinimalParametrizationsGFijp>Fbv-F[bl6%F_`oFegmFco>Fdw&FbvFi^l>Fao
Fat>Fa_l-FgtF_\l?(F$FatFatF$3/FdwFcbn2FaoFa_lC$>Fao,&FaoFatFatFat>Fdw&FbvFidl@%
F]awOFi^qC)>Facm-Fb`wF_[q>Fgo-F[bl6%F_`oFacmFco>Fep&FgoFi^l>FaoFat>Fhcm-FgtF^_l
?(F$FatFatF$3/FepFcbn2FaoFhcmC$>FaoFaaw>FepFcaw@%0FepFcbnC&>F[qFf]q>Fgem-F_`oFj
]q>F`qF\^qOF_^qOFi^qOFi^qF$F$F$6#FeoFc_qt+6%Fiao'Fe_qF.'Fd_qF.6#%$posGF$F$@+Fj
\n-F[bl6&FgirFcpF^qFcoF]]nFjcwF`]n)-Fgir6%Fe]nF^qFcoFh\nFg]n@%-%'memberG6%Fe]nF
co.F^tF_evFcpFcpF$F$F$6#FeoFjart+6$FEF-6-FAF@F5F6Fb^nFcgnFf`rFh`rFi`rFe`r%%test
GF$F$C)>F^t&F^qFdo>F`tFfgp>FepF]p>FacmF%>FbwFat?(F$FatFatF$31FbwFep/FacmF%C$@%/
-Fh\l6$&FcpFact<%FdqF`huF`irF%C'>FacmF[hl>Ffw-Fir6%FepFepFdq?(FdwFatFatFepF[hl@
%0FbwFdw>&FfwF\`l,$*&&FcpFa`pFatFiewFguFgu>Fdfw,&*$FiewFguFatFguFat>F\p-F^^l6#,
&-F`jn6#-F^ho6$FatFepFatFfwFat>FbwFejl>FbwFejl@$/Fbw,&FepFatFatFat>F\pF_gw-Fjam
6#Fa]oF$F$F$6#F`v%0CoimMorphismRatGt+FfbnF][vF$F$C(>F^tFjer>F`tF]fr>FbwF_fr>Fdw
F^an>FfwFbfrFd[vF$F$F$6#Fjo%4MorphismsConstCoeffGt+6&F*F+F,F`^nF$F$F$@%2FeoFf_o
-&F"6#%7GenMorphismsConstCoeffGF\_n-F[iwFbjpF$F$F$6#Fjo%6IdempotentsConstCoeffG
t+6'F*FDF,F/F`_q6GF5F6F7F8F9F:F?F@FAFBFGFHFIFPFQF[oF\oFZF^oFOF_blFhbmFTFibmFJFK
FLFMFNFUF`sFg_qFd_qFf_qFb_qFe_q%&newPPGF$F$C9>F[qFbo>F`qFho>FdwF]p>FfwFfp>F\pFf
dv>FgalFiq>F\^l-F^^l6#-Fbs6$*&-Fbs6$*&-F[aq6$-F[aq6$F\clF^tF`tFat&FgalF_tFat/F`
t;Fat-FgtFejqFatF_evFatF`ev>Fep7#-Fev6$-Fev6$FejwFjjwF`ev>Fgr-Fev6$FigqF\dm>Fao
-F^[l6(F`[l/Fg[l7%Fi[lFiimFgr/Fa\l7$FgamFgrF\]lFa]lFf]l>Facm-F^^l6#,&-Fa^l6%F\^
lF\^lFaoFatF\^lFgu>Fgo-Ff^l6%F[em-F]em6$7#Fd[xF`em7#Fgr>Fgem-Fc_l6$7#-Fev6$-Fbs
6$*&F`fmFat&FgfmF_tFatFcfmFdfmFgo>F`jo7#-Fev6$-Ff`l6%-Fbs6$*&F`gmFatFc]xFatFbgm
FgemFgoFcgm>Fegm-Fbal6%F`jo7%Fd[xFcemFaemFeal>Fbv-F^^l6#-F[bl6$t+F_hmF`blF$F$Fa
blF$F$6&F^oFgfmF8Fdw6#FatFegm>FbclFffl>Fhcl-F[bl6%FeclFbclFghm>F_dl-F[bl6$F[dlF
edl>F]el-F[bl6%Fecl-F[bl6$Fddl-F^^lFb^rF\im@%F[el>Fa`l7#-F`el6$F]elFhim>Fa`l7#-
Fgel6%F]elFhimFc]l>Fd^l-F[bl6&FjfqFh\lFa`lFj]n@%/Fd^lFcbnC(>F\[l-F^cl6$Fa`lF`cl
>F`al7#-Fev6$-Fgil6#-Fehl6$&F\[lF]t-F^^lF_[n/F^t;Fat-FgtF]cp>Fifl-Fafl6$<#-Fev6
$-Fev6$-Fev6$-Fa[l6#-Fdfl6#&&F`alFawFafmFbgmF\dm/Fbw;Fat-FgtF[cp<%Fi[lFcemFaem>
Fa_l-F^[l6(F`[l/Fg[l7$Fi[l-Fa[lF_glFeamF\]lFa]lFf]l>F]gl-&F"6#Ffcp6$F`alFa_l-Fj
am6#7$F]glFa_lC.>F\[l-Fafl6$<#-Fa[lF][n<#-Fa[lFa[w>Fcr7#-Fa[l6#-F_\nFa[w>Fagl7#
-Fev6$&FarF]t/F^tFay>FhqFcbn?(F^tFatFatFbyF[hl>Fhq7$-Fa[lF[x-Fehl6$/&-F^cl6$-Fa
fl6$-Fafl6$-Fdfl6#&FcrF]t-F^cl6$F[\lF`cl-F^cl6$FepF`clF.Fi^lFhdxF[fx>F^r-F\il6$
<#-Fa[l6#-F[bl6&Fb]rFd^lFaglFcrF\[l>F`al7#-Fev6$-Fgil6#-Fehl6$&F^rF]tFaax/F^tF]
x>Fifl-Fafl6$Fhax<&Fi[lFcemFaem-Fa[lFihl>Fa_l-F^[l6(F`[lF\cx/Fa\lFi\lF\]lFa]lFf
]l>Fhcm-F^[l6(-Fa[l6#&Fa_lFd[l/Fg[l7$-Fa[l6#&Fa_lF\\lFfgx/Fa\l&Fa_lFj\l/F]]l&Fa
_lF_]l/Fb]l&Fa_lFd]l/Fg]l7$-Fa[l6#&Fa_lFi]lF^ex>F]gl-Facx6$F`alFhcm-Fjam6#7$F]g
lFhcmF$F$F$6#F[]l%+TestIsoRatGt+F_^nFa^nF$F$@%Ff^n@%Fe_oFicnC'>F^t-&F"6#F\hwF\_
n>F`tFi_n>FbwF]`n>FdwF`anFb`oF[dnF$F$F$6#F[]l%*MorphismsGt+6'F*F+F,F/F__q6GF4F5
F6F7F8F9F:F;F<F=F3F>F?F@FAFBFFFGFHFI%#RRG%#R1GFbboFPFQFZF^oFO%&elim1GFDFCF`uF]o
F\^vF[oF[^vFjnF$F$C@>FaoFbo>FgoFho>FfwF]p>F\pFfp>FepF\q>F[qFaq@%-Fg[n6$F\rF.@%/
-FgtF`enF`bwC%>Fhcm7$-Fa[l6#-F[bl6$f*F`blF$FgepF$-F[bl6$f*F]ipF$FgepF$)&Fct6#T&
FcpF$F$6&FAFbuF5Fcp7#-F^ho6#;Fdq&FefpFbpF$F$6&F/F\rFAFgo7#-F^ho6#;FatFh[yF_r?(F
$FatFatF$2Fat-FgtFj_u>Fhcm-%'subsopG6%/Fat-F[bl6$f*F`blF$FgepF$-Fa[l6#-F[bl6$f*
F]ipF$FgepF$*&FefpFatFcpFatF$F$6$F5Fcp&FctF[eoF$F$6$FFFhcm&FhcmFi^l/F`v%%NULLGF
hcm>Fhcm-Fa[lFj_u-F^fn6#%etexpecting~as~fourth~argument~either~a~non-negative~i
nteger~or~a~list~of~non-negative~integers~whose~length~is~equal~to~the~number~o
f~right-hand~variables.G>Fhcm-Fjq6%F\rFarFco>F\[l-Fir6%FfwFept+F^sFcinF$F$-Fbs6
$*&&&&FctFbpF]qF]tFatFauFatFcuF$F$6&F4F^tFFFhcm6#F`v>Fbv7#-Fev6$-Fev6$-Fev6$&&F
cepFawFcw/Fdw;FatFe]y/FbwF^alFebq>Fhcl-Fev6$&F_dlF_t/F`tF^al>F\cl-F^[l6(F`[l/Fg
[l7%Fi[lF^\lFhcl/Fa\l7$FgamFhclF\]lFa]lFf]l>Fgr-F^^l6#-Fa^l6%FcpF\[lF\cl>Fbcl-F
f^l6%&F\clFi^l-F[_l6%F]_lFhdlFhcl7#Fhcl>Fa_l-Fc_l6$7#-Fev6$-Fbs6$*&&F^q6$F`tFbw
Fat&F_dlFawFatFj`y/F`tFaxFbcl>F]el7#-Fev6$-Ff`l6%-Fbs6$*&&Fgr6$FdwFbwFatF^cyFat
Fj`yFa_lFbcl/FdwFcx>Fgfm-Fbal6%F]el7%F\ayFhdlF]_lFeal>F`jo-&F_p6#%*genmatrixG6%
-F[bl6%FeclFgfmF_dyFbv.F`q@$/Ff_oF]\l>Facm&9"F\\l@%F[el>F\^l-&F_p6#%)linsolveG6
&F`joF`q.Fgem.Facm>F\^l-%$modG6$-%)LinsolveGFdeyFc]l@$/F\^lFi^yFabn>F`al-F^cl6$
F\^l%)listlistGFg^q-Fdfl6#FfhpF[\l>FgalF`al>F\[l-Fehl6$7#-Fev6$/&FbvF_tFijw/F`t
;FatFj`wF\cp>F]gl-Fafl6$<#-Fev6$-Fev6$-Fa[l6#-Fdfl6#&F\[lF]cyFj`yFebq<%Fi[lFhdl
F]_l>Fifl-F^[l6(F`[l/Fg[l7$Fi[l-Fa[l6#F]glFeamF\]lFa]lFf]l@%Fd[y>Fcr-F^bv6&F\[l
F^qFifl%%plexG>Fcr-F^bv6%F\[lF^qFifl-Fjam6#7$-F^^lFcyFiflF$F$F$6#F[]l%.ImMorphi
smRatGt+Ffbn6$FEF`hmF$F$C%>F^tFjer>F`t-Fgfr6%F^tF^qF\r-Fjam6#7%-F^^lF_t-F^^lF]t
FijmF$F$F$6#FjoF[amt+6%F*FFF,61F3F5F6FiaoFjaoF<F^oFh`rFPFQFBFZ%$redGF@FA6#%\pCo
pyright~(C)~2004-2005~by~Alban~Quadrat~and~Daniel~Robertz.~All~rights~reserved.
GF$@%55555/Fcp%%ZEROG/Fh]nFe[q/Fh]n%%SURJG/F^qF][z/-Fa[l6$FdqF^qFe[q/Fc[zF`[zFc
pC0>FaoFbo>FgoFho>FdwFaq>FfwF\q>F\pFfp@$0F]pFfw-F^fn6#%Lnon-matching~number~of~
columns~of~matrices.G>F[q<#-Fev6$-Fbs6$*&&FepFawFatF\cyFat/FbwFefmFcfm>Fegm-Fev
6$&FepF_tFebq>F`q-&%,Ore_algebraG6#%-skew_algebraG6(F`[l/Fa\l7#Fegm/Fg[l7$FegmF
i[lF\]lFa]lFf]l>Fgem-Ff^l6%F`q-F[_l6$F]_lFegmFf]z>Facm-Fc_l6$F[qFgem>FbvFcbn?(F
`tFatFatF\pF[hl>Fbv7$F^\l-Ff`l6%-Fbs6$*&Fh\zFat&FcpF]cyFatFi\zFacmFgem-F^^l6#-F
[bl6$t+F^blF`blF$F$FablF$F$6&F^oFepFjaoFfw6#FatFbvF$F$F$6#FeoF]iwt+Fghw67F8F:F9
F;FFFi]vFEFGF>FDF5F6F7Fin%%SetUG%&SetUUGFj[v%2CommutationMatrixGFicpFcgnF[hnF$F
$C3>F^tF]p>FbwFfp>F`tF\q>FdwFaq>FfwFc^v>F\pF\_v>FepFd_v>F[qFg_v>F`qFi_v>FgemF[`
v>FbvF[in>FgoFcbn?(FacmFatFatF`qF[hlC$>&FaoFaiq-F^bv6%FdavF^qFco@$0-Fh[m6#Fh`zF
[hl>Fgo7$F]_l-F^^lF^az@%33/F^tF`t/FbwFdw5/-Fgil6#-F^^l6#,&FcpFatF^qFguFdq-Fh[m6
#FiazC%>Fgo7$F\\pF]_l>Fa_lFfcl?(FacmFatFatF`bwF[hl?(Fegm,&FacmFatFatFatFatF`bwF
[hlC$>F`jo-F^cl6$-Fgil6#-F^^l6#,&&FgoFaiqFat&FgoFdbqFguFc[m@$5-Fhjl6$F`jo%%zero
G-Fhjl6$F`joFd[m>Fa_l-Fafl6$Fa_l<#FaczC$>Fa_lFfcl?(FacmFatFatF`bwF[hl?(FegmFfbz
FatF`bwF[hl@$-Fhjl6$FibzFfcz>Fa_lFjcz>Fa_l-F^cl6$Fa_lF.>Fa_l-Facx6$Fa_lFco@%/Fa
_lFcbn-Fjam6#7#-F^^l6#7#-F^ho6$7#FigtF^tC%>F\^l-FgtFhbp>Fhcm-&F"6#%0RelationsMa
trixG6&FcpF^qFa_lFco@%3FcazFihwC$>Fgr-&F"6#F`gn6%F^qFa_lFco-Fjam6#7%-%%evalGFhb
pFi_u-F[gzFfgl-Fjam6#7$FjfzFi_uF$F$F$6#Fjo%.ChainMorphismGt+6'F*FGFDFCF,6'FicpF
b^nFh`rF5FFF$F$C*>Ffw-Fgil6#-F^^l6#,&-Fa^l6%FcpFcoFarFat-Fa^l6%F\rF^qFarFgu@$0-
Fh[mFewF[hl-Fjam6#%WThe~third~and~fourth~matrices~do~not~define~a~morphismG>&F^
tFi^l-F^^lF\an>&F^tF[eo-F^^lF`en>F`t-%:OreModules/FreeResolutionG6$FcpFar>Fbw-F
^iz6$F^qFar?(FdwF`vFat,&-Fgt6#-F^cl6$F`tF.FatFguFatF[hl>&F^t6#F]gr-Fd[o6%-Fa^l6
%&F`tFcw&F^tFcwFar&FbwFcwFar7%-F^cl6$-F[gzF_tF.-F^cl6$-F[gzFawF.-F^cl6$-F[gzF]t
F.F$F$F$6#F[]l%5AuslanderEquivalenceGt+Ffao6(Fcgn%*ZeroFirstGFDFbboF\`tFdboF$F$
C$>F^t-F]doF\_n@%/Ff_oFjo7(-Feeo6$FjhzF\r-Feeo6$FghzF\r-Feeo6$&F^tFioF\r-Feeo6$
&F^tFdoF\r-Feeo6$&F^tF\\lF\r-Feeo6$&F^tFj\lF\rC(>F`tt+6$F*Fadn6*FiaoFjaoF[boF\b
oFhboFiboFjboF[coF$F$C+>F^tF]p>F`tFfp>FbwF\q>FdwFaq>Ffw-F[s6%F\^uFg^u7#-F^ho6$F
dq*&F\^uFatFg^uFat>F\p-F`jn6#-F^ho6$FatF\^u>Fep-F`jn6#-F^ho6$FatFg^u>F[q-F[s6%F
g^uF\^uFe][l-Ff`n6$-F]]oFe_v-F]]oFdinF$F$F$6#F`v>Fbw-F`t6$FcpF^q>Fdw-&%+OreModu
lesG6#F_bn6%FbwFghzF\r>Ffw-F`_[l6%FbwF^\[lF\r>F\p-F`_[l6%Fd\[l-&Fa_[l6#%,LeftIn
verseG6$FbwF\rF\r7(Fh[[l-Feeo6$FdwF\r-FeeoFagrF_\[lFieoFe\[lF$F$F$6#FjoFe^wt+Ff
bnF$F$F$FccpF$F$F$6#Fjo%.ShapeOfMatrixGt+6#FFF`blF$F$-%%copyG6#-F[bl6$f*F`blF$F
gepF$@'/-FgilFbpFdqFdq/Faa[lFatFatF_]nF$F$F$FcpF$F$F$6#FatFbaot+F)6WF3F4F5F6F7F
8F9F:F;F<F=F>F?F@FAFBFCFDFEFFFGFHFIFJFKFLFMFNFOFPFQFRFSFTFUFVFWFXFYFZFenFfnFgnF
hnFinFjnF[oF\oFibmF\tF`uF]oF^oF$F$CF>FaoFbo>FgoFho>F\pF]p>FepFfp>F[qF\q>F`qFaq@
%FcqC'>FhqFiq>F^rF_r>FcrFdr>Fgr-Fir6%F\pF[qt+F^sF_sF$F$-Fbs6$*(-Fbs6$*&&Fi_yF_t
FatFauFatFcuFat-Fbs6$*&&&FiuF]tF_tFatF]]sFatF_]sFguFc]sFatFe]sF$F$Fi]s6#F`v>Fbv
7$-Fev6$-Fev6$-Fev6$-Fev6$&&&FhzFcwFewFgwFhwF\xF`xFbx-Fev6$-Fev6$&&Fj]sFewFgwFh
wF`yC&>FhqFiq>F^rF_r>Fgr-Fir6%F\pF[qt+F^sF_sF$F$-Fbs6$*&Fib[lFatFhuFatFjuF$F$Fb
`s6#F`v>Fbv7#Fec[l>Fez-Fev6$FbisFjz>F\[lF][l>F\^lF]^l>Fd^lFe^l>Fa_l-Fc_l6$7#-Fe
v6$-Fbs6$*&F[`lFat&FcgsFcwFatF`xF^`lFd^l>Fa`l7#-Fev6$-Ff`l6%-Fbs6$*&F[alFatFbf[
lFatF`xFa_lFd^lF]al>F`al-Fbal6%Fa`l7$Fde[lF]_lFeal>Fgal-F^^l6#-F[bl6$t+F^blF`bl
F$F$FablF$F$6&F^oFcgsF:F[q6#FatF`al>F\clF]cl>FbclFccl>FhclFicl>F_dlF`dl@%F[el>F
]elF^elC%-%&printG6#Fbel>F]el7#-Fgel6%F_dl<#-Fev6$Fabm/Fbw;Fat-FgtFah[lFc]l>F\[
lFjel>FiflFjfl>F]glF^gl>FaglFbgl>FhglFigl?(FbwFatFatF]glF[hl@$F]hl>FhglF[il>F`i
lF]ds>F]jlF^jl>FajlFigl?(FbwFatFatFcjlF[hl?(FdwFejlFatF]jlF[hl@$Fgjl@%Ff[m>Fajl
F_\m>FajlFc\m>Ff\mFg\m>F_]mF`]m>Fe]mFf]m>F^_mF__m>F^_sFe`m>F`am-F^[l6(Fa_mFd_mF
eamF]`mF_`mFa`m-Fjam6#7$-Fev6$-F^^l6#&F^_sFawF^amF`amF$F$F$6#F]\l%9IdempotentsM
atConstCoeffGt+Fbiw6@F5F6F8F9F:F?F@FAFGFPF_blFhbmFTFibmFJFKFLFMFNFUFjnF[oF`sFb_
qFd_qFe_qFf_qFg_qF\oFdiwF$F$C3>FepFbo>F[qFho>FbwF]p>FdwFfp>FfwFfdv>FbvFiq>Facm-
F^^l6#-Fbs6$*&-Fbs6$*&-F[aq6$-F[aq6$FaoF^tF`tFatF]gyFatF^gyFatF_evFatF`ev>F\p7#
-Fev6$-Fev6$Fa\\lF^gyF`ev>Fgem-F^[l6(F`[l/Fg[l7$Fi[lFacqFeamF\]lFa]lFf]l>F`q-F^
^l6#,&-Fa^l6%FacmFacmFgemFatFacmFgu>Fgo-F^cl6$F`qF`cl>Fa_l-F[bl6%Fecl-F[bl6&Fba
lFgoF\imFealF\im>Fhcm-F[bl6$F[dlFgbp>Fgr-F[bl6%Fecl-F[bl6$FddlFi_uFhim@%F[el>Fg
fm7#-F`el6$FgrF`fq>Fgfm7#-Fgel6%FgrF`fqFc]l>Fgal-F[bl6&FjfqFh\lFgfmFj]n@%F\gqC(
>F`jo-F^cl6$FgfmF`cl>Fegm7#-Fev6$-Fgil6#-Fehl6$&F`joF]tF`gt/F^t;Fat-FgtFciv>F\c
l-Fafl6$<#-Fev6$-Fev6$-Fev6$-Fa[l6#-Fdfl6#&&FegmFcinFafmFebq/F^tFdfr/F7Fbbq<%Fi
[lFiimFcem>F`al-F^[l6(F`[l/Fg[l7$Fi[lFhiqFeamF\]lFa]lFf]l>F\[l-Facx6$FegmF`al-F
jam6#7$F\[lF`alC.>F`jo-Fafl6$<#-Fa[lF]hqFcjq>FbclFgjq>Fhcl7#-Fev6$Fhdx/F^t;Fat-
FgtF]dl>F_dlFcbn?(F^tFatFatF^c\lF[hl>F_dl7$Fa^r-Fehl6$/&-F^cl6$-Fafl6$-Fafl6$-F
dfl6#&FbclF]tF\fxFh\rF.Fi^lFhdxF_d\l>F]el-F\il6$<#-Fa[l6#-F[bl6&Fb]rFgalFhclFbc
lF`jo>Fegm7#-Fev6$-Fgil6#-Fehl6$&F]elF]tF`gt/F^t;Fat-FgtFefl>F\cl-Fafl6$Ff`\l<&
Fi[lFiimFcemF`bu>F`al-F^[l6(F`[lFia\lFjgxF\]lFa]lFf]l>Fa`l-F^[l6(-Fa[l6#&F`alFd
[l/Fg[l7$-Fa[l6#&F`alF\\lF`bu/Fa\l&F`alFj\l/F]]l&F`alF_]l/Fb]l&F`alFd]l/Fg]l7$-
Fa[l6#&F`alFi]lFa^r>F\[l-Facx6$FegmFa`l-Fjam6#7$F\[lFa`lF$F$F$6#F[]l%1ChainMorp
hismRatGt+FcgzFdgzF$F$C*>FfwFggz@$FahzFchz>FghzFhhz>FjhzF[iz>F`t-%=OreModules/F
reeResolutionRatGF_iz>Fbw-Fah\lFbiz?(FdwF`vFatFdizF[hl>Fjiz-Fj_nF]jzFcjzF$F$F$6
#F[]l%+ImMorphismGt+FfbnFdiyF$F$C%>F^tFjer>F`t-F[guFiiyFjiyF$F$F$6#Fjo%7Heurist
icDecompositionGt+FdipFeipF$F$C(>F^tFe_w>F`tFg_w>FbwFi_w>FfwF[`w>F\pF]`w@%Fa[qC
'>Fdw-FjctF\\q>Fep-FjctFb\q>Facm-FjctFh\q>FegmFg_v@%F]]qC&>F[qFf]q>FgemF]cw>F`q
F\^qOF_^qOFi^qOFi^qF$F$F$6#Feo%2IdempotentsMatRatGt+Febm6?F5F6F8F9F:F?F_dvF@FAF
GFPF_blFhbmFTFibmFJFKFLFMFNFUFenF^dvFXFgnFhnFfnFWFVF$F$C<>F[qFbo>F`qFho>FbwF]p>
FdwFfp>FfwFfdv>Fegm-F^^l6#-Fbs6$*&-F[aq6$FgoF^tFatF_evFatF`ev>F\p7#-Fev6$Fh[]lF
`ev>Facm-F^[l6(F`[lF^]\l/Fa\l7#F^fvF\]lFa]lFf]l>Fgem-F^^l6#,&-Fa^l6%FegmFegmFac
mFatFegmFgu>Fa_l-F^cl6$FgemF`cl>Fhcm-F[bl6%Fecl-F[bl6&FbalFa_lFghmFealFghm>Fgr-
F[bl6$F[dlFi_u>Fgfm-F[bl6%Fecl-F[bl6$FddlFeglF\im@%F[elC$>Fep-Fafl6$<$Fi[lFacqF
bim>F`jo7#-F`el6$FgfmFhim>F`jo7#-Fgel6%FgfmFhimFc]l>F\^l-F^cl6$F`joF`cl>F]el-Fg
tF_[n>Fa`l-F[bl6$FdglFf_u>F\clFigl?(F^tFatFatF]elF[hl@$0-Fh\l6$Fdq-F^cl6$-F^^l6
#-Fehl6$&F\^lF]t-F^^lF][nF`clF[hl>F\cl-F\il6$F\clFejv>F`al7#-Fev6$-Fgil6#-Fehl6
$F[`]lFf_u/F^tF\cl>F_dlFgbx>FbclFigl?(F^tFatFat,&F_dlFatFguFatF[hl?(F`tFf[wFatF
_dlF[hl@$-Fhjl6$-F^cl6$-Fgil6#-F^^l6#,&&F`alF]tFat&F`alF_tFguFc[mFd[m@%0-Fh[m6#
-F^^l6#Fha]lF[hl>Fbcl-F\il6$FbclF\]w>Fbcl-F\il6$FbclFejv>Fhcl-Fafl6$<#-Fev6$F^t
/F^t;FatF_dlFbcl>Fgal7#-Fev6$F^b]l/F^tFhcl-FjamFejqF$F$F$6#FjoFaatt+F_^nFa^nF$F
$@%Fi^oC'>F^tFd_n>F`tFj_o>FbwF\`o>FdwFa`oFganFabnF$F$F$6#F[]l%/IdempotentsMatGt
+Febm65F5F8F9F:F@FAFGFPF_blFhbmFTFibmFJFKFLFMFNFUF?F$F$C2>FfwFbo>F\pFho>F`tF]p>
FbwFfp>FdwF\q>FgfmF`im>F[q-F^[l6(F`[l/Fg[l7#Ffb\lFeamF\]lFa]lFf]l>Fep-F^^l6#,&-
Fa^l6%F^qF^qF[qFatF^qFgu>FbvF^fx>Fao-F[bl6%Fecl-F[bl6&FbalFbvF`fqFealF`fq>Fgo-F
[bl6$F[dlFh_u>Fa_l-F[bl6%Fecl-F[bl6$FddlFibp<#-Fa[lFew@%F[el>Fhcm7#-F`el6$Fa_lF
eb\l>Fhcm7#-Fgel6%Fa_lFeb\lFc]l>Fgr-F^cl6$FhcmF`cl>Fgem7#-Fev6$-Fgil6#-Fehl6$F[
dmFijm/F^t;Fat-FgtFfgl-FjamFd^oF$F$F$6#Fjo%1ReducedModuleHomGt+6&F*F+FcgnF,65%'
RelMatG%$degGF]dpFC%#LLG%&invLLG%$MESG%%deg1G%%ind1GFgip%$LL1G%'invLL1GF5%#RMG%
&newRMG%(ligneokG%%ind2GF6%'GenFamGF$F$C'>FgfmFfjn>Fao&FcoF[eo>F`t-F[bl6%%'degr
eeGFao<#-Fa[l6#&F\rFio?(F$FatFatF$-Fh\l6$-F^cl6$F`tF`clFdqC'>FbwFcbn?(FbvFatFat
F^grF[hl@%-Fh\l6$-F^cl6$-&F_p6#%$colG6$F`tFbvF`clFdqF$>Fbw7$-Fa[lFawFbv@%0FbwFc
bnC$>Fdw-Ff`n6#-Fev6$-F^^l6#7%-F^ho6$Fdq,&&FbwF_\lFatFguFatFat-F^ho6$Fdq,&F^grF
atF\\^lFgu/Fbv;FatF`iu>Ffw-Ff`n6$FaoFdw>FfwFh_u>F\p-F_`oFagr@%0F\pFcbnC%>Fgfm7#
-Fev6$&FgfmF_\l-F_ip6$FbvFbw>Fao-F[fz6&FcpF^qFgfmF\r>F`tFbi]lC,>Fep-&F"6#Fa`r6$
FaoF\r>Fgo&FepF[eo>F[q-F[bl6%Fdi]lFgoFei]l>F`qFcbn?(FbvFatFatFi_vF[hl@$/-F^cl6$
-&F_p6#%$rowG6$F[qFbvF`cl<$Fdq,$%)infinityGFguC%>Fa_lFdq>FgrFat?(F$FatFatF$3/Fa
_lFdq2Fgr,&-F^pFdemFatFatFat@%/&F[q6$FbvFgrFdqC$>F`q7$FaemFgr>Fa_lFat>Fgr,&FgrF
atFatFat>Fhcm-Fafl6$<#-Fev6$Fbv/Fbv;FatFg_^lFg]\l>Fgem-Ff`n6#-Fev6$-F^^l6#7%-F^
ho6$Fdq,&&FhcmF_\lFatFguFatFat-F^ho6$Fdq,&Fg_^lFatFea^lFgu/FbvFi`y>Facm-Ff`n6$F
aoFgem>Fegm-F_`o6$FacmF\r@$0FegmFcbnC%>Fgfm7#-Fev6$F_]^l-F_ip6$FbvFhcm>FaoFc]^l
>F`tFbi]l-FjamF]hqF$F$F$6#FjoF]fzt+F]h]l6.%#sEGFfgnFggnFegn%#UTG%2matrixofrelat
ionsGF`sFfepFj[vF8F:F5F$F$C*>FgemF]p>FacmF\q>F^t-FgtF\an>F`t-Ff`n6#-Fev6$-F[s6%
Fat*&FgemFatFacmFat7#-Fev6$-Fev6$&&FcoFcin6$FegmF6/F6Fjin/Fegm;FatFgem/F7Fhin>F
bw-F]jn6%-F`jn6#-Fev6$FatFhd^lF^q&F\rFi^l>Fdw-Ff`nF]cy>Ffw-%-SyzygyModuleGFa`[l
@%/-Fa[l6$FdqFfwFe[qFabnC'>F\p-F^`n6%Ffw;Fat-FgpFewFhin>FepFat?(FegmFatFat-FgpF
b]oF[hl@$/-Fh[m6#-Fh^^l6$F\pFegmF%C$>&F[qFjimFif^l>FepFggw>F`q-Fir6%Fi\o-F^pFb]
o7#-Fev6$&F[qFdbq/Fegm;FatFi\o-Fjam6#Fg^qF$F$F$6#Fjo%6HeuristicReductionRatGt+F
dipF\_wF$F$C(>F^tF_jp>F`tFdjp>FbwFhjp>FfwF[[q>F\pF^[q@%Fa[qC)>Fegm-%FOreModules
/MinimalParametrizationsRatGFijp>Fbv-F[bl6%Fc`nFegmFco>FdwFg`w>FaoFat>Fa_lFj`w?
(F$FatFatF$F\awC$>FaoFaaw>FdwFcaw@%F]awOFi^qC)>Facm-Fhh^lF_[q>Fgo-F[bl6%Fc`nFac
mFco>FepF]bw>FaoFat>FhcmF`bw?(F$FatFatF$FbbwC$>FaoFaaw>FepFcaw@%FibwC&>F[qFf]q>
FgemFi]q>F`qF\^qOF_^qOFi^qOFi^qF$F$F$6#FeoF`bvt+6&F*FFF,%*termorderGFbjyFdjyF$@
%FgjyFcpC0>FaoFbo>FgoFho>FdwFaq>FfwF\q>F\pFfp@$F]\zF^\z>F[qFb\z>FegmF[]z>F`q-F`
]z6(F`[l/Fa\l7$FegmFgamFg]zF\]lFa]lFf]l@%Fihw>Fgem-Ff^l6%F`q-F\r6%F]_lFhdlFegmF
f]z>Fgem-Ff^l6%F`q-F[_lFb\_lFf]z>FacmF_^z>FbvFcbn?(F`tFatFatF\pF[hl>FbvFd^z-F^^
l6#-F[bl6$t+F^blF`blF$F$FablF$F$F`_z6#FatFbvF$F$F$6#FjoF$
