M7R0
I,quandlesizef*6#%(QuandleG6#%"TG6#%)rememberG6"C$>8$-%(convertG6$9$%'matrixG@%
0-&%'linalgG6#%'rowdimG6#F--&F76#%'coldimGF:-%&prinfG6&Q*%s~%s~%s|+F*%&ERRORG%(
quandleG%+dimensionsGOF5F*F*F*F*,
I-CollectTermsf*6#'%$SSTG%%listG6'F'%%SSTsG%"iG%"jG%%tempGF*F*C&>F-7">8%-F/6$F1
%$setG?&8&FV%%trueGC%>8(""!?(8'"""F]o-%%nopsG6#F1Ffn@$/&F16#F\oFen>Fin,&FinF]oF
]oF]o>F-7$-%#opGF:7$FinFenOF-F*F*F*F*,
I0co2TwistedInvarf*6&F%%%KnotG%&polymG'%"mG%'posintG6<FOFP%"kG%"xG%"yG%"zG%-qua
ndleorderG%"FG%"fG%%tinvG%&brindG%*SSTcontriGFK%$jj3G%$jj5G%$jj6G%$jj8G%"sG%$nu
mG%&ColorG%.ColDiffMatch0G%+ColorDiff0G%%GinvG%%indxG%&ttempG%$degGF*F*C.>80FT>
8*-F"F`o>8--%)tinverseG6$9&9'>8:-%(makeinvGF`o>8.,&-%$maxG6#-Fjo6#-%$mapG6$%$ab
sG9%F]oF]oF]o>8=-%'degreeG6$Fhr%"tG@%29#""&>8,-%.co2TwistedSolG6%F1FhrFir>Fft&9
"6#Fdt?(F-FjnF]o,&FarF]o!""F]oFfn?(FVFjnF]oF_uFfn>&8+6$F-FV-%$sumG6$&Fft6%F-FVF
en/Fen;Fjn,&F\tF]oF`uF]o?(81F]oF]o,&-F_o6#FjsF]oF]oF]oFfn>&876#F_v-%&arrayG6#;F
]oF_s>86)FarF_s?(8;FjnF]o,&F\wF]oF`uF]oFfnC(?(82F]oF]oF_sFfn>&&Fev6#F]o6#Fcw-%$
modG6$-%%iquoG6$F_w)Far,&FcwF]oF`uF]oFar?(83F]oF]oFavFfn@%2Fjn&Fjs6#Fbx?(84F]oF
]oF_sFfnC&@$/Fhx-Fis6#Fex>&&Fev6#,&FbxF]oF]oF]o6#Fhx&&FevFfx6#,&FhxF]oF]oF]o@$/
Fhx,&F\yF]oF]oF]o>F_y&F16$&Fey6#,&FhxF]oF`uF]o&FeyFcy@$2FhxF\y>F_yFaz@$2FjyFhx>
F_yFaz?(FhxF]oF]oF_sFfnC&@$F[y>F_y&F[s6$FazFdy@$Fiy>F_yF^z@$Fcz>F_yFaz@$Ffz>F_y
Faz>8/Fjn>89-%&evalmG6#,&FfwF]o&Fev6#F`vF`u>88-Fgu6$-Fis6#&Fg[l6#%#jjG/Ff\lFjv@
$/F_\lFjnC$?(85F]oF]oFavFfn@%2Fjn&Fjs6#F\]lC$>8<*&)Fdr-Fis6#,&-Fis6#F_]lF`uF]oF
]oF]o&Fdu6$&&FevF`]l6#Fi]l&F^^l6#,&Fi]lF]oF]oF]oF]o>Fe[l-Fjw6$,&Fe[lF]o-%$RemG6
%Fc]lFhrF`tF]oFirC$>Fc]l*&Fe]lF]o&Fdu6$&&Fev6#,&F\]lF]oF]oF]oF_^l&F`_lFa^lF]o>F
e[l-Fjw6$,&Fe[lF]o-Fh^l6%,$Fc]lF`uFhrF`tF]oFir>F_r7$-Fjo6#F_r-Fjw6$-Fh^l6%Fe[lF
hrF`tFirOF_rF*F*F*F*,
I)tinversef*6$FapFcp6+FOFQ%"LGF\rF]q%$CofG%'lowdegG%(coffinvG%(tmppgcdGF(F*C0@%
-%%typeG6$F1%(polynomG>F\o-F^t6$F1F`tC$-%'printfG6$Q$%s|+F*FCOF*>8)-&%0Polynomi
alToolsG6#%0CoefficientListGFeal>FVF]o?(F*F]oF]oF*/&F]bl6#FVFjn>FV,&FVF]oF]oF]o
@%3/-%$gcdG6$FfblFjsF]o/-F^cl6$&F]bl6#-F_o6#F]blFjsF]o%)continueGC$-Fhal6$Q#%sF
*Q:ERROR,~Not~a~finite~ring.F*OF*>FarFjn?(F*F]oF]oF*/&F]bl6#,&FarF]oF]oF]oFjn>F
arFcdl>FinFjn?(F-,&FarF]o""#F]oF]oFeclFfn>Fin,&FinF]o*&&F]blF:F]o)F`t,(F-F]oFar
F`u!"#F]oF]oF`u>Fft-%'igcdexG6&FadlFjs.Fdq.%"rG@%0FftF]o-Fhal6'Q,%s~%d~%s~%dF*Q
8ERROR:~Inverse~dne~for~F*FadlQ$modF*Fjs>Fdu-Fjw6$FdqFjs>Fin*&FinF]oFduF]o>Fin-
Fjw6$-Fh^l6%FinF1F`tFjsOFinF*F*F*F*,
I(makeinvf*F$6'FOFPFQFh`lFjpF(F*C&>FinFbr>F\o-Fhv6%;Fjn,&FinF]oF`uF]oFaglFT?(F-
FjnF]oFbglFfn?(FVFjnF]oFbglFfnC$>Fen&F1Feu>&F\o6$FVFenF-OF\oF*F*F*F*,
I.co2TwistedSolf*6%F%FapFbp6=FgpFhpFipFO%#EQGF\qF[q%%varsG%"AG%'quanodG%"EG%$So
lG%)Sol_listGFPFQF\rFi`l%(testsolGF[r%)TempPolyG%'TempEqG%)TempListGFfp%#LLG%#G
GG%"bG%#ssGF(F*C=>FhxFT@%-F`al6$FjsFbal>Fbx-F^t6$FjsF`tC$FgalOF*>Fhx-%'coeffsGF
bv@%30-F^cl6$&FhxFgwFhrF]o0-F^cl6$&Fhx6#-F_oFcyFhrF]oC$-Fhal6$F[dlQ:ERROR:~Not~
a~finite~ring.F*OF*Fgcl>FdrFbr>F]bl-Fhv6%;Fjn,&FdrF]oF`uF]oFa[m;Fjn,&FbxF]oF`uF
]o>FinFT?(F\oFjnF]oFb[mFfn?(F_vFjnF]oFb[mFfn>&Far6$F\oF_v-Fgu6$*&&F]bl6%F\oF_vF
[sF]o)F`tF[sF]o/F[sFc[m?(F-FjnF]oFb[mFfn?(FVFjnF]oFb[mFfn?(FenFjnF]oFb[mFfnC&>&
F_\lFju,,*&F`tF]o&FarFeuF]oF]o&Far6$FgglFenF]o*&F`tF]o&Far6$F-FenF]oF`u&Far6$&F
1F_]m&F1FjglF`u*&,&F`tF]oF`uF]oF]o&FarFjglF]oF]o>Fev-Fjw6$-Fh^l6%Fg\mFjsF`tFhr>
Fg[l-F_bl6$FevF`t?(F\oF]oF]o-F_o6#Fg[lFfnC$>&F_s6&F-FVFen,&F\oF]oF`uF]o&Fg[lFdo
>Fin7$-Fjo6#Fin/Fd^mFjn?(F\oFjnF]oFb[mFfn?(F_vFjnF]oFd[mFfn>Fin7$Fj^m/&F]bl6%F\
oF\oF_vFjn>Fdu7#-%$seqG6$-Fg_m6$-Fg_m6$F^\m/F\oFa[m/F_vFa[mFa\m>Fft-&F76#%*genm
atrixG6$FinFdu>F\t-%'vectorG6$-F66#FftFjn>Fe[l-Fjw6$-%)LinsolveG6&FftF\tFeel8>F
hr>F_r-F/6$Fe[lFL>F_w-%'indetsGF^`l>F_w-F/6$F_wFL>F-.F->FcwF]o>Fc]lFT?(F\oF]oF]
o-F_o6#F_wFfnC%>F\w-Fjo6#&F_wFdo>Fc]l7$-Fjo6#Fc]l/&Faam6#F\w*&&F-FhwF]o)F`t-F]x
6$F\w*$FdrFhdlF]o>Fcw,&FcwF]oF]oF]o>F_r-%%subsG6$Fc]lF_r>FcwF]o?(F[sFjnF]oFd[mF
fn?(F_vFjnF]oFb[mFfn?(F\oFjnF]oFb[mFfnC$>F^\m-%(collectG6$&F_rFhwF`t>FcwFecm>F\
]l-Fgs6%Fjw-Fi[l6#,&-%#&*G6$FftFe[lF]oF\tF`uFhr>F\]l-F/6$F\]lFY@%/F\]l<#FjnOF]b
lC$-Fhal6$F[dlQMERROR:~co2TwistedSol~solutions~are~not~validF*OF*F*F*F*F*