From baf050ee3c969bf6142db6b99eb7757113f5679b Mon Sep 17 00:00:00 2001 From: Florian Stecker Date: Fri, 7 Oct 2016 12:25:36 +0200 Subject: [PATCH] minor corrections --- counts | 46 ++++++++++++++++++++++++++++++++++++++++++++++ counts.pdf | Bin 0 -> 7326 bytes thickenings.c | 6 +++--- 3 files changed, 49 insertions(+), 3 deletions(-) create mode 100644 counts create mode 100644 counts.pdf diff --git a/counts b/counts new file mode 100644 index 0000000..b58825b --- /dev/null +++ b/counts @@ -0,0 +1,46 @@ +1 2 1 A1 +2 6 1 A2 +2 8 2 B2 +2 12 2 G2 +2 4 2 A1A1 +3 24 10 A3 +3 48 29 B3 +3 12 5 A1A2 +3 16 7 A1B2 +3 24 10 A1G2 +3 8 4 A1A1A1 +4 120 4608 A4 +4 384 49404510 B4 +4 192 114964 D4 +# 4 1152 ? F4 +4 36 50 A2A2 +4 48 118 A2B2 +4 72 342 A2G2 +4 64 336 B2B2 +4 96 1410 B2G2 +4 144 10516 G2G2 +4 48 116 A1A3 +4 96 1042 A1B3 +4 24 23 A1A1A2 +4 32 40 A1A1B2 +4 48 86 A1A1G2 +4 16 12 A1A1A1A1 +# 5 720 ? A5 +# 5 3840 ? B5 +# 5 1920 ? D5 +5 240 15591709 A1A4 +# 5 768 ? A1B4 +# 5 384 ? A1D4 +# 5 2304 ? A1F4 +5 114 167866 A2A3 +5 192 2805798 B2A3 +5 288 168775572 G2A3 +5 288 105122719 A2B3 +5 384 9576339067 B2B3 +# 5 576 ? G2B3 +5 96 7676 A1A1A3 +5 192 545430 A1A1B3 +5 96 3856 A1A1A1G2 +5 64 854 A1A1A1B2 +5 48 308 A1A1A1A2 +5 32 81 A1A1A1A1A1 diff --git a/counts.pdf b/counts.pdf new file mode 100644 index 0000000000000000000000000000000000000000..1fc8759c3a48c76b2f76d40e63ef5b0406b79974 GIT binary patch literal 7326 zcmcIpXIPWVwpJ8W1W}O|K|+%zkU&C_Ceo#MPys0+gpxo)=tUF(=_tKQ5eU5_MUWPH z6Obm-ivmg&5QLlHcAve^KKDHL&;3%@J8NdvtXbdptalBErknyFm>){cQL$EdKrRFX z0a4~Q5BK4XXB$r(F?S z(%;wRajs6 zBp$=dO$Ab8n2zSVb9F||gI2P!REe1Tfm0*jMyR?XvnMCBc1Pcg8>0?V$V@3V`baaaU;krI|E(Ty=ZB-4(N5yXR7{cS3g4%T(g{60$;~c_ z8p?sxGr@V!8aIbO#_GKlFoz=Kk~C=yl{6d3WY`>|Fl;{gpBo`?$4KuRm4Q)$h*k}?M^L^jW? zCKx5O9=6`z^eJScIoP`_k8WqNZDbdYv43S=o7H@NDC3gsEl%Y$kx4tsR^ z(`ZOvzCzpsw~_qFi!&lv7rhb|`QCoJqp$o)PL)OOA#k*%qK%)GdEK0Db!Ye4))(xg z8uBxrxksLp3(>$-XkijG&^1{(2#wIrM)XRx(kgSxWejdqO3GhHX4K|k>OHfp7j_*9 zAxr5OuIDR6#aD9~1#!*bmc5}m&*FzKmso1y%Xrf5r?ZaK8N`NPFRJAxGWca*kQEPO z9Do>gL`6Z+O{%10FE|+bxV5)86b ziLsQRQ)_0a7sLz{0R=CteoS${tsNB^J{I9I(ab*-?o+a}PE zV2=@{uajLPCwylTfX)r1H$1|n`ZcMR;bT0{gk&2%C7C`@=IYjs;xmfcP#wBkG-goT z*)7-lA`yny(Q=J5%D+Nm#nTyctJ9T-y!F+$P~JaWL#Ni7P6M;zzZb)LkI=;1`2F)= z6w|&%@DLTnus96U`++V4E30RVKXMdZ^{w+O5(AzBTqpS;RBv^8W$qM}$6wQ@ul3tp z67agbOQng7L)@L_t$Y;5l3*J5xV|OrbS+iH+SEe3@VB~+{T+8DaKc%GT3_{>(GIBN z9sMmUyQ#V>>g6rNr)OR1V;$%mv6gn?a{^cEcAVan!oDnIB{J}YfG}ZT_lI%5>obp@ z-;`(x99szf7*sZ@)tL;E@fF9OUl5KkWVdlK8x{u9aY!gD_iIXSwHZ)x4#^y00wfLQVNCxBPPIvK1=^ z6-zs(6$RJUC_`@0S;cH74YYKPyuDG@b?i!_;uz|PG5*Q_AXs^)`cwq2AwbQSD$zui_xGg4yTjb7FIaKBmbe z_cKxSt-iL|EmZLtyKyClDVnV@a3DjH^-kOC#_Z?C_{YnRIl}#+XyXLmEoDL1A3276_G}rBOB(dvLT}) zwck5VA$+s$NPAsjrFl}@btS#pDYYwsks;#X)Yy@4`wMO zyt`hxx`qexNqp|yi`EI+ZN^Fz&aR2ss6#_lk#V`(co%<|{K`J9(7`(Fb9lky zL+Wm?Z@tF%X|hs^$y9Ij@bq`Syg+r^+-5GRB;$)knj08+NHxK`;ZM^bQv39AZzu|ga z6VA=RmH&>7kY^@y<%gSRr3J=pB8nGivV@cv^m;Xfw>3h25yz<>gp zW^mZa#F}Pk7-1an?|uSmFiV8lU6d>E0RaL5g@i!_yM=+qC)%=vISJ|*ATbI1m2oMe zQCNq+*zs%p6ZH2&bO^Je&5#%e;#?MPzhPyd6B>JB1#z{q1T8t3Gr|IhW^VB3~`4xfEE!M>Fc2|e5r5rNu3ZxaPdCp#Vl7r$uw0BtLV%^n@kt4{EY9J(w_U7_UA9uD6uo^ zE{(1zwU`FRLCn7(#9J9JoUuFIe`-dskGAS&Y*c+`Q)CG&IlIPiBd~WJs)F6TwiQ#B8PRxvs(Hpia(PLV}00HhV{@|%$;GG zqvj?-9KxN^~GYJ>!IVlo@4Uzv0q;tEMUIFlP8h_ zT7ow{O2@qW88Bo?5%6hceGov*z?PwF^UC9HCx zk@;0fD{$JLO|~zNz$F4DV%zD(wXXuiiT25>yA;_ljaFf6pb9 zWCM{b^EnoxXad{smRI$$hf8nn$){}(Q|+jE$*aTWOD`hni~A%^)CQ8X?VWZ{@Yy>6A$({Y|YW(Lf6uYMzENQjcqI_0&AM?X&N+| zeQGV3LVYDRtp0R8*Syv}+Jrt2=QkGhWXj;Ds@W__zEU^se)bg3>Pwpj>aOtbxql@= zF8D0j7Hy>Me2B13_NgKHf*AmS_R)qHn7!}xYL~6%&GS^;dduI#ubkE4Eoe*{(=Ryj z-h2473Q0vdOF^Zny}SK1sXNPLGmd`t{Y&Wt{6}u&v!)bOa%K4w7+cAJ>swm@-IF@8 zU2k}^NN>I&wsO04UCop;bVj#^d_eQ?s_#RM{EABcYohP?YUhPEg*fnY)Inpg#_kHee zfj#PD0g*-zPavT6MoG9wepTw?QKf5b!12iSJ^wL}rJ%;|((T76k$sU*$H&&x`$Gy3 zYnQP$X_B*-E%a1Px})M8{XPt8XVr0!i(xTw&VhyR8DjD?oXeH2%15>7rf+q=vQ763 zD-9!=p(Z`N$>x?S!2@p>-nSi-v9PRIji4#LKR@$0;q@i(wQ0U)m2ds0Y^dpS62j(m z=4UdK*k3M_-0r{2yv6^aqe4d#I$%@T%1QekU{L{n$}O$SG}P|JvL!C6(pQXaYrTD2 zQJf`|yIdp5qG9|q@BM(Q7L=T@6s^|p#}QcU`VWQNn9SY_oCpj0!BO{5D>Er@pZOe& z{L6gXxcp-2?wYAmiCM{TfY4|L&+U%lk5;7`bFJ=nmMVNmpD)F9 z9arj7prf{v)f!N6Y5nIxz1_j!qp^?#_>5tt_wHZBE1Uf9)uRYHhaOP(5`AdOh~D5>gvb!9u&LAo+PExa>q=nRJ7CQ@VTAc+ANM}vAu(+ zTZ;uetr`a;lc`+Frasc%KH6hGc_tT<()93F{CZx?tg^`x%5!e{@X_weYte~A7Zr^@ z8w&e31UF7~p}qTdi(f-eb3j5CF|QY6udJ2kM|iVED~?&^hdNF52Og|5vmCO7tY~>g z`%T$C9NaTLZ+dg4O6wuzOt6{@P5@FUx8Zgz+0m1>4F!>63g~*aSApj=^Ylby{SXaO zx#fzuDfPp_?*~^HmEv?dz6iqax1qv(BpE~n@t$ezvvoK+d!#n!MeEZ*w$%G6qjz|E zRZ?`T%n7S72mic>!+QXv2lh%76t8`&gy*Z{DsiD8+A1-nI^;5;?8#~5R4wLA2NyiTG%e|PEp|uI@u;&IanK* zo3uh>Gepxj`Tzxhslh!Y#}W4h0j5j1SRThWt$CLM`e$2%?Y4s*>t1azg~|eYOdtqG ziHOWg{*J&4eFm&}))KDowyP6~Io}bhYAq>~2pbI!XORRO7XUzQ6>Xl4$7of#tFwK< zSGf&TWsH_cDzCkvoOroz$4EJ$oxTEVWB|5o*Uz)*0k$AK&_x@Gd@!7mXLiq>wG(>dy{l$M{t&KnmJ4g{Y?F|{gufMf z&UNV=xz=o(s#$Kl7q~g#AXt0oCt%Qc&m;8UD|FZku$vHJ~ z!O>?S_qJWw-d&-v&TJbfx{L_PL~IwxF^B0ghw7R{C6G1vYp}^TcafO%9QUE4vM*av zzTl0_oKaWRLx#%5sH;9xX+|`qMZPn?0B~lui;n1yN;>TgqDjar#Dy@Pr_N*rpx|SB=E!E{I5l%b9`{dnMNIgAvnw&t6Z%CI#r{bRz(h9le=8CjYjz=9fE0CG zG*U<^-pvSSk2{gMYa9VmL*>lxo+w8G?)Wio?m~;l?@2xmC~33m7MR;wwj(*Z@iqbE zTcWP`@Fy)z6AgUDaKg8eXVPRrKbRuqrR(^JU)OR7{O+maSMv$8mjXD~iuT@}dfXr% zI#9!K$ut(HJxJR`#lL(NVn=@`Bh6Vru&$HTmu|yxD5?q}{bIFf7DIL3*sW?urPKD| zQ(gMkiILB<81B#uft-Gretk$|kWmk_Oz(9d=f%LAL>NXBSmTHY}~tgETZI!j*XK4~6xeB!v@K88Ymb4oCg zG7@1TNBu?mh>TPYhOs~+9Gp<-6T(P@)XnS(j8jod)<98-R}N-lrjOMju)#mu70m1r zc5XnfUrj(_8~3k9J2Nr zGDx@`3R*!UTat^7&UXN+jO@^v18@u;xxDq+6FjcZr@lLGPMjU?&v*fAb6ijd7B- zHbeh*fU4OaGMKG*1zyJR>s2KRymJ@;xrH4ciPkMmF+y1Yc^3M<@);)ej zo(jT}=mX+vwEwJbV2P!Wzmyoj|0>fEDink>Btl#Rxh%{OXcQ344~Fmy1G%i7oE&Zo z5DGK|5RNu;utr#5_)%y$_pczh+PJ?#2*lgXM9LL3D@*~ydD z{8794S0`6A%!(WY1VhL{e_lXgC{zdvv;zKt35$RUg(>0%ME=GE1%(L?`#S~#feDfQ zcT7-Fi166`J0>gyA~^r=n4pjdArAfxgNpuRUZ^mk#`JG`P+?KR(*NF9_&?Yp4EhhY zh=}~d7GW_EA=ZD7=Y%#R+{EaUN0$!59Y*vO@s83)p$Pl`uiBO}(u%Opf7YEaPG)GQ S6YmO(34_QvIOH`H$o~f>=ailR literal 0 HcmV?d00001 diff --git a/thickenings.c b/thickenings.c index 9d72f56..b828a5d 100644 --- a/thickenings.c +++ b/thickenings.c @@ -330,7 +330,7 @@ void enumerate_balanced_thickenings(semisimple_type_t type, node_t *graph, const level[head] = HEAD_MARKER; while(current_level > 0) { - // calculate transitive closure; that is, fill current_level in every spot which must be marked with the current hat (but was not already before), and -current_level in every opposite spot (including opposite to the head) + // calculate transitive closure; that is, fill current_level in every spot which must be marked with the current head (but was not already marked before), and -current_level in every opposite spot (including opposite to the head) is_slim = 1; queue_init(&queue); level[graph[head].opposite] = -current_level; @@ -375,8 +375,8 @@ void enumerate_balanced_thickenings(semisimple_type_t type, node_t *graph, const if(is_fat) { // ERROR(count >= MAX_THICKENINGS, "Too many balanced thickenings! Increase MAX_THICKENINGS\n"); - //if(count % 10000000 == 0) - //print_thickening(rank, order, level, 0, 0, 0, alphabet, stderr); + if(count % 1 == 0) + print_thickening(rank, order, level, 0, 0, 0, alphabet, stderr); fwrite(level, sizeof(signed char), order, outfile); count++; }