From 571b481addea7926a2ddd5a28ab1494fd9e31ac8 Mon Sep 17 00:00:00 2001 From: Isaac Date: Mon, 18 Apr 2022 14:19:52 -0700 Subject: [PATCH] merge --- __pycache__/group.cpython-39.pyc | Bin 2466 -> 2590 bytes __pycache__/logicObjects.cpython-39.pyc | Bin 7764 -> 8115 bytes __pycache__/proof.cpython-39.pyc | Bin 15350 -> 17602 bytes abelian_proof.py | 2 +- 4 files changed, 1 insertion(+), 1 deletion(-) diff --git a/__pycache__/group.cpython-39.pyc b/__pycache__/group.cpython-39.pyc index d110469a0503f0bfd45c3a6acca995e39f808953..c9088261dc660428ff23a2d5d26b5ce36809e149 100644 GIT binary patch delta 210 zcmZ1^JWqr-k(ZZ?0SG2P3QgKMk#`Sc-o#TXjA9etJMxO8h_*0938pXyGiZu$Hf4Oy z%(!y1EUP3ln~vMv;l{9a))!88k&V+cG|9X4KrQ$|}js zrU6t~q&(S$!=F`?(N9xwGApMEqxNJgP9*^qkd!)z&;k)UlM6W&6=Z-+4ki{xIAr4D T9uDToTR5`-oLLuj diff --git a/__pycache__/logicObjects.cpython-39.pyc b/__pycache__/logicObjects.cpython-39.pyc index 39ed0b7e53d6c8ea4e5babc7359fd4227ded69ca..08f9c578ffa5dd18b147c9fe7e0d42c5bb56ed0e 100644 GIT binary patch delta 1540 zcmZ`(O>7%Q6yBL#+v~rz9XoMt$HD1e;-;ijfrhpT4lX1FwJD(qqK3wGz1xH|b=~ns zKyav#gQyTljh=)A5+XUl1&JuCxDq5zAi<%h6{lPg5$Ipe$`> zP?oXOmRgD+-)&}*&q_XOvI|PSXX~H)L8$u<^2r)};v353xuaQ2)^$gn7xla_CBzVkD_C!C7vZH614sL5bk#L-=bJm zTxW1KW)N(p$!yl*4TGv+^QN+>wixb=_G?_6wY4Vdv^Z02&xW_DY_e6}EN`kRtZDVuzi-#pU95bc18QuZ*+ zmFHh}ox5(;>_!fLO`IGJw!;;Z=!$reKvp9{lnj;XAj{g6bZc|u?7GhC$m}%OIarK6%EG-Q_NXwKMft}#KBqe%{ELTe6pZ z1L1xD4(GY6eU@x+hYvpCPVEV@BS(p*$nlTNTQ%#gx_IU;vVSWukQ!hs@Ok1mn}DAa zLvSb6Jx<0Q6{G$COj6d|AD$yh{y_dp&MKvG8~#ciV{VqtBmX6?N3*1g^V`#DAM?r? zEx=snF?Jf>&17(}KFb_t-@{JkV&*d564K@@QafaWjO$Fy!gP8Jmb*Ww(vy_;iHo?& zS3<}#(<3BY+eE$QDp8rl>jb9>X!gY%L6M+LaG78)W76VJP|o%pzp^KgQmH3hqt^cs z*F)Ec&&R|he48z%r3>_mxI;;)5EP3rv4N6ss3)?&2U(qkxXz6OM$iZuenU4jTnRmn IC+TS5KUd;90{{R3 delta 1370 zcma)6O>7%Q6yBM&olVwRJN}LTT0^7!s3ifJ-^ipcYMZK*l(cCoQW99anN3PuH0jVe68>cwEVQId7fAi+OH{W>o z=x;^C?CtGQ@E7>(!YkioHjOO%Y4h;gF)Lz4*OfVaQn6xId|k2PExvg>owe1LI%l9Y zZDr7!k$T8t=arG{u8;krLq1u6?~VDuqnK1Y1_weJHVfk+6aMNQV3**>Q1hPaSUAfT zU?FVB3lu9iaJh@%arh%V%oc(5O()5J0hgm8XiW2Ks-}qoEcgA%3UDSe;~z)IGJG02 z#Kytw%E>BH(GuH%x#$op!R_uOYr@CT>%$WmDUK492%aRM3A8~cDTeS4OvQ#_E6@wS z_CLhM(}30L@1nz@5)}pu@qw!<>DLilrNLUvRo+up@cSwkZ@GL!S!5Qo_`23$$CVb^ zMb%Yr`7p-6&6?Z|w0E`8J3ri18~j$6t5JrAno=%fJj&fGJq@X+lx^PRuaz47yyEJX zO1|I?4DukLW!ny1+nd)2PG&JOqZ=)<0m^nJZjn_hSEvR$>`sEdhf zsNTV)tUa(;6K16{D(rg2EZd{SO08^GoQcu@V(*TfYx`vWe7RP2&E=|-rxRc+onR;6 z%X9&T643{PB8)i&P25v4tLH1%>Ti0QW!rUC6~w&t?W=KE$docF|hI#rPnWoHD+fyq`j;D$x2QTmM z>>&FBQn?p0CLJr=m__MxN=}7oOw8`3Jp#YvHp&;#IMOBN@FRi*K7vaG?Ndp55dnkf z=EOV!RUsA#ULq(Fyi6dEmEFp-DdTtW^?{*B%H-|5>P~q!I=;nquRPL6!s0B14n7m7 zKM_I95i}w}tq2?GlpOQ4;%d#hQn4o(8l5bH#)4eq#vwyDf=0KY89pPXMU9k^4)^>E Dl}sh9 diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc index 43a5becd3b9a52614da7c85cd129f2b53ba82119..f56f9fb67f6c9bda5b7bd862faa5da7b0a4436d3 100644 GIT binary patch delta 4881 zcmaJ_O>h*~5uP_cJF8u3C9se|2x$QGvsehp{0NBz8w3d1AcF-qnb;O1%}83jnh|ei zk+ojDPRU7%s-%ehQu!&I1eH(Zkg8;>l0$s4FRseL$te{kRS9tp6iKCg$?qXQ-959j z5_V<9_P*cle%)X9>&M?0Ke)kiR!d7pf{*z4;?(QUzm@A6KMFltvRP4@XC`CVmW%R* z=vRq<)%aJtAdO14VykaTwz@2vDO;P6@~H>NGS5PG<}I&>b^Z9J%C;P}pL|m?x7ttH z$KZFHecT>_-|aSo4JX8R*f!QDe$MvhYzYSBan6v1F8;#?@`~eLGd0^;2P-jtX&*S8QK=;?-nzuuRqyfi&!$7 zX1P~d7>BcP+*4OmndJ+Silk=?Oz|Edd&Lv_jSa+u{Mm#PxRGxV$2LDA{;02G2gKj> z`^{md;1^s!u-s`!{2~1U8>$U89hZA)?>5*G$|tXeI(HU|)-;^r%;||xdG7QCZ?J3? z?`9|1m^hv5tLJA=$9F;3%oMG~V+*LA z&AY_?_CxHeweAg?a)!jvIX_bj$~uAMB$87|Mvfl@Obw~EDRBbm9Oyw*_OY>vG;@3?`_pGH~Tz`UEiU%R~dQP#kKnT1H=j`M24 zhlQliTDJTgDfQE?Huft4duzYzy2s8Y8buDLeY;T#83K(SW*00D(h1!Ux$sUZ3Psf^ zI`e#;$o34dd!m19M{T0#ZI+rqMi<1NjjimW_|mS8*(P3?oeR#Eioqwf{;gkTo#eqC zxQrAb*G7gAzudNyb%Dz5BC|as|5vJYZ2tutA_ZT@4V}rZ#B%va9aEhL3H&lF2${pX zaG^YDT57{P{=qK3gtM9tI0zzE#Q8H-ftC3fP$Zd9Fo|3dP$VZ3a*2d|ch@7J z_$T?!+K0Qw8B;_@etrzaaR&+MO~UBN4dwrj2+Yrsh$#~B`+O_gSNkOYFUAgw2ak^o z6Dtal=W!_oFL{vIuMN37F}|XZ6EnTL+40)V-aoO_Vca_>s(txBVn`es42l0|FysYN z>Oo&KJ1=hbK3Z$pmy&0RLnDA)|=$ zKp(qYyEE_<8+TzOpL;lo5y!QXxrcjOk&w{FK@*{T0S?tJp4p#auZuead&Tnpfc;wh zbN}tV!w?YGyy09OhMUZR-;xC=S~8ZrlCfyHaHn|&US6JEf`onZz~P<5pY&Mkb5bF` zDEJr9ifIjj-_G2~81YB^`ge%G9z1Xy zS%+${wBVS^G1m^|XE`6jF=gBf!W4HX-yLvLih z-_T&g;NZpB0MnN543jQsf}r5J`-*-I~PG;ehmp3s)Vh`C1QDSDEqU-GMe~su+;I}M6Vad&LwT}`NQ9+ z#yZmV6Ddi}1ys|3-udLkYI%V>!ns6shMJ~irlV1c@3LEVqushio)d zQLBe4&aj!l8#DP$65e`-waaa+14`v`b$#?)SiN$Z-~l4>gHfQvmmu*TGy>^%@?cnD z*TKE;cu;J3K5POQT-O2uz%pBAC#07yTu%WQQk$gfdPSk%G_6m=TAHbDl3r2xRG`~( zC2cDeeOaY92=tI$MT6O1m{lvftyMIfz1mBNl7lp`){?i2vgU=-WT)bO6W}dFc+&xI zX=@AEA@S9S30?{u%uARa5Hd5|n@1P5)6DG;k5aq)&@IpbP z2rtvQ2UhzH*!XqaG_akp6aC%oRRRh!h&SPDC)q?kf_#o(P6m_xkZ3&vpGpYjB~Tb% zSM>Sb9|50IYTtm`I&l*n{sRXXagiusFd4J#ipunLxslkS$-Vg z!4W7?A~&!VmFw7|dWNpwXR(`Hy6^(Qr=8jCTs_dRV5p+$%pAsk!zxiF@H+0t3NK{W z_%6(I)%D=MW5pt^j7@YO0lyJeNjkg<0q|+~YiBupAE?Rcu0rtSBq=hQ>E@pj23(;@GSV;ZVqgk%uOQ6y)OoJDdT$#Y1)h~z~i7LsWsGe~BU z6p_p$xr&4%@sYeLfjqv1%`%eLki3Cp8Oc|~z>$sX5QKQe`xs+s*48ASU|S@vNZIa8+lAfP?VZ_{ zVog!>ffxyRA22a$c_2zmOw1UKiP1z}5PkB+I2vP23{k>^Vnknz_uN@_%ZAt{-<-K~ z&Uena=bU@@i}Uc;d>~d<<`dZ8-S>}7E+4!UsNX-p-c&(_q%iJ0A@>w>Pbv45$Au9= z6;y1 zK8O(lXyc_dVt3fD>2nE^)>E2pGEOaH&e*aslb%=H?5QQEh|H9U3&D-xLGaR9QEe+{ zq5$rd|KgdzVUkWybxlkp^n^Jv5tr!2f!ZaNX_~^Ka1u=MoJdAdT9y{!3NT4t6xRr+ zL~>$LklC9G(-0O!VM6BbE>&C<-w@subE__vjT^Jk1ITjHgA8*lGoGCk89!6ULkK2} z;1mnOn9nWCR*(|U&T3i7hn|Jkkrx-JuR%o zzVqC2kyUJ&e(gO9gH}t)PH{aqz(rdeo+YbMkPhq_v!&5JV>}awqn^IzAA|ig9O$wt zOFxC-4M^XKuo0n)K}0EWN`iD`69V#)ZiGh>3Nh8=>tO=Xe^ z&9GfD!(cV5$eT8ygtaDUuXy+#lO9~yg0K~#m;PJc1hZD->ISKav+@9VP_3xYhR}e} zNTZdz!#tLJXxF?BE4GF0)#ehah8?J|*QhTUo8OVa;8YT%-&Xd*c`H!ml18{2p5jB@ zpsyi>VT9cXBM5sCR=B6p+IF}~163o|m$hBuKz>gM&ak7&x3mzgs}L=D1eNw7G}CQs z8{xWjY;6s6=2@bCb4DYYb~<60#>3diA^LXxI{3!AUVje`=IxwX@;Ez?ohOQ$YWp)W z!Ul|Ys#D#3iLSYw36Qm+Lxh)jLFGW-AnD|OcO_6UGTE0ok;bVcy=UE!!G=>MTViiSai7`>r1L$`HX`3In%{<2}0 z(?om(j-Upg%fd9~>&5%wTCSaXP;(2N>|75+)+?RAfx919rs;ECN`%M78484)pKtJk zgk%Qoit6Q0YE$MI8!TgZcFg*tt3h1ioP2f)@vWFsMq+z$63v9U;B+o;j6z!Z;;x)u zXBc<|5*SC2LDZ*f^X%qPvvD&j5zWNt=!NcTn6$2TKLJZArlbUlPcrW5!H9^CoV+J^ zFoiA22Sd`RQk1@rCqfd_Gv--##TzY5M{xPT2VRhYe%!s5F7=qOO#kdzrZ=~23gzdm zsE@gCycg*6?X`6Qyq40V+EkJa_?-3@QsY@ExaondmtiNpv$YEkfS{f>jbK8jYVWpf zxbL=XE@ZT*v_n^I@em>STgR3nY14KSjct=wbZ+OaST@r?_O|%nLqC|IAknh$SqRh1 z;V|v&Yp9!JYb1-nt81d<>0lPl?;-Sl-w022Qb9i(Z1LYfOLWC7?+n(7 zN{DXU)v;8C8fy^vMH4~^?^l9lBK-Udqtu769pM1NL4?ByPa;GSoKGxWkxO$EUXz#NUoP=Injtsm;HF7x`mCEgPLHNwucA+#u= Ssi7c9%&x=dWevsurT+lT+8|B< diff --git a/abelian_proof.py b/abelian_proof.py index f5be741..54bc1e1 100644 --- a/abelian_proof.py +++ b/abelian_proof.py @@ -13,7 +13,7 @@ p.closure(G,'a','b') p.accessAssumption() p.forallElim(4,['a * b']) -p.leftMult(G.elements['a'],5) +p.leftMult(G.elements['a'],5) # G.elements should be a function not a dictionary p.forallElim(4,['a']) p.substituteRHS(6,7) p.identleft(8)