From afaf9d4d902598599eb9e572e737f61701ab26f9 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Sat, 7 Nov 2015 15:59:43 +0100 Subject: [PATCH] Add tikz/cos-fixpoint --- tikz/cos-fixpoint/Makefile | 31 +++++++++++++++++++++++ tikz/cos-fixpoint/README.md | 3 +++ tikz/cos-fixpoint/cos-fixpoint.png | Bin 0 -> 19760 bytes tikz/cos-fixpoint/cos-fixpoint.tex | 38 +++++++++++++++++++++++++++++ 4 files changed, 72 insertions(+) create mode 100644 tikz/cos-fixpoint/Makefile create mode 100644 tikz/cos-fixpoint/README.md create mode 100644 tikz/cos-fixpoint/cos-fixpoint.png create mode 100644 tikz/cos-fixpoint/cos-fixpoint.tex diff --git a/tikz/cos-fixpoint/Makefile b/tikz/cos-fixpoint/Makefile new file mode 100644 index 0000000..2dfff4b --- /dev/null +++ b/tikz/cos-fixpoint/Makefile @@ -0,0 +1,31 @@ +SOURCE = cos-fixpoint +DELAY = 80 +DENSITY = 300 +WIDTH = 500 + +make: + pdflatex -shell-escape $(SOURCE).tex -output-format=pdf + make clean + +clean: + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot *.table + +gif: + pdfcrop $(SOURCE).pdf + convert -verbose -delay $(DELAY) -loop 0 -density $(DENSITY) $(SOURCE)-crop.pdf $(SOURCE).gif + make clean + +png: + make + make svg + inkscape $(SOURCE).svg -w $(WIDTH) --export-png=$(SOURCE).png + +transparentGif: + convert $(SOURCE).pdf -transparent white result.gif + make clean + +svg: + #inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg + pdf2svg $(SOURCE).pdf $(SOURCE).svg + # Necessary, as pdf2svg does not always create valid svgs: + inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg diff --git a/tikz/cos-fixpoint/README.md b/tikz/cos-fixpoint/README.md new file mode 100644 index 0000000..2a0d637 --- /dev/null +++ b/tikz/cos-fixpoint/README.md @@ -0,0 +1,3 @@ +Compiled example +---------------- +![Example](cos-fixpoint.png) diff --git a/tikz/cos-fixpoint/cos-fixpoint.png b/tikz/cos-fixpoint/cos-fixpoint.png new file mode 100644 index 0000000000000000000000000000000000000000..b3703f11f17eb9bf77c25e46da2409fee9e1a41f GIT binary patch literal 19760 zcmX`T1z1$y_dPtp&>xo z%Fr>Syob;C_kVewk%xQlx%bZA=bXLvT6-H~Vx&z)&Pon}K&W(eG?5SpbPs&QNQuD_ zwaUor;1`jPx~?fH_z5L-hz5U?dFojBKp?!c7a!=PmFFZl$l|MY&-aeUL*IZ0-j0xf zfB+F^cNZV~2cC{19^Ot_8;YzD2scDmQ_VCm8$S~iXgYp`-QLX9{mjUyMSFXiTTGJH zO0~=nP6#Xi*?hPBewp8z-HDHezS&1V=e3G^gs_I+F!dRxRGxnpmlFlj$zE zcc=_eO*c*U8*B_No+%o0O7J@^x6{9DCFF(-g>av{QBqReBsDuEdQLulbt?|5iOE&# z{U|~g({*J#u=U2OT-Acx%CsCDl^N$<;a+6J#Un%lEoox5HgTll7ztt zhl*4|tE1cz(a--LoKYY8V5{H5c&miOsP1tEUY7fU{fjC@>Xp3p{+FvNL=2yL5H;P2 zEl_1KVQ?@h^(4hZTOp}18Yn;8BT|{txQwZhk*%;1wd-l3nhwixERwvda^#bwc(VR0 z*x~9zs$|uxNQ4F|0`nM3+o-V}_MO?$IxR`*m2RD}4&`3Q>y{iQ1yd!oP74&iPi+t-UtLl}<5?6~H` zP`0QS@50Pc!Q8YZ+1Iux=GE{uA9Z_%hE4PY#x`d!Sxm3t4$uPZun|1^4GuRE@yb6hbc^PKJ@3 zao8ZWV)j*>WK8T8egEOZwD|vd%C08*G70cgb0U0n>5#)y z$e(v56h1-1{t~HIp0bfNqC)%wu7@tb+I~A(A-`mqvFfqW=|g#XwJ$IgSt_~HRAmq% z3`u~8N9O$DgxOF^@i55AX4*z_G|7L(wn3wcQjs~xRr6IirWd`5VXG#LuAy0=Jw-4+ zF|w?|HOxY@rG#uxSG@QfF-H{gNL_Q5I6Hq~mHK|xEGfG6>S zvds1e@Otu#G0&p2{g0N?qoy`kK3M6jMpi}mro${#*u+Z|`9|0RIpx?7iJ6`7d`fx( zW>ww=RfFa@a%-hXYRx5;Y6ZL!1s)Mfg?F1z`EQcr2cA8xFufH$6S$%^{|?K86187D z6e>3TG!Xezqzywgo%rxa@_88B`wc|8jQP=H7XRz#mSSZ!EXCxnaKUGya0S%B*@h#& zqqIamVIdSOJiVpl^Oq!PzYQ!oz-m^)Js6Z`@0BlTZEYQzdS$@JMVl;5=!h3L;-%Bg z3RCu39{jBwcC1Lcbw()oZLIufQZ^HB=G{rfX7ubhetvrn8@~BWeT}d&H^)-%?f70h ztgXLK^XVHN-Tn2o@B4oiK5R^g)-^Zcj@%FMvz5>}SRS-L%fn_7-?UPya+rIpE5+J2 zI%Q&E(GG1FdW6O`JySHy|rM#+mu{h|Zn@1S{#IeY zaY6`sLGE4PRGj#*7EdxstJ`+qDXIOSXy_Sdq9#w`Nx})mJn5X*X6&s((LlDB{fh!T z-slEH&5h`8yE|dMXYt|>vo{-M!Pth--nL7){(x!SZ;$pgY&*{3_51bm2|ijuK|#+N z+-CJf&)jOqj8)15zrBG{MG}`=$p!61+_`!yTfwd?+BmE-fTOBOw0-w#a-Vs7`1$9d z^?QZw?f(Y96>6W)yXo_#1jOj5cvw0+|LNC=qAuTVn}y?agIzRvlI`QgM-T65s`oqW z(0XvuT5!a68|~G9%~fhK*46D-DzapZzcswY;lu6EBwu+Ayq%SYhNI&WU&6xlyuyZ4 z^*wyzY<+2I=>sY%D)SQ?QD7%gf=t)Kc6q$`zq3Urt-@~~SMJ`uyD=|k^mFrdbSrp( z`(C}7sVSb3{8{*#n`BQbV~nQzE=K^D{otSWg?46O=^RE+9xu|Q10{y!cXrkHeiD>3 z4LGmzsO)kOKI!o8eAsN{XR)U~;2>-~k~*&0Y;=NzoE*=vgOO_r8%;blWeviY$v_;bgqDp5Xs&nmI;a=dHeR+itJ4yg(q7&YcoY8 zGSxJ`=NyYcim;G3;xAv(M+nO_b;Mi$+vCd^o{BbfOva*I!~S`5C*(jH9K8neA<}RXk{qV&z+wxdqj_`G^#iKxRd<(_6}Yad@$U&O_-zo zcse`V#dp+zozDP z26Cj5G^2LxKM!ex6#Qu$ulK!OEGK}NWLQk(9>&~oTRy9VWRiP7o046jpk2I*5hhah z>-fVJ?cO|grQgAOuQh0wxNhc-0Kz}_j=Kq97dG$?LXUZ{9vZG%Y}<|2R5e0mQoeLuKG}^wsk=Hod0d)8bc;OnS9s*yrPYap z+EjBz&W`+=8t>ik*8qu@f3@p=GM zXoS!mYvV%FhB28bOMyGt7B9+?2RF79LJ-3RxSRV54^mD)q2W8qGEFLQK3WrOkOqFI z&b*qQ#TJ$zv0UQIFC`6mB<*%whacbEm_nj58U8;yibGszm+~tyq1-fb?;Roa$R+6*>OhFXw%bdL3W6PZWvcM~`}a+4WU0unC-OE7xivgGX2s z*WV{}%<Zbf<{T`gSgB$X}_Cq$-Z7{7jf`NN>tRJRrYIWp>ll^g=KITqk{1hGeiN5 zHT{OH&5#ZzPhB*cf>R-ucjX{d**09q=hjZNKtC|bm6j!xgB^t6tnMKz0F!5M!0=ah zkV){ZY1j9k@)=90C{Fd70yJhTRS=Moiq590!5RJ)NK%*)wvmjGA|;z%=i4=dojhES z1M6ZZi*L`5FHDUO^TD6~L?WQX(yJ!{@&FUj(jQukwaE;2t8>4AzR|r4Y$O+8k%u#p zt0?WaX@aB>)`}<2A^O$!)$pc*GoD*g}E?;8$c*0XoQR+V+ z+>=q*7pdnZU;R`U@pTZM0G*_0VGMPd4@xS*9-#zp9>0KH!(PSGVkJ-!@J&atRdvbB za&(7KX2^8B@cPutT1+z5YMxD1(KZAT0;@xKUiWvNzcl|~p5D0Qk|+7d@Y$)7D;2zw z16{2OuVS_QHXQPSs`|XQTa{*Be4b)>;(We`jzkaRh7rKx@6Ki+OS49=5aM3iCGDz( zdq({-kF=r~t(>WZC=uoQMNM`vWnDHMAclHC!e)A}VpwpzlP{;xk6kC{jy8H>`LL{e zvc!C~2Ss5d`NYg@{|EVLE%WA)gtZ6w7;J8?Jw8E6z{QGe+h?9Dx3ZGP>hn*bbY=I5 zP0xQmIC{t@zT-QVLB@JZMVdU~7Q8+UJZ1w@1y0XgNxh>K9vG>%!;UQO)2xbmzQcetiCui(W)y905mpS~b>x0W zUmfbPX`%j?dgVOfB=BlJlZl0u)#=b$Wd~=c&98_R zh2?wr^LY#4eEa~5PGD9U1=JFe$ttx-8rYed=i zC%$tl-Al`Gf#-lxxt*4|otor6SI8SrK~It@rGwJlybp#vlQr_5oc`YPkBm9ECC_eFag0hm#xZ?B|i<$=PX6sY4Xh1d3l5leG=>&6j8H zE6`*#FoO zZ+Pn~i~iW-0C-i%c*JV^^3uji=l#HVs;ZdXOSUIVxUyddawNNz%xZluj-X`@Q&6>E3Uu?eBS#?z!7HV*O=2J!Z)8MbN`E14(<+|pfEii8F ztiGuZ>u|f8DH|TQHm_evbK12V$ml}vT<<}(-!)6I5tEZVC)Yf}rcfJ_!kF8@BBLwq z#Ji=9?^kmnB$C*r6hs7u!L}^c9>5Q}N?z7?XsbZm5&j1sXF7kTq}yPr+;5OHZIk{X z;Gi}S-PAWD+wODGSVgyKpGynpwW5_ug3IIYr6Ffh`SwJ3J>3-Ok9Bk83~cigUV&F& zr)u2{YUP))sDCIqZ-X~G?66RHFj!fPY|z4mjAVNjue0r=(69362Z1dOA&$~FGE&l1=YuLB#D|ydy-12r^g44dpHd9;s zeINBdIBBNu#c?R8t?3iIRPbGb&Tl=8@mszjGMPtDel$2MT?+if)Vp{0n9x`1=@>T8d7;E#{RZTqMdjHSaIQ&Hbfk32K z71K(p@FwYT@5voOPmoG&87m(x9@!_z^Sz6BC|yvN5DX15uJ67wyR;YJ|9fWq(t6*T zd%WeXBGPg(HuwQq&J30$FDYR2;_ zxGMzN=}Io@Qz`|!Evkbr9h8=ri3x44&pG@_T4vj1T~efRDH)j?E4Gl1gRn45JfX2Y zGb8PbZcm0rqVn&i#2D}<~!w+kPz5dqx{f4eAsf&Q`ag& z$N9{lk0q-gjw$N{o3Zaf&t2Ckan3~Bt!ba(b&TP6%SKxjDuvFu5V|UQe>$s$^IsOY zQEWW*XPaN?&50+F3FuWYRd6B8aK%j_j8e6UpvU6C%{`GR3WZqe2X4;<)3od=rQX?X zx<$mab^L9UsIW0i)DK3sT=7@G$87n2QB%xqCYJMQj`%;smg2!bKgy7OoSCC~EM}of z#Tb=d=4Y1H5|5@wZ_X^t#kWmNUwQ@nZY~7Zn2dV~svAZJMNe)3&wY@|g zHODIN?V#jhELVyqaSpb$mpX7jA^e{%Jh076#x;>p;l8~j(d`f(BMI>~jcXI^U{lyO zDQQjC;pNljNtTQkzgd&&82oG&L1YKBZ8HBghR{RYBF*OaOvAFgl*zL6hn0AX{wz}) zs$HA(`Jr268`d73bN#NTVzF%+ay?1ZeD#?seef%?INHM@!{y=Fwt%0xP6vpl8A;Z2 ziM}NKt(GB9lp9PXe(&`XLaV{ptkfQ)n3$ugu*X+Mp5|)76ev#TA1?BD%`&a8ma&u7 zd^h~7uXd{c(fgB_D~}490wn-0rLh2%(P3r~;l3$H8lxp?h6&WW&ywh3NUQ{KWi zgu5pgXWRkQ5(0$KBY!gB9?bb?ROj} zUmJCrL!yP>?{L>c`grXL2OF?ud6a@{=C`lt2{n$Rpjj||wcjKmr0c*muptu`|e=W;sEQ^UYWX_WvQCSh%79Bej?o)0|mX6~bL zN1hWE-B^tVE^v(E+oQgevC6l5vwA9R87crQ(%65NpMUj&V&2}8!~^H$){UsR1X=pD3UU9-qq>QsYrH`hgwzDfZq&XOEjE4 zy9hc8INrIJm#T;ksSnv3DVRqw_J5UpX)v=e(H6pB2O~3wuYtA30nFm>ta%>1Mhkqg zQh@vbhxEAf|K-0*d$lE_NH+HB3?UnjmgKL@e=%aeL*J~QZ;EQp8tkBpCg!*^ z@ltr&L1d$-$@)nGFnP1y+hI9sNc(-FgH0h(*nwCQsnmNBCuIO$ zPDz-F4B+wtBS{zQ(BWo5BII$Xn-Hb|7qTSGLYf_ygY{$Zw{;yig2AhNF8P0&t!MVg z7sS1PVs{s{LTvyGh7g`i7o{u#rljJlt``s?$Z7v9xs_E^vxoo{g;mo3q7v5&w=d>+0%$!D$q?m>_4z`&k{s$|qK< zO1Bg_=a?I@0n=K5q|0j$&w@Lh9DfCOaBiRkBr7THQCg*~7GOFjCOlH3vvryi?W%EC z+c#(K^?D@$La+r46R_>D21M-O)DNNL!=%E5V~#3#6$DoX7-*giIj7@C zqUu)Rx7fJ<@tVLltfS-I7pxjpETiz>I=k){LZN4OyX>kzx_PVsaxP;3?>N)RaTr@{ zcg4QUV3w?hiM932X4qN#i*7q-h0U*-l1`80*#DJZaEijwnmi4`Q-Xqm&)MvUw)XXJ z@g(=RhcESHq=cP41mTAy?5tk0=k)W$W+Wgg8ykc<6E}(2|Ev)n^3nwXc3X${;F7K= zhihCWAXaS;_NUA>4-WQ2#98CP-4yO=`V;m;ZnDO=FRTTmMxS;~Y<>d_XF=th7f+4w zpN-gVyS)D~$q5UG9wjp@vE8MiXW{E|Lw9FoXphW+#no*)d^mb1zfWu)@9gYcYY&eA z_ILZIrJ>O|UZ|b;@6*JlU9Z=1$W&=r8GjsyLjBK)O}$>P;NYn@-&XVD#lalVO<4HQ zbX}@PO0)3W`R+l<`}fzydkpsKS?o&-zpWD4b|CEs9oxfI!0EC!w-`;k{AjDiwFX|+ zc$>{wx9A1Am6VO$dpG=RE9YJ%EMzZ*w3R-RdhMSDTqyBUuh?k6ZI&Mp$I5eS@&4>9 zM8hs-A2UZddYcq3lNVdh0D0_fL1uWvkBN!AjEv!(0t zr8FGou0UqFDztcZmSXsGR|hl1?G5JuVJqExI$-+`2{kpyQ*K-R6~!e3=Ela^$=vzB zAhgN#RR1?n;NCO0Jms*_1R0Q$(7!ht?UVi8t;Tm^Tv;B#fMzQJ>wyd(9DH^JaAN?r0!o(C| zYi{0vJ?Z-S^QYrKrm~Wfpa!SmT-~{o!}iR>S<+|fwQX)ZzdP!lh%Zaq8~k)V20z9B z!hd-lI?@J>P5l6`T$v@mL7}CkHP-3|{?$J{(_Ab8uYaIjP*JhLCKeFMi+P8E6Q(?H zuioX<IIeY;?8Ht64UYy+s)awj`!u|hHK`grr#F>3g5nch&gWr zyH?ZY_Vmk_bmyDyDRc2A*G;eRIIFOgnEus{=m6fb08ewa?3E$3+_tnl2_Mc?S_z)g z)6)yzB9v8DMwB%+$_Y=h+PCi#;19tYzYMUpw*K!vdoLE`JVK^`bM_4-Hy2d)_xGI# zOhOLulZydY)AW=U&S$QRh`8^xEXxfo^ki_(*8lzcmv6I^c{fR%Z#`h)Vp{E-(^5xm zG9-UIm3TOq!KWe$UP~k*e4F1#w%xL|LxYFspK|rR5A8}FY~WYV+;EmHtFT3l!_oYw zNVb!+5AWZv{xKCC=jAFwmUx^+bYu;P0uKt&I!kt3pKUSDprqt@;GE@Ox zX=fbz5bfKNqFQYFV8B;Bf|+^AWr{fP$L=BN{G;Io0UViEyk3=~(%1&mb$xu>?>|^i z*FR%zhGS`nQnFe~xl19&ZA@F2`W(wuE_goexAe!gIHB&yncl7-%i8}}3!q>Z+ZD)9 za!RbATk?$qSL(@zsvPv_sch48j%`Lc995NjGT0!+?M#y#DNcaXSTf0n;6Z{5iSM-<4-_L7~8lfAVP}B8$r}F-22P7D_|EDXZEh2 zIjI`}I<7uGHEo~<&seDO`(nglbItvyi0X!GragUp?h;H%q6Ph|C?I=S7oq5zu_Ca6 z8Haxv=-IWe4W*2A(O+3*oarIf;Tw-n{vZ21w^ez0_U3Ah7Zz zHF>A~hf&UN`o!%f^i(1NPFC=Ii{ZPbY9_-Bm4qHj`&&#cVXdFlfB4Ew@5Qd|)Fd<> zu8>S}B(Va=8+9efD0ctcKXh`Ipn1~7A;;cwXTAix%iU~XB9JyFRj@*eu?M{9+8#fP zTrX~B#guz6qAFxS6nX%E8%aqn#S6reXMB6?+@9=P5P!xKUU&q#94`WWbm>sQ-{Ytn zo5gKO%myTHX=D0e?0=;4kX?sqN>GJ31=<=-gO->thutgtrw*b^YknjUFTl27S=spe z1)pVg>EOVW#RklYOm3t1NUgW<{?#y5o4pTabFvrkx^!gGQJv{9vgO8C+7^rGFG0vf z_hlaLGPMM%n>@v-g1kZLBM1@il%Png02q8zowAR2`2IdcsLlro|T3D2>8CQBOA|U1HF{Tj6?|!eciI6LN`wCYGLb_03c8!Yw z{y!o&StnaE?07F*w4=Osx&@6>`t3m^Li87HA8+kbvGcl#Mvn3x;*>m)j(4S@o+0@c z*p1gNMg}>YcrElSonFu8+q>bjRyBvnrZ9y^Fr8KF}b9RZ=bhHX^Xh;;isOW)W1d`wZo{AZOM7Uswi>2*f`Zlq&4=&=eubkG|XhJ z@EX4=acKtfXSpR66}fEx&s_C}JAxl?JG4owojQn4L@{K7L|{N$5I5Xa=L8+^N> zUDQpb?uMVa31AU0E=FIZMkQ8^f$B`m+*|cogDOlTZ#ceOBVHtyEt!ZsmAG)cpgH38 z2;v8Q;IQE`1(9!u>p106Y}WTX+<1r}UpB`Q5yLB?g%~2SS#0{J zTgBd4O;9;19Vq>b^_2I&#HUC>l}GBfB(N+%X)j@KpaS5rKpR^k@uBggtbcpXRc*d@ z9P&Q(uhf~ws2a=?GFDALr%ZGpQ=ia)TzAO*{3EQAcnJ27>g6tBB^B9ZNFPknsQ+yi zQV*LYI*{55tGZos>RDqzk<29# zlMTjL+J-=bJXfweek2ma4kZfkf6|tYMj)Aa_W|ryZZi@UzhC)%JyNPPQ%=6#$K;NT z;3%>kp#>?|r5a#J|4WCnfTbYa>-$k{8o+1yWH2D**dU4Oe+kk3A9Vl!j;87*lTes? zEem7XtgA#_qx;`I%)jV?EzR(MTUvf?k{MIdCvL75-8OQET?4KHuwSiy`SL~Qt*v>9 zI-t|fufIGIy6yWaM3SfnDhdn3v|twEhdfQKKi~ND@3bw^n)QfS=hnbSR(l!5o^l&7 zSX>OMOmSJta8(&b0=a`m&il_(!i|8DHo8M;@bSVzikA;Xqusm9QXi-B`O;K(5{%(W z7)x}mRAw0}g8_@d>fo70c1iYEnOKQ8h`xpqiI$B!K7^`lV z=KS6c%#3y~`p$4OZ3JP&q|?-YI!f77Y)Y)lyyz}lQVE+B{cqNe{g5x9IK7MYQW+ZX zw9<3TU{1=KE^24}ze#U!|J_rOtq?+~;Bsz#*$t(sJ7;7w2f zG|TPz_|Z4R7O9R6H8HFly^fxNK#DMDs6b4(oyD2ry=|~H{2>+B| z^2NaeWg*VQ^VTKbpgw6ED&&vT{@5uSZD#OkOeC zM&|b<36fiy*ee3#WXq3}Sm%T1?T_CI6o30Tw3oG|-n>N7$=x^QSQtyit@LSiRKIw~oIxfN zu8En%%3@6kg<1&Pdp(BB=U709V86W{G0tz08gde~0Z-_iHEL$ptQ<}I60v}uP)dvrN@vIkI}*!Ve_i5 z4r)VMARXjl6(T9GMi9ZIiYt7(n?yZC%vnfivJ$`{x@T&uHP>YIN`_d7@rl+xoUj9; z9%9zpO!rg3^<=G!e7lw1M!V*vSud^CUbX0+-A?-b-`4np9d>G!pNKV;%@m~#p;0e! zH|lv33L?{rTCkOO|Fv&q^n9sA9GS?Y-=q4XGkmMeKMT1x%H5z!7$$UE6@klNvi?m1 zawa>I3?D0O;w84#b=T4@W=`g>5OS2rd(thoDH$7rU8{DG+5Cj1L4+ms~LIVm@P z)Jpwx<>5}-2J|PPUs(&N-@6wNFOA8g!L*2CX4eRR_s2iKemx@^btJ8(U2IyRusbLz z+P2w#Qc+q`;#`e?3^|5IK!1>MLMvQ{FR8=j<)k_!_s(go+Bqq0U~_q-=?2d>BNOyX zruX~QlLkT#T6ddYzrK?7X)5B0SHv?-zma5tw1LmRs!%=;M6UTp?ZtYN2__lQGT+#W zLEngc*77HOS+8!&Z^AIF(aCs4A1rVZZV;VQkWDwVqo&UzIlQ@+-3EpJZ?FGw_G{P! zTLZQX!NkGf;M2pS6Nnf7_=l{j47J?#V(%YLd0_`)2joiTl%4L?!E|CB)#8-^N>I(c zvtOGWB030X3a6C1Uc587vozpD!x3!FP>c!cOS(k+ZsaDI5sZ#-Mbr@O8MBp4wY5`-GAnO=!O}-O%NwGyj?`FPZ+ZNmj^- zzdL3|WJ4Oo4S>W`%ui72CwN|rEZNs6NQx+;5EH^gqRp$O=u zxV3}+uX-cx$ZfQpp1KWK#I0>6BI5j~OXXQmS2S$^t>ZaF+SlTpnk7<)~H5i4T@SurH_D$%M*O(PZga)^!m*M z-=2+qh@9fNNOO{Eq1(HDdDc8id$j`eZfN(Y$oeFWl2F&iWuMxUEf`#um?0L4aF@J4XBQ~#67_ou#fOo@S=t9+_7FaI z-d!~nBQeO0u3}Ug&6g6e@;RaM7v}U+s#ds6P4axsf66VQed{v?&A~^v z@$K|fA6Gjjl0`x$<=qmi6dm4*fheF^8_n~`X3COgzr>_}2VaT=@Cg(br4;y6p?)&% z{f$ef(m4@I#onOKIO7J->yb913K0G1CHDZh0d}K8QzQZjpPz(=^HkAOZN(OuFjiDS zo&%r)^r~kYD5i}qS5Fi8@7gttIFJpW5N1O>oLm_`%qX1Kco(%~8%|5Ft(RXZFtzDR zf10~LTIr6-$f`1j`(edT@N*PgZ)S8kMk^~lrV$=+pr_+J5uK_?g+M-Oi`)SA^jr@D_ULYvY zA38JAyaN{=SkfHw*V|dqT1>jC+i}}A>z;LRpZyF^Knkvq?p+E5%G4a0Lx`xO;i_KU zu?+L_Au%#!2w5K+1wu*gZs+W{DjZ9_$D{Vjw}Fk`zhYyM;ayZ5h$V2 zP4ai0EH!lpn~Cg_MsZ`@4NLm#pgfIwPMG*WN{pYrvOM+64cb4}fC$ox$R4Cav2Q7h z(FM{w1WvG9mc;#00Ax$P{i8eY=$mmYwUw|1%rIt#vPK|9F-e72_|BoB(@ ze59ktkZ*L&w_5U{E!6*Wg)@f-Dx42?M~{K7meMlHPOyq>%QlJfdy2W9^!=5mBK{Iz zBQP9jJ$%~H69dHCR6(hS44z{CZ_iXwtUC37?_4kbsqueIOCwIYT@(@h1NVhBiDIRP@id1E)rh!C;t|jtL5?Enr0bOV-5U`1p#sI=D zao0i#VTPw2{v{|}5qSh=;TKEq5kSBsoUz+P{NDzfxmes# zFuU=fW;fDIVv+j-x~P!8+)ZmTC0t7E^$hBU*>?Ywie2kXd-^+e|Z=K=7oeu#6}r+7S3*-bo!4D~}Dp zH9_>zCo`2S^Sr30lfXMzsJrtrvkJ8SlY4xKN|jQ5mxsrEeOxI2`of$rXZQ7-H7Ve@u8uPer9Xr$sSL^Sc-hyj4 z=WUXiLKRwu&+0kE{}weW(kAu}mw}LSWmWE`b^@fti+^CI(rn38=2}X>0!1-0n|yX3 zJEK~D5-46DO@Ym;>OW&MKA*x+U}$kMn!Rw#7F$b5>*%1kKQz}{Wp3n*z|pYIpA$|Z znEtfts%+4pV!TqOEi@aVNbz!je@QSgMn?`b8USHBEUdb7-YmDC#v%mKPO{asDPM=X za?pm3s$L3SflyTQlhnSJA1cos4uHIE&J%?%SB4zwImTwb;AlH0wv_NE?weQDKnkh` z)3lk@kbI>vcG8DuY`4phT*}v`7#2XhE*qE$WVri+;|&)vo;>?`TeqjLkXIZ@gf2cMVrMyx>=}MN33$V)?86>~~=!^t;cxM&%XG$ zy~OE%pvmaLdfeeawSG7eb9By?O|yiYdks_vXW@v@#J0~WoQLM`<}$yq0Fk37-@Z?A zm!r=H+fkk3V2hAP3~GGpDJECD!Kfe%;QiHM{vL=-^*)sIPnU}U@zAvfmnIsL@W{3= z6`e*eT&4})GI_pT*`>J`LUU@;F!u;Q9xm>gcoI~|iQTNOon+gr+>Ffe+`F`%x1>yT z(q<~iZCAx#m2Pj0sw9%Ua-ndp|KNC4z67_ff9oBcP4Ut@y>15arZBm5{?CnoVpFKZ zIV9n8f>91}D`Zp_my!CV!u8tTtSY6#r&1;2BTj<$=B7{@0}tJoyqO<2I~5~^U+z&= zafwkm6r${rM>?9XEp=0UYLZ8cv5X3T;@eh29w^w|i)-6FVHcyfeE1Rl@Rwkk0svM) zpr-xnuAbMr<7}tVUUp)6<(5oe-^D%nG7V-0UY?ATN`^78BZhiKFtDs_TgY#$e!1eN zFg_0dcwS^a2yB4G5}!?*T*mWy?<$3oEHXEU#Ul|{$IMsxM}2j_Q_kaMa%JHP1%KJ` zX3cy)AcM~=#y!zZgs(yGsD^U@Ucm7#AhKtRM5ACK=Z{zXl_Rd=SzQ33C3XkS9$P+h ziP#;{M7y)_?>*A3-&dXMNjckwS=0=7QQfbzYHUAlG+uV($nlY02_v)pU#+4nciG28 zfQjl5m&WCg*%AS!&q}a&oI$g=@x_Z5pxaDtozfq4Aou{4r1LjW$uvPT$J|%hxlnAX zz@1w!qJezYg!6t&yb2l{K!-%amNL+nioXmDoPYWmf*(VRCdw~o{1mEe^)^&m2GWVj zMXN{Ka1IDe+wv>fwf%p`%R*F6w>qyvH68q;KMND(A z4sX3+6tz)|I6d5^YCn7qlAVup1)xgpE=x+gY=9!CD8(~%Xa3=2og%tC2Z_vsHXruh zm~OjS!=OvaCXSAdnVW4gscC7&Zuu9C@tb(r*}#m=OMaj!L`{m-`p!`$$U}J9sXhKE zxVzn8)SudV*EAOoq`kkufWkZVe%+h51k>)@*x0mpP02+3JNSyX_pq~V2^or%H zW*0p?JbzjS%B`Bbzu~IwfshLZvfQ__nx2~a0fge=h6_F2!;Z*%L(DEDYudgViybjn*g0UGviIJMmT4~yD| zhQ0q(W@ucgt@8AW>*4+cjsS9(wMN;V26$CULpf;KvcMPhO5ciSmHv>qIk13Z-FA^n zs8y(+{y=C`f)rhA0@Fze^Kr2bn6)1#jB48qumwu*ODcatV`Zoti9*7{d0_;7yIvrV z_tWU29IR{WcF%;J&`SBYkrB_2;E3l%g#%BLKhJ}>qh||p&XNvVixQh$!n9=9=*Z58 zZ8%&4#^Lj|!^%S25s4hV7GwrH^=?2LZd+ShJF6scB;7rzD=I3AkUV3AHxwa|=CUIZ z)1GptEdG{r(#QL2vW*1=pU#7Qs#OA9z|3}gtyi2tsDGwjAdj_gC)5`&$f@jtoky7{ zce@@4({Y~cD<-ysn%G`}J8q8(9WIlCU*_SQI6^0Fm zk?Ksj-qP$*NJ#OA;W{GDBNnDus=*TB0;V&<-L0?+BJt-U-SndIWbci5vM?H2Xo1xP6n)MB~q7f>z7R0AB|Ec=z|MG(D2PY2o9!yM3R3=)_EGcd9%u{J6jfwOV;_;(U+y5ucRpB}RWL3V0S5B1 z^+!LNForD+Hm+I8iiT>1)F7(Q?wq49uU4;Vv=Q48Htw#yeO^~cu7#Vyv7Xbo=l}Wl zN6*jx;kAR!5ng;dF{pbYdXpw)X4AiSb5EfvD~S1rh|*N--h=k6DgtWAn@dIScx&=4 zj>uQ=p?KY0O3u@X5WE2vGMbE-xfIp&t0QNI+kVqM6>w$aJ_z!g|W6M~SpMSa9lTo`elykz^e$q;gorX$q zwb-0pNAdR2qL%BnHO;V(U0gh9FX~43)p|!?yMEUPEe}=N5ZQ&S8&IpiAy!d2mm668 z8`rqK-&Gl8R~WBmdNPR79kLvpOv)v{yR6V}0BAd5i7{1wqTHU`?;SMWiWvfKinmKt z9bMq5X;^KJP@|z4Nm-eK6Jyn#Pe>HRA2uzIvp9FMGtO|Q5ECihd78QMDz=Rz#O@T< zcMU7;FWiD`(hiUkGLS{3bI4HBaIA!UNPV1Q;q21BtBt?@+YCFz&Huz=_Sh%wZ}837 zTF;}D20kBz>h;T|y2VH;H-f3VW0NlKNL2-u-rr6_M396&mIU zqvx1Ve1*9!wf8+hL@pJZuL3qvIChMCVl~(=O=yqgwm|XEuOGTzO`WRX zA7{s+wbhR6kEM#6Y2QUCK_HZA7ymB+8sx93e=l7{RXkh|+s}has?}dSbLN7O%(D3S z=yoOO(qAJ_Hi4Elabt|s#-Da!|F+{i?DS<%RB6`8Q}?gl zDnN~kpw*){!Ky=5TTNbDS+5{k^ zDkj~Rt?pI(IATn#53oRFLV=R+s}}H@0H`?w7&k=>u5;|N&Qd1Mpwg^%`N5BV3a2ux zTWk(}e;E)<0>!Wgg6NzommeCSSCP$s&ae2U5tzSvh@S6Hj_9jYwysr4Ze8gk17B_@ z`NFH@*+C2~T%YMxBj&@CoK&9^v88|E2jA@PLr@kZL0dv~lX}Uioy14VQ^G%QzZ2a! z^U}aX%$z6LD-=8La1qYKc%?{`B!Far7H!_+=OpaRt!@OH(LWqI-|&A^uj1 z*3#h>M5UHmE#75%+%V{9y#{mFcWxP}+57B&Gch9DSt+E*RcJl8=~TJDAKxzTGwZaH zH<#-(yK69Q7K1k;_f57Q`Swk`rlrMF%_R8)6wg_uE`Zxb@poIB)eSgEkaSsh4vh!~ zB(tXI6^pEHZcYUFnDaK!PMcx3u@d)JCxR6{g{H(=RKMb@Hp!2THkF!yyOXQg9-3o1(foS0 zV>e}He>z+j7}0ucAdzX+;A3MhJez}U0U07i~p~S>x^nD z+rps*1PP+lk!Fx0AfOpqXbwa~RH_4rlsJIMqlFG)AYr5^0%mA~35X*W2B`rdG(!^+ z1QZA@geXFAhy(=^G!ow7t+(Ef_v@~+?z;Qzv(H{yB_+k49`EQIt~9NM=G;u*QQpd0 zXb2uEHX#=6Mo8AgC{~?VrPWy0RaKqMM@$+_$*c)6F-#w{Dn@U;#l2o#IV?F?x5#N; zxbj17ps{3}EaBcqQ(U_U$WRKI9uVb+q4RO7@?pu1Lvkx{xXGJN@ik;Rg3HI(P%kp$ z>rbN#n)JF(>VoBnVydZr&SRl#&S>lPU}k8A2s@oAXfMfM+n zPaJWdis&$eA^cKU3fIyd3Hxbk0)|+1DEp9k)02{u%|78NZYs~-8vA=&hPozZX}{>S1U@z2xcor2vea@gtTwPR0d7lhtvhgF%xjzEha)2Hx>bDZ9m9$x-+$IihF>k-AcsS;{$=m z!I)&xkT3Z{VbpRc5oW6Q++F_m){aGUkr*7N4( zt*n8s-+nyo?Cji4{@)x+6hiN2mf zo?&;7P}<>Xv$oiU7dBtbn(oa+5Ox^r*j?KCsgMvBq5rpN&&n=t91W=ZvX5WyEp-VR2q;|8{~di@tw!!_$G= zu0CyR^&A{#pU$X6_wfnI>OUWzo^5Psi1vw%-N5ZWjiu0gQ3@&7%X!i)I`_2c)#6vI z4H3aH6LLOKB>8>AqjM#BN~Yn{!cZR;U!X;>;EAQm%|sP(_+AEnZJQN<=xvp=w&D{K z)VvK8IJv|8tH?5ef6}w+>ae&6uG_zSOtM(uMM=s8k!Ko4D2Fxq$G>3Hs413~mM>fl z6zXmb^WBkU<%iWkKw3O>t8eN32^Rgn^(axjl=m}>Zl<|m^O-Lgh02kJEQIu=mN)(aMi4nd6jz(`rZe2^y&Tq007mXKU$Og_{b2ny`i zXf#?sAvpxe%FCNbY-c5_5|X2|C0afYhkGK+)@~154h+Mj@FK4Z&**#gXcC4&S4f z9~U1#sVJF|)e|^BAKyRjqP_$9g~^d&+uksL=;LEr){%<+yQ|K~ZDFe9sga!TA1=oT z#$nfVx%oHq-wMMl-G6@KmR0j&e_2rr}9Z;DSYXXvsL%eiAJ~Q?ACoBWM?~O zVAQ|vE14a&LYT!b54)wsj6^8+{FQKt@^dl%E4W;T!`VYabif<&Tv}otyB!D_U1zrsS z_NMK<(C~6sbIHKM|L^nv%9>C@TOmiKePS*vTa}EoR|F4X5W-~% zdKCal{AU2*(O?jav$CS3oTv&ff|m@b);LGQ-4jT$1>myb@`qac%5>k%J%E(`%JqNB z?#-slPZ74fB4%v021n^RhQJ9cx$P1Jr}w1G`{h782jg8K%$57=q);;y=xzo%d)gUQ IYllw%H`L;5J^%m! literal 0 HcmV?d00001 diff --git a/tikz/cos-fixpoint/cos-fixpoint.tex b/tikz/cos-fixpoint/cos-fixpoint.tex new file mode 100644 index 0000000..9031b5b --- /dev/null +++ b/tikz/cos-fixpoint/cos-fixpoint.tex @@ -0,0 +1,38 @@ +\documentclass{article} +\usepackage[pdftex,active,tightpage]{preview} +\setlength\PreviewBorder{0mm} + +\usepackage{pgfplots} +\pgfplotsset{compat=1.9} + +\begin{document} +\begin{preview} +\begin{tikzpicture} + \begin{axis}[ + axis x line=middle, + axis y line=middle, + enlarge y limits=true, + enlarge x limits=true, + xmin=0, xmax=pi, % x domain + width=12cm, height=8cm, % size of the image + grid = major, + grid style={dashed, gray!30}, + ymin=-1, % start the diagram at this y-coordinate + ymax= 1, % end the diagram at this y-coordinate + % axis background/.style={fill=white}, + ylabel=$y$, + xlabel=$x$, + xtick={0,1.5708,3.14159}, + xticklabels={$0$,$\frac{\pi}{2}$,$\pi$}, + legend style={at={(0.2,0.37)}, anchor=north, fill=none} + ] + \addplot[domain=-8:8,very thick,samples=200,blue] {cos(deg(x))}; + \addplot[domain=-8:8,very thick,samples=200,red] {x}; + \coordinate (a) at (axis cs:0.739085,0.739085); + \fill[red] (a) circle (3pt); + \node[label={[label distance=0.1cm]0:$x = y \approx 0.739085$}] at (a) {}; + \legend{$\cos x$, $x$} + \end{axis} +\end{tikzpicture} +\end{preview} +\end{document}