From 4997461b9c772efe1fc1bd176f25be5b43256259 Mon Sep 17 00:00:00 2001 From: Vincent Nivoliers <vincent.nivoliers@univ-lyon1.fr> Date: Mon, 18 Nov 2019 14:21:57 +0100 Subject: [PATCH] added sos --- Presentation/Figures/generalized_orient.pdf | Bin 0 -> 5800 bytes Presentation/Figures/generalized_orient.svg | 311 ++++++++++++++++++++ Presentation/presentation.tex | 83 ++++++ 3 files changed, 394 insertions(+) create mode 100644 Presentation/Figures/generalized_orient.pdf create mode 100644 Presentation/Figures/generalized_orient.svg diff --git a/Presentation/Figures/generalized_orient.pdf b/Presentation/Figures/generalized_orient.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0784dd5ce03f068bfea6db5020328169162b5fab GIT binary patch literal 5800 zcma)=2|QG7`^O`aohR86hbUsq4933iWo_)qGR9ymGt3NGLLnkrh!)9~XzW>&NQ5N& z5|6DEJ!IcTws(f~*3<j{eEw&aGuQ82_jaB8%>BJ?5mRkl5L6PzAW}9{u)!b$Kme?h zJA<+^05(KnTnTOfj4Z(!0002%qCE*H9Qo{tAfU8SNUSr8K~<FjPr#uNUJU*Z<E)La zs0!xcX)Ct@R_oi^!5BJG29B>naTj&C-Y`EDD&k6z_`VjzBKA*Bahwcy?5I+8m9P#! zyvIQG)2P|&)H}BKx&ps#2jU&<dh~WkxjVC?ojc39?+|S~9xFS(Z+Dn?Lj86&@7@&r zE?~D1y5<nvCHD<%{+Z92km|%F?XokGux$Dc6tJR3n!B6g5VF|h$RKvtl2<~<`n&t~ zn=Ptd6R~W_*t_mK9cQmDW}Cxvcv3r51H)E>EMiUwmmR+EM6dPigam@+>pvgtR|Pm6 zw$)N?HWsr@R6@BjN7>^)Xx{y_kk)!=r{)roOR1#`zkX5(F=1o7WU^MFqz-3u|CZYZ z*>Jqna`*@|*d6w{ApL_!AXAxdVkxAh;Q{~IGm%+>hDMt1pGI?gzg~i%>gcm{wJq%m z1LDOpzucJLx}jdi6L_3I1mb|Lv68nWb-FJFNAgAqsJ~oi4+lm|5ME&hYMbT0jVp4& z<K3#x4;`C25*nhbZHBnc7u?{3pUPIR9sI{bBkv?VJ@~Db-8sO~T$~o7yndEh#qu@J zRp&cE0O=wx&u3QMZHL(6ci?toT(ihsXnqJr-cjrg{{pDa1*|`|l)N$fMNAdS+zy^) z4c#7JYM%wS%N^HvcrN&CngKhh$Xk1)ZkSjjPNeR6!`5%luRYaW!jfe?sVDke%&>Wk zsd)J7YdOeM0gaaQtPpeTJ?q%FK3hr49R?HAiEd66X?kvWegf5`4{}*q(W$v^CbH^r zMx;G11$1%ik~*a1TsV~nhi%x|X(m&xXRRDQuAsVp?nRDS1%b;TK(ON(O`BG3PoT1b z>00ZG!R31pI5qra8h?iQ*9q}M+^PH#N&RMzb-N>PM4c}bOiWLgRPV1VUrp4Bo_j7R ze~8TlGIP|fs*sO;k`1|jdF;Z(ET?W^;{7C{gVRC1xKNajFZAJQ`&^iqyO;m;%VTym zjsm9Tw1@rNCwnnA_A!Ow6`hI1aJ7?jZ&13TXcql>xlo!8hS$_x-kRwp1|K&c=hMh` zg<q$xp0?BMWg$>=Baa}d(%niTF372C(rvaM6Ns>Td!ggF6@QY+@&ScgCp%6h&0Z}S zC;c^~R8leOb;rC0204vYPSfuJy}H7EY$m!-!8%vs4Ke4%+i!2p{!upbp(|;_)gne| z2ErmIarI#=sW$^V_)_l2Mg|wXlYWN(x*(>-VM%mIhY_Ij8CM)`=AKN6ZlPy_$8%VK z@gkC|858fgm2Mg;iBG&5-+a3?IDGy<Mcrdhy}OMk-96n!;WB;?a;cFQ9sj9PnlCZ0 z&Pf-_JIo)B4M9F6dZ7|E5MPfj6ls9cX$Hh^E7lQTtw-7S-d4bgsX3m0e^nBcDvWz1 zo8OjoQIJq;oll>9fM&My-s^ctb5(8LiJq{#3}>IN;Va(^VIF!?UoKB7)hJNWOnd&4 zJq{%AtL)g(M$JZ37gFLWTqY;h?%d`$*(wvBath+5QI%anRALl%FS@ICY-+YF_*k3b z`-Lx^RerLaJR(&`0~f^xZv)De*<TEVq~UNIC6ODR&%S}uLd>0xGgWA&=+FXL63vSU z)=M<<yipi8mFYl?vU}hu1Q_wj5K>m*&1jw$O)Gp#KeSEz5ZE=}tkLEb(QCZA?R|m{ z(&9b)&?*eY${!rBdrJVX8lIfD0+g@`&j-`n8v)i=w&o2%oD=RUv^n&-WlmFHcudZG zL8csW{&34jYdBWpBroU=^B_%O;L~WSMA1sP=)_0$k&cCY)>3}7P4|tIQj6K)H2tMR zEZM!KWvfL~0}msb(0aWleR1Bhj~MSGnG=gsT`X1TctM)s9kyOa4n?u+Xd8GH*|Ha9 zo`&Qb#@n*y8q;!r8jP!ITnc>kJXIc+vXkR`=ju=&qrK(u!BJ<tXd}mnV#g4(9q;RN zlL0YZ(R@SCEVI*(7twao-C;{63gT|CDUBR>kwtC4(DI7DVCquI!Gs6z-C4bd&VA+s zi>us6oXaBww;Of&PTg*-k9rC?V54tTG&nOsGpRgjn{H&S6YtF*QSJ#iuixh>c7QX< zGf~<nnx)_=r$@IdZB%DfTqT``;7S1<6?bx^dyZn+l_G^)qmzN-1|l{k-bvc;d+Jbw zB<jQy9$bn+P1OTa74pTaH`As;_Cf1O8lb3dIatGnRM55Zya#<_*B*tv;8IC06EJj8 znmaXX-}R~L@I9>D$bx)WPLnFE6n1*DL7G<sT!y{Ed!}VeByIG3a5EL1w$o5MM~QhM z$Y=7XEVx*bcqHJvu2h+%XtCf$gKNH*rN3b`o(b?4*oK{WxvG~hKx?EXCRS}Jf0Vhr zqpQ^YDE^7q@RO*kXctk}_L!=w6tp*|P@|j8bAI8b+bOdmq*yA^yvV;lS}*y1P9dFp zojI%Gyry)E-i7s}9pe|`5gYMb7*--Tl)HvsxO#kg{rbgEL)0UGPjw;0-LylOKD`I6 zpe#kWnV)!(^kYV5Im^XNuU8)R$Ye}D@lv2}8k7@gAk{?hla4ma_maLm!?tj%kF`d| z(a*$IoK$a`qKBSxdmPAY6XtQ9|9G82;Jiv@`J%TU9{KXsDE0MgeVb9=YAWZ3cMinz zZ80#QFwQ>~Zt^e6l22LZDQEIZ4^@zrr8rPb>7PWf%K$q51U)kXdHn~Jl_>)G03#q| z0|0Aj08jvoM3BG9R6xG4_YKy?VhF!@yMQ1d2q3#p6=Wy!`$uC^KN|zU<^kR)0BnkI zMFAoJbhmL+1P(>63%XwxY=m+~BQ&x8fGt^q08lxoBm^o&J^-kctfYdptQ<rRu-h%G zMeYT;Fdm>F&K}R`;jq5mzw~Uc#a(rOXlCSo;1C$RH>G7{z`lG2AmDsa`<52jOB>~f zMxx+)niTQJz~Lx7))$9F;Q>kz;lGSij%@!6v*dqv>wjSuCCqy~1_h*HvNFGM*Nl~s z=LM^yHEUb3O{?;&4Qgm5bZ}~6lh4+O;X}11P=ez`Q$ml-aV7dzgYM-x*KfidIh@*} zK*(t}qRe0U5!wwV8usRSRr2lhqWb!T?$eBZ!x|#$o>e(C$9hgT%Z>&-;>niLAw)ME zs|~8b&pw}=dlcj<@t7?`uUgnJeX8HxBa}4VUU*pWpkOTHN}-+AhOuoe=j%;S=@YAd zNr#|0y+Y~-bByex)tj&Tt!j(6Tfu_<2j^zQ#mgE$bXe$JqnUWqdh{^McEDnj=5k!P zKrL?OdmPDUL5gHHHV&?~F0AX<8WSHo((f+U_xbJ-Nz(PP-a#wNzJk<1Fw1uGm;;Bb zE`omJ3FPv4hSl=*?dRGK8QDrBsATvD<gDW}TgAmnXQz`XpNW?+)8NLG{C<-Ic`etI zv+XM)R@&5dFb#5{E(C|6%?{oVimnZ_FOj3wYa$WhqzNObT83%&*>eUAW@ojUOI}01 z(IWodYJ4lKcCeVrO0nJ;ekuiNym;;0?Yh42z4^X87htP0<@O12kr&uKJ2@_Vi71Md zPP-XRrN4S@?wVJCW#4D!b+2`;aj$VZSo)LRgehiM&!FTbu4&wvL-%$pJwn))Ob8Qd z>$m3@3O1i!GTNq2UFn<jx-{GJVh7Q?le#lJS#I6%Zam&@sK#|vrnX{hyKght|4u|U z@8d8FqYSv+g0!%p>9Wh!yl6(}#7FsxgJ)p5F{cxWTKJH&of4TgqgFj;M3`Irz@zvK z^r7y&1(z(MrA3KN_}MI8^$Z~qUFletF!QmEkeG<+4bZ4J#=j?PiKAYe1TxJlvd$_9 zdvV2Hf+m31W`I?tyZ&LAL8kdBoAWF&JkJKDK2AYgvJP6fPw}2Qvd$@X<EA--La9pp z{k}4xzCnApzeVC<WB2r=Ok=7TO^P`$w{7&)5B*ii@69u{*mK-KV#zd$YYId|<Pn|f z4M<6^<ciV$cnM}G%m8_iE!jWm980K4)ce59x9SKeWE`c|@a!n+T6Zxke)Hi@W^s9( zS^kRui4na^C~XUtuUTJ)6(cm6ri9*7M<*PEpRH^$m3v)mFi8yiOR<pJddtEgwE>mX zE*B2LR1yY^;skT~Mg3mzOs#0XmHBw}P`4^r=Kk!0=5@4M%NxQgMx<ea{f9S%LaxU9 zEP)8QZo!+LYqiTNOru)X($u4dYjtwnQDe#f)X%?PW+%Bk2*W<v_?Y}pCfS6NTokA3 zY#q`Va-3de)sH$^<nmb?1zD|T^U+}v^)e;nj8V-CcTVRH!>0!GEZ;BnhH^deAF$4T zjEi_E7GK|ej`RC=tePTh_9=2cCB5`i^H6b=y;rh}s4hm2uEHPQ9yyNVK4;{AI_j_@ zRT{H<36J6!YVC`Z%=%>;&yeH1H#0+=g!7*f`BFqq1Xm46Og}3CCG@Pvoe_(Q8gpc5 za-j*1s&z|x{GzMXJqu@K?Q_x9LiT}`bNvItQQAxL6P&pfhN!1KApGmVhW5$M)&=S+ zS$N+P)c`HQ?Nt+QQWL_cp_O2f1M66HNl&6?A&F|{AF8eNUsi6(L%2R#1KD5mtZTR- zcKo;xgsQ)_F`y^_)K{n2rjnP;?eo=aaN#1ziB;KHPs7Qiw5wCW`F?Z*hhEfaSm8U* z)ZB-0&*Yx_`njKIvnV+o#psirI!HSJvX@|<B@pycPYdqa+I17NC;AjV;4Iy^WX3kQ z=u16RXV8gXS|@!*KW}>GWE}L#IZ-eKR^2=|LpP;Nb+=wA`0@tbhU&d6`fpnaslX0X zl`RW%7uDE9y_?~D3vMmJju%i^t!pO^WFHU??;eSa6*i&Lj?d(OjybaKvy{dnP!T@U z8Xq=gBYTl!j4v7K{pdZEL`^>DbtlevX={CQ%av$*Z*0!!Il=vEa)2p3oBWaXjI3iS zV7gG5T2ucnwcx3OMU5ej_ij@#^8_j1QSDt_+ksY}A|}<QI;m!S5tDJ?P%43XUVcvJ z#U`zN5MNre2hSaUP<Vj-JIADVb6+jDY++O8n>^(ZMpFbM6XyVRxJdb{F&eAth+wlN zlBPS?`gQ(*6m?>2hs-U3bS-tRj5umMcWVhhN^y|uespQ-bv6%&7`9y1xpU>2ypSVL z`-B>Z@7SGstMurUh|DfRy@`j5r`#i~SEQ(;3vVgdKd-C6MHZglzA7%T{r0}v0A1=_ z`&K=7oSxkLoL<d_Wpaq=@aA~BfgQTYr*qpVws`s#C#n8ED^cK3lw|O?if0H!QO1r} zMmGDF5E4{RO4gtKdJXNPIaVva@Pc%bk#qLi3xi(M7OTzChK~gW-ZosF4uNrz24_JX zkKWM6q`WlE$`pIB9B#24Gx!qQ-0{X%<>ix)BWHyJhF-8{)*_7j5|d(X*+d5EVM0^$ z1R}~sV?wD?A4$gli8_?Eb{}=*rC|H?q44Lb45eVj|8Muh?v@Is0bsitWDNcC#Ja9Z zHz~ttTu3b@;h-Zo-{Y0bjg|8=2lL8q!w)<Nm<w-eo}QO7Z3fij2ic`b>NkAij@d@g zPpW_Fy22<cVDa~iQ~WJj{x#UR)UBJE9=B3;E=bRL2m1NEK1Fq4G37WejmLPje_@2T z;tr+~K$&LD)un^`Up`oN;iMTDTN;buUks7_kUH*Ra@Z~xyrwU!cp;&<InssW{8RqY zwU_F+ozn1o)mu;rg51$;_?MiKOxvg5U+VF_fZi4MIt0=TR%TOeyyHYPx2^rGhgJMD zgu8+H5koR>?S~LbVY7X*+2bh+{%ND|NF3UmfW=YpXqO0$5ng1xgBu&e4Ryo~(HKoM z))S5K_4?_ci||5w1^}YuYrg)#{$;Vf>z)W#GF3_abk^L1KoArnF9m?4WaR-_s2l{4 zSCIaJe`g2?Pc%{k<LZe5AiKph@JI?w$}7n1nv^b5Y><?U?5?1N@YYA6UEL@y(z}Wo z0p(>0$nO=W82bALWsGEOLrDP?vip_vD4hFeJoc*dbt3FCt~r?{DY4pBH4%8!E;0X~ zu|ebT1T8lNZh!oSh#$7hUN?UaIIw$5_NK57hP-Eo#<&7tD>Oy}gGcWRyDeLxoe6IE zA1F<k_rJejQnGuoBqK4_0)wV({{fUo=GWo=dHX2<kKe7|0PRevox=F=pHS{g;rU<4 z82W1pV2Z;!`y$C(j-p5e8ixg-l2AEGX+YGCK=8&Zg2}lCS#`xByxq`9yd)OqDz-O0 zw8$Hh1T+?-P03S4wH2ixPz5LyDi4*0!C*4t5a=lgMC{i_|C{9O=N(!I@`S;<?sj~4 z2tTrp|K=+GIFt(mIp>gJfc!iFSr|+j2Dkt}G#FHY93jd9VD>dBr~)~#|I#4x<jDQ5 zK_F0aO7^=Z1%Z+OyMEVX6lDLbPllWV{o7Ak=8raHq-DwJ(7)=F{a>0qd1C+WN1hLV zl!ZzEIt~I3L4GE1yPL^o=s*-DR+Psdj>VF1`d&^%vCm*!$oF=4UhL&H2pnNIx-c1O N83qv%9TQ!K{{R_Rpk@F7 literal 0 HcmV?d00001 diff --git a/Presentation/Figures/generalized_orient.svg b/Presentation/Figures/generalized_orient.svg new file mode 100644 index 0000000..cbf897e --- /dev/null +++ b/Presentation/Figures/generalized_orient.svg @@ -0,0 +1,311 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!-- Created with Inkscape (http://www.inkscape.org/) --> + +<svg + xmlns:ns1="http://www.iki.fi/pav/software/textext/" + xmlns:dc="http://purl.org/dc/elements/1.1/" + xmlns:cc="http://creativecommons.org/ns#" + xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" + xmlns:svg="http://www.w3.org/2000/svg" + xmlns="http://www.w3.org/2000/svg" + xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" + xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" + width="60.329311mm" + height="44.780449mm" + viewBox="0 0 60.329313 44.780449" + version="1.1" + id="svg8" + inkscape:version="0.92.4 5da689c313, 2019-01-14" + sodipodi:docname="generalized_orient.svg"> + <defs + id="defs2"> + <marker + inkscape:stockid="Arrow2Sstart" + orient="auto" + refY="0" + refX="0" + id="Arrow2Sstart" + style="overflow:visible" + inkscape:isstock="true"> + <path + id="path847" + style="fill:#73d216;fill-opacity:1;fill-rule:evenodd;stroke:#73d216;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" + d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" + transform="matrix(0.3,0,0,0.3,-0.69,0)" + inkscape:connector-curvature="0" /> + </marker> + <marker + inkscape:stockid="Arrow1Sstart" + orient="auto" + refY="0" + refX="0" + id="marker1657" + style="overflow:visible" + inkscape:isstock="true"> + <path + id="path1655" + d="M 0,0 5,-5 -12.5,0 5,5 Z" + style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;stroke-opacity:1" + transform="matrix(0.2,0,0,0.2,1.2,0)" + inkscape:connector-curvature="0" /> + </marker> + <marker + inkscape:stockid="Arrow1Sstart" + orient="auto" + refY="0" + refX="0" + id="Arrow1Sstart" + style="overflow:visible" + inkscape:isstock="true"> + <path + id="path829" + d="M 0,0 5,-5 -12.5,0 5,5 Z" + style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;stroke-opacity:1" + transform="matrix(0.2,0,0,0.2,1.2,0)" + inkscape:connector-curvature="0" /> + </marker> + <marker + inkscape:isstock="true" + style="overflow:visible" + id="marker1115" + refX="0" + refY="0" + orient="auto" + inkscape:stockid="Arrow2Mend"> + <path + transform="scale(-0.6)" + d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" + style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" + id="path1113" + inkscape:connector-curvature="0" /> + </marker> + <marker + inkscape:stockid="Arrow2Mend" + orient="auto" + refY="0" + refX="0" + id="Arrow2Mend" + style="overflow:visible" + inkscape:isstock="true" + inkscape:collect="always"> + <path + id="path844" + style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" + d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" + transform="scale(-0.6)" + inkscape:connector-curvature="0" /> + </marker> + <marker + inkscape:isstock="true" + style="overflow:visible" + id="marker1115-2" + refX="0" + refY="0" + orient="auto" + inkscape:stockid="Arrow2Mend"> + <path + inkscape:connector-curvature="0" + transform="scale(-0.6)" + d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" + style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" + id="path1113-7" /> + </marker> + <marker + inkscape:stockid="Arrow2Sstart" + orient="auto" + refY="0" + refX="0" + id="Arrow2Sstart-0" + style="overflow:visible" + inkscape:isstock="true"> + <path + inkscape:connector-curvature="0" + id="path847-9" + style="fill:#ef2929;fill-opacity:1;fill-rule:evenodd;stroke:#ef2929;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" + d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" + transform="matrix(0.3,0,0,0.3,-0.69,0)" /> + </marker> + </defs> + <sodipodi:namedview + id="base" + pagecolor="#ffffff" + bordercolor="#666666" + borderopacity="1.0" + inkscape:pageopacity="0.0" + inkscape:pageshadow="2" + inkscape:zoom="1.4" + inkscape:cx="124.16185" + inkscape:cy="2.3614809" + inkscape:document-units="mm" + inkscape:current-layer="g1917" + showgrid="false" + inkscape:snap-object-midpoints="true" + inkscape:snap-global="false" + fit-margin-top="0" + fit-margin-left="0" + fit-margin-right="0" + fit-margin-bottom="0" /> + <metadata + id="metadata5"> + <rdf:RDF> + <cc:Work + rdf:about=""> + <dc:format>image/svg+xml</dc:format> + <dc:type + rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> + <dc:title></dc:title> + </cc:Work> + </rdf:RDF> + </metadata> + <g + inkscape:label="Layer 1" + inkscape:groupmode="layer" + id="layer1" + transform="translate(-77.786583,-105.92931)"> + <g + id="g1917" + transform="translate(37.041667,7.5595238)"> + <path + inkscape:connector-curvature="0" + id="path815" + d="M 48.643053,133.96559 H 89.268021" + style="opacity:1;fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1.05799997;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#Arrow2Mend)" /> + <path + style="opacity:1;fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1.05799997;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#marker1115)" + d="M 48.643053,133.96559 78.397999,106.3064" + id="path1111" + inkscape:connector-curvature="0" /> + <path + d="m 65.353562,122.04938 a 20.524063,20.524063 0 0 1 3.744204,10.23045" + sodipodi:open="true" + sodipodi:end="6.2009568" + sodipodi:start="5.6637237" + sodipodi:ry="20.524063" + sodipodi:rx="20.524063" + sodipodi:cy="133.96559" + sodipodi:cx="48.643051" + sodipodi:type="arc" + id="path1513" + style="opacity:1;fill:none;fill-opacity:1;stroke:#73d216;stroke-width:1.05799997;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;marker-start:url(#Arrow2Sstart)" /> + <text + id="text1898" + y="127.0603" + x="73.131424" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.37443352px;line-height:17.77255249px;font-family:'Linux Biolinum';-inkscape-font-specification:'Linux Biolinum';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#73d216;fill-opacity:1;stroke:none;stroke-width:0.26458332px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" + xml:space="preserve"><tspan + style="fill:#73d216;stroke-width:0.26458332px" + y="127.0603" + x="73.131424" + id="tspan1896" + sodipodi:role="line">+</tspan></text> + <g + id="g9439" + ns1:jacobian_sqrt="1.028493" + inkscapeversion="0.92.4" + ns1:alignment="middle center" + ns1:scale="2.91541464204" + ns1:preamble="/home/nivoliev/.config/inkscape/extensions/textext/default_packages.tex" + ns1:text="$\\mathbf{p}_0$" + ns1:pdfconverter="pdf2svg" + ns1:texconverter="pdflatex" + ns1:version="0.10.0" + transform="matrix(1.028493,0,0,1.028493,-112.59002,2.1371641)"> + <g + id="surface1"> + <g + id="g9432" + style="fill:#000000;fill-opacity:1"> + <path + id="path9430" + transform="translate(148.712,134.765)" + d="m 2.1875,-3.28125 c 0,-0.1875 0.015625,-0.203125 0.15625,-0.34375 0.390625,-0.40625 0.921875,-0.46875 1.140625,-0.46875 0.65625,0 1.21875,0.609375 1.21875,1.875 0,1.40625 -0.703125,1.921875 -1.34375,1.921875 -0.140625,0 -0.609375,0 -1.0625,-0.546875 C 2.1875,-0.96875 2.1875,-0.984375 2.1875,-1.171875 Z m 0,2.890625 c 0.4375,0.34375 0.875,0.453125 1.28125,0.453125 1.5,0 2.515625,-0.90625 2.515625,-2.28125 0,-1.328125 -0.90625,-2.265625 -2.34375,-2.265625 -0.75,0 -1.28125,0.3125 -1.5,0.484375 V -4.484375 L 0.375,-4.40625 v 0.46875 c 0.609375,0 0.6875,0 0.6875,0.375 V 1.46875 H 0.375 V 1.9375 C 0.640625,1.921875 1.25,1.90625 1.625,1.90625 c 0.390625,0 0.984375,0.015625 1.25,0.03125 V 1.46875 H 2.1875 Z m 0,0" + style="stroke:none;stroke-width:0" + inkscape:connector-curvature="0" /> + </g> + <g + id="g9436" + style="fill:#000000;fill-opacity:1"> + <path + id="path9434" + transform="translate(155.077,136.259)" + d="M 3.59375,-2.21875 C 3.59375,-2.984375 3.5,-3.546875 3.1875,-4.03125 2.96875,-4.34375 2.53125,-4.625 1.984375,-4.625 c -1.625,0 -1.625,1.90625 -1.625,2.40625 0,0.5 0,2.359375 1.625,2.359375 1.609375,0 1.609375,-1.859375 1.609375,-2.359375 z M 1.984375,-0.0625 c -0.328125,0 -0.75,-0.1875 -0.890625,-0.75 C 1,-1.21875 1,-1.796875 1,-2.3125 1,-2.828125 1,-3.359375 1.09375,-3.734375 1.25,-4.28125 1.6875,-4.4375 1.984375,-4.4375 c 0.375,0 0.734375,0.234375 0.859375,0.640625 0.109375,0.375 0.125,0.875 0.125,1.484375 0,0.515625 0,1.03125 -0.09375,1.46875 -0.140625,0.640625 -0.609375,0.78125 -0.890625,0.78125 z m 0,0" + style="stroke:none;stroke-width:0" + inkscape:connector-curvature="0" /> + </g> + </g> + </g> + <g + id="g9540" + ns1:jacobian_sqrt="1.028493" + inkscapeversion="0.92.4" + ns1:alignment="middle center" + ns1:scale="2.91541464204" + ns1:preamble="/home/nivoliev/.config/inkscape/extensions/textext/default_packages.tex" + ns1:text="$\\mathbf{p}_2$" + ns1:pdfconverter="pdf2svg" + ns1:texconverter="pdflatex" + ns1:version="0.10.0" + transform="matrix(1.028493,0,0,1.028493,-72.319033,-35.622927)"> + <g + id="g9538"> + <g + id="g9532" + style="fill:#000000;fill-opacity:1"> + <path + id="path9530" + transform="translate(148.712,134.765)" + d="m 2.1875,-3.28125 c 0,-0.1875 0.015625,-0.203125 0.15625,-0.34375 0.390625,-0.40625 0.921875,-0.46875 1.140625,-0.46875 0.65625,0 1.21875,0.609375 1.21875,1.875 0,1.40625 -0.703125,1.921875 -1.34375,1.921875 -0.140625,0 -0.609375,0 -1.0625,-0.546875 C 2.1875,-0.96875 2.1875,-0.984375 2.1875,-1.171875 Z m 0,2.890625 c 0.4375,0.34375 0.875,0.453125 1.28125,0.453125 1.5,0 2.515625,-0.90625 2.515625,-2.28125 0,-1.328125 -0.90625,-2.265625 -2.34375,-2.265625 -0.75,0 -1.28125,0.3125 -1.5,0.484375 V -4.484375 L 0.375,-4.40625 v 0.46875 c 0.609375,0 0.6875,0 0.6875,0.375 V 1.46875 H 0.375 V 1.9375 C 0.640625,1.921875 1.25,1.90625 1.625,1.90625 c 0.390625,0 0.984375,0.015625 1.25,0.03125 V 1.46875 H 2.1875 Z m 0,0" + style="stroke:none;stroke-width:0" + inkscape:connector-curvature="0" /> + </g> + <g + id="g9536" + style="fill:#000000;fill-opacity:1"> + <path + id="path9534" + transform="translate(155.077,136.259)" + d="M 3.515625,-1.265625 H 3.28125 c -0.015625,0.15625 -0.09375,0.5625 -0.1875,0.625 C 3.046875,-0.59375 2.515625,-0.59375 2.40625,-0.59375 H 1.125 c 0.734375,-0.640625 0.984375,-0.84375 1.390625,-1.171875 0.515625,-0.40625 1,-0.84375 1,-1.5 0,-0.84375 -0.734375,-1.359375 -1.625,-1.359375 -0.859375,0 -1.453125,0.609375 -1.453125,1.25 0,0.34375 0.296875,0.390625 0.375,0.390625 0.15625,0 0.359375,-0.125 0.359375,-0.375 0,-0.125 -0.046875,-0.375 -0.40625,-0.375 C 0.984375,-4.21875 1.453125,-4.375 1.78125,-4.375 c 0.703125,0 1.0625,0.546875 1.0625,1.109375 0,0.609375 -0.4375,1.078125 -0.65625,1.328125 L 0.515625,-0.265625 C 0.4375,-0.203125 0.4375,-0.1875 0.4375,0 h 2.875 z m 0,0" + style="stroke:none;stroke-width:0" + inkscape:connector-curvature="0" /> + </g> + </g> + </g> + <g + id="g9595" + ns1:jacobian_sqrt="1.028493" + inkscapeversion="0.92.4" + ns1:alignment="middle center" + ns1:scale="2.91541464204" + ns1:preamble="/home/nivoliev/.config/inkscape/extensions/textext/default_packages.tex" + ns1:text="$\\mathbf{p}_1$" + ns1:pdfconverter="pdf2svg" + ns1:texconverter="pdflatex" + ns1:version="0.10.0" + transform="matrix(1.028493,0,0,1.028493,-61.812195,2.5526696)"> + <g + id="g9593"> + <g + id="g9587" + style="fill:#000000;fill-opacity:1"> + <path + id="path9585" + transform="translate(148.712,134.765)" + d="m 2.1875,-3.28125 c 0,-0.1875 0.015625,-0.203125 0.15625,-0.34375 0.390625,-0.40625 0.921875,-0.46875 1.140625,-0.46875 0.65625,0 1.21875,0.609375 1.21875,1.875 0,1.40625 -0.703125,1.921875 -1.34375,1.921875 -0.140625,0 -0.609375,0 -1.0625,-0.546875 C 2.1875,-0.96875 2.1875,-0.984375 2.1875,-1.171875 Z m 0,2.890625 c 0.4375,0.34375 0.875,0.453125 1.28125,0.453125 1.5,0 2.515625,-0.90625 2.515625,-2.28125 0,-1.328125 -0.90625,-2.265625 -2.34375,-2.265625 -0.75,0 -1.28125,0.3125 -1.5,0.484375 V -4.484375 L 0.375,-4.40625 v 0.46875 c 0.609375,0 0.6875,0 0.6875,0.375 V 1.46875 H 0.375 V 1.9375 C 0.640625,1.921875 1.25,1.90625 1.625,1.90625 c 0.390625,0 0.984375,0.015625 1.25,0.03125 V 1.46875 H 2.1875 Z m 0,0" + style="stroke:none;stroke-width:0" + inkscape:connector-curvature="0" /> + </g> + <g + id="g9591" + style="fill:#000000;fill-opacity:1"> + <path + id="path9589" + transform="translate(155.077,136.259)" + d="m 2.328125,-4.4375 c 0,-0.1875 0,-0.1875 -0.203125,-0.1875 -0.453125,0.4375 -1.078125,0.4375 -1.359375,0.4375 v 0.25 c 0.15625,0 0.625,0 1,-0.1875 v 3.546875 c 0,0.234375 0,0.328125 -0.6875,0.328125 H 0.8125 V 0 c 0.125,0 0.984375,-0.03125 1.234375,-0.03125 0.21875,0 1.09375,0.03125 1.25,0.03125 V -0.25 H 3.03125 c -0.703125,0 -0.703125,-0.09375 -0.703125,-0.328125 z m 0,0" + style="stroke:none;stroke-width:0" + inkscape:connector-curvature="0" /> + </g> + </g> + </g> + </g> + </g> +</svg> diff --git a/Presentation/presentation.tex b/Presentation/presentation.tex index a943089..8374480 100644 --- a/Presentation/presentation.tex +++ b/Presentation/presentation.tex @@ -225,4 +225,87 @@ } } +\frame{ + \frametitle{Calcul exact} + \begin{center} + \begin{myblock}{0.8\li} + \centering + Il peut arriver que le déterminant ne soit pas nul\\ + mais que l'arrondi en virgule flottante le soit. + \end{myblock} + \end{center} + + \visible<2>{ + \vspace{8mm} + \textbf{Calculer en précision exacte :} + \vspace{3mm} + \begin{itemize} + \item entiers sans limite de taille ; + \item nombre rationels ; + \item opérations dont le résultat est rationnel (pas de racine carrée !) ; + \item le prédicat ne doit prendre en entrée que des nombres initiaux. + \end{itemize} + } +} + +\frame{ + \frametitle{Généralisation de l'orientation} + \centering + \includegraphics[width=0.3\li]{Figures/generalized_orient} + + \vspace{8mm} + \begin{myblock}{0.8\li} + \centering + examiner le signe de : + $ + \det{ + \begin{pmatrix} + x_0 & y_0 & 1 \\ + x_1 & y_1 & 1 \\ + x_2 & y_2 & 1 + \end{pmatrix} + } + $ + \end{myblock} +} + +\frame{ + \frametitle{Simulation de simplicité (Edelsbrnner \& Mücke 90)} + + \begin{center} + \begin{myblock}{0.8\li} + Utiliser des \eps{} avec une puissance \hl{exponentielle} en $i$ et $j$ : + \begin{equation*} + \eps_{i,j} = \eps^{2^{i*d - j}} + \end{equation*} + \end{myblock} + \end{center} + + \vspace{5mm} + \textbf{Principe :} + \begin{itemize} + \item $\sum_{k=0}^n 2^k = 2^{k+1} - 1$ + \item $\prod_{k=0}^n\eps^{2^k} = \eps^{\sum_{k=0}^n2^k} = \eps^{2^{k+1} - 1} >> \eps^{2^{k+1}}$ + \end{itemize} +} + +\frame{ + \frametitle{Extraire les termes} + + \begin{equation*} + \begin{pmatrix} + p_{0,0} + \eps{0,0} & p_{0,1} + \eps{0,1} & \cdots & p_{0,d} + \eps{0,d-1} & 1 \\ + p_{1,0} + \eps{1,0} & p_{1,1} + \eps{1,1} & \cdots & p_{1,d} + \eps{1,d-1} & 1 \\ + \vdots & \vdots & \ddots & \vdots \\ + p_{d,0} + \eps{d,0} & p_{d,1} + \eps{d,1} & \cdots & p_{d,d-1} + \eps{d,d-1} & 1 + \end{pmatrix} + \end{equation*} + + \vspace{5mm} + \begin{itemize} + \item pour chaque point aligner la perturbation voulue sur la diagonale ; + \item développement par les cofacteurs. + \end{itemize} +} + \end{document} -- GitLab