From 597d021f7b10cfe0c7bbb15427532feac427d116 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juli=C3=A1n=20Cuevas-Rozo?= Date: Wed, 28 Aug 2019 18:17:15 +0200 Subject: [PATCH] Auxiliary functions for KenzoMorphismChainComplex class are included --- src/kenzo.fas | Bin 63208 -> 63208 bytes src/sage-interface.lisp | 41 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 41 insertions(+) diff --git a/src/kenzo.fas b/src/kenzo.fas index a4e252e61a8444cff6e577da40014ff04f553345..749c853c1d80f2d4698967789f963800174a56e9 100755 GIT binary patch delta 5084 zcmeI0c~lf<62SZG24-yFqX*ELb`VBjn9-;}&}gDY1rJV-2%-ogAfR$60YQn1f&`6s zDkhstlV`4{FT}hFkz_X!kGEi=CfT>y%^KseiHTy|4cQ!PByp>{XGXL7G=J|~-s_&K z`s%B%s=lv#e$0i-(uK>?zE4a z2MvAJ`1+1zf*@~$_eutZPSlq1J!-@diccBNlX}2V8pC$Nuu?Ox!qg0dGSEL+kp2Zz zlVbX3pvm~d77QiGn|)BedIm+KtSGQ0DVc4BQ>7}-?nz2uFTvo23D$wQw$aQo(W{ZS zVi86Q+bsz~6VHR?3v<|NI5BaQXy6dIsDzz_C6k5*q+$=`_0OVH@aORABD*;mWB6N# z<8r}QFd6@FT0eLSTwFAQ)j`DKiR>!mPrjF}ft`ydGdrA}+}H9F7lgn+=#E%d;4w`! zm>_V70Gezeb|{iR28vgrC0LBzV+XQA(fw{StNfCUnEDd5nxQo zSKr1I6n~$3Gumxfyb|D(+E4RYlQJ-HBSlbrY~g5`3#}=+>@4`Fj&^>B=_m(#F&j}f zVB)$g$tP%)Lx06R^}(a$Qw)`<(L*)o&KsOHS(3-m(p^zF#fS&aXDKxx7Y?LGaBap3 z&kXo%NjS)9s&4++YmQGdvrb4!bNiq64%DVav0vaR&%jsSfzGs~yHhCjUvyI|WuVED z>x*A9& znzxa!g4Xm}_6*oFW{oJv{wp)iqeF1(RkD5}aDRKN;*q2ew z;#|>FGZ~u-E2eG4yYKX=%nX^+V^Ll=y$bIIwIR@FMlv5jQB9%|H`B<=Ab*BBt)1%W zCnlrG#yjzFD`v3}6(@g_Ml9lTRO0wLN>0_>M)5c**eX7QBjfoNiW#OU$=nQ`Giq3s zYs>?7#%iE&=33SO(^goZcjgFdBE^_5QtO=j5S39NQnhh>Kcr{Ypy$C%6|?;`b7qjX z%@2xt{|x>xHcMqcL3UOYI}Q(JrT3qNs|rz>mC$pNvu5$e}9R!tbXI+oMIC&d0zL*)i-2yqj%fVQ?lpmN_A4w#qKS zpxK4`l;O5Hu%J?@fny3XGqVzJQzGFJNB1O~`lnTmdNq-8;VaZw* z2INLtwT+r^;{;ui_!P*^Rl~GXJyFt5bwqJxt)NVjwhzF=CPbIO_FN0UhP!7n)3{L% z4ubu;@zyE0m8KZ#u~W34_eI4)N}Ool15#cLYk|ReFSMz%?U(b(Hx5W zt()j%9C15n+odZKuYzy$6WEIoGvCSbVA}k_yoeeQ+)fqBc(7XLXQ&skn&69X;j<%P zb|`mK8C~)TxIDiiW(Gcxrk8f%8#!9R8rzxa)u$rS^N;wgU}_~#L6!qyO+mlFEmYj= zWU|N$VRu0kn+BZ)qggFTg`?TeFs?8*>uK7VF7kOruEJbQM@il%pP`n%Pjb6_ioTPM zk=!A_htHAeILTe|5t2`k{Gr@J{vVM1iJSw63san9Dcax2qA+_Qw#0Oj6brNeNF$$; zVq^A$FuW*%XHu${dNBE9X5R_RigMU0_^?Pt(C995gs0IAQF|Z0!eTDt8_eXRY5SO9 z8U(Qm@)3NtF0fdJP)bRx2Rq^)5+w+O@d^=4Ps4!)Y06wof`!n!^f$O0`WM?x_uBVurS=g2=XfBRm=itTS!T)EY{{=QGF_ec2f}i>T>@6=gG^1=$Cxf}7 z4tZ&7#ZXZUgm)|YvG3vI3c{l+6<$0#YY~JnHy-UnR0{hZsw%yB^e{fWVRKDMN~b7^YZO~8YTXs=Kf$4T zf~ha--7uwUFr{iRrRp$c3y1WFZUIvvu=SzrTLP87b#9;{g@B5$yc1BxSWEFND=&y! z@I7ne{qQSac~NY`hC4aol`7)9_tZ)+SW#pGD{&Qp)u2@bR;jDp{L^_O|8(i~@=Ng8 zs^0)xdj4$?zM5dGe)Y|;wRbha)|u5B#WiRY*KjjfJ<~v7)z+Ya)uo2pfz?1aSm{d> zSdATV8>pf_B}&v9BhRJ=Cuxep%i-MG{;ULg*WScbk&Pav(poAybfzLDPIT;n%0^Eb&>iRz0OZqgs!;HXsV?3La@C9e_wYyrn0qwt@-v$mDfy6wY_;LGSz`*FH=#4 z#8f{v--@Ydd19)(hdoT?i~cblrt*#UG8K7hO!dvf9;PA_F;z$lG1bTxVybGq{|v9S zc$kWOJWNHhhp9;RFcrxjrXtzHR3v+tiezG{g!LY#B8$QtI#ZEiVGfh0>e>b`Q{`eu{8!^`2VNRe#Xd5X zb;IgM9%TV8)5dDXeh1B)PP6&01)KjF=Ig-su>)rBxof}(l;|?Gv7~?Fi;*r`;%+Hox25)vSMgKt~<>s9s7H=#f@vkvY4 z5%hdvW|v{c`B?vJ^q;C=7K{^Y@VRIQi?4;*VC{J`i-8`Tkw|wqd)|V-wO|C7@})!a XBt7=x50sG6lMvk9z1elLn+N;{02Hx5 delta 5090 zcmeI0e^gX;7Qo;4y%`uE@OZ4A|Rk5C_jWm6h%=n zOYN?@b}BWpJX&fyS+?8Bw08XwTHCH|KS-^OQp(-5Q(G%-d+&QQqpcqG?>);oZ|2_n zz2E!2_kO?cJDbkyar`&f7`qvV@!8lS|@zX6zkTcXgkMo z4t(yzXZ*x-U;qAZk2P1vZ9n3&@o(vTQj#a-51Hob@o5#99;!q$EEN4+o5clsb{wt; z{>)ChuFDnuJ$~~B4>yUOejMkYYvj00NE&B`H^zy<;i&OC-;w_KW$;bJFX06^KQ2^i z2|!C!4X(}e`g0Iaem~m=W5PXB`#R%b~g%PQDi-Z%I+foQPq zLqngHdi@y2apE#KT^=1Ar!J#EWxx=!E*IwsUEo_0#oA$Tg;^>PInFma3;k0$;XF)E zjtUupCd2oSVkl00M2GVA3n&`I>w)lSaw=NbqE}{T1th7=H;{baCX87{#pP8%r9qufJGBy{fA)>#Pv_2Q_xv>VZPm*fHC~6 ziMU+QkC=>K7_A>P6fVyn#!6tof(h&kC`uX0D&eUGDNKfoDSa(lB#sMsO>@M$0y%xL$+;$?qbdOy`?W!k`i25g!v>uh0YNr3}t1?+9`OCRODfa%D`dNCVb zyoMn)SrE_CD#!ndd#b~uq?-!W>5;Lj^NE|BRap>YXz7y?IK_YmPWK=+U=kcnA0VkS z&U$9RCyT;B%uqD*Ij?z0hMD~q(lXrs=e+|B84>IBY9{drT%Ztw1YBG zWkGb9Q2zNNAIwH-!c=6&NRg#37@esEUchr8_fbtwF02~nW`;X!X?hS-V@akPiXc4~ zgd--^+aS$@1DOqM9oVyShviYT>RAUywn(RF$`VzvN!w_%8ngwZZaivoqpHM9pTME4 zI%ai6PR?O$BrKisFn;Q%PG&shOpQZ%&D0wFEN(DCpX^l0Kv9jn0XNeiBpy{$tIn^!!4Wn5>%YhZW^)h51|q-Eu!QU)op}irGl;e6F8D2Ev1;Ds*)=4a3Z^& z6}U!Evolr%CDT{21u$i)1$w6sv&K@4IXtz_DIKRWig~IwUV0ibbL!FaSdN0(ew;Hs zP~GNQUhCgA5ys3=SU2R&h+s!x*^JDPcwCi>7>kLph!T|fh|?Hd;KKUAr!&GOwf!62 z(@kK^UEowVVXJBqqEHR4ps0o(JU*yr$io{jm!g}gXsg20&y zdmo}_mT0ew%UdYU(-ikXdC8sQE^y6!knM)RS>al5-tbO=q*)293+iXZS=Acfb=RmK zv_HA$zYnj^nybzH_{Pj3`4&tgJwK8EPI9fxFJM|a4+x&VV>+5545%-z;N($)_7>#9 zqE!m?FNn0N8#V6c37R5EL!qER2~|(^1VKI31Inr!IC-M5r9U1vE;1Xo6j-Dl+&!b2 z#tq_661-9{#5xqW(ilZOcJlUaJt_`T;(7a45DKGMEyNT?Njlto6$jwXi~3MP9{}^(EfE9|q4(u)d6&Ypf)bO|Vm?#)Y5Yr&F*uL-Xte z{znO3oL%1cH43(wMm7ta!O$DRabac{ROH@(G;hsNSfsGM&{z~6s&*sWJA&=g6g-%< zaJVSk+DIqkEw_WZU78|D1#qn>fo+DUIZl=eQ|81-lc@ngN2o#(57xRlS;}9qnxM*toLnUmzRS1iC>jHgIGB%Y?0zD@EG zv5S6_I!S&*JdE#=@eIi)#e*cDCHY;kmi*r#`2%qxyjhawbW*er$s#j*7PiFr5h)gC z|BOaHCdJ0=&qHEqf;5&={pu~!@Vr(3f^Ew zovIyToG}>U<`%Ia*fiH-F;hy(>?(G|&lJING5DA`<61a6H$zUrB$$cTrN5YS5K?A0 z+Hqwzh>RoAI0*M(YFWHK3EPqcZDj*kC+sPU`9B-|FR)R$Z+0-p`6$C-|H3lg1t?pT z`@me)h`h9^Dwe(V<1R!K2}~N23Q8--1RJiwTV$_6*!Wqa%y& zhDLP3c+rRyLZjFkFB*}_$=Rx5M$J8-krr(p?5rU)>Q{RYXrwOSK_gNKjds_*!fIev zUH{-B+)qh)q%X$>DuDbI$c0#48|qYMx=>HdRJnwh>32(rnR=EqsLb?Wi<_6KaSHMh zVSA~!EX@ragQh9U(S3NJJ{j7K*Z z)mVuz^<1M0Q)eF1U@D8n!jnrC_B6b*l%Q!)lLk#zC~g`N{a@gOp)`sTB$Z<8c(uEn zy&H}<5lns2)b#^3IUbWd^ezqvQERZ zEI-3PiubHd>W4r1@*bXkPn;6rmBQoQ+tus^D~e2D#V;qYie64&mA>4~KPPVHpOad> z();l1<@W$vTK>BrYz4tq(~4VRYyS#@tqUtuifd6RuH{y+dZLBE>Trt+R$sN;39JUX z!Ae`2z-r8}J3tlnX}mzKF-UpT;AB;ir9Aj_RS3(5-c`3SRd}n1snnM84vncuiRT?# zp}LirYHO>9sdm_isT>_}s`Zyl16!&GD2q{rCm zlbnvWbl0wZyL^30@+M{Gl|a)=U9ND~WyxhbKHfJtuD)tB@S^xXMzRF`5?9j#_23NWM>-`GZT9cig`2pNd5dAvb)XfD;U@v zr|5a)YA%5LIu`f#rawQp%9|C3I_l4TgLgIk^(xx;cp8O^-4^yNMRdtuI0R4XV=jLW SlY2J8dp