From 55b4e148fc8eea291802a05ddcb185b5b59b655e Mon Sep 17 00:00:00 2001 From: Monique Teillaud Date: Thu, 27 Jul 2000 13:44:11 +0000 Subject: [PATCH] new figure remove impossible --- .gitattributes | 4 + .../doc_tex/Triangulation_3/htmlfiles | 1 + .../doc_tex/Triangulation_3/remimpos.eps | 577 ++++++++++++++++++ .../doc_tex/Triangulation_3/remimpos.gif | Bin 0 -> 1994 bytes .../doc_tex/basic/Triangulation_3/htmlfiles | 1 + .../basic/Triangulation_3/remimpos.eps | 577 ++++++++++++++++++ .../basic/Triangulation_3/remimpos.gif | Bin 0 -> 1994 bytes 7 files changed, 1160 insertions(+) create mode 100644 Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.eps create mode 100644 Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.gif create mode 100644 Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.eps create mode 100644 Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.gif diff --git a/.gitattributes b/.gitattributes index bf55f8094bd..8a7922acc7a 100644 --- a/.gitattributes +++ b/.gitattributes @@ -421,6 +421,8 @@ Packages/Triangulation_3/doc_tex/Triangulation_3/orient.eps -text Packages/Triangulation_3/doc_tex/Triangulation_3/orient.gif -text svneol=unset#unset Packages/Triangulation_3/doc_tex/Triangulation_3/ortho.eps -text Packages/Triangulation_3/doc_tex/Triangulation_3/ortho.gif -text svneol=unset#unset +Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.eps -text +Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.gif -text svneol=unset#unset Packages/Triangulation_3/doc_tex/Triangulation_3/repres.gif svneol=native#unset Packages/Triangulation_3/doc_tex/Triangulation_3/sidedim2.eps -text Packages/Triangulation_3/doc_tex/Triangulation_3/sidedim2.gif -text svneol=unset#unset @@ -445,6 +447,8 @@ Packages/Triangulation_3/doc_tex/basic/Triangulation_3/orient.eps -text Packages/Triangulation_3/doc_tex/basic/Triangulation_3/orient.gif -text svneol=unset#unset Packages/Triangulation_3/doc_tex/basic/Triangulation_3/ortho.eps -text Packages/Triangulation_3/doc_tex/basic/Triangulation_3/ortho.gif -text svneol=unset#unset +Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.eps -text +Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.gif -text svneol=unset#unset Packages/Triangulation_3/doc_tex/basic/Triangulation_3/repres.gif svneol=native#unset Packages/Triangulation_3/doc_tex/basic/Triangulation_3/sidedim2.eps -text Packages/Triangulation_3/doc_tex/basic/Triangulation_3/sidedim2.gif -text svneol=unset#unset diff --git a/Packages/Triangulation_3/doc_tex/Triangulation_3/htmlfiles b/Packages/Triangulation_3/doc_tex/Triangulation_3/htmlfiles index 0e13ee230fc..6f879d2aa1d 100644 --- a/Packages/Triangulation_3/doc_tex/Triangulation_3/htmlfiles +++ b/Packages/Triangulation_3/doc_tex/Triangulation_3/htmlfiles @@ -6,6 +6,7 @@ insert_outside_affine_hull.gif insert_outside_convex_hull.gif orient.gif ortho.gif +remimpos.gif repres.gif sidedim2.gif sphere.gif diff --git a/Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.eps b/Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.eps new file mode 100644 index 00000000000..85d6cc5815c --- /dev/null +++ b/Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.eps @@ -0,0 +1,577 @@ +%!PS-Adobe-2.0 EPSF-2.0 +%%Creator: dvips(k) 5.78 Copyright 1998 Radical Eye Software (www.radicaleye.com) +%%Title: 6634.dvi +%%BoundingBox:55 585 323 721 +%%EndComments +%DVIPSCommandLine: dvips -E -o remimpos.eps 6634.dvi +%DVIPSParameters: dpi=600 +%DVIPSSource: TeX output 2000.07.27:1535 +%%BeginProcSet: tex.pro +%! +/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N +/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 +mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} +ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale +isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div +hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul +TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} +forall round exch round exch]setmatrix}N /@landscape{/isls true N}B +/@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B +/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ +/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N +string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N +end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ +/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] +N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup +length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ +128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub +get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data +dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N +/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup +/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx +0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff +setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff +.1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} +if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup +length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ +cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin +0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul +add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict +/eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook +known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X +/IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for +65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 +0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V +{}B /RV statusdict begin /product where{pop false[(Display)(NeXT) +(LaserWriter 16/600)]{dup length product length le{dup length product +exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false} +ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot} +imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false +RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round +exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto +rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail{dup +/delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}B /d{ +-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{4 M}B +/w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1 w} +B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B +/bos{/SS save N}B /eos{SS restore}B end + +%%EndProcSet +%%BeginProcSet: special.pro +%! +TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N +/vs 792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP 0 N /rwiSeen +false N /rhiSeen false N /letter{}N /note{}N /a4{}N /legal{}N}B +/@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{@scaleunit +div /vsc X}B /@hsize{/hs X /CLIP 1 N}B /@vsize{/vs X /CLIP 1 N}B /@clip{ +/CLIP 2 N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{ +10 div /rwi X /rwiSeen true N}B /@rhi{10 div /rhi X /rhiSeen true N}B +/@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X}B /magscale +true def end /@MacSetUp{userdict /md known{userdict /md get type +/dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup +length 20 add dict copy def}if end md begin /letter{}N /note{}N /legal{} +N /od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath +clippath mark{transform{itransform moveto}}{transform{itransform lineto} +}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{ +itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{ +closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39 +0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}N +/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1 +scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get +ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip +not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 +TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR +pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1 +-1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg +TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg +sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr +0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add +2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N /cp +{pop pop showpage pm restore}N end}if}if}N /normalscale{Resolution 72 +div VResolution 72 div neg scale magscale{DVImag dup scale}if 0 setgray} +N /psfts{S 65781.76 div N}N /startTexFig{/psf$SavedState save N userdict +maxlength dict begin /magscale true def normalscale currentpoint TR +/psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts +/psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx +psf$llx sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy +scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR +/showpage{}N /erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{ +psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 +roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath +moveto}N /endTexFig{end psf$SavedState restore}N /@beginspecial{SDict +begin /SpecialSave save N gsave normalscale currentpoint TR +@SpecialDefaults count /ocount X /dcount countdictstack N}N /@setspecial +{CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto +closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx +sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR +}{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse +CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury +lineto closepath clip}if /showpage{}N /erasepage{}N /copypage{}N newpath +}N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{ +end}repeat grestore SpecialSave restore end}N /@defspecial{SDict begin} +N /@fedspecial{end}B /li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{ +/SaveX currentpoint /SaveY X N 1 setlinecap newpath}N /st{stroke SaveX +SaveY moveto}N /fil{fill SaveX SaveY moveto}N /ellipse{/endangle X +/startangle X /yrad X /xrad X /savematrix matrix currentmatrix N TR xrad +yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end + +%%EndProcSet +%%BeginProcSet: color.pro +%! +TeXDict begin /setcmykcolor where{pop}{/setcmykcolor{dup 10 eq{pop +setrgbcolor}{1 sub 4 1 roll 3{3 index add neg dup 0 lt{pop 0}if 3 1 roll +}repeat setrgbcolor pop}ifelse}B}ifelse /TeXcolorcmyk{setcmykcolor}def +/TeXcolorrgb{setrgbcolor}def /TeXcolorgrey{setgray}def /TeXcolorgray{ +setgray}def /TeXcolorhsb{sethsbcolor}def /currentcmykcolor where{pop}{ +/currentcmykcolor{currentrgbcolor 10}B}ifelse /DC{exch dup userdict exch +known{pop pop}{X}ifelse}B /GreenYellow{0.15 0 0.69 0 setcmykcolor}DC +/Yellow{0 0 1 0 setcmykcolor}DC /Goldenrod{0 0.10 0.84 0 setcmykcolor} +DC /Dandelion{0 0.29 0.84 0 setcmykcolor}DC /Apricot{0 0.32 0.52 0 +setcmykcolor}DC /Peach{0 0.50 0.70 0 setcmykcolor}DC /Melon{0 0.46 0.50 +0 setcmykcolor}DC /YellowOrange{0 0.42 1 0 setcmykcolor}DC /Orange{0 +0.61 0.87 0 setcmykcolor}DC /BurntOrange{0 0.51 1 0 setcmykcolor}DC +/Bittersweet{0 0.75 1 0.24 setcmykcolor}DC /RedOrange{0 0.77 0.87 0 +setcmykcolor}DC /Mahogany{0 0.85 0.87 0.35 setcmykcolor}DC /Maroon{0 +0.87 0.68 0.32 setcmykcolor}DC /BrickRed{0 0.89 0.94 0.28 setcmykcolor} +DC /Red{0 1 1 0 setcmykcolor}DC /OrangeRed{0 1 0.50 0 setcmykcolor}DC +/RubineRed{0 1 0.13 0 setcmykcolor}DC /WildStrawberry{0 0.96 0.39 0 +setcmykcolor}DC /Salmon{0 0.53 0.38 0 setcmykcolor}DC /CarnationPink{0 +0.63 0 0 setcmykcolor}DC /Magenta{0 1 0 0 setcmykcolor}DC /VioletRed{0 +0.81 0 0 setcmykcolor}DC /Rhodamine{0 0.82 0 0 setcmykcolor}DC /Mulberry +{0.34 0.90 0 0.02 setcmykcolor}DC /RedViolet{0.07 0.90 0 0.34 +setcmykcolor}DC /Fuchsia{0.47 0.91 0 0.08 setcmykcolor}DC /Lavender{0 +0.48 0 0 setcmykcolor}DC /Thistle{0.12 0.59 0 0 setcmykcolor}DC /Orchid{ +0.32 0.64 0 0 setcmykcolor}DC /DarkOrchid{0.40 0.80 0.20 0 setcmykcolor} +DC /Purple{0.45 0.86 0 0 setcmykcolor}DC /Plum{0.50 1 0 0 setcmykcolor} +DC /Violet{0.79 0.88 0 0 setcmykcolor}DC /RoyalPurple{0.75 0.90 0 0 +setcmykcolor}DC /BlueViolet{0.86 0.91 0 0.04 setcmykcolor}DC /Periwinkle +{0.57 0.55 0 0 setcmykcolor}DC /CadetBlue{0.62 0.57 0.23 0 setcmykcolor} +DC /CornflowerBlue{0.65 0.13 0 0 setcmykcolor}DC /MidnightBlue{0.98 0.13 +0 0.43 setcmykcolor}DC /NavyBlue{0.94 0.54 0 0 setcmykcolor}DC +/RoyalBlue{1 0.50 0 0 setcmykcolor}DC /Blue{1 1 0 0 setcmykcolor}DC +/Cerulean{0.94 0.11 0 0 setcmykcolor}DC /Cyan{1 0 0 0 setcmykcolor}DC +/ProcessBlue{0.96 0 0 0 setcmykcolor}DC /SkyBlue{0.62 0 0.12 0 +setcmykcolor}DC /Turquoise{0.85 0 0.20 0 setcmykcolor}DC /TealBlue{0.86 +0 0.34 0.02 setcmykcolor}DC /Aquamarine{0.82 0 0.30 0 setcmykcolor}DC +/BlueGreen{0.85 0 0.33 0 setcmykcolor}DC /Emerald{1 0 0.50 0 +setcmykcolor}DC /JungleGreen{0.99 0 0.52 0 setcmykcolor}DC /SeaGreen{ +0.69 0 0.50 0 setcmykcolor}DC /Green{1 0 1 0 setcmykcolor}DC +/ForestGreen{0.91 0 0.88 0.12 setcmykcolor}DC /PineGreen{0.92 0 0.59 +0.25 setcmykcolor}DC /LimeGreen{0.50 0 1 0 setcmykcolor}DC /YellowGreen{ +0.44 0 0.74 0 setcmykcolor}DC /SpringGreen{0.26 0 0.76 0 setcmykcolor} +DC /OliveGreen{0.64 0 0.95 0.40 setcmykcolor}DC /RawSienna{0 0.72 1 0.45 +setcmykcolor}DC /Sepia{0 0.83 1 0.70 setcmykcolor}DC /Brown{0 0.81 1 +0.60 setcmykcolor}DC /Tan{0.14 0.42 0.56 0 setcmykcolor}DC /Gray{0 0 0 +0.50 setcmykcolor}DC /Black{0 0 0 1 setcmykcolor}DC /White{0 0 0 0 +setcmykcolor}DC end + +%%EndProcSet +TeXDict begin 40258437 52099154 1000 600 600 (6634.dvi) +@start +%DVIPSBitmapFont: Fa ecrm1000 10 19 +/Fa 19 122 df<001FE0000000FFFC000003E03F000007000F80000F8007E0001FC003F0 +001FE003F0001FE001F8001FE001F8001FE000FC000FC000FC00078000FC00000000FC00 +000000FC00000000FC00000000FC0000007FFC000007FFFC00003FE0FC0000FE00FC0003 +F800FC000FF000FC001FC000FC003FC000FC007F8000FC007F0000FC007F0000FC0CFE00 +00FC0CFE0000FC0CFE0000FC0CFE0001FC0CFE0001FC0CFF0003FC0C7F00077C0C7F8006 +3E183FC01E3E180FE0781FF003FFF00FE0007F8007C026277DA52A>97 +D<0003FC00001FFF80007E03E001F8007003F000F807E001FC0FC003FC0FC003FC1F8003 +FC3F8003FC3F0001F87F0000F07F0000007F0000007E000000FE000000FE000000FE0000 +00FE000000FE000000FE000000FE000000FE000000FE000000FE0000007E0000007F0000 +007F0000003F0000063F8000061F80000E1FC0000C0FC0001C07E0003803F0007001F800 +E0007C07C0001FFF000007F8001F277DA525>99 D<0000000FC0000003FFC0000003FFC0 +000003FFC00000003FC00000000FC00000000FC00000000FC00000000FC00000000FC000 +00000FC00000000FC00000000FC00000000FC00000000FC00000000FC00000000FC00000 +000FC00000000FC00000000FC00000000FC00003F80FC0001FFF0FC0007E078FC000F801 +EFC003F0007FC007E0003FC00FC0001FC00FC0001FC01F80000FC03F80000FC03F00000F +C07F00000FC07F00000FC07E00000FC0FE00000FC0FE00000FC0FE00000FC0FE00000FC0 +FE00000FC0FE00000FC0FE00000FC0FE00000FC0FE00000FC0FE00000FC07E00000FC07F +00000FC07F00000FC03F00000FC03F00000FC01F80001FC01F80001FC00FC0003FC007E0 +007FC003F000EFF001F801CFFF007C078FFF001FFE0FFF0007F80FC0283B7DB92E>I<00 +07F800001FFF00007C0FC001F803E003F001F007E001F80FC000F81F80007C1F80007C3F +00007E3F00003E7F00003E7F00003F7E00003FFE00003FFE00003FFE00003FFFFFFFFFFF +FFFFFFFE000000FE000000FE000000FE000000FE0000007E0000007E0000007F0000007F +0000003F0000033F8000031F8000070FC0000607C0000E07E0001C01F0003800F8007000 +7E03E0001FFF800003FC0020277EA525>I<00007E000003FF80000FC1E0001F87E0003F +0FF0007E0FF0007E0FF000FC0FF000FC0FF001F803C001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8 +0000FFFFFC00FFFFFC00FFFFFC0001F8000001F8000001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000003FC00007FFFF8007FFFF8007FFF +F8001C3B7FBA19>I<03F000000000FFF000000000FFF000000000FFF0000000000FF000 +00000003F00000000003F00000000003F00000000003F00000000003F00000000003F000 +00000003F00000000003F00000000003F00000000003F00000000003F00000000003F000 +00000003F00000000003F00000000003F00000000003F00000000003F00FF0000003F03F +FC000003F0F03F000003F1C01F800003F3800FC00003F7000FC00003FE000FC00003FC00 +07E00003FC0007E00003F80007E00003F80007E00003F80007E00003F00007E00003F000 +07E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F000 +07E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F000 +07E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F000 +07E00003F00007E00007F8000FF000FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF80293A7E +B92E>104 D<0380000FE0001FF0001FF0001FF0001FF0001FF0000FE000038000000000 +00000000000000000000000000000000000000000000000000000003F000FFF000FFF000 +FFF00007F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F000 +03F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F000 +03F00003F00003F00003F00003F00003F00007F800FFFFC0FFFFC0FFFFC012387EB717> +I<03F000FFF000FFF000FFF0000FF00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00007F800FFFFC0FFFFC0FFFFC0123A7EB917 +>108 D<03F00FF0001FE000FFF03FFC007FF800FFF0F03F01E07E00FFF1C01F83803F00 +0FF3800FC7001F8003F7000FCE001F8003FE000FDC001F8003FC0007F8000FC003FC0007 +F8000FC003F80007F0000FC003F80007F0000FC003F80007F0000FC003F00007E0000FC0 +03F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007 +E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC0 +03F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007 +E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC0 +03F00007E0000FC003F00007E0000FC007F8000FF0001FE0FFFFC1FFFF83FFFFFFFFC1FF +FF83FFFFFFFFC1FFFF83FFFF40257EA445>I<03F00FF00000FFF03FFC0000FFF0F03F00 +00FFF1C01F80000FF3800FC00003F7000FC00003FE000FC00003FC0007E00003FC0007E0 +0003F80007E00003F80007E00003F80007E00003F00007E00003F00007E00003F00007E0 +0003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E0 +0003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E0 +0003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E0 +0007F8000FF000FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF8029257EA42E>I<0003FE00 +00000FFF8000003E03E00000F800F80001F0007C0003E0003E0007C0001F000F80000F80 +1F80000FC01F000007C03F000007E03F000007E07E000003F07E000003F07E000003F07E +000003F0FE000003F8FE000003F8FE000003F8FE000003F8FE000003F8FE000003F8FE00 +0003F8FE000003F8FE000003F87E000003F07E000003F07F000007F03F000007E03F0000 +07E01F80000FC00F80000F800FC0001F8007E0003F0003F0007E0000F800F800007E03F0 +00001FFFC0000003FE000025277EA52A>I<03F01FE000FFF07FF800FFF1E07E00FFF380 +1F8007F7000FC003FE0007E003FC0003F003F80003F803F00001F803F00001FC03F00000 +FC03F00000FE03F00000FE03F00000FE03F000007F03F000007F03F000007F03F000007F +03F000007F03F000007F03F000007F03F000007F03F000007F03F000007F03F00000FE03 +F00000FE03F00000FE03F00001FC03F00001FC03F80003F803F80003F003FC0007F003FE +000FE003F6000FC003F7803F0003F1E07E0003F0FFF80003F01FC00003F000000003F000 +000003F000000003F000000003F000000003F000000003F000000003F000000003F00000 +0003F000000003F000000007F8000000FFFFC00000FFFFC00000FFFFC0000028357EA42E +>I<07E01F00FFE07FC0FFE1E3E0FFE387F00FE707F003E607F003EE07F003EC03E003FC +008003F8000003F8000003F8000003F8000003F0000003F0000003F0000003F0000003F0 +000003F0000003F0000003F0000003F0000003F0000003F0000003F0000003F0000003F0 +000003F0000003F0000003F0000003F0000003F0000003F0000007F80000FFFFF000FFFF +F000FFFFF0001C257EA421>114 D<001800000018000000180000001800000018000000 +380000003800000038000000780000007800000078000000F8000001F8000003F8000007 +F800001FFFFF00FFFFFF00FFFFFF0001F8000001F8000001F8000001F8000001F8000001 +F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001 +F8000001F8000001F8000001F8000001F800C001F800C001F800C001F800C001F800C001 +F800C001F800C001F800C001F800C000FC01C000FC0180007C0380007E0300003F070000 +0FFE000001F8001A347FB220>116 D<03F00007E000FFF001FFE000FFF001FFE000FFF0 +01FFE0000FF0001FE00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +0007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +0007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +0007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +000FE00003F0000FE00003F0000FE00003F0001FE00001F0001FE00001F8003FE00000F8 +0077F80000FC00E7FF80003F03C7FF80001FFF87FF800003FC07E00029267EA42E>IIIII E +%EndDVIPSBitmapFont +end +%%EndProlog +%%BeginSetup +%%Feature: *Resolution 600dpi +TeXDict begin + +%%EndSetup +1 0 bop White 0 3 2085 4 v 0 1053 4 1050 v Black -1472 +3862 a @beginspecial 100 @hscale 100 @vscale @setspecial +%%BeginDocument: remimpos.ipe +%!PS-Adobe-2.0 EPSF-1.2 +%%Creator: Ipe 5.0 +%%BoundingBox: 179 339 421 461 +%%EndComments +{\catcode37=9\def\IPEdummy{({{)}} pop +%%}\makeatletter\let\@notdefinable\relax +%%\def\IPEc#1[#2]#3{\newcommand{#1}[#2]{#3}\ignorespaces}\@ifundefined +%%{selectfont}{\let\selectfont\relax\def\fontsize#1#2{}}{}\makeatother +%%\IPEc\IPEput[4]{\put(0,0){\special{psfile=\IPEfile}}} +%%\IPEc\IPEmp[2]{\minipage[t]{#1bp}#2\special{color pop}\endminipage} +%%\IPEc\IPEtext[1]{\makebox(0,0)[lb]{#1\special{color pop}}} +%%\IPEc\IPEfs[1]{\IPEcolfs{0 0 0}{#1}} +%%\IPEc\IPEcolfs[2]{\dimen0=#2pt\fontsize{#2}{1.2\dimen0}\selectfont +%%\special{color push rgb #1}} +%%\IPEc\IPEsize[2]{\unitlength1bp\ignorespaces} +%%\IPEsize{240}{120} +%%\begin{picture}(240,120)(180,340) +%%\IPEput{179}{339}{421}{461} +%%\put(276,444){\IPEmp{144}{\IPEfs{10}\rm any tetrahedron formed with the upper facet +%%and any other vertex of the hole would violate +%%a facet of the polyhedron}} +%%\end{picture}\endinput} +%% Ipe postscript prologue + +/IpeDict 60 dict def +IpeDict begin +/origmatrix matrix currentmatrix def + +/sg {setgray} bind def +/sc {setrgbcolor} bind def +/ss {0 setdash setlinewidth} bind def +/sk {stroke} bind def +/fi {fill} bind def +/sfi {gsave fill grestore} bind def +/mt {moveto} bind def +/lt {lineto} bind def +/np {newpath} bind def +/cl {closepath} bind def +/N {moveto} bind def +/L {lineto} bind def +/E {lineto} bind def +/C {lineto closepath} bind def +%%%% +%% x y size dx dy -> ar -> x y [ draws arrowhead, computes new vertex ] +/smallarrow {gsave exch atan 4 2 roll translate rotate dup scale +newpath 0 0 moveto -1 0.3 lineto -1 -0.3 lineto closepath fill +-1 0 moveto currentpoint transform grestore itransform} bind def +/ar {gsave exch atan 4 2 roll translate rotate dup scale +newpath 0 0 moveto -1 0.3 lineto -1 -0.3 lineto closepath +gsave origmatrix setmatrix [] 0 setdash stroke grestore fill +0 0 moveto currentpoint transform grestore itransform} bind def +%%%% +/af {ar moveto} bind def +/at {ar lineto} bind def +%% x y size dx dy -> arw -> [ draws arrowhead ] +/arw {ar pop pop} bind def +%%%% +/ci {0 360 arc} bind def +/el {gsave concat 0 exch 0 exch 0 360 newpath arc origmatrix +setmatrix} bind def +/gs {gsave} bind def +/gr {grestore} bind def +/gsts {gsave translate scale } bind def +%% +/marker {gsave translate 0 setlinewidth [] 0 setdash newpath} bind def +/m1 {marker 0 exch 0 exch 0 360 arc stroke grestore} bind def +/m2 {marker 0 exch 0 exch 0 360 arc fill grestore} bind def +/m3 {marker dup dup moveto dup dup neg lineto dup neg dup lineto dup +neg exch lineto closepath stroke grestore} bind def +/m4 {marker dup dup moveto dup dup neg lineto dup neg dup lineto dup +neg exch lineto closepath fill grestore} bind def +/m5 {marker dup dup moveto dup neg dup lineto dup dup neg moveto dup +neg exch lineto closepath stroke grestore} bind def + +%% splines +systemdict /setpacking known {/savepacking currentpacking def false + setpacking} if +/q0 {0 0} def +/q1 {0 0} def +/q2 {0 0} def +/q3 {0 0} def +/p0 {0 0} def +/p1 {0 0} def +/p2 {0 0} def +/p3 {0 0} def +systemdict /setpacking known {savepacking setpacking} if + +%% x y /qi -> defp -> [/qi [x y] def] +/defp {dup 4 1 roll load astore def} bind def + +/midpoint { exch 4 3 roll add 2 div 3 1 roll add 2 div } bind def +/thirdpoint { exch 4 3 roll 2 mul add 3 div 3 1 roll exch 2 mul add 3 +div } bind def + +/prespl {/p3 defp /p2 defp /p1 defp /p0 defp +p1 p2 thirdpoint /q1 defp +p2 p1 thirdpoint /q2 defp +p1 p0 thirdpoint q1 midpoint /q0 defp +p2 p3 thirdpoint q2 midpoint /q3 defp } bind def +/postspl { q1 q2 q3 curveto p1 p2 p3 } bind def +/fspl { prespl q0 moveto postspl } bind def +/spl { prespl postspl } bind def +/xspl { pop pop pop pop pop pop } bind def + +/qspl { /p2 defp /p1 defp /p0 defp +p1 p0 midpoint /q0 defp +p1 p2 midpoint /q3 defp +p1 q0 thirdpoint /q1 defp +p1 q3 thirdpoint /q2 defp q0 moveto q1 q2 q3 curveto } bind def + +/cqspl { /p2 defp /p1 defp /p0 defp +p1 p0 midpoint /q0 defp +p1 p2 midpoint /q3 defp +p1 q0 thirdpoint /q1 defp +p1 q3 thirdpoint /q2 defp q0 moveto q1 q2 q3 curveto +p2 p1 midpoint /q0 defp +p2 p0 midpoint /q3 defp +p2 q0 thirdpoint /q1 defp +p2 q3 thirdpoint /q2 defp q1 q2 q3 curveto +p0 p2 midpoint /q0 defp +p0 p1 midpoint /q3 defp +p0 q0 thirdpoint /q1 defp +p0 q3 thirdpoint /q2 defp q1 q2 q3 curveto } bind def + +%% bitmaps +/pix { /picstr exch string def } def +%% wd ht -> preimg -> ..stuff for image.. +/preimg { 8 [ 3 index 0 0 5 index neg 0 7 index ] + {currentfile picstr readhexstring pop} } def +/img { preimg image } bind def +/kimg { preimg false 3 colorimage } bind def +%% +end +%% Ipe prologue end + +IpeDict begin 324 364 translate + +% Preamble 1 +%%\documentclass[a4paper]{article} +% Group + +% Line +% ss 0 +0.4 [] ss +np % # 3 +-144 96 mt +-104 88 lt +-64 96 lt +cl % cl +% fi +0.8 sg fi +% End + +% Line +% ss 0 +0.4 [] ss +np % # 7 +-144 96 mt +-144 -8 lt +-104 -24 lt +-104 88 lt +-144 96 lt +-64 96 lt +-104 88 lt +% sk +0 sg sk +% End + +% Line +% ss 0 +0.4 [] ss +np % # 3 +-64 96 mt +-64 -8 lt +-104 -24 lt +% sk +0 sg sk +% End + +% Line +% ss 0 +0.4 [] ss +np % # 2 +-144 96 mt +-104 -24 lt +% sk +0 sg sk +% End + +% Line +% ss 0 +0.4 [] ss +np % # 2 +-104 88 mt +-64 -8 lt +% sk +0 sg sk +% End + +% Line +% ss 3855 +0.4 [ 4 ] ss +np % # 2 +-64 96 mt +-144 -8 lt +% sk +0 sg sk +% End + +% Mark +% sk +0 sg +% ty 2 +% sz +2 +% xy +-104 -24 m2 +% End + +% Line +% ss 4095 +2 [ 12 4 ] ss +np % # 2 +-104 -24 mt +-64 96 lt +% sk +0 sg sk +% End + +% Text +% xy -48 80 +% bb 144 +% sk 0 +% f 0 10 +% s any tetrahedron formed with the upper facet +% s and any other vertex of the hole would violate +% s a facet of the polyhedron +% End + +% Line +% ss 3855 +0.4 [ 4 ] ss +np % # 2 +-144 -8 mt +-64 -8 lt +% sk +0 sg sk +% End + +% Circle +% ss 0 +0.8 [] ss +np % xy +-83.2593 38.2222 % r +9.6455 ci +% sk +0 sg sk +% End + +% End + +end %% of Ipe figure + +%%EndDocument + @endspecial White 0 0 0 TeXcolorrgb 828 219 a Fa(an)n(y)29 +b(tetrahedron)f(formed)h(with)h(the)828 318 y(upp)r(er)e(facet)h(and)f +(an)n(y)f(other)g(v)n(ertex)828 418 y(of)33 b(the)h(hole)f(w)n(ould)f +(violate)h(a)f(facet)828 518 y(of)c(the)g(p)r(olyhedron)p +White 2081 1053 V 0 1056 2085 4 v Black eop +%%Trailer +end +userdict /end-hook known{end-hook}if +%%EOF diff --git a/Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.gif b/Packages/Triangulation_3/doc_tex/Triangulation_3/remimpos.gif new file mode 100644 index 0000000000000000000000000000000000000000..eded1eb9d764a5ed3911ab672f81ad8341bc49a7 GIT binary patch literal 1994 zcmV;*2Q~OdNk%v~VJiWd0HFW?0002Y%*_A){{R30EC2ui04o8R00091l#i*)?GK}z zwAzca-n{z{hT=$;=82~2%C_zc$MQ_q_KoLy3H1IC3<`(DqVag#DVHsP02qi$r_`$T zip^@ZL8kXh>LsAtviZCPBE;afTf=6M(e(OMz3{#Fd`TQKXD3L7_n_B@n7H-#>;rLkCI9d4#b{V3{73pCLn#zQUIYP?W!Ro0>i^HlS#ABe>TI*YL%hDUR zD>nR#{L*@C!W?Ft91XK9>^#b5Ev@Z(kS+4ZgS|bD((4T(dUAM9-i~3ul8(L>$L@YV z0gt;o?_iG)(BGJSj7|Xxi16LO6u}670hi}rM2Uv%4TGovW3&E+<+{ZaCMNS`SoQZIb0<@2_~x`(5GreO?~;+)UCHm)mlYc7wuGWCDWx8>vJyM zZ##ebG&>Qj$aQcrUX{0uaZ;my`8Bl4bERH9$FjoBJo7WG56o^-5IQum;)-Ye9^J{< zZL!uw&lbZwJMT=snj7B+e7m0I+9hlAB^=u2VGgtGE-sRL%+u*xiL~BZ2s+d2w5@X= zz4!?PBRK6SzMAIh|`f|p;CQ#;%gS!6(-|%Wl_5RJ@f8RiSI3?E}S*87lV1fG? zMBsS=Y9wHS(x`;qd=46Tp$yGEqfUf6WaD9B4KBEyh%?9|-&ouL*N-v^wm2ebHju<# zh#c8SqJAd&wQl=OkItV)?FP3`h3h`K|-Abv&*GdO(jS0hBYsGN*fw871C&w|m z=ZMQfCD}S8p%{mj8wv|kW>DH2JgGP3);X-jx6mYgfkphD3LsG-|t2T}3^2CUCngx4;Nq&A7Bk_b&W@#7CPCRui|Kd^>!4 zjFNM3svP}&(`QmIs-?S}z4q3=t)P*>=lI;%^r>HU_=%fdJ@($`2(De8~L8(ZtQyQ?AC9ZZUgnZCC6^X8foB3$1 zEN9D$YhV?@A(bt8H;K>U;uWLcWsOC>8P9Ao_Z!hvX;Z5bSPRGZLe<1DZVhvss9Vq~KmHyFGIc94ilU|aS?hQ}+82vdHvqZa^~M?IR+koRyQ%?v0R8K#ku zv~c7ep=Z9pypNK|up}DOm^vd0l9Ll^BOI{^vNe)28uc6BbB?#kRaUZ%v2+vy`6tU+ z(sE`n#HBBD$**X&3}BZ;A26{c%+nFGn36nZCH6GM=257Y&Q!#nQj@;^6|$NdD&8o2 zdCN(1a}T7uW6Hj1%yDXqORDr8FV&d{Pe!v~>4fJS5Xr}SnlqgCyr%-2na_y*PoMpK z$Ug(x%sT#Vn+2s9^ZwqM!*(LHp`q~CEfu;@iXxMqpLCWoJE~EGVw0IN!zkPs8dAi? z(trW{AwN^v$9$@%1e{R=%z;XraRH; z(L6G>sk{8;Csk5YT1}Oz9Q5f`+c&_ia+RoFMdLP6GuA`u^pa;KXj-SCQnvq4_%E?Ri@Xy4)mJP`fHW~E7%v=$cnaX5n>aYAsjJwsQq{>WE&(|t!7nc zmc6W1yV|tPqO7x?ohWFXrwh`Swvex*tiwuc3x;4;w9SL<4G5J}DfyAMwtcORI>+0O z_BIBMDlV~Zs&`!16|NrHLDq0*6kPeC)jrQXs_5j(pX#n6x+Y?qVYRD_#eQ~Y;I#yI z?I+N8oVUEhZ6)k#q+0gcgtwWa?RVw7-J506Tlh_eQUx=u`1Y4WoK@(02YkAW7{CT=4?OV literal 0 HcmV?d00001 diff --git a/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/htmlfiles b/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/htmlfiles index 0e13ee230fc..6f879d2aa1d 100644 --- a/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/htmlfiles +++ b/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/htmlfiles @@ -6,6 +6,7 @@ insert_outside_affine_hull.gif insert_outside_convex_hull.gif orient.gif ortho.gif +remimpos.gif repres.gif sidedim2.gif sphere.gif diff --git a/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.eps b/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.eps new file mode 100644 index 00000000000..85d6cc5815c --- /dev/null +++ b/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.eps @@ -0,0 +1,577 @@ +%!PS-Adobe-2.0 EPSF-2.0 +%%Creator: dvips(k) 5.78 Copyright 1998 Radical Eye Software (www.radicaleye.com) +%%Title: 6634.dvi +%%BoundingBox:55 585 323 721 +%%EndComments +%DVIPSCommandLine: dvips -E -o remimpos.eps 6634.dvi +%DVIPSParameters: dpi=600 +%DVIPSSource: TeX output 2000.07.27:1535 +%%BeginProcSet: tex.pro +%! +/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N +/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 +mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} +ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale +isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div +hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul +TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} +forall round exch round exch]setmatrix}N /@landscape{/isls true N}B +/@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B +/FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ +/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N +string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N +end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ +/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] +N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup +length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ +128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub +get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data +dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N +/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup +/base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx +0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff +setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff +.1 sub]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} +if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup +length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ +cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin +0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul +add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict +/eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook +known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X +/IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for +65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 +0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V +{}B /RV statusdict begin /product where{pop false[(Display)(NeXT) +(LaserWriter 16/600)]{dup length product length le{dup length product +exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false} +ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot} +imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false +RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round +exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto +rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail{dup +/delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}B /d{ +-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{4 M}B +/w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1 w} +B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B +/bos{/SS save N}B /eos{SS restore}B end + +%%EndProcSet +%%BeginProcSet: special.pro +%! +TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N +/vs 792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP 0 N /rwiSeen +false N /rhiSeen false N /letter{}N /note{}N /a4{}N /legal{}N}B +/@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{@scaleunit +div /vsc X}B /@hsize{/hs X /CLIP 1 N}B /@vsize{/vs X /CLIP 1 N}B /@clip{ +/CLIP 2 N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{ +10 div /rwi X /rwiSeen true N}B /@rhi{10 div /rhi X /rhiSeen true N}B +/@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X}B /magscale +true def end /@MacSetUp{userdict /md known{userdict /md get type +/dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup +length 20 add dict copy def}if end md begin /letter{}N /note{}N /legal{} +N /od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath +clippath mark{transform{itransform moveto}}{transform{itransform lineto} +}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{ +itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{ +closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39 +0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}N +/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1 +scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get +ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip +not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 +TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR +pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1 +-1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg +TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg +sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr +0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add +2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N /cp +{pop pop showpage pm restore}N end}if}if}N /normalscale{Resolution 72 +div VResolution 72 div neg scale magscale{DVImag dup scale}if 0 setgray} +N /psfts{S 65781.76 div N}N /startTexFig{/psf$SavedState save N userdict +maxlength dict begin /magscale true def normalscale currentpoint TR +/psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts +/psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx +psf$llx sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy +scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR +/showpage{}N /erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{ +psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 +roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath +moveto}N /endTexFig{end psf$SavedState restore}N /@beginspecial{SDict +begin /SpecialSave save N gsave normalscale currentpoint TR +@SpecialDefaults count /ocount X /dcount countdictstack N}N /@setspecial +{CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto +closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx +sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR +}{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse +CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury +lineto closepath clip}if /showpage{}N /erasepage{}N /copypage{}N newpath +}N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{ +end}repeat grestore SpecialSave restore end}N /@defspecial{SDict begin} +N /@fedspecial{end}B /li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{ +/SaveX currentpoint /SaveY X N 1 setlinecap newpath}N /st{stroke SaveX +SaveY moveto}N /fil{fill SaveX SaveY moveto}N /ellipse{/endangle X +/startangle X /yrad X /xrad X /savematrix matrix currentmatrix N TR xrad +yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end + +%%EndProcSet +%%BeginProcSet: color.pro +%! +TeXDict begin /setcmykcolor where{pop}{/setcmykcolor{dup 10 eq{pop +setrgbcolor}{1 sub 4 1 roll 3{3 index add neg dup 0 lt{pop 0}if 3 1 roll +}repeat setrgbcolor pop}ifelse}B}ifelse /TeXcolorcmyk{setcmykcolor}def +/TeXcolorrgb{setrgbcolor}def /TeXcolorgrey{setgray}def /TeXcolorgray{ +setgray}def /TeXcolorhsb{sethsbcolor}def /currentcmykcolor where{pop}{ +/currentcmykcolor{currentrgbcolor 10}B}ifelse /DC{exch dup userdict exch +known{pop pop}{X}ifelse}B /GreenYellow{0.15 0 0.69 0 setcmykcolor}DC +/Yellow{0 0 1 0 setcmykcolor}DC /Goldenrod{0 0.10 0.84 0 setcmykcolor} +DC /Dandelion{0 0.29 0.84 0 setcmykcolor}DC /Apricot{0 0.32 0.52 0 +setcmykcolor}DC /Peach{0 0.50 0.70 0 setcmykcolor}DC /Melon{0 0.46 0.50 +0 setcmykcolor}DC /YellowOrange{0 0.42 1 0 setcmykcolor}DC /Orange{0 +0.61 0.87 0 setcmykcolor}DC /BurntOrange{0 0.51 1 0 setcmykcolor}DC +/Bittersweet{0 0.75 1 0.24 setcmykcolor}DC /RedOrange{0 0.77 0.87 0 +setcmykcolor}DC /Mahogany{0 0.85 0.87 0.35 setcmykcolor}DC /Maroon{0 +0.87 0.68 0.32 setcmykcolor}DC /BrickRed{0 0.89 0.94 0.28 setcmykcolor} +DC /Red{0 1 1 0 setcmykcolor}DC /OrangeRed{0 1 0.50 0 setcmykcolor}DC +/RubineRed{0 1 0.13 0 setcmykcolor}DC /WildStrawberry{0 0.96 0.39 0 +setcmykcolor}DC /Salmon{0 0.53 0.38 0 setcmykcolor}DC /CarnationPink{0 +0.63 0 0 setcmykcolor}DC /Magenta{0 1 0 0 setcmykcolor}DC /VioletRed{0 +0.81 0 0 setcmykcolor}DC /Rhodamine{0 0.82 0 0 setcmykcolor}DC /Mulberry +{0.34 0.90 0 0.02 setcmykcolor}DC /RedViolet{0.07 0.90 0 0.34 +setcmykcolor}DC /Fuchsia{0.47 0.91 0 0.08 setcmykcolor}DC /Lavender{0 +0.48 0 0 setcmykcolor}DC /Thistle{0.12 0.59 0 0 setcmykcolor}DC /Orchid{ +0.32 0.64 0 0 setcmykcolor}DC /DarkOrchid{0.40 0.80 0.20 0 setcmykcolor} +DC /Purple{0.45 0.86 0 0 setcmykcolor}DC /Plum{0.50 1 0 0 setcmykcolor} +DC /Violet{0.79 0.88 0 0 setcmykcolor}DC /RoyalPurple{0.75 0.90 0 0 +setcmykcolor}DC /BlueViolet{0.86 0.91 0 0.04 setcmykcolor}DC /Periwinkle +{0.57 0.55 0 0 setcmykcolor}DC /CadetBlue{0.62 0.57 0.23 0 setcmykcolor} +DC /CornflowerBlue{0.65 0.13 0 0 setcmykcolor}DC /MidnightBlue{0.98 0.13 +0 0.43 setcmykcolor}DC /NavyBlue{0.94 0.54 0 0 setcmykcolor}DC +/RoyalBlue{1 0.50 0 0 setcmykcolor}DC /Blue{1 1 0 0 setcmykcolor}DC +/Cerulean{0.94 0.11 0 0 setcmykcolor}DC /Cyan{1 0 0 0 setcmykcolor}DC +/ProcessBlue{0.96 0 0 0 setcmykcolor}DC /SkyBlue{0.62 0 0.12 0 +setcmykcolor}DC /Turquoise{0.85 0 0.20 0 setcmykcolor}DC /TealBlue{0.86 +0 0.34 0.02 setcmykcolor}DC /Aquamarine{0.82 0 0.30 0 setcmykcolor}DC +/BlueGreen{0.85 0 0.33 0 setcmykcolor}DC /Emerald{1 0 0.50 0 +setcmykcolor}DC /JungleGreen{0.99 0 0.52 0 setcmykcolor}DC /SeaGreen{ +0.69 0 0.50 0 setcmykcolor}DC /Green{1 0 1 0 setcmykcolor}DC +/ForestGreen{0.91 0 0.88 0.12 setcmykcolor}DC /PineGreen{0.92 0 0.59 +0.25 setcmykcolor}DC /LimeGreen{0.50 0 1 0 setcmykcolor}DC /YellowGreen{ +0.44 0 0.74 0 setcmykcolor}DC /SpringGreen{0.26 0 0.76 0 setcmykcolor} +DC /OliveGreen{0.64 0 0.95 0.40 setcmykcolor}DC /RawSienna{0 0.72 1 0.45 +setcmykcolor}DC /Sepia{0 0.83 1 0.70 setcmykcolor}DC /Brown{0 0.81 1 +0.60 setcmykcolor}DC /Tan{0.14 0.42 0.56 0 setcmykcolor}DC /Gray{0 0 0 +0.50 setcmykcolor}DC /Black{0 0 0 1 setcmykcolor}DC /White{0 0 0 0 +setcmykcolor}DC end + +%%EndProcSet +TeXDict begin 40258437 52099154 1000 600 600 (6634.dvi) +@start +%DVIPSBitmapFont: Fa ecrm1000 10 19 +/Fa 19 122 df<001FE0000000FFFC000003E03F000007000F80000F8007E0001FC003F0 +001FE003F0001FE001F8001FE001F8001FE000FC000FC000FC00078000FC00000000FC00 +000000FC00000000FC00000000FC0000007FFC000007FFFC00003FE0FC0000FE00FC0003 +F800FC000FF000FC001FC000FC003FC000FC007F8000FC007F0000FC007F0000FC0CFE00 +00FC0CFE0000FC0CFE0000FC0CFE0001FC0CFE0001FC0CFF0003FC0C7F00077C0C7F8006 +3E183FC01E3E180FE0781FF003FFF00FE0007F8007C026277DA52A>97 +D<0003FC00001FFF80007E03E001F8007003F000F807E001FC0FC003FC0FC003FC1F8003 +FC3F8003FC3F0001F87F0000F07F0000007F0000007E000000FE000000FE000000FE0000 +00FE000000FE000000FE000000FE000000FE000000FE000000FE0000007E0000007F0000 +007F0000003F0000063F8000061F80000E1FC0000C0FC0001C07E0003803F0007001F800 +E0007C07C0001FFF000007F8001F277DA525>99 D<0000000FC0000003FFC0000003FFC0 +000003FFC00000003FC00000000FC00000000FC00000000FC00000000FC00000000FC000 +00000FC00000000FC00000000FC00000000FC00000000FC00000000FC00000000FC00000 +000FC00000000FC00000000FC00000000FC00003F80FC0001FFF0FC0007E078FC000F801 +EFC003F0007FC007E0003FC00FC0001FC00FC0001FC01F80000FC03F80000FC03F00000F +C07F00000FC07F00000FC07E00000FC0FE00000FC0FE00000FC0FE00000FC0FE00000FC0 +FE00000FC0FE00000FC0FE00000FC0FE00000FC0FE00000FC0FE00000FC07E00000FC07F +00000FC07F00000FC03F00000FC03F00000FC01F80001FC01F80001FC00FC0003FC007E0 +007FC003F000EFF001F801CFFF007C078FFF001FFE0FFF0007F80FC0283B7DB92E>I<00 +07F800001FFF00007C0FC001F803E003F001F007E001F80FC000F81F80007C1F80007C3F +00007E3F00003E7F00003E7F00003F7E00003FFE00003FFE00003FFE00003FFFFFFFFFFF +FFFFFFFE000000FE000000FE000000FE000000FE0000007E0000007E0000007F0000007F +0000003F0000033F8000031F8000070FC0000607C0000E07E0001C01F0003800F8007000 +7E03E0001FFF800003FC0020277EA525>I<00007E000003FF80000FC1E0001F87E0003F +0FF0007E0FF0007E0FF000FC0FF000FC0FF001F803C001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8 +0000FFFFFC00FFFFFC00FFFFFC0001F8000001F8000001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8 +000001F8000001F8000001F8000001F8000001F8000003FC00007FFFF8007FFFF8007FFF +F8001C3B7FBA19>I<03F000000000FFF000000000FFF000000000FFF0000000000FF000 +00000003F00000000003F00000000003F00000000003F00000000003F00000000003F000 +00000003F00000000003F00000000003F00000000003F00000000003F00000000003F000 +00000003F00000000003F00000000003F00000000003F00000000003F00FF0000003F03F +FC000003F0F03F000003F1C01F800003F3800FC00003F7000FC00003FE000FC00003FC00 +07E00003FC0007E00003F80007E00003F80007E00003F80007E00003F00007E00003F000 +07E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F000 +07E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F000 +07E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F000 +07E00003F00007E00007F8000FF000FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF80293A7E +B92E>104 D<0380000FE0001FF0001FF0001FF0001FF0001FF0000FE000038000000000 +00000000000000000000000000000000000000000000000000000003F000FFF000FFF000 +FFF00007F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F000 +03F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F000 +03F00003F00003F00003F00003F00003F00007F800FFFFC0FFFFC0FFFFC012387EB717> +I<03F000FFF000FFF000FFF0000FF00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F00003F0 +0003F00003F00003F00003F00003F00003F00007F800FFFFC0FFFFC0FFFFC0123A7EB917 +>108 D<03F00FF0001FE000FFF03FFC007FF800FFF0F03F01E07E00FFF1C01F83803F00 +0FF3800FC7001F8003F7000FCE001F8003FE000FDC001F8003FC0007F8000FC003FC0007 +F8000FC003F80007F0000FC003F80007F0000FC003F80007F0000FC003F00007E0000FC0 +03F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007 +E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC0 +03F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007 +E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC003F00007E0000FC0 +03F00007E0000FC003F00007E0000FC007F8000FF0001FE0FFFFC1FFFF83FFFFFFFFC1FF +FF83FFFFFFFFC1FFFF83FFFF40257EA445>I<03F00FF00000FFF03FFC0000FFF0F03F00 +00FFF1C01F80000FF3800FC00003F7000FC00003FE000FC00003FC0007E00003FC0007E0 +0003F80007E00003F80007E00003F80007E00003F00007E00003F00007E00003F00007E0 +0003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E0 +0003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E0 +0003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E0 +0007F8000FF000FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF8029257EA42E>I<0003FE00 +00000FFF8000003E03E00000F800F80001F0007C0003E0003E0007C0001F000F80000F80 +1F80000FC01F000007C03F000007E03F000007E07E000003F07E000003F07E000003F07E +000003F0FE000003F8FE000003F8FE000003F8FE000003F8FE000003F8FE000003F8FE00 +0003F8FE000003F8FE000003F87E000003F07E000003F07F000007F03F000007E03F0000 +07E01F80000FC00F80000F800FC0001F8007E0003F0003F0007E0000F800F800007E03F0 +00001FFFC0000003FE000025277EA52A>I<03F01FE000FFF07FF800FFF1E07E00FFF380 +1F8007F7000FC003FE0007E003FC0003F003F80003F803F00001F803F00001FC03F00000 +FC03F00000FE03F00000FE03F00000FE03F000007F03F000007F03F000007F03F000007F +03F000007F03F000007F03F000007F03F000007F03F000007F03F000007F03F00000FE03 +F00000FE03F00000FE03F00001FC03F00001FC03F80003F803F80003F003FC0007F003FE +000FE003F6000FC003F7803F0003F1E07E0003F0FFF80003F01FC00003F000000003F000 +000003F000000003F000000003F000000003F000000003F000000003F000000003F00000 +0003F000000003F000000007F8000000FFFFC00000FFFFC00000FFFFC0000028357EA42E +>I<07E01F00FFE07FC0FFE1E3E0FFE387F00FE707F003E607F003EE07F003EC03E003FC +008003F8000003F8000003F8000003F8000003F0000003F0000003F0000003F0000003F0 +000003F0000003F0000003F0000003F0000003F0000003F0000003F0000003F0000003F0 +000003F0000003F0000003F0000003F0000003F0000003F0000007F80000FFFFF000FFFF +F000FFFFF0001C257EA421>114 D<001800000018000000180000001800000018000000 +380000003800000038000000780000007800000078000000F8000001F8000003F8000007 +F800001FFFFF00FFFFFF00FFFFFF0001F8000001F8000001F8000001F8000001F8000001 +F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001F8000001 +F8000001F8000001F8000001F8000001F800C001F800C001F800C001F800C001F800C001 +F800C001F800C001F800C001F800C000FC01C000FC0180007C0380007E0300003F070000 +0FFE000001F8001A347FB220>116 D<03F00007E000FFF001FFE000FFF001FFE000FFF0 +01FFE0000FF0001FE00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +0007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +0007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +0007E00003F00007E00003F00007E00003F00007E00003F00007E00003F00007E00003F0 +000FE00003F0000FE00003F0000FE00003F0001FE00001F0001FE00001F8003FE00000F8 +0077F80000FC00E7FF80003F03C7FF80001FFF87FF800003FC07E00029267EA42E>IIIII E +%EndDVIPSBitmapFont +end +%%EndProlog +%%BeginSetup +%%Feature: *Resolution 600dpi +TeXDict begin + +%%EndSetup +1 0 bop White 0 3 2085 4 v 0 1053 4 1050 v Black -1472 +3862 a @beginspecial 100 @hscale 100 @vscale @setspecial +%%BeginDocument: remimpos.ipe +%!PS-Adobe-2.0 EPSF-1.2 +%%Creator: Ipe 5.0 +%%BoundingBox: 179 339 421 461 +%%EndComments +{\catcode37=9\def\IPEdummy{({{)}} pop +%%}\makeatletter\let\@notdefinable\relax +%%\def\IPEc#1[#2]#3{\newcommand{#1}[#2]{#3}\ignorespaces}\@ifundefined +%%{selectfont}{\let\selectfont\relax\def\fontsize#1#2{}}{}\makeatother +%%\IPEc\IPEput[4]{\put(0,0){\special{psfile=\IPEfile}}} +%%\IPEc\IPEmp[2]{\minipage[t]{#1bp}#2\special{color pop}\endminipage} +%%\IPEc\IPEtext[1]{\makebox(0,0)[lb]{#1\special{color pop}}} +%%\IPEc\IPEfs[1]{\IPEcolfs{0 0 0}{#1}} +%%\IPEc\IPEcolfs[2]{\dimen0=#2pt\fontsize{#2}{1.2\dimen0}\selectfont +%%\special{color push rgb #1}} +%%\IPEc\IPEsize[2]{\unitlength1bp\ignorespaces} +%%\IPEsize{240}{120} +%%\begin{picture}(240,120)(180,340) +%%\IPEput{179}{339}{421}{461} +%%\put(276,444){\IPEmp{144}{\IPEfs{10}\rm any tetrahedron formed with the upper facet +%%and any other vertex of the hole would violate +%%a facet of the polyhedron}} +%%\end{picture}\endinput} +%% Ipe postscript prologue + +/IpeDict 60 dict def +IpeDict begin +/origmatrix matrix currentmatrix def + +/sg {setgray} bind def +/sc {setrgbcolor} bind def +/ss {0 setdash setlinewidth} bind def +/sk {stroke} bind def +/fi {fill} bind def +/sfi {gsave fill grestore} bind def +/mt {moveto} bind def +/lt {lineto} bind def +/np {newpath} bind def +/cl {closepath} bind def +/N {moveto} bind def +/L {lineto} bind def +/E {lineto} bind def +/C {lineto closepath} bind def +%%%% +%% x y size dx dy -> ar -> x y [ draws arrowhead, computes new vertex ] +/smallarrow {gsave exch atan 4 2 roll translate rotate dup scale +newpath 0 0 moveto -1 0.3 lineto -1 -0.3 lineto closepath fill +-1 0 moveto currentpoint transform grestore itransform} bind def +/ar {gsave exch atan 4 2 roll translate rotate dup scale +newpath 0 0 moveto -1 0.3 lineto -1 -0.3 lineto closepath +gsave origmatrix setmatrix [] 0 setdash stroke grestore fill +0 0 moveto currentpoint transform grestore itransform} bind def +%%%% +/af {ar moveto} bind def +/at {ar lineto} bind def +%% x y size dx dy -> arw -> [ draws arrowhead ] +/arw {ar pop pop} bind def +%%%% +/ci {0 360 arc} bind def +/el {gsave concat 0 exch 0 exch 0 360 newpath arc origmatrix +setmatrix} bind def +/gs {gsave} bind def +/gr {grestore} bind def +/gsts {gsave translate scale } bind def +%% +/marker {gsave translate 0 setlinewidth [] 0 setdash newpath} bind def +/m1 {marker 0 exch 0 exch 0 360 arc stroke grestore} bind def +/m2 {marker 0 exch 0 exch 0 360 arc fill grestore} bind def +/m3 {marker dup dup moveto dup dup neg lineto dup neg dup lineto dup +neg exch lineto closepath stroke grestore} bind def +/m4 {marker dup dup moveto dup dup neg lineto dup neg dup lineto dup +neg exch lineto closepath fill grestore} bind def +/m5 {marker dup dup moveto dup neg dup lineto dup dup neg moveto dup +neg exch lineto closepath stroke grestore} bind def + +%% splines +systemdict /setpacking known {/savepacking currentpacking def false + setpacking} if +/q0 {0 0} def +/q1 {0 0} def +/q2 {0 0} def +/q3 {0 0} def +/p0 {0 0} def +/p1 {0 0} def +/p2 {0 0} def +/p3 {0 0} def +systemdict /setpacking known {savepacking setpacking} if + +%% x y /qi -> defp -> [/qi [x y] def] +/defp {dup 4 1 roll load astore def} bind def + +/midpoint { exch 4 3 roll add 2 div 3 1 roll add 2 div } bind def +/thirdpoint { exch 4 3 roll 2 mul add 3 div 3 1 roll exch 2 mul add 3 +div } bind def + +/prespl {/p3 defp /p2 defp /p1 defp /p0 defp +p1 p2 thirdpoint /q1 defp +p2 p1 thirdpoint /q2 defp +p1 p0 thirdpoint q1 midpoint /q0 defp +p2 p3 thirdpoint q2 midpoint /q3 defp } bind def +/postspl { q1 q2 q3 curveto p1 p2 p3 } bind def +/fspl { prespl q0 moveto postspl } bind def +/spl { prespl postspl } bind def +/xspl { pop pop pop pop pop pop } bind def + +/qspl { /p2 defp /p1 defp /p0 defp +p1 p0 midpoint /q0 defp +p1 p2 midpoint /q3 defp +p1 q0 thirdpoint /q1 defp +p1 q3 thirdpoint /q2 defp q0 moveto q1 q2 q3 curveto } bind def + +/cqspl { /p2 defp /p1 defp /p0 defp +p1 p0 midpoint /q0 defp +p1 p2 midpoint /q3 defp +p1 q0 thirdpoint /q1 defp +p1 q3 thirdpoint /q2 defp q0 moveto q1 q2 q3 curveto +p2 p1 midpoint /q0 defp +p2 p0 midpoint /q3 defp +p2 q0 thirdpoint /q1 defp +p2 q3 thirdpoint /q2 defp q1 q2 q3 curveto +p0 p2 midpoint /q0 defp +p0 p1 midpoint /q3 defp +p0 q0 thirdpoint /q1 defp +p0 q3 thirdpoint /q2 defp q1 q2 q3 curveto } bind def + +%% bitmaps +/pix { /picstr exch string def } def +%% wd ht -> preimg -> ..stuff for image.. +/preimg { 8 [ 3 index 0 0 5 index neg 0 7 index ] + {currentfile picstr readhexstring pop} } def +/img { preimg image } bind def +/kimg { preimg false 3 colorimage } bind def +%% +end +%% Ipe prologue end + +IpeDict begin 324 364 translate + +% Preamble 1 +%%\documentclass[a4paper]{article} +% Group + +% Line +% ss 0 +0.4 [] ss +np % # 3 +-144 96 mt +-104 88 lt +-64 96 lt +cl % cl +% fi +0.8 sg fi +% End + +% Line +% ss 0 +0.4 [] ss +np % # 7 +-144 96 mt +-144 -8 lt +-104 -24 lt +-104 88 lt +-144 96 lt +-64 96 lt +-104 88 lt +% sk +0 sg sk +% End + +% Line +% ss 0 +0.4 [] ss +np % # 3 +-64 96 mt +-64 -8 lt +-104 -24 lt +% sk +0 sg sk +% End + +% Line +% ss 0 +0.4 [] ss +np % # 2 +-144 96 mt +-104 -24 lt +% sk +0 sg sk +% End + +% Line +% ss 0 +0.4 [] ss +np % # 2 +-104 88 mt +-64 -8 lt +% sk +0 sg sk +% End + +% Line +% ss 3855 +0.4 [ 4 ] ss +np % # 2 +-64 96 mt +-144 -8 lt +% sk +0 sg sk +% End + +% Mark +% sk +0 sg +% ty 2 +% sz +2 +% xy +-104 -24 m2 +% End + +% Line +% ss 4095 +2 [ 12 4 ] ss +np % # 2 +-104 -24 mt +-64 96 lt +% sk +0 sg sk +% End + +% Text +% xy -48 80 +% bb 144 +% sk 0 +% f 0 10 +% s any tetrahedron formed with the upper facet +% s and any other vertex of the hole would violate +% s a facet of the polyhedron +% End + +% Line +% ss 3855 +0.4 [ 4 ] ss +np % # 2 +-144 -8 mt +-64 -8 lt +% sk +0 sg sk +% End + +% Circle +% ss 0 +0.8 [] ss +np % xy +-83.2593 38.2222 % r +9.6455 ci +% sk +0 sg sk +% End + +% End + +end %% of Ipe figure + +%%EndDocument + @endspecial White 0 0 0 TeXcolorrgb 828 219 a Fa(an)n(y)29 +b(tetrahedron)f(formed)h(with)h(the)828 318 y(upp)r(er)e(facet)h(and)f +(an)n(y)f(other)g(v)n(ertex)828 418 y(of)33 b(the)h(hole)f(w)n(ould)f +(violate)h(a)f(facet)828 518 y(of)c(the)g(p)r(olyhedron)p +White 2081 1053 V 0 1056 2085 4 v Black eop +%%Trailer +end +userdict /end-hook known{end-hook}if +%%EOF diff --git a/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.gif b/Packages/Triangulation_3/doc_tex/basic/Triangulation_3/remimpos.gif new file mode 100644 index 0000000000000000000000000000000000000000..eded1eb9d764a5ed3911ab672f81ad8341bc49a7 GIT binary patch literal 1994 zcmV;*2Q~OdNk%v~VJiWd0HFW?0002Y%*_A){{R30EC2ui04o8R00091l#i*)?GK}z zwAzca-n{z{hT=$;=82~2%C_zc$MQ_q_KoLy3H1IC3<`(DqVag#DVHsP02qi$r_`$T zip^@ZL8kXh>LsAtviZCPBE;afTf=6M(e(OMz3{#Fd`TQKXD3L7_n_B@n7H-#>;rLkCI9d4#b{V3{73pCLn#zQUIYP?W!Ro0>i^HlS#ABe>TI*YL%hDUR zD>nR#{L*@C!W?Ft91XK9>^#b5Ev@Z(kS+4ZgS|bD((4T(dUAM9-i~3ul8(L>$L@YV z0gt;o?_iG)(BGJSj7|Xxi16LO6u}670hi}rM2Uv%4TGovW3&E+<+{ZaCMNS`SoQZIb0<@2_~x`(5GreO?~;+)UCHm)mlYc7wuGWCDWx8>vJyM zZ##ebG&>Qj$aQcrUX{0uaZ;my`8Bl4bERH9$FjoBJo7WG56o^-5IQum;)-Ye9^J{< zZL!uw&lbZwJMT=snj7B+e7m0I+9hlAB^=u2VGgtGE-sRL%+u*xiL~BZ2s+d2w5@X= zz4!?PBRK6SzMAIh|`f|p;CQ#;%gS!6(-|%Wl_5RJ@f8RiSI3?E}S*87lV1fG? zMBsS=Y9wHS(x`;qd=46Tp$yGEqfUf6WaD9B4KBEyh%?9|-&ouL*N-v^wm2ebHju<# zh#c8SqJAd&wQl=OkItV)?FP3`h3h`K|-Abv&*GdO(jS0hBYsGN*fw871C&w|m z=ZMQfCD}S8p%{mj8wv|kW>DH2JgGP3);X-jx6mYgfkphD3LsG-|t2T}3^2CUCngx4;Nq&A7Bk_b&W@#7CPCRui|Kd^>!4 zjFNM3svP}&(`QmIs-?S}z4q3=t)P*>=lI;%^r>HU_=%fdJ@($`2(De8~L8(ZtQyQ?AC9ZZUgnZCC6^X8foB3$1 zEN9D$YhV?@A(bt8H;K>U;uWLcWsOC>8P9Ao_Z!hvX;Z5bSPRGZLe<1DZVhvss9Vq~KmHyFGIc94ilU|aS?hQ}+82vdHvqZa^~M?IR+koRyQ%?v0R8K#ku zv~c7ep=Z9pypNK|up}DOm^vd0l9Ll^BOI{^vNe)28uc6BbB?#kRaUZ%v2+vy`6tU+ z(sE`n#HBBD$**X&3}BZ;A26{c%+nFGn36nZCH6GM=257Y&Q!#nQj@;^6|$NdD&8o2 zdCN(1a}T7uW6Hj1%yDXqORDr8FV&d{Pe!v~>4fJS5Xr}SnlqgCyr%-2na_y*PoMpK z$Ug(x%sT#Vn+2s9^ZwqM!*(LHp`q~CEfu;@iXxMqpLCWoJE~EGVw0IN!zkPs8dAi? z(trW{AwN^v$9$@%1e{R=%z;XraRH; z(L6G>sk{8;Csk5YT1}Oz9Q5f`+c&_ia+RoFMdLP6GuA`u^pa;KXj-SCQnvq4_%E?Ri@Xy4)mJP`fHW~E7%v=$cnaX5n>aYAsjJwsQq{>WE&(|t!7nc zmc6W1yV|tPqO7x?ohWFXrwh`Swvex*tiwuc3x;4;w9SL<4G5J}DfyAMwtcORI>+0O z_BIBMDlV~Zs&`!16|NrHLDq0*6kPeC)jrQXs_5j(pX#n6x+Y?qVYRD_#eQ~Y;I#yI z?I+N8oVUEhZ6)k#q+0gcgtwWa?RVw7-J506Tlh_eQUx=u`1Y4WoK@(02YkAW7{CT=4?OV literal 0 HcmV?d00001