new figure remove impossible

This commit is contained in:
Monique Teillaud 2000-07-27 13:44:11 +00:00
parent b99f642d37
commit 55b4e148fc
7 changed files with 1160 additions and 0 deletions

4
.gitattributes vendored
View File

@ -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

View File

@ -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

View File

@ -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>I<FF
FF803FFEFFFF803FFEFFFF803FFE0FF8000FF007F00007E003F00003C003F800038001F8
00030001F800030000FC00060000FC00060000FE000E00007E000C00007E000C00003F00
1800003F001800003F803800001F803000001F803000000FC06000000FC06000000FE060
000007E0C0000007E0C0000003F180000003F180000003F180000001FB00000001FB0000
0001FF00000000FE00000000FE000000007C000000007C000000007C0000000038000000
0038000027257EA32C>I<FFFF1FFFE03FFEFFFF1FFFE03FFEFFFF1FFFE03FFE0FF800FF
000FF807F0007E0003E007F0007E0003C003F0003E00018003F0003E00018001F8003F00
030001F8003F00030001F8003F00030000FC003F80060000FC006F80060000FC006F8006
00007E00EFC00C00007E00C7C00C00007E00C7C01C00003F01C7E01800003F0183E01800
003F8183F03800001F8383F03000001F8301F03000001FC301F87000000FC600F8600000
0FC600F860000007E600FCC0000007EC007CC0000007EC007CC0000003FC007F80000003
F8003F80000003F8003F80000001F8003F00000001F0001F00000001F0001F00000000F0
001E00000000E0000E0000000060000C000037257EA33C>I<FFFF807FFF00FFFF807FFF
00FFFF807FFF0003FE003FF00001FE001F800000FE001F0000007E001C0000003F001800
00001F80300000001FC0700000000FC0E000000007E0C000000007F18000000003FB8000
000001FF0000000000FE0000000000FE00000000007F00000000003F00000000007F8000
0000007FC000000000CFC000000001C7E00000000383F00000000703F80000000601F800
00000C00FC0000001C007E00000038007F00000078003F000000F0001F800001F8001FC0
000FF8003FF000FFFE00FFFF80FFFE00FFFF80FFFE00FFFF8029247FA32C>I<FFFF803F
FEFFFF803FFEFFFF803FFE0FF8000FF007F00007C003F000038001F800038001F8000300
01FC00030000FC00060000FC000600007E000C00007E000C00007F000C00003F00180000
3F001800001F803000001F803000001FC07000000FC06000000FC060000007E0C0000007
E0C0000007F1C0000003F180000003F180000001FB00000001FB00000001FF00000000FE
00000000FE000000007C000000007C000000007C00000000380000000038000000003000
0000003000000000700000000060000000006000000000C000000000C000007C01C00000
FE01800000FE03800000FE03000000FE06000000FC0E000000701C00000038380000001F
F00000000FC000000027357EA32C>I 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

Binary file not shown.

After

Width:  |  Height:  |  Size: 1.9 KiB

View File

@ -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

View File

@ -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>I<FF
FF803FFEFFFF803FFEFFFF803FFE0FF8000FF007F00007E003F00003C003F800038001F8
00030001F800030000FC00060000FC00060000FE000E00007E000C00007E000C00003F00
1800003F001800003F803800001F803000001F803000000FC06000000FC06000000FE060
000007E0C0000007E0C0000003F180000003F180000003F180000001FB00000001FB0000
0001FF00000000FE00000000FE000000007C000000007C000000007C0000000038000000
0038000027257EA32C>I<FFFF1FFFE03FFEFFFF1FFFE03FFEFFFF1FFFE03FFE0FF800FF
000FF807F0007E0003E007F0007E0003C003F0003E00018003F0003E00018001F8003F00
030001F8003F00030001F8003F00030000FC003F80060000FC006F80060000FC006F8006
00007E00EFC00C00007E00C7C00C00007E00C7C01C00003F01C7E01800003F0183E01800
003F8183F03800001F8383F03000001F8301F03000001FC301F87000000FC600F8600000
0FC600F860000007E600FCC0000007EC007CC0000007EC007CC0000003FC007F80000003
F8003F80000003F8003F80000001F8003F00000001F0001F00000001F0001F00000000F0
001E00000000E0000E0000000060000C000037257EA33C>I<FFFF807FFF00FFFF807FFF
00FFFF807FFF0003FE003FF00001FE001F800000FE001F0000007E001C0000003F001800
00001F80300000001FC0700000000FC0E000000007E0C000000007F18000000003FB8000
000001FF0000000000FE0000000000FE00000000007F00000000003F00000000007F8000
0000007FC000000000CFC000000001C7E00000000383F00000000703F80000000601F800
00000C00FC0000001C007E00000038007F00000078003F000000F0001F800001F8001FC0
000FF8003FF000FFFE00FFFF80FFFE00FFFF80FFFE00FFFF8029247FA32C>I<FFFF803F
FEFFFF803FFEFFFF803FFE0FF8000FF007F00007C003F000038001F800038001F8000300
01FC00030000FC00060000FC000600007E000C00007E000C00007F000C00003F00180000
3F001800001F803000001F803000001FC07000000FC06000000FC060000007E0C0000007
E0C0000007F1C0000003F180000003F180000001FB00000001FB00000001FF00000000FE
00000000FE000000007C000000007C000000007C00000000380000000038000000003000
0000003000000000700000000060000000006000000000C000000000C000007C01C00000
FE01800000FE03800000FE03000000FE06000000FC0E000000701C00000038380000001F
F00000000FC000000027357EA32C>I 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

Binary file not shown.

After

Width:  |  Height:  |  Size: 1.9 KiB