Hi all, I am currently trying to use Sage to classify bent functions by their Cayley graphs.
I have attached an example where I have two (256, 120, 56, 56) strongly regular graphs, g and h, which are also canonical labels, such that g does not equal h, and so g and h are not isomorphic. It takes a relatively short time to produce the canonical labels, 38.8s to run h.is_isomorphic(g), and g.is_isomorphic(h) is still running. The example includes the Sage code that I used to generate the graphs, as well as a transcript of my Sage session, including the graph6_string() of each of the two graphs. I would like some advice on how I should proceed with the classification, given that I want to compare about 2^(16) such graphs to a small number of representative graphs (about 6). I have done other tests with graphs of this size that show that usually g.is_isomorphic(h) is faster than comparing g.automorphism_group().order() with h.automorphism_group().order(), which is faster than comparing g.canonical_label() with h.canonical_label(). It's just that occasionally I have found cases where g.is_isomorphic(h) is extremely slow. I'm thinking of using threading and a timeout of (e.g.) 5 seconds, so that my search first tries to use g.is_isomorphic(h), and if this times out, it then compares the automorphism group orders, and only if they are equal, does it then compute the canonical label. What are other people doing? All the best, Paul -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 7.2, Release Date: 2016-05-15 │
│ Type "notebook()" for the browser-based notebook interface. │
│ Type "help()" for help. │
└────────────────────────────────────────────────────────────────────┘
sage: from sage.crypto.boolean_function import BooleanFunction
sage: R.<x1,x2,x3,x4,x5,x6,x7,x8> = BooleanPolynomialRing(8)
sage: fg=BooleanFunction(x1*x2*x3 + x1*x4 + x2*x5 + x3*x6 + x7*x8 + x1 + x2 +
x3)
sage: fh=BooleanFunction(x1*x2*x3 + x1*x4 + x2*x5 + x3*x6 + x7*x8 + x4)
sage: load("boolean_cayley_graph.sage")
sage: bg=boolean_function_cayley_graph(fg)
sage: bh=boolean_function_cayley_graph(fh)
sage: %time g=bg.canonical_label()
CPU times: user 80 ms, sys: 4 ms, total: 84 ms
Wall time: 78.1 ms
sage: %time h=bh.canonical_label()
CPU times: user 188 ms, sys: 4 ms, total: 192 ms
Wall time: 189 ms
sage: print g.is_strongly_regular(parameters=True)
(256, 120, 56, 56)
sage: print h.is_strongly_regular(parameters=True)
(256, 120, 56, 56)
sage: %time g == h
CPU times: user 0 ns, sys: 0 ns, total: 0 ns
Wall time: 913 µs
False
sage: gs=g.graph6_string()
sage: hs=h.graph6_string()
sage: len(gs)
5444
sage: len(hs)
5444
sage: print gs
~?C?rdkjUTYkilTdTYiqijTT?????????@~{?~}?N~cjT[LQjpdYj`YdVaqlTojSi{TdYj`TiT]In}?^_F}?^_B~?No?~oB{??@~{?F_??N~~??????Bo|kNKrQsulWRJQlsmDedhlYoddhUyVAn`wL}@eF`wL}@e?NBuo{qBBo|roq_o]Fm]ESERQsxQfQ_XYTpYMi@edhqdMd?klIwlFT?n`wM@}U@o{N@oNqoM?N{Go~EB^_^wP`}KE~CtQpjPkgypdUgySugYxeiULYLdFUJIlPshlOtq}?^FwWwC~o{?}NopoH~_{?}ONNnu@_]?^GFfvz?o?^wQ]@~x?oNB~ARoN~GE@yYhXIVNja_gBIlQJU]nIA_KtQqSm^VD@ODdUhDjNVd@OD??????^~~~~|KrUktEsUdiUJKrZKs[peXhdrKqvKS{Rawj_KrMsrSrQYeiWsrLYrSSmdhUcarKurLCreXdePKrMsrSkldXT_bKrJ[pQMps\P`LKrTRIusUiThGarKtKqvKXhdePCrKykqjLHldUACrKqgri{RbFSWQLKrTRItJhTiUGaJKrSrJRMXXhdCPKrMjKiklceiW`CrKqgribk[wj_QGssqirIzQdUecaVYqrIrInKeUXePBnK{pSrhrTcet_`zbKKt[qfpPrbP`J\LLKikqlJUiUUGduaqrIrIkrXheXPBnCrrDRMeqhlchaFmCrBLVKhbjbFJ_QvQMWXhEY~abgx[\hCPSsqdKtzQdhXX\gaGUUXHejxcrKrHvaG`K{pJKVrTdXIZ]CPEX`ecXjptp[YLucPCLLKhRL\JUdhhVYGaCUUXHejeZKrKpvaG`CrrCkp]qhiZULwPCWdQszLKaqUTehhYUdyQlJZQsbIXUUeo{NBuc{NLbp`MHq[uQw]Ff_o{NZBW[bcxK[\JQv`MF`zWZ?ZbWu[{UdhBpTJRksqCuehdZYUdgUgThZYUcEktLJLw]F`J`NBrW{WK\bWq^Pw]EFETJRbJLJHXhdYdh\gUgQlJWlJRIXXhXo{M{H[HNBrFBeRa\Wq[mFmEFEBBo{RqXqMSZMPsls`w`MF`wfcoZbVHb{UcU{HATQswqrPLhdehudgdyQC`UdkUdgYrRJRV`w`zQC`NBrFBeK\afLfPwPxwE@dRJFLJIqhddUh\gddiD]irQ\JKkiYXTfBnCMdobvNKKw{dRdafQ[mwPyFEM[orozBd[cYxRc\sas]G\wwXw\`q`lqbUNpDmdocM{TRJFLJHLUYYhuaVYYQD]gTecyUXEjJLStw`vas`FmC{orbqSphtau\C]wV_WxpeE]CfbZcbWtb{PYUbu{OcLRJCqsyqhiYhuaUddly`GPUYQUe\dRStRVaF`slz`GPNKKfBZRdbWlfPF`yFxp_WdRJCqsxLUTdUh\hYYTy`GPIrQQsrbTdXTfBnBpYN[HAHNKKfBZKY[fQ[mw]Dwxp_W_oroc{ZBZcxRc\slJ`vaC`C_??????????@~~~~~~~~~~}E]ZFce[kZDkDvBonFMKBCAiXZYUWxStLSqF]Fas]wQCQ@UY\edbXStLScmslLI|OcGcHx`zW[fcbWtbBmdh[M{OcGc`x`zW[cZ[fI[[PYUbu{OcGcbBNLbqQphq\HlC]Fg^fE@a@BiXZYUWejIqjHw`w\J]wQCQ@AkszLJDLUTdUUaUddly`GPGOfeFa]L]QL[hppDmdocM{OaQCorrFBYrdafQZPFmDwEM[W_OpiXZDhexSsqjHw`vas`FmCQ@AIrRbJRZIeUTXYH\hhGTy`C`AME]WwZTbRjDkDvANOwprbCAEGiXZDheejJLSqF]G\J`FmCQ@AHUY[XYYejLLScmsQqtAnSGcGPHx`wfbSZ[gtbBmcUbpBnCGc`C`w]FWZNc[gu[[UcU{HAOzoc`J^BorbpfMHtbHlF`Ff_WEM]@BB|iUcyUdxRJLJHw]G]s`GPzQ@BualJFLKmqUYXUUdgdyQC`VhGOlkw]E[]KuMpReoVBvBBb?proGW^giUcyUdeksqsqF`v`J`GPzQ@BuaThWxhdhlKktHJQzOlOcI|HADlcf`w\`kpmL[eKMdmcNCHBnAQCls`w]Cfc~c[fHb[UdhBpAOcNY]s`Go{KfBfra[fLbPw]EFE@_W^fN?oMhYQUdndKjJRF`w]CmC`GQvZocHAlJCqr]qUTehUdhYDiC`GUunQOcMF`cw[|bkZERDo{NN?oKBB{xwE@ahYQUdmYrSskg]F`zQC`GQvZocHAThWeUZhlLRIpJQsnQOcHAutyQC`Hw]Cfc{ZbWu[BhYU{HAOcNY]s`GQE]XZeSMIMbdrucPCGdubg{QJPs]wrBMsrgRTdXI^]CPEGD}bg[OnFPrbhheuXSXcrKrLvaG`CavPsm@[MbnCJJLYrIJQdhXZ\gaGPHldXY`LIqnSHfeUxd?\[VEb|hCPAMaVDoy\JawPsrBMsrgKiYetf]CPEGy@[VbfOwmK\EeeZXdOXkrKrV]GaCPsawlFYNDpBgaqrUkq`JUdhhvYGaCTcehhUklRSIqMWXtXaqYkcukcN[GpFOJ|BaDwxpbgaeeYeYheRJKrW`vaCPsavQwDozpBgaUUYiXiUdIlLLCmsOakcuqtAYTy`UPHfeTEYrabfEbaUyPAMaVYNCas]wPsQX`fTeJETLkdMO|obCA~OJprg[Wxpa@hheheiEZLKrMG\w`CavQJPubpBnCGcUUYiXiHYtQqtCmsOaRZHLItdiD]gPGe]XSXj@tpbdqHZhCGduaVBhsmC]wPGeXeIeYiYRZIkcGbvPFPsAzaDvEMbgbmheXUXhXbLKkuGaF\C\FQJm@\pBgyGzhXeTUYdYJTIssPCmqIqkcvSHmgTdXD\heXixaja[WybaPDmaMbgdvCaz`FPsPveXeIeYhdkctRcGbvP?mJ|C[yGxp[WbmEeXdXecXrJLKwaG\sQJavPFYGzp[ObmcUXdTehH\IlQtCPJkaRSuqItcTyegPVYHeXixag\bfD[aPDmaH[VYGy\C]wmCPvaXeWdeThhLRTMOaGaz|FPsPrgbgyM\pCPheXHeVXbKrRMGaGaz\FPsPuaMbgzvCPCUXdIXVUaslQtCPCR\kjIqItcTdXVmgaGeXecXtmHp[TqHCPDvYMbgbhsPs\FmwaGeXeHXdXdkjIkcGaGmwmJazaDvDp[V[PCPheXHeVE[rKkuGaGazawmJm@\p[VDvCPCPXeShd[dslIssPCPLtLRSvSHmhiYeyaGaHeXhE\W\bgybaPCP\p[VDvCazawmJmGaG_^wL}E@}oK?oWXw]LHlcxKxcrcxpbqUdecN{E~B?~WE?WBrBoxZHLbXbleLbFMEslKkeiTmdKTxOS@QeYUfBcupkphkpk[xJW]E]BIlLjPbVD@ODLTJQsijTTTTTTTTiiUdhTgrTIvQeI{gI?gkqsk]LcfHfNHfHpbYRo{opXThlYKYwgI?iTUdhYidTTT\TTTQilJQtQd{?|kNo^GE@w?N{N?NB~BoBw^w]?]F}F_Fw]?]uFwNcB?{@w@w^w]?]F}FoBo~o{?{N{KCtQmJUPOtq_ISrRJFbXHleLLeM[Wuc{oroSXThqdqDFUI?hihThYidUiiiiitQilJTIlDEYhVDjGgYxODDeUY[MRZHKxxKwprcl`feEIJIlMSmOgypODQitQsijTIijiihTiiUdUiSgn_Fm]@oE~?N?@~_F}F_F}?^B~?N{N?N{?~?BoBvN?wB^_F_N?N{?{N{?~o}?^w@w^w@~`_?B~@oNMOH~_EBBNKMUqRZHfKe[wpr`lKks_WW^wM@xq@N{?oFeE]LHlcerFZKWxpbqUYXWBBRQtFQwd?gtohRQrQ]LbXHwsufELbY[K{N@QnXYULYpD?ht_hiUiTYiihTiijTIiilSislDA~ediMdpI@Pj`PXYXZBcxLkM]QprcxJFeF`ad]klJElWa_SyoTIsitQiijTImiTYiihTidhQ`^n`wP`xgE?~r?@w^w]F`w@w^Bo~o{NBoBo~?~?{NAKNL?oF}WBo{?{NBo~o{N`w@w]F`~`wWFw?NBw~?t?w@}WKNBNHZHqRY[q]K[fMFJLJQ@}WW]Fp}@i@oB{oF`x`lHkZXJFZBfEpbphdhWB{osslQJPxOIAbtSslJWZWuL`rqULbWxW{NBrjSD@dhXIS{SA_h|EhYUiUiiihTtQiiilIlJQtjsD@ediPYNI@OS]hXYUc{cxMRphlMRcwsw]F`|Y_gJJQqShwgD@RyQlJQjQiiilTTYiiididhYVVgIA}F`HwX_WB?r{F`w]F}F`w]Fo{NBoBo{NBr{B?o{NARor?oE@fzo{NBoBo{NBw]F`w^w]F`wFwE@_Bo}ONrOM@_XzBo{Lhq[fHWzW[fHq]LJQs~_WE@`w^GFxgF?oK{]F`xJEpkZReRpkZEoxYUdnoKB?sjT?TODUtLRItJKrXbFMR`lMUpkcuWrK{ojStMkYdS@T?dvPsWldiiiihThYUislJTIiiijTA|FPjeTi_IgAjYehdTYXeRM[WuNHwsfHlcreX`eTiYfUJSi_IgCmyMbDrQiiiitQslJhYUdUiiiidSVgyL[kjT?TOEhIqkttJKrXcwpk]RphMRZEWrK{rSjIpRTiTODSBgawm\UUiiihYhYUdslJQjQiiilTsJaxPtdYgAi?tHUTelUeXcrWxq[LhquLcfKxeWXydXUIYjSi_IgFPDp[yrQiiilIlJQtUdhYhYiiidVgVDqbi~w???]OB~~oA?^~}?^w??^{?~~{?~o??~~{??N{?~o???{_F~~_F~??B~?N~~?N}??F}?^~}?^w??^w?~o???{~w??^{?~~{??N~~?N}??F~~_?@~_F~~_??^w???]^{??N~~_?@~~w??^{?~~{??N~~??B~~o???@~b_?Tworrox`feRHrbFJXfBZHLbMXXhc{B~?N?N?N{[?AnEE]]CrrBLepbfEczFceuReKsqrF_^w@w@w?~po?JBfeEF{orrHfEM[YRk]QZXHfKksr`}?^w?F_@~b_?UFNKKNe]WXkprbFJXfBZHLkpeeUZB{?~o?N???[^wLwNKNoxeWXrHq[wrXfKcuLbLeeXc{{?{N?N{??MN{E{FeFwRKrrEZEpbeRkXlcxMXKkrK]]?]F_F}??Bb~@o}E]@~KrBMXpkWxczEZXMQXksrKwW^w]?@~_??[^wMForoNeXfeKpq[wrXfKcuLkqXXeZBB~Bo?N{??@}?^v_{N?~eXeWrFHq[q\bLbWurHeXe[KNBo~~????B{?~n@w]@{rKrMXpkZEZKxcxMQXkrKrWW]F`~}????B{?~o}F`}FKrKpepkZEZKxcxMReRKrKff`w]F}????@}?^w^Bo~AXeXfKfHq[q\bLbWuKuXeXbro{NB~?????????????????????????~~~~~~~~~~~~~~~~~~~~
sage: print hs
~?C?rY[rLee[rKrXeeXrKrKr?????????@~{?~}?N~bLK{RJLpeUZaXhf`ksrosqr[ReUZaXee]E^}?^_F}?^_B~?No?~oB{??@~{?F_??N~~??????Bo|kNKlJQuswSlJLquDdhXmUohhYUufA^`wL}@eF`wL}@e?NBuo{qBBo|roq_o]Fm]ESELJQxJFR?dhXphMh@dhXphMh@LJQxJFR?^`wM@}U@o{N@oNqoM?N{Go~EB^_^wP`}KE~BRJPlHkoxqUYWxWucZXdeeMULhEuRRJPlHkoxp}?^FwWwC~o{?}NopoH~_{?}ONNnu@_]?^GFfvz?o?^wQ]@~x?oNB~ARoN~GE@xhdhHZNfb?oCksqLM]vHAOKksqLM]vHAOHhdhHZNfb?oB??????^~~~~|TTUtTFSYeiYXeXZeI]Hp[TpTTUtTgtakjQgKrMsrSrQYeiWtTTZTSQmTdUS`eXueYddkjIkCrKqvKSbk\FSYHTTZTUahtLQt@TTTTIivSYhTdGPeXtXdUYRZIkCJKrIbMjpMK\PgaTTUiiUtalSlOSTTTTIisjdUiYGPEXfTeTUUqRTKOarKqgribk[wjaGaTTUiiUi\QjQgSPTQijTI|QTYeS`ZhfeIe\MYkcukCN[rBLVKh{S[wsYG\xTidTTVUTIkt@QzTSiitQkjYhUYGUyPfeIe\LdRZHRCN[JKKt[qeMmK[mG`vaTYhTTTiYlSqgSmsQjTHTT]kiYeT\YGaTQicit|QTdXh]cPCrBLGrV{S\FJ`vaG`K{pJKVrTdXIZ]CPEIlSdTTtLUTehtgaGLSihIl[jYehdVhCPCrBLGrVbjawsXvaG`CrrCkp]qhiZULwPCWdJQzSkbQYUedhhYUyPw]ZFbA[Rcxkdo{NNBBo|kL`qMRcpw]F`zQUdjXYcTQiitSZQsn`QslZJS`TiihT{dhYBqSlJlQqAuUddjXYUcUco{NZBWB[ZErdw]F`J`NBrW{WK\bWq^Pw]EFESlJalLLHhddiedmcUcPw]Ww[q[RjERdo|oowoo{NC{e[bdEreF`v`J`HYUkYThTIlSiplJl@x@QslWsjPTidUi{dgd{IAdJQwjROldeeduUcUyPCRBo{RqWLpjcpv`w`zQC`NBrFBeK\afLfPwPxwE@dIlFSjJQdedYhmcUdhDmfeE[]QhqpRhMV[G|BbFMorozBd[cYxReF]G\J`FmUiSxYXTTSiikZlCk]OZxJTI[lKdTTiijqH\hogL{dIlFSjGlYXYduPZhYPDmcorozBdBZdEk\w`vas`FmC{orbqSphtau\C]wV_WxpatQcskyiiiii{aUdbt{_gLIlCjSzQdhYduPYUdmyPCRBNARplqPkYpvaF`slz`GPNKKfBZRdbWlfPF`yFxp_WdIlCjSwlYUdYhmdhYUyPCPFeER`leLMRhMV[NA{[woKOoroc{ZBZcxReF]Fas]wQCQUiSedfIiiiikZlJR`ncD@D???????????@~~~~~~~~~~}E]ZFce[kZDkDvBonFMKBCANKNZBc{cZEkYF]Fas]wQCQ@Yh\iTbhQslQcvQslJ\GaGaLIlZJREiiiiiB\hY[L{_gGgdIlZJRDTTTTT[aUdbt{_gGg_{o|kMQLmRdMFaF`slz`GPGCorrW{ckY[fQZPF`yFxp_W_OqtQzSjClYUdYUPYUdmyPCPCPSitbQrYiiTTTqH\hogL{_aaANKNC{Y{cYxR`w`vas`FmCQ@AorrFBYrdafQZPFmDwEM[W_OpJTJalR\IUYThXDmdhCUyPCPCUE]WwZTbRjDkDvANOwprbCAEGNKNC{YbZdEkYF]G\J`FmCQ@AHYh[TiYUlKlQcvQJQsavQGaGaLIlWsktTTYiiB\gdbqB^GGg_adJQfJSmiTYhT[dgd{IA_vog_l[{NBkLfqMSZMF`w`zQC`FlGCNYo{Kw{Xra\WqZPwPxwE@bf_Oo~QslFSknQYXXYUUcUyPCPZhCPJlW]E[]KuMpReoVBvBBb?proGW^gNBozBXb[YxKYF`v`J`GPzQ@BuaUdgydddkksshLJ\GlGaJ\GaH\gslI[lQtUiTYgLh\gNGIB^AaAtqdJQcsj]iTTUi[dhYBqA_gNU^Q_gNBoc{f{bcxKXw]F`J`GQClu{HARBoq[M^MHq[uLF`wW[WE@`}[{B?qslCjR^QYUedUUdhDhCPCUymsPCUF`cw[|bkZERDo{NN?oKBB{xwE@_{NARq]LpkZMG]F`zQC`GQvZocHAUdgdYZdklJJPLJQvQGaGavTuaGaLJQcsj\TiihTBYUd{IA_gNU^Q_gITQjYiiIqhiXVtgaGGhtbW{aLHq^WK{qvKg[S\FJdvaG`CavPsm@[MbnCrBMsrgRTdXI^]CPEGD}bg[OnFPrbIlTZTILQTdXj]cPCPDmdhYPJQsmsTSiuii`RTdXi|YGaALafHou[lbWHqK{qvKgBjaws\vaG`C\GmJPubp[OyJKKzRM_qhiZU\wPCWbgDp]M\BawpsQjTUtQ_jYehdvhCPCUcUdhYlJQsQsUWXtXaqYkcukcN[GpFOJ|BaDwxpbg_rrIbLXpPrbPw`vaCPsavQwDozpBgaTYihTiYcitKlAvQGasavQsaUduaUaLSitTTQkiTXiaduaALafUNGbQ^WHqIX`fTeJETLkdMO|obCA~OJprg[Wxpa@K{qgrUBjbFJeG\w`CavQJPubpBnCGcTYihTiDZTIrTAvQGaJ\GlJThYH\gaGtQjTTTDLUiXUIVYGGhtafBXquA^WGgeXeIeYiYRZIkcGbvPFPsAzaDvEMbgbmKrLVKT[RbFS]GaF\C\FQJm@\pBgyGzhTTTYidiLSiqsGavQJQsavQH\gdhYH\lTTIilIkTidiaaH\aLbWhvGb\_fHqHveXeIeYhdkctRcGbvP?mJ|C[yGxp[WbmCrKt[pSMpramWaG\sQJavPFYGzp[ObmcTTTUihD[itRTAGlsaJQvQJTgdudgaVYLTTIilHRiTYTaaH\aI[fUGu[a^WuAHvaXeWdeThhLRTMOaGaz|FPsPrgbgyM\pCPKrLGrj[RawjeGaGaz\FPsPuaMbgzvCPCTTTHTVYbStRTAGaJ\slJQJTgdhYV\gaGtTSdTJipUThUIGaHvULbWbXqHq[fvWaGeXeHXdXdkjIkcGaGmwmJazaDvDp[V[PCPKrLGrjBk\FS]GaGazawmJm@\p[VDvCPCPTTSdT[TqkiqsGaGlslJQvQH\hYUduaGaLTTHTQxRiYdiaaGa\q[fHvGb\bWuLuGaG_^wL}E@}oK?oSrQswZXHqXrqXq[WxZBoroN{E~B?~WE?WDeUdbqRZErEerEprbQ]FeEdedlhKXwoK?rDUdhhiTXUXZTRSqqlQsksbRJLqpavHAOHLeF`shjdXTXSrStqkMdhTglKkvJEJ[cH?dHf`wlXPiYi]kqkgtNDhYhQdedlhKXwoK?oyhYUUTiehekikjLLQlJRJB{?|kNo^GE@w?N{N?NB~BoBw^w]?]F}F_Fw]?]uFwNcB?{@w@w^w]?]F}FoBo~o{?{N{KCksmQuOoxp_EWitQqqlSirJYiXXhiThdecWYXXphqHEuQ@HkorpYqbVIjIeYxPi]JTIlCdhdfEfGcZXGChK{oyStqbTRteSYxUFQjTIQSksmQuOoxp_EFTIlLLQjTKtdTeeUTiUYXWW^_Fm]@oE~?N?@~_F}F_F}?^B~?N{N?N{?~?BoBvN?wB^_F_N?N{?{N{?~o}?^w@w^w@~`_?B~@oNMOH~_EAeYXW{cuqRM]RMK[wsfeE]?WW^wM@xq@N{?oJKkswZXHleLLeM[WxZBNKKBBQslEswb?WxoXasitJIqlSkliUYYehXXhYPa^YUeMUpH@Hl`HkNKLYqkgtjIfdEhi]SislCb^YUeMUpH@Hl`IRorqdLRVIS|WYxUT`jTJQcb^QslEswb?WxoW\JTIstLQjRUThddXUeeUd`a^^`wP`xgE?~r?@w^w]F`w@w^Bo~o{NBoBo~?~?{NAKNL?oF}WBo{?{NBo~o{N`w@w]F`~`wWFw?NBw~?t?w@}WIYUYRqRcuoxxJFMRbR`f`w@}WW]Fp}@i@oB{oJJRJWZWuQ]LLhpbWxW{o{KB{oslJQQpwoE@bxWlJQlIkjIstdYYehdhhYUffWE@hYXEc{cC`HzEo{NIVIqkhRt`iYemElJQtlqC`YUePhNH@GQ]qRo{LYLRStjIfdXUS]SlJQz[`GSlJQQpwoE@bxFQslQtRStJJYddXUYUUdhZfWE@}F`HwX_WB?r{F`w]F}F`w]Fo{NBoBo{NBr{B?o{NARor?oE@fzo{NBoBo{NBw]F`w^w]F`wFwE@_Bo}ONrOM@_XyedhZBcxMRphlMRcxJF`w]^_WE@`w^GFxgF?oK{klJQ]LbWuFNHWuLbY[NBo~oKB?sqr?KoCuxMRExQiikqrRSsjXYehTiheXhcfWuM[XhcAX?hupkXLbrKqipRgyVIw\FUIXiijTB[fHldeeOHcAfZEpcxorKtSyp[Ubs]JafUXTTQiLq[euSqr?KoCuxMREelTTRLKkjJTedXUiTUXeUWfWuM[[qr?KoFHEpkxxQiiktKkjJTedXUiYheXhfWfHpbXeeOHcBWcxMZUNKrIgyp[Ubs]JafPeiilTqLbXHrXhcAX?uHMReu[KrLTpRgyVIw\FUJeTTSi{bWuQ[sqr?KoFHEpkxelTTRIrRSsjXYehTdUXeUZWfHpbX~w???]OB~~oA?^~}?^w??^{?~~{?~o??~~{??N{?~o???{_F~~_F~??B~?N~~?N}??F}?^~}?^w??^w?~o???{~w??^{?~~{??N~~?N}??F~~_?@~_F~~_??^w???]^{??N~~_?@~~w??^{?~~{??N~~??B~~o???@~b_?TworrotJLKeZFMK]RphLkcxfKK{o{B~?N?N?N{[?AnEE]]DUeUZKfEM[LhquQZWrE]WXf_^w@w@w?~po?JBfeEFydeeRM[WxoufJXHlcreE]X`}?^w?F_@~b_?UFNKKNisqrXbFMK]RphLkcuWrrBNB{?~o?N???[^wLwNKNotKqrEZEpreRpeqRcxcrrKo{{?{N?N{??MN{E{FeFwTXee[q[fEKufKeuLbLeEXe]]?]F_F}??Bb~@o}E]@}heUWrfHpbLhrHlbXKe]XeWW^w]?@~_??[^wMForoNirLKxbEpreRpeqRcuZKKrNBB~Bo?N{??@}?^v_{N?~SrKreKZEpesxcxMRXkrKrKKNBo~~????B{?~n@w]@|UXeWrfHq[q]KuLbXKeXeXwW]F`~}????B{?~o}F`}EheXfKfHq[q]KuLbWrXeXeFf`w]F}????@}?^w^Bo~AjKrKXkZEpesxcxMReRKrKrro{NB~?????????????????????????~~~~~~~~~~~~~~~~~~~~
sage: %time h.is_isomorphic(g)
CPU times: user 38.8 s, sys: 0 ns, total: 38.8 s
Wall time: 38.8 s
False
sage: %time g.is_isomorphic(h)
[Takes an extremely long time]
boolean_cayley_graph.sage
Description: Binary data
boolean_function_with_translate.sage
Description: Binary data
integer_bits.sage
Description: Binary data
