From 4cf0fcf7dcc969ceee80de65eb4aa8438b1e1826 Mon Sep 17 00:00:00 2001 From: Francisco Bustamante <23560423+chicolucio@users.noreply.github.com> Date: Wed, 8 Nov 2023 19:33:23 -0300 Subject: [PATCH] Readme update and styling tutorial --- README.md | 14 +- images/pandas01.png | Bin 5037 -> 8573 bytes images/pandas02.png | Bin 11402 -> 0 bytes styling_tutorial.ipynb | 1078 ++++++++++++---------------------------- 4 files changed, 327 insertions(+), 765 deletions(-) delete mode 100644 images/pandas02.png diff --git a/README.md b/README.md index 2b0a601..6d2daac 100644 --- a/README.md +++ b/README.md @@ -5,11 +5,6 @@ It is a fork of *truths* by [tr3buchet](https://github.com/tr3buchet/truths). ![Multiple outputs](https://raw.githubusercontent.com/chicolucio/truth-table-generator/master/images/ttg_small.png) -[![Build Status](https://travis-ci.com/chicolucio/truth-table-generator.svg?branch=master)](https://travis-ci.com/chicolucio/truth-table-generator) -[![Updates](https://pyup.io/repos/github/chicolucio/truth-table-generator/shield.svg)](https://pyup.io/repos/github/chicolucio/truth-table-generator/) -[![Python 3](https://pyup.io/repos/github/chicolucio/truth-table-generator/python-3-shield.svg)](https://pyup.io/repos/github/chicolucio/truth-table-generator/) -[![codecov](https://codecov.io/gh/chicolucio/truth-table-generator/branch/master/graph/badge.svg)](https://codecov.io/gh/chicolucio/truth-table-generator) - It merges some of the pull requests in the original and other external helpers. The following are some of the changes and enhancements from the original: @@ -208,14 +203,11 @@ print(table.as_tabulate(index=False, table_format='latex')) ### Formatting options with Pandas With an IPython terminal or a Jupyter Notebook, it is possible to render a Pandas -DataFrame with `table.as_pandas()`: +DataFrame with `table.as_pandas`: ![pandas01](https://raw.githubusercontent.com/chicolucio/truth-table-generator/master/images/pandas01.png) -And this output can be modified with Pandas Styling - -![pandas02](https://raw.githubusercontent.com/chicolucio/truth-table-generator/master/images/pandas02.png) - +And this output can be modified with Pandas Styling. More advanced modifications can be done with functions that apply styling changes. See the [styles tutorial notebook](styling_tutorial.ipynb) for examples. See the image below for a fancy example with two lines and two columns @@ -248,7 +240,7 @@ table_val.valuation() ``` 'Tautology' ``` -If a integer is used as argument, the function classifies the correspondent +If an integer is used as argument, the function classifies the correspondent column: ```python table_val.valuation(3) diff --git a/images/pandas01.png b/images/pandas01.png index 55d7b0aa78a426d0802ee8be28eae6aedd604385..61fc75eb40c8964d19a05de69061f20116920039 100644 GIT binary patch literal 8573 zcmeHLc{tSF+aE1Lw(LtimSl-B8-qb=B8frvwVIW|7-l9jNK}@nBuOPpWhaz16iOm0 zDH5_JYlW=Y-|uLB-uHK1@AX{Q`~LTQ=lZ(ubI#{{&N=tF@B4g@NK12LJ{~C^5D3I) za?sEUkUhZrh-(Az7ZP?o9}usI4kjcMlieULpa38_Hi0+*jg8~@p+5rj4ICRm8vz*( zyh4D^#;{*0j?L@xJfKVe(BlAI`3HtQ5{zR5h!2p7zzYX-5kTeuFFE4-SXF?|ez?|u z2LX-E{8Jj6U@T?f>M*D}LIdazg(FZf7z(N_3)4X%pnw9PId1-*5t}JIY9$^ZY~YkQCt|S?-cIJ13pY~RcbaQ6QN%Lz0#_bNMNFtzhSD#? zSP?20p^4Ts+zS!XXvmjY7C6cDBq}LANINFt9_*WVaobJ2c$V$<;iY%J9!eo=lJ{Rr zuUd&-TTpoT`qg9Oz0F7;-|km&`hB!55-d2u+HaQuM()Pup5~DoulM$XUzHEd+V$3t zZj4FG|DaX#NDi8i`gvAtf?s2PZsK}CumR>N?OMK3H(-1|7TLyu;eati;i(jLEP;w6 zs+d#%Dj#oqRBWMzjtvx4{Q^ z;&lk}277q)SSWyiLS$fNSrjjCI*O$)zs`#SbapjFUUnVA@YI)g0Q_h_l}41+P}fk0 zf{j>YKe+rJ9$7safrPR$Jn(}8DCx_)GZ;Q72!zRGsxuMlRGJ$ErlX?+fx;nhI2b^H z>HgjfEDP*S-^r%<&S6NT<7s3c2AS$D%jU%5sK*)l^725t?9cg8d@z__^xpIzRsie) zVPSnBFm)(|LV^6*gU&GW14w>M=s)(L+xYtsAyz~>^*9YrH1Z>QGj{$-LBRj&?{l2y zwZ0qz9zygYQUE9&7!~%nA=wf4s|VWzZe)tjdN07(e?v0Jq~FH++uYbK>&y9bB0%?F zynjRgT>Cm0Kw&T_Ln{6_dwM2@`tt1YQ3NWUOhB!xnp!$o0!%{(jMdVCgEjD48el8} zt^tN3;V`0>7LJJ3hW$Zh;!S5@z41gg6+o^|26#wX1Px6j0S3nDK#5=tI8F;7LmR6LEQ1J;{>sBPKl3mcia|Njlm4jx%O01s^WK{6c}-+#U8dqi0ieZQB!7rn^qp(HE29uz1n{`(T>SU)0R zeVzc<_a?kM*4vE;WRD;2`m>(=A6x+kCE~t!L!Nk&t``iFK0=5F&bNz&pRbJmHmA|8z?nL%300slYU|^{Be>WK9$ATg3 zobhwTdXWEN6TNl7A4vx2_q`5CUO+B{{7QyDY{pJI|Bug)z4(6|0igbOkbh*~f6eu; zx&Dy_{t@_J@A}tV|HuOW2>h>i{hyhO=l6Ar=nZ@YF@ej{6zKT@;G)HeGc`5@t+9VM zA7)+#YPfw4I?_R)t-|b=1C)>`0aR{bm|%>y3~%KU`-`irX3`V{+9qXUxX*^w`6bE1 zOxiKIUPd=Be{AMfav|6j!>=-Yx;yahGr5{D19}Z9y}$VsNcF4ImV+@;8?0n+QY4Ic z^zSaD5;lTIYIZxGc~TvJ^M!{TX;)0k?!N1;H4%@}>fVtwAHAI^ZOS#T+*_{F#D=ftj+rEtLLYcCLSI=oPSk_my;XRI6#fr0Mg_LNdS3lh|$wLEWxpBvS(G? zV0p53XlN+czF@;Ckkv+!G@vkKEEB{SYt4>}6EQMcSYDV$xV`Lq6JXrN%Xy~Y$iv0S zT7gR#Hp;@Je5Jsw54$+_u@D z^1=LKhiIK{S|s|ADyBep<`I8I{2_TUoSqG5&6HC75{#f!?C%Lc>-1 z#I_M;1-|%I2KAFrwO1v+=$^Od(KQZ2<~pm9t0)@R%>>5Uno&`Qw#>a)f~OBS+_` z97VqiJ_4@lUy73`C*1>ZaKE=B4TyF*gZ3KS#7!3iZ>DZaYf(nd>p7y%)F_wS>zSm; zqLc)?q$d52EFES3I3QJ-cOxK%qp{kV&Yb*jO{%QQ-5*>fVW7V(KNrxYW! zD=41ovH2DPnkGfF*el1-6_ega+T+Yh!aK1#x!vCg{=n1WaJexQgV~=xoIFS4vyqf~p4KoAhO^?9p$or?A&D;E@JOm zdFb)}w2KL9rUVoI=4!K#cVWl;J3nw&4nU3}oYT6m2ej;-MkPsP$bB{GFXJj4U1Yp1 zDXq($-^t_kPX4i;h6bVModIaeM^L|V_ljl*u5|Uo!w8!^YJT&;Ao%Kp5Ajt(U4?U` zn)4l@Hjg@GbEe?FT;a$Ui`JU=N!?ru6t5Tcw!)x#`tm&Mon~&>#7%YiGHePkD~KcBvoKRXkVMYTX6xYiWB+ zn9x8$7}uClx|1Arot{-CVs?Gs3Jx|v$|`s_5<+9Btf_qs$UG& z)zyWSR4epPT#;<&94kq#47*MylPkJCrEs+&_hNa)va@bxOA$U%?W3?Mf~jjW8SdlC z;5!wb!k_Bv6WXwpu>_f(=Tm(4k~BIZH$V$LKsqpOZ{eL87~Yl3vo$xrXMuKRY%62i z+FZJ)%*3;vvFF>eVtoCbnA3BsqNlFq^E(6rK)x{BB)h7o?jG$s3V9p7$6LElxjd%2 zcU%NrWqUL;JE+Sf4Zpz5yPC)6FL66xup z-{+ptH@DuUf6w(vk}+^Fg`6|4PboPSe&iG6=*+Ffp)T>Q5elQBnIKP02=|X;Cej`u z!CSSqy41jBnV6uWqB8L?;`9#XLUi!#SX=wi;FW=k2302(gt9q!tfn)syOIT9n=FMv zHX|V5c=~Yw{vlg80pn(IgMLc@yk1_HKhL#aG6Q}0BC=$*xpNoc!={{aOQp25w6gMaiOS*dFTRGs(z_OK&@|(S*%|i(M?)w@ zS3~1A-W{|Ky^@rQ30}J=ONiHcXx>uB51~cbb!ix!Q(wEMTZP@e>rv{l)u@A9{WK@H zw>vB*Bw6Thg(g%HzHceW9BwS5?ILN&Sc=XH7tHrktdLb~l0Zw`8|is7JG=0fH(K!c zz?-|h?~;RCnIXp0(Z`??yaDZQi&Ezpdi%L*-Qr53?<@^SANeTapAx;SR&kvb;TyXB zQo;p!IhWb<1`@oSD~L8dx#cSh%2EzwTj9qd7g%Q=9eZUE9HtbS8*PMv5mK3HXXOmr zD};y^4^%JbabCjG7E1@Ddz>?s%^gvw=t=Glw7WPy-s;d<>)4Nz4+na+lT3x=Yy_3% zLhqhFB>P0tl=uA2&JN2&tH$tzZmnTc@6oYH{4M@|=u$I-;)s}3c_%=lCTynHM zi)!8i2`v+M)vILfM)=s%fpzlh?1nuR^yx}kI(ATuJtPYCo4T z#((ZWH-1h?w@d%i&J(`AB$0`>kHb-GGj(3ft}ILQj0(5(T7mmp_AF;hW6HIr2J5@G za@>B|%-7|qUPNJJ=$&xEg=yfbg9lb~a+X&=rcZs)NNAYsxhCJ1zIy%r#?*`$MFn}& z2`kA~Wg&UH-cP%&rg>|#`CO-a+{OK;T{$)Dp$|G=b+%{Wan7D_$qVyR%+8i8vw7bH z?9VK$L<&IoRiaGed!E4$>RAfZzYMVd?BSQE^q>qDCO#}umzbWq@#=eyMp@8pjvGaw z^9g_W|IJPE%eRD_m#cOvPogoKG><-Dow~?(487%NEd2KUkkA|z$1SKLYxs6~|aN)%swU*b{s`YY0f8h%h zZ9VJCKIIBI9aQGww&-_6OK$oZRM8<^z59WPo(LYTPwu}xZ7)tl1D~U{(9lUy>rVoO zsoDkKyG`81CZdjy5wf_=rFd+Fg;6z5>|p)Lvo5!5P1@i>4*!pOAo`cgAh5p+NHK|;UfM-Ut}?(TF=@@MO334V{M+EZYS5TqGw8#%~%Q95u}s2 z*qBx;!y8~fF3I}Z_`sl1u~eyvA=&0?&p6+INh@CB!DZru3a=;q0-O&mDrw&cUNS+; z>!zxfS)6-w=~-qanleA=qZ8ECGUOFh*Drutq}_klIukA88|Xi05&yL!Uv%^J?DLZ% z$?2OuN2n9x#ob*H(u?AH;wD#qlhY(6b2Ps*H;p0W$iTfviYH0*$Z>c^j&MGEbi1a zP92FSI?CJZv)FIFzJci0II+$t2>7GH5td87PHeu1h7_)BLM*W`s4ef%8)c=@_1!zP zH>^tEN`X|I|E)J5TRKouWag#KIb7CUBK1WdeOyPx_Lk~Sy)ZYGanZ%O)a~JdBpKYm ziDHa|b~sidJXA`k;JI~i3U-1CzkVulCO6`B2= z)hEA_krrIHI%9h?7LmzDTF`^^S~{-I;E0GL+I>+eg;1%u`a+B-Xf{@IuOniYQ`pG@ zr)~XpJDclGF|Z|Ea>A}q!4A#&g{#S1#f#i+_`E3PXRqxJKXNbI>15MT)Ks>RO`fRe z@)ZxGQ1Od;GPUpqgbQP_wtA(~BX{oY86H?;Nsdwt^nK4p3yDJty)csw-w)cu3*gp| zs#S|~b!)5srBCN8m&dp*Y$k~Qih}Q&E^UwD8g$4Kp+?h_@mAJ_7y)OOTUDN_d!Fs2 zAI?8!W!**?=0y0~^j_zse>A0)5!7)wsH9zS8=BBQGnojPMKi*bZ`giy z?(LgUa)Ham4i;649XE=UQmhMZ)qCn6JvkHI-hD{TF|gq1+KKV&kiFN6#MMtO_Sx-= z%f-k$ZjmnNO$r>sf7>cf)xUp5oVf8nrGhK54t1f-`+BOAb{{0#HYxGGALIwl?%(<9 zdpe-K<}55WWHpHv;4 zog-ZDe5KWqbB?GweMw$D)l+|_(ZKQPrwY5+_vqX6az~H)emfIgwf*H}!_v!$Z5v@1 z6UJLIklA_F=E84ojxtb@hf;YS;xx&p>1`@XWnr84Ym#@1VHJYV%!_ZkW4ab0**Lwt z&+(3a6Z>q{Od}PZJ)>|W?$u1X_^IOAg?Dudp`s3sJqQ!v>ozqot+T5PWS*SxvZH0! zyoYnfp>(V4smd?;Ei~Klm8>Yi3kUXpp6kBtR9aABOO`^GgF}R!IltWP5jFi0$Q@_d zxo+4Q@hvehI;|{*SHvoKdp&$4tCbf>Z%d7E!{`B4$t~Zfz6xN4m@meh(Lh+sg+h62 zq4$WRp`qKh-f!BG_{4Pl*QxXS>&s`;vO!;GTMbX3Koszg6Of6KxnVx~*y;ZQHj9zc_PIN?5&g|fMmar_`i1+qSJkjGXY#2~57$RBZFuwzLcV_)|Bt&?)+-TUU( zu617f?}m%^yj!Q2XfzuG zsp2CbZXphUj2Z53^+5GNek}|Ua^nYs9q-Py6zH&nvF_C|bHa0Sa_B>@4$;RO6XWB0 zV4Y`fiyf`LhgKDp7-djCcnV8r(B)}Sl8m~g2u4SvPgQnC#>2~(a)jav*x{iL_d)W) z_X-%`zv%!q<;rc8k1wllZ_Yw4r?czFR#sLrk%*M9N3Rv<476)!n5}UvD*&s|2}`~= za|KSOntBoTsjYc^O3aHkBKD|3-CZ}W=Pna(E6T#N@K^-k-B*4S=(7EgK6i@EH4%UO zP_H`FSXHhA-8~9IDH_6oVP&55+=ur-07lF0I2kufr^gg0+;99E!R?=?tmB$gNs7=p z+A^2zM=4jMHRVXw+A)0<>%SGK6U~TtTckQ*Sv5}Pm6g=K zL;}IiiI*h%U{t~d&GCpGF#hPY<-$2S_EtPz0&J%{5v>{T-&7{4GGZAo;Z<7i|JgfN zRC9`wTI%6kyd1?bgXS_sHJr8uaGb8Wl(*d4--X_zd znFn(_6qT0lPW_4L@2h*t*E8GFafpimE-Hu8v9gK?jXkamE zml%{!+Hc>8y9K7zj?ye0ECa_kRlm1`iV-iqc3L+()uv3tEtB)^2v2=fJx?^IehihqYdCpXrUAYL4xOL$N5$RHB5u z8sv;zifE5@wwG0>JS|M9PR5kWWaLYjDUXtosVN@Y-sr6eddg4;^@>Hf$?0zI9#EKR zH*z%Z+2*okQ1R)`Xw&w*;HR9YLlyx|CF?tnQ*Lb+Shw{I@K9&(4E$HeyU3)6t=V@+ z$U@E!PZc>d)}>*CGbu0lHxcZ%<-IHJTzn`a^$<5RJL;YoJzRm3N9`rzbekN_+teZP zKFZa|Lx!BfA4D`O(_i)--)gkyv`%KxjeWR7iX)tp^vhYkgJFXB|7(~tW1Q~!4R;d! zWi;|_;(-jnI(Mms4A=KGQe53hc==7p_{CG{-Nw0ZxoR)5&n<8k*j zchbg9hw?w~fda4Vw({h&cDYB#ugEJCG)t{5obnINz1iXNq1w^ylHtI@GtsBtX5<*c z9U^<$lLUtMI&(j>?Q|R-aM1}Xt14pqABGw22N6Z%6*YzyoEcB=t>e<;Dt0pifj+mQ zg$&Wr1^kjEBmBZ8Zb9fOpo;YHKr7_Ch_tXZdVaIb{f7}q}9Wa*Hc^PoraE)^7j}oxI*78 zmX}F4^FU~0HkeX5BuAK;neFV?Fla~=qI-PLTnhW06VM9^Rie$J-|N3+JOQHCF+rkn zUT4p2rmV>7Aj88(3&FXN0p|9Tg_-=3?ZB4jRyn^-OmQF4%v(p{n9|YfIiasdp9sOb zA9V0$4mX`-B7nFz{p%jB%^gcm>aP{tx1f;cd(`i~=4zDGCgL8SAdJsr)kFi@Kp`nCr@qa_eaP9k zDNE(fi0s_C?^X9WW0jc*t-f8HU)_x|LdC2JHgm8!Ma$S&qqR?cU1&eW6>F}cz3~xc z;}XhisvWR%s=)hMqFS_AbdxB)eDFH|NH!xgGxK)h8WVKe(%RP1(P48r!4YVl?FXyV zMFkk7rN4e%FxOeyBSt`ISX5v|_FY&+!E?0_DznX}_;`PQb>z*ul1S1{;Od&9(~lAY zGgM>1%&Rf@)%<)FTxJ8A>S>1(w`fZoH1C5L5=OOt za%yY~AYx7e_;yO#?4rs!hWIMB8XCO%N)wGTZ>{q2tId=H3^jHA%F^G`=j{v?uh#Cd zZ>t_%%66tkg?m*d-hIvYeKs*!8;zTMy;@4-xR0Ol*qZK958<0<%{`@E zl!yh!aG+?j40qgh!BPO$UG>Kr__H>%-zkDgb75Asi-SHQeIs0q*M)2u=w;0J84py6 zy&`W;cjw%?uTL{Ag3()L`j^ry81*Hzxtrh=mT@+L2i+inLL3a7WqjJ7k^*b&!GG8O zKk$Dkj{lF>LmQNCj`UeRAKQuelDS02ow-295y#BG|Uyk=SHM-B-ub9%9XQ3sMaJS%q&MqOi=bZi{{HP*2^{$Xe> zdeh z;z`w4@MoT%^L`NiK*`v`5IuI5C>zTF09YpW0T>lwoP>-mDOBuQO|WCWcmY~h?<98L zi0hX0LIH{{bi<}O6+I;-CBpcGL56F4abl2jf0H*>chTHykegXV&zEZLWN-eH@elvb zfRKpQ9!h2wU!OgGo;F&KBmeOW^?;yH>pK<{4UXTR6Hw#Wmt@Z^g~ZetMJHisGSuENsCR!K%|83t0@ zwZDMVwM%Ou88*LnG`jx$mVqJmcaO6K_;cm8+v?&IJ!tV7zg2y zyPJK3MKy(Gu-jMGVnm0u64|}5R8^El>!g=Gl9b~!I|lwyi?zzfs;0+Jc^ib2nHkQj zuKbuIZOCCyiXP&++I8fxxTLB_9Hnnyp3<)B_?Y8C=KP<^*d0bL$4)8omrVYZDx65{ zboaO=3!M9WlfTD&Cz8E#m-ND@Bii}=e@y?-@xQW)BdPQSZAE9`3h1!>8xBO(VMUQx zkB-syV+lXJYi2go6yoCD_Khs{b8ie&@l(){j+~|N+aEcPjz`s-Jc6aP%<-PYCLaMf z6z)Zg{SM_pd~Hto%M?Q^4C9xY|HDm#+@*rs^VOvKywe17i>`WZCQ{r8_E=DKHGIYw znp|&AVj`{^p5`+zh(ySS%$D>Qal@B`6kZ5hMiKty@ZUOwUsK1mV|^GNs{3by@@r!M zWtTSY;J?wXAt?TA!YCb#wow{OW9=Q1D~T+{GiT2|P&D$>%P#4qgu&-C9=9|oYY{T8 z6YE9ZkKM!G*&el=oGvqyS39beM%trMaRcq?=XtwZxMp^{*C6LtCS4Gmjah^gJ9n*-u3kh+vp6$I_4u_3!;2-PHUg#W!v;}9_th@;c*s!O8hd$S`dt{Vapl;LqsAVp} zfC_w0Ts^ovk8%}w^)NN=XAE9H&<^VmBEa&|y_Ab%lUS!gY?3+pyCrhKKd1sfZh3-+ zn2Yh1NTN&Y#?6ug44n}O$3gLH9E3w6d4H!lxzat$P&)$2M zfa*28rAl}xL9=(jJXXI4wkCxn(bhHI;PIdEYhiA!n4li)^q(!^UjhHy2L2=s=q^^lw~ys4yHgGk(Bn3^&?VhpQmdw>pa=N`N?weElev0Vze=v<_%D2#M zji<^8GdVy^-pp8p+y$B6lR{7Lsr~y3Az4S!0GtdyI^#)j2~?@%x1!wj;6$N-0ZR*3 z@~WT~*Pzw|Ng!ylgv-_^Pli3s?_JCTl+JOr3SKQHX+X(N&jhxgAoamN5sGnt3}b1> z>WR=R3swlF=0P4KKm0(R^?xdhtl>LRqO2+RPrK(ArQj&*XLVN;f(bO#$<6-88$RkL z;+DTirPzCs8Z?y5Rp8)nZ(;&*@JnS5#}Oi6#VofS;6=FR?miGKw;@J)C zwzdl&i!=$oc$nc`5R@-pqIO{ATS2k1qT9Ps$av7hIY{4d=&d5bAXBx`POJV18$ P!wo}CNlUQ?^dj`%hk0N55;06W|VOUh|He*Ac9L1i9$OW`J^a)X$qLkGd9J9bdz=0BmwQ2kLRK^%E z^`C1xUNFv3B`!wtJ6!Xp#}|C{1&z{4-Ul$5b;{uV79vzp>}*UBMXs}$c>q#-F;%@~ zBjSlT$qtMNYfr^^A-KYoB7vLFkN|hM zip=5NPO3{^8s5c@kDqMZs{K}0R{M5Y5+@DrTqJtCVn#aP>2qupilmb$Rd=B5 zp+a>&4OKpTlei%8ByU%ZwOFVokgb3Ar>aExo5oUkPNDC@nVaO?{JU3~bs8e*bOnXF z2aXD#Qxk$7hJzdRU64S(0MGDGmPbscC!v4pXbDxjI|st9S7g`I_lrdaK^cZ_>~5dx zXKcm`63RLBZB_%)Yg|@eDRr#OKI@5?RK`mydosm`qqq9o8elY5=VZ87>)rrx!Yf~F zv|mY{EgMD#7RH3oJ0jYS8ZSTP^@893;ccyTS*k#ngJ0cCq_iWs<*r-fo!xA+X3ZTd z8@*}QYq>MoZsv5ZGX5{hclMU(MpkiGk|1T|aH#l>;gG~QqJNIAqrJcOR+eo@kf zz6D=)!OL?fx zWUi81v}Tgy%m1lpahBHY=;}RwXZwBKr_17NX^xKws_?$7i|sv)nR^)&Uqr%-_@&uD zd36d72Q+?lwLWKLHBQyLoH#|JyR&-o)$Sv&VNY)#5ou&iX=sjitH{r5PB)3(1vXq(>;`d8U$7|9PNpXmK3$Uc3y0iI`WZsrXU$5hP-P|AN`ti0^x< zRPoKi#3=Cah*lI($7Rz64mHi?P4MjUK`vb{@(Z|!Kb;-x6Ty``z^yGRdZ>^q2k@t5 z3W}H4rSF>dWB>Ta?P%|*xDA!r$%QwI`+A?$`>jrz+H_vQpX-amg=0>qmc{D`%{F7D ztHnquZAD09U1|rMyVjs=+%Z4cm`cCAxyi=PYwSn(^9NH$n}ME@?u(?QI+fo;j43w+ zqAxGUqI)%=CRm1DIure3frD?>>0|qSu6GX$HoJFgQoE9tHt84YQYH;*&p+#CfTfY* zDrJbmKHU$6k1OZJ{bor(tQNFB`^}?u-oEJxeM{=14saKGMOP1X%?0U7$?mcegEW1+ z?WZ(cM_wEP-j&}hSL}S1ASL&c4Kfh)+ML$9T5yzhQW}r1wVVD6b{wIi6}5!;ZoWg3 zydOM<$jauQs&tmRT1CHq`l;bc-sHcvq%c>J}O_AYSiN)6ZHKvQ8I#Ei2JL z4F0i6;~3JT^WSfNL_3SxIB+Kgh&AF+;PLbl)+%{x>5ZFk%-n7j%l_F+Sz&cdDNqbY z=rJ3;)U?oW1IH;9vZddxM%BwvP)nSd9(jGm8t2Pj@eOKtBG)VpS~8UbK6! zm{!I79CK`Lz5Y0Xj?xYht(>MCP>_xQ|xO*^lj! zWt=l7a(^GX?CpaXoo?K40Av{xmCt2m<1LUJ4&b^tosJ)elQi-23xM80t(=#qJ4O9Y zKS>`nt6OHI^5B;Y`?xtRh7N?GeD^W71NNd06v;+?1Q*6zk>)gU5Zyj2FvNk{QBnHZ zV)|eY&|Cdu&}Y9jD>~{>Ink$2up)omEGSPq`@(l3W=oyeSE%17XV7QF+o|BPkbpn= zX)Ud>1m9WeUaw5Dd&8EX5ycNtYCzKX8&Ty*Y0fws*Phfmm-Cft^s$)cwO2%Wcti*t zEiHz=0_d$lkI{L7M^R3I<21Zn$V->E*+R>mbx2?;RnV`;W(|J95g8Q9#dQkaEz{Uw zJ}*p8r%3az#!uZV?lK{H*fU~oAD^uGP48Yxw|k0+m*G3*f}A3*-!T(?d9RngoOsrn zxu#I#2QOXTg~?(Ri_Hz{OzHcej~tvP_~MUXq~R+%HD*6O>@#`hcQEc_DEv*kNlqA4 z1D@C7h=|C=90$QtifeV>`_|<)NJMkwo)_(sA5%upbmW3cg;92h3fd{IDosbubjlBI zDcv{(_+myA4qgL8-p={S4-I)d7#e5uNE_>C7HIrRQxVU}P>Ra9GDT4#)%_0-mY|$h zt-g^W(TI{NXqkkyIpX??mzsFf$vruVyDV4XI<{|H^YRe|c&Bf7D!E1N$(k9;FN;um03=_Tap8TL^rE5PT0xqsN4sI@ zbS#patHGsP^>{LJ!z#*^6J|a|d6R#H>}Fo?Nj&kFxV{b%%)P0y_8pjFkFQwwr#`1$ z+LL_mr>AI1L>M_?^g^uia8P^hddj#d&8P%lgdx}{uwZdlH8f;POviqB*U<^Y|NCLe zJ$#&@&sxE)3pO(nP(kJ)G=0!DUC!fC!k7V+o9E9TXTHHp4X!RKqg+eC7$0LLQ^a7l z_#Y=*nCgTbzV3ZN*Hiq|t^!+ljE9z{&NQ%1x0o%$!ls0P>R`z+t)ZS?;e|K(hs@!! zek1#JU-j{%<{BZ1aAuCzz6X` z56cmq$~6?gk+C5&^QV*g?5-5_X<^&Rj%lAu?tzfPa>o($y=1;gdL6F!?{jrWa!P$E z#RjF9eSGUh@_lJe0q^92T;P<*KKp@iLC=1O5Y;9j$RF7tk;q7&mT<-Ye(sqEzh|=j zuU)gUO?w&@ zri4>L;b0dzz2VB;09$a6XHuLGjnUYok+6g~le)z-LYFiptHi9b0iB}ndUbhB_BA|^ ztku^SI$tzHG^nM{e-ZJh6-Ic5e*gXA64 z+zBpCS8P_}{I0j}-?!dCJe-4Y=NgvHP3(u=bYHh$fubC}-Mvr4)`Zi6it8uVBz3l< z5rAB{PW!V+F5(y)-N_=&cRgqQc(gU&l5dJ>FU9P62yH6~BE*hp^P)=qHO`+A!Y1-c zBu@6+p%Us>J{4t0$9b(AD)0~^D`50xg{`-pN-VC2n9+}WgG%)Ds#w*4wu+R4Wh)9=4`5OwyrIAS)z8LD{ke3dffW{g zlk3H=mD@r>*1XbL+NNkg(egkExmh0dz~m5D#{S*N)vkaRi~LP9E8mq+xB8Gw|HrQ! z+=0NhRYfb;}oAdAWxHp-v)Ku~uZ$BL(VPWzr`=#toy zN|(llg%Aq$y>>ftnT!h!}8GF&B_O&9&+iX$6h9U6VQ@W zhOyU2G3FJzY#p{QLi7;8%&(qMd`*765@pCAq^xymA0x^!gGNBzrjjVSFX7Ogg1*uN zGxN$l;j_W`V}OZ5;6SYQ+=G@%9xV}qGVO|cGNva89W6Qy_a|Wnx4|X5^i(kI zw8y+VbWVc=RC{&OgogPKsQ?wPZJY+y2?Wn*U(#a$Kk5&JKo^1yM6daN*NG?z8fD>+ zZFO`GLYG!uUHnkXiH3t^9G2bj3jXO-H>Q4W>(H&z+VmNh(UWE4hB8*p)z6(iLQZq! zH)LWau6@T7J)(Z4J=omo5I%L9ktn@4U7ge$nFGRllx~r)j`*Nyj;#>K6TfEqmCddu z4$FkRnMS`?sLh;*Pfzep{3^Kl5DVNBKDJwoDO$bWtH~#y1HJ+Dc;ch9O2|slzK$=F zeNsCLv{fW3#W?$fz;Qv(Di!Ioo*%`{$<5>3EtKb6g5~x9A*OaYE&wuUZ7>bPfpjS% zEWl?Qo-WARH>$OE7zLtNF=5Op8&u@;I*$Dou5p{LBkD?_lb?#&Q%>^q75H$J6uk~U zC5b0=uFxSEwlfu4%G#h}bjZU72@jGd)~quIlf`VMAo0A|*TDX~mc<|8%I%AVcwIj^ z-UmoTv8aK%pbhn)AGWWi_^*UAqA~TEO>Y&!6yZYJHEsfrl&RH!;>PUEcZ8`h14zn- zw4NG6f96*0|LkP;7VG%{av14E+460>T@vz`Es7b8Y=(s7HMu+zoZ31fd_}6l2+^W9 zwQ)tt*^&5&5vrbUp~(|M^1pW?h-b_q`oA&{B6U-9Nqq7rxQ3f(TASy#j?cw7y*<3= zqkJT~7qhAo21k)d-r(fq?n7=b-^IiFhQ2-$3JyXS8svaId%{B>8O)gvo65Ht?uYb) zhoU_p6d2EjPx%c&>x}iOAhR3?R~{|JdTWuKFSDIydV!DA)KclS6X$oCv!sB)>y@A> zf)dQ5%fJw(>w|e>xcUSGaC{cma z97FP(UHEB#G|C@SYOOA`3?S-^ISt#I$iL~~xxP8FpY^vN1r}6`9mbUr&M{4}_YssD zCCfK*pWH0%7l1fIK~qT3sm;dFMyuTX4f9`4H>z2}b;c@Rr^Z0BHhuT$suq;4nPSXu za@{ZP-_*(qi?=3;fJw5#jF<>>xiT7HW-$mPVp>b5#HacYokqGAp_}*yszGliN&B2W z#I3#>YB=4?!JT~s*jG=cJ=$&}D=f<`u9L0=a>E^(GL_T`Q6=>hPVY!GmlZTOYQx3WHD3tsa z(D8mVC|E<=bQ}J1F?EJh)3VZ1K)80C>tx?Mk09NsU!mknWM-{%+u}UJYIZA4kE=%W zSvfA@-ioBbyd)4f9YG+Y@x+No8rkr+ss=U;Ur|(+G6IjN+R+m!v}d`!hhFsmGWtZQ zkd+RXYAblUIrVfi6mpVe578XiwHrLrEDF^L)nFK;oGVs+(DVp)!?bee7#XR zaM9+4W^Y)?fnrml*nn4Pj3TJ#&&BwRe&E+E&BT%2ll?dd4Zb>ec4N5}DxQ3@A)(QF zo0B_UK(mtk{4a8KIm1Rb9+=;$c4YJeC3a4w6mQS$lclkKPOZWYkz;?%a%od(B)WsH zm`42YxRsd4WFxi^o!nzxDx6U2d9iO!Tr7x*=N^J&=x`V@Wu@HBHWmWSGKKj@IQDZG zHGcCEx^^{Zt5VkO=E(hqS87u<_DHHXx2sosHj+30jZ&qO@@TsHBV0P^4@95<1Kd*^j5hl7;*B()wK)dc}O)dATWQ=wo z*y1^&HmzcdMtCWIDy2;;S9WrN{IoKi5yIblCVU zq%Ea@DtU5>G{e;GRoZj!U8z-YUcpwIyoc8O&ME;jA(@Kw^n~SFeMOx&u%v#GYzb`Y zF(OU|pJ;UJwad3*J(D(TGG328>Xs66G*&*Q&OUx>x(lRi`XFxC^8H9}aGi0WW`ax$ z{tWctymVYf8}`JTOsg$fL|ux1^#z_ESu7_XQ9sJu+O^yMkRog%BcKgB@&+hk#4rJ9 zQ^-?8OdlqRUw(9SE@B-NaZW^(bSF0=M_r4I)`~dozq>RbBpF{tZw)&`GkP}YLnTQu zDGk3iHlxPG`T6+|H;z=ZKyU&)JUrjcYrSzc$(THL1|Lw|pdCacjqBtz$fQzOuQ9)U zyps^EtkAAtH4u@Oyj93)|5FE+&@qIQEn`^A=j^PRH`-mD9w0z!Z=B(asi&}Qo|V^C zXj&OG#XQ#wTd zg`HA>Bhb>fLse+=cZj;a6{Tc=rWR+w!Q`Wc26mul zt{Z?KA*i5$%F`>aEFEylsKrOPmU{e4S7S{0 z9X*0w{zZ*PlTp!8sf|wMR~yqwF|VNKCyLX7p8yRvOHUPOeUI`>Y$h<9+Kmc30T%<< zKRbN)R)TVSg5i~^OTPRbeb*DSLe|Dyr+*$EWo4GPc7Ri7{Fb^cNYRE%GSa6pF@uAu zn3>emrsxnB%{uk6^V+o)@mCEVyQzcdJZGVD+|g_%Cz$CGG5y|kEP!&r0678Aux+Sc zszgKixF(JlAsZ3qos9$ihu2*w=uX9;Zq<^x{x=L0%=1IdkpIHB;u8#vUE9epWjw1Z zo+2jkAZjllvu!F{`WJW?t-`qXYL*Y3Np;gE{l#P?UheyZ9>B#8b=D(mFH0CwkV4aM@L7R~{A)K$8IHFd=JeYf>R42Lq;T%*@Fq)>f0v z8X7&dTSb)xg;b~oz82e0zHrZ=nP#!frLaufynpmbJ)9TTg7ptp6bMB|TOsFBrDrEO zL(2A73>;&!`>WZ^*A%8?FgfYxY=(Mc<{rbsrZ?3?aUhthQHwyOYbObb&nHc@y{`RC z)q$FLfiXARtMGmo97&R5=wRhMYO|HM6CJNNr=B1t1ESW1Q<#nk&hot21KIh_m?SV`TbHuAV z^!9a8dM{M^`zg*}IIUZcTgpY5oLHx9rOV=qcjC5gX z!l8-DM_I0Gc8$4!^sV+z{zKdLuvSp1uTfXV#UQX zL;TXg6^TDf@#$$_xxa4BhG_AtM8U|Jvu^pL-)kf{ryv!;6)4_XCXj_s)#aps&`p~~ zn>}9M(j}!+$l0?Tdob`>F_)99$DQH8i(uJNsb3aU4xrHkyp$C+FQ@xW5qj20ai}U7qw^m7fH8)|$n8sbT zcU(0sLXe34}{s zx*K-@H)%F^i;rj1SD5NmCGQ_HTRmXI1OFj(=7JhSmf#Ola(;-R2F0oYU#6~NUn(TV z_Sli^(=47;y~vOD@yI*rh-WvR>i4O?87c5i`D<{~X~9sdI4)-+v%e&{j^;>T(yD-U zzE3G3>HS=P6=`u%J@0nl+6h`9;ODR3xRHJJqf1Ou^ZTEIHK36XY9Jd9oo@|PMmrXr zm<+YeQ{B~xtM>wDuVPt$nv`b3s^t&%xzK$1K}zSK3$Az(@0H0EYWUXJRaX3sW9tE+ zV77|kT=JRFtl3u(w3D5v7#CLVf8oRh9RcAZx^j*i+vp&wwIy-jo`KZ_4Re1%G>(#{Hy?_g4i`#`8=IHlp>NOoz@1x|c(owYm5EWq-8bR$Tr~8RR)%-(;1b^U0&ot=QUqx_ z6-qRU#>tt6i7c{x1SAdQyq*~Cgjlod2ARg6xszG{l?NxX?Z#D9eZ+IQ-!-FB5--me z?h&k@D<{N#&a_#o)o(YGK-|nNUrT}I{yLGA8Nu=10^sG^(-jpyYB;dcbQ&HzlN1$q z=1>xTKz0&e?`fygu;gj@WVjLpX^JK{TeQF1`s|D=eY+bl;SvK-jlBuaNZju6pz2HY z3(d>fO-%CHSChxM$-anE<*ihIlF#yPc(pxV_b{w-s8s#6T7x|kt_CQ zk_XfKONm964=axe{u%L69hn7ik=nWmeQ|XS>finPOwJEe_Xg*5-x`O05QS{Qn%6bR z?}YeCjA!S>DW!{dN{H-n%MI3Y{BE>CAQHkt|6@}h%hRUw{lfvl9$;2v)1|@qDq}jKERFO(SRM!XnjaZfxq!;35p~Qw?w|c3ah~{DmmBfu)WEX=_h$# zHj1_|u?zqJ-#NYdH~liprc+IA!y`FcLiZ7O7X$(H0T{A9mDT`y>Yue+AN^dvEdG;< zl~#tBKL1iZdtnfj%n9{QA{n)~q1w07CtgM0KlFuHhb}XA4pyOGYpa+SngjY94)qb65I-5j#S;9kAQxpwn4;@z264}NYOM_sW+L?%ac7)< zypfPC1EGzyCkzUexX19}Aa)YiB5?m!h7RPBQxPup*(b0vZ!>=#b00ZxCn^*4a5`3rl3p+mhcc4O^%h0PN7zy{a zSc&TQ;-HhLAFgMIuDqHEP6KP0x;_0Vho$_rnqeru*m4V{EzSmWpiu}R0Qs^)J3$tD zqg1100T0F*u$yG%i8jIpX*`izN1r>T4s;|_EvDu~ZcqnX?Y#z?9C7F|T2^dDiVqZPyqn-h}u_A9>hAg}v7ko=pcUo$Y~7{lkFDwEX%(Ok37;pmYU zIK$#;&Lq*(#v7nql|grznwM2qsNXeQ`@f%}fR9g4g0GWOp4h@YFMgnC$}>$q-RCs82bXNm0UT`*E2e2A)G1 z$)8k2ebri`Can8KqtGJwg1YNDdEnH-{4(Xr^7|U;eqkzzzaVeyKL#=+mOk2lK-H>9 z;KPI4dH@0IMJ##Y6nwQLudO4IM&3!ewPLyCPPg{g4kq8`-$=Z6cmfiub5=ikz?|ZR z_}|ZSag!f`MX6GG)hS#;mu2JSQG)<6bO^-2?I)$B8aPEx|Ks0MGW40(#;zt>oY2mU ztuWC;#u~GuwqrRV0=gCn%Y4iy)R29k&ked3zp8-c!U+Wd3El!nY@BDU>xd;UZmY$0 z%dWU)+iTqH!ma4izihkEaZcs*swc954{2JVG0zFE(98-n_&Bk$&=EZ_@5?ulb$f78*WHxHjS ziL^O1KMv=3SK~D>!fY*FY}28<50ZkF>?P}yeD<}E3MI0Miej-j>}~K*p4L+gZ1D`| z#a~)~YlJ-@E(r+{3kaC))ZB<8uq^6q2nYyOLSSwC*S#359B3nHerio}!qx+ccgcsG zEoiX^4pN8^y7bPGm)JexoC|J@W^MH#k;l$P>87g=L3@79ytrtIz2*0%(ab@*AF}PS zVmvGTG8`|-cp#E*g}7zr29x|D?Q1VPG~6C=A08@GKPIu!HV7d_?BkZRJy<) zw}Q_1!1VO@Ad&K_wU=aV3U%VqJhXN$7~tjGo&{wz-@y86of7tyuivm1Mteqrbeh3A zi0Jh898*wg$T$Z^TgNwD7mJGsHrA#Em*4FExf3(6_9{je_^t8evRxd4_IQ#es87nXScW&0hAmq5G>6joyq1&od&}_WW-SwjP9LK$@_?NvD6ChCGpDGHh=7{2##i z|6UrkmAtJf8rD4g4@cj zh>L1@op<=RkerFpIsq~jw>GkHT8d lavRtFt!(07L($>Q-QQGtl-ELww|%pB q', 'q => p', '(p => q) and (q => p)', 'p = q'],\n", - " ints=False)" + " ints=False)\n" ] }, { @@ -82,198 +82,78 @@ "execution_count": 4, "metadata": { "ExecuteTime": { - "end_time": "2019-10-19T22:56:23.792037Z", - "start_time": "2019-10-19T22:56:23.353822Z" + "end_time": "2020-05-04T14:49:17.208345Z", + "start_time": "2020-05-04T14:49:16.446482Z" } }, "outputs": [ { "data": { "text/html": [ - "\n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - "
p q p => q q => p (p => q) and (q => p) p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
" + "\n", + "\n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + "
pqp => qq => p(p => q) and (q => p)p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
\n" ], "text/plain": [ - "" + "" ] }, "execution_count": 4, @@ -283,7 +163,7 @@ ], "source": [ "# applying style. Without lists of rows and columns to highlight.\n", - "df_style(table)" + "df_style(table)\n" ] }, { @@ -291,198 +171,90 @@ "execution_count": 5, "metadata": { "ExecuteTime": { - "end_time": "2019-10-19T22:56:25.237456Z", - "start_time": "2019-10-19T22:56:25.196951Z" + "end_time": "2020-05-04T14:49:19.598051Z", + "start_time": "2020-05-04T14:49:19.552370Z" } }, "outputs": [ { "data": { "text/html": [ - "\n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - "
p q p => q q => p (p => q) and (q => p) p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
" + "\n", + "\n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + "
pqp => qq => p(p => q) and (q => p)p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
\n" ], "text/plain": [ - "" + "" ] }, "execution_count": 5, @@ -492,7 +264,7 @@ ], "source": [ "# highlighting rows 2 and 4\n", - "df_style(table, hl_rows=[2, 4])" + "df_style(table, hl_rows=[2, 4])\n" ] }, { @@ -500,198 +272,90 @@ "execution_count": 6, "metadata": { "ExecuteTime": { - "end_time": "2019-10-19T22:56:27.571749Z", - "start_time": "2019-10-19T22:56:27.532171Z" + "end_time": "2020-05-04T14:49:22.703718Z", + "start_time": "2020-05-04T14:49:22.657043Z" } }, "outputs": [ { "data": { "text/html": [ - "\n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - "
p q p => q q => p (p => q) and (q => p) p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
" + "\n", + "\n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + "
pqp => qq => p(p => q) and (q => p)p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
\n" ], "text/plain": [ - "" + "" ] }, "execution_count": 6, @@ -701,7 +365,7 @@ ], "source": [ "# highlighting columns named 'p' and 'p = q'\n", - "df_style(table, hl_cols=['p', 'p = q'])" + "df_style(table, hl_cols=['p', 'p = q'])\n" ] }, { @@ -709,198 +373,104 @@ "execution_count": 7, "metadata": { "ExecuteTime": { - "end_time": "2019-10-19T22:56:28.932431Z", - "start_time": "2019-10-19T22:56:28.891944Z" + "end_time": "2020-05-04T14:49:23.627714Z", + "start_time": "2020-05-04T14:49:23.569356Z" } }, "outputs": [ { "data": { "text/html": [ - "\n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - " \n", - "
p q p => q q => p (p => q) and (q => p) p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
" + "\n", + "\n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + " \n", + "
pqp => qq => p(p => q) and (q => p)p = q
TrueTrueTrueTrueTrueTrue
TrueFalseFalseTrueFalseFalse
FalseTrueTrueFalseFalseFalse
FalseFalseTrueTrueTrueTrue
\n" ], "text/plain": [ - "" + "" ] }, "execution_count": 7, @@ -910,7 +480,7 @@ ], "source": [ "# highlighting rowns and columns\n", - "df_style(table, hl_rows = [2, 4], hl_cols=['p', 'p = q'])" + "df_style(table, hl_rows = [2, 4], hl_cols=['p', 'p = q'])\n" ] }, { @@ -924,9 +494,9 @@ "metadata": { "hide_input": false, "kernelspec": { - "display_name": "Python [conda env:ttg]", + "display_name": "ttg", "language": "python", - "name": "conda-env-ttg-py" + "name": "python3" }, "language_info": { "codemirror_mode": { @@ -938,7 +508,7 @@ "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", - "version": "3.7.4" + "version": "3.11.1" }, "toc": { "base_numbering": 1,