M7R0
I,co2Solutionf*6$%(QuandleG'%"mG%'posintG61%"xG%"yG%"zG%"iG%#EQG%"fG%%varsG%"AG
%'quanodG%"EG%$SolG%)Sol_listG%"jG%%tempG%(testsolG6#%)rememberG6"C2-%&printG6#
%/co2solproccallG>8,-%,quandlesizeG6#9$>8)-%&arrayG6$;""!,&FB"""!""FOFL>8(7"?(8
$FMFOFN%%trueG?(8%FMFOFNFV?(8&FMFOFNFVC$>&8-6%FUFXFZ,*&FH6$FUFXFO&FH6$&FFF\oFZF
O&FH6$FUFZFP&FH6$&FFFao&FF6$FXFZFP>FR7$-%#opG6#FR/FgnFM?(8'FMFOFNFV>FR7$Fio/&FH
6$F^pF^pFM>8*7#-%$seqG6$-Fhp6$&FH6$F^p80/F^qFL/F^pFL>8+-&%'linalgG6#%*genmatrix
G6%FRFep%"bG>8.-%$modG6$-%)LinsolveG6&FbqFiq.%"rG%"tG9%>8/-%(convertG6$F[r%%lis
tG>81FO?(F^pFMFOFNFV?(F^qFMFOFNFVC$>F\q&Fgr6#F]s>F]s,&F]sFOFOFO>82FS?(F^pFOFO-%
%nopsGF[pFV>Fgs7$-Fjo6#Fgs-%$mapG6$f*6#F*F;6$%)operatorG%&arrowGF;-F]r6$FFT$F;F
;6$F'Fer-%%evalG6#&FR6#F^p>Fgs-Fir6$Fgs%$setG@%/Fgs<#/FMFMOFH-%'printfG6&Q*%s~%
s~%s|+F;F"%*solutionsG%(invalidGF;F;F;F;,
I.calc2cocInvarf*6%F%%%KnotGF&62%$SSTG%*SSTcontriG%$jj3G%$jj5G%$jj6G%$jj8G%"sG%
$numG%&ColorG%&brindG%%indxG%.ColDiffMatch0G%+ColorDiff0G%%GinvG%-quandleorderG
%,coSolutionsGF;F;C+>FUFM>FgsFC@%29#""%>83-F"6$FF9&>F\x&9"6#Fjw>F]s-%(makeinvGF
E>Fhn,&-%$maxG6#-Fjo6#-F`t6$f*FctF;FdtF;-%$absGFEF;F;F;FerFOFOFO?(FZFOFO,&-Fjs6
#FerFOFOFOFV>&FB6#FZ-FJ6#;FOFhn>Fbq)FgsFhn?(F[rFMFO,&FbqFOFPFOFVC(?(F^pFOFOFhnF
V>&&FB6#FOF_u-F]r6$-%%iquoG6$F[r)Fgs,&F^pFOFPFOFgs?(FRFOFOFeyFV@%2FM&FerF[p@%2F
a[l"$+"?(FHFOFOFhnFVC&@$/FH-Fby6#Fa[l>&&FB6#,&FRFOFOFO6#FH&&FBF[p6#,&FHFOFOFO@$
/FH,&Fi[lFOFOFO>F\\l&FF6$&Fb\l6#,&FHFOFPFO&Fb\lF`\l@$2FHFi[l>F\\lF^]l@$2Fg\lFH>
F\\lF^]l?(FHFOFO&Fhn6#%#KTGFVC&@$/FH,&-Fby6#&&%#bwGFg]lF[pFO!$+"FO>F\\lFa\l@$/F
H,&F]^lFO!#**FO>F\\lF[]l@$2FHF\^l>F\\lF^]l@$2Ff^lFH>F\\lF^]l?(FHFOFOFhnFVC&@$Fh
[l>F\\l&F]s6$F^]lFa\l@$Ff\l>F\\lF[]l@$F`]l>F\\lF^]l@$Fc]l>F\\lF^]l>FXFM>F^q-%&e
valmG6#,&FezFO&FB6#FdyFP>Fgr-%$sumG6$-Fby6#&F^q6#%#jjG/F[alF\z@$/FgrFMC$?(FepFO
FOFeyFV@%2FM&Fer6#Fep@$2FcalFd[l>FX,&FXFO&F\x6$&&FBFdal6#-Fby6#Fcal&F\bl6#,&F^b
lFOFOFOFO>FX,&FXFO&F\x6$&&FB6#,&FepFOFOFOF]bl&FhblFablFP>FU,&FUFO)%"uG-F`t6$f*6
#F,F;FdtF;FgtF;F;6$F'F_xFXFOOFUF;F;F;F;,
I,co3Solutionf*F$63F*F+F,F-%"wG%"kGF.%"hGF0F1F2F3F4F5F6F7F8F9F;C2-F>6#%/co3solp
roccallG>F[rFC>Fbq-FJ6%;FM,&F[rFOFPFOFddlFddl>FepFS?(FUFMFOFedlFV?(FXFMFOFedlFV
?(FZFMFOFedlFV?(FRFMFOFedlFVC$>&Fgr6&FUFXFZFR,.&Fbq6%FUFZFRFO&Fbq6%FUFXFRFP&Fbq
FinFO&Fbq6%F_oFZFRFP&Fbq6%FdoFeoFRFO&Fbq6%&FF6$FUFR&FF6$FXFR&FF6$FZFRFP>Fep7$-F
joFdal/F]elFM?(F^pFMFOFedlFV?(FgsFMFOFedlFV>Fep7$Fcfl/&Fbq6%F^pFgsFgsFM>FB7#-Fh
p6$-Fhp6$-Fhp6$&Fbq6%F^pFgsFH/FHFddl/FgsFddl/F^pFddl>Fhn-Fdq6%FepFBFiq>F^q-F]r6
$-F`r6&FhnFiqFbrFdrFer>F]s-Fir6$F^qF[s>F\xFO?(F^pFMFOFedlFV?(FgsFMFOFedlFV?(FHF
MFOFedlFVC$>Fdgl&F]s6#F\x>F\x,&F\xFOFOFO>84FS?(F^pFOFO-FjsFdalFV>F_il7$-Fjo6#F_
il-F`t6$f*FctF;FdtF;FgtF;F;Fjt-F\u6#&FepF_u>F_il-Fir6$F_ilFcu@%/F_ilFfuOFbq-Fju
6&F\vFfclF]vF^vF;F;F;F;,
I.calc3cocInvarf*Fav67FdvFevFfvFgvFhvFivFjvF[wF\wF]wF^wF_wF`wFawFbwFcw%+Facecol
orsG%+facecolorsG%-precolorfaceG%)nowcolorG%,colcoloringGF;F;C+>FUFM>FgsFC@%Fhw
>F\x-FfclF^x>F\xFax>F]sFex>Fhn,&-Fjx6#-Fjo6#-F`t6$f*FctF;FdtF;FayF;F;F;FerFOFOF
O?(FZFOFOFdyFVC$>FhyFjy>&F_ilFiy-FJ6#;FM,&FhnFOFPFO>FbqF^z?(F[rFMFOF`zFVC'?(F^p
FOFOFhnFV>FdzFgz?(FRFOFOFeyFV@%F`[l?(FHFOFOFhnFVC&@$Fh[l>F\\lFa\l@$Ff\l>F\\lFi\
l@$F`]l>F\\lF^]l@$Fc]l>F\\lF^]l?(FHFOFOFhnFVC&@$Fh[l>F\\lFc_l@$Ff\l>F\\lF[]l@$F
`]l>F\\lF^]l@$Fc]l>F\\lF^]l>F^qF]`l>FgrFd`l@$F^al?(85FMFO,&FgsFOFPFOFVC'>FXFM?(
86FOFOFdyFV>&&F_il6#Fj^m6#FMFe^m?(87FOFOFeyFV?(88FMFO,&-Fby6#&Fer6#Fa_mFOFPFOFV
>&&F_ilFh_m6#,&Fc_mFOFOFO&FF6$&F[`m6#Fc_m&&FBFh_mF\`m?(FepFOFOFeyFV@%Fbal>FX,&F
XFO&F\x6%&&F_ilFdal6#,&F^blFOFPFOF[blF`blFO>FX,&FXFO&F\x6%Fj`mFgblF[clFP>FU,&FU
FO)F_cl-F`t6$f*FcclF;FdtF;FgtF;F;FdclFXFOOFUF;F;F;F;,
I-connSumKnotsf*6#%+Knots_listG6(%)newIndexGF-FjclF6%(NewKnotG%1Braid_Index_lis
tGF;F;C)>FRFSFHFS>FUFM?(FZFOFO-FjsFEFV>&FHFiy,&-Fjx6#-Fjo6#-F`t6$f*FctF;FdtF;Fa
yF;F;F;&FFFiyFOFOFO?(FXFOFOFebmFVC%?(F^pFOFO-Fjs6#&FF6#FXFV@%2&FfcmF_uFM>FR7$Fi
o,&FjcmFOFUFP>FR7$Fio,&FjcmFOFUFO>FU,&FUFO&FHFgcmFO@$0FXFebm>FR7$FioFUOFRF;F;F;
F;,
I+mirrorKnotf*6#%"LG6%F-%"SG%+braidIndexGF;F;C&>FZ,&-Fjx6#-Fjo6#-F`t6$f*FctF;Fd
tF;FayF;F;F;FFFOFOFO>FXFS?(FUFOFOFebmFV@%2&FF6#FUFM>FX7$-FjoFgcm,&FZFOF^fmFO>FX
7$Fbfm,&FZFPF^fmFOOFXF;F;F;F;,
I(barKnotf*F[em6$F-F^emF;F;C%>FXFS?(FUFOFOFebmFV>FX7$F^fmFbfmOFXF;F;F;F;,
I,quandlesizef*6#F%6#%"TGF9F;C$>FU-Fir6$FF%'matrixG@%0-&Feq6#%'rowdimGF_fm-&Feq
6#%'coldimGF_fm-%&prinfG6&F\v%&ERRORG%(quandleG%+dimensionsGOF]hmF;F;F;F;,
I(makeinvf*Fcgm6'F-F6F7F\emFbwF9F;C&>FRFC>F^p-FJ6%;FM,&FRFOFPFOFdimFS?(FUFMFOFe
imFV?(FXFMFOFeimFVC$>FZF_o>&F^pFfoFUOF^pF;F;F;F;