]> mj.ucw.cz Git - ga.git/commitdiff
Dokoncen dukaz korektnosti rovinneho kresleni.
authorMartin Mares <mj@ucw.cz>
Tue, 16 Jan 2007 10:30:00 +0000 (11:30 +0100)
committerMartin Mares <mj@ucw.cz>
Tue, 16 Jan 2007 10:30:00 +0000 (11:30 +0100)
13 files changed:
11-planar/11-planar.tex
11-planar/minor1.eps
11-planar/minor1.vrr
11-planar/minor2.eps
11-planar/minor2.vrr
11-planar/minor3.eps
11-planar/minor3.vrr
11-planar/minor4.eps
11-planar/minor4.vrr
11-planar/minor5.eps
11-planar/minor5.vrr
11-planar/minor6.eps
11-planar/minor6.vrr

index f44746cd3781e4e69e7da57ef172fdaa15bfd806..71b2f4cf5e6b2e5a2af466b14659ddc75929ad7e 100644 (file)
@@ -299,18 +299,18 @@ Ozna
 vrcholy $x$ a~$y$ a pod nimi je pøipojen nìjakou cestou vrchol~$w$. Takový blok
 musí urèitì existovat, proto¾e jinak by algoritmus v¹echny bloky na~cestì z~$v$ do~$w$
 popøeklápìl tak, aby se hrana $wv$ ve¹la. V~grafu se tedy musí vyskytovat jeden
-z~následujících minorù (do~vrcholu~$u$ jsme zkontrahovali celou nenakreslenou èást grafu):
+z~následujících minorù (do~vrcholu~$u$ jsme zkontrahovali celou dosud nenakreslenou èást grafu;
+vybarvená èást odpovídá vnitøku bloku; hranaté vrcholy jsou externì aktivní):
 
 \bigskip
 \centerline{\epsfbox{minor1.eps}\qquad\epsfbox{minor2.eps}}
 \bigskip
 
 Minor~$M$ pøitom odpovídá situaci, kdy $v$ nele¾í v~bloku~$B$. Tento pøípad
-snadno vylouèíme, proto¾e $M$ je isomorfní s~grafem $K_{3,3}$. Víme tedy,
-¾e v~grafu se vyskytuje~$N$. Tento minor je ale rovinný, tak¾e musíme
-ukázat, ¾e vnitøek bloku brání nakreslení hrany~$vw$ dovnitø. V¾dy dojdeme
-k~nìkterému z~následujících nerovinných minorù ($N_1$ a¾ $N_3$ jsou
-isomorfní s~$K_{3,3}$ a $N_4$ s~$K_5$):
+snadno vylouèíme, proto¾e $M$ je isomorfní s~grafem $K_{3,3}$. V~grafu se proto
+musí vyskytovat~$N$. Tento minor je ale rovinný, tak¾e musíme ukázat, ¾e vnitøek
+bloku brání nakreslení hrany~$vw$ dovnitø. V¾dy pak dojdeme k~nìkterému z~následujících
+nerovinných minorù ($N_1$ a¾ $N_3$ jsou isomorfní s~$K_{3,3}$ a $N_4$ s~$K_5$):
 
 \bigskip
 \centerline{\epsfbox{minor3.eps}\qquad\epsfbox{minor4.eps}\qquad\epsfbox{minor5.eps}\qquad\epsfbox{minor6.eps}}
@@ -318,11 +318,35 @@ isomorfn
 
 \>Uva¾me, jak bude $B$ vypadat po~odebrání vrcholu~$v$ a hran z~nìj vedoucích:
 
-{\I a) pøestane být 2-souvislý:}
+\numlist\nalpha
+\:{\I pøestane být 2-souvislý} -- tehdy se zamìøíme na~bloky le¾ící na~cestì~$xy$:
 
-{\I b) zùstane 2-souvislý:}
+\numlist\nparen
+\:{\I $w$ je artikulace} na této cestì -- BÚNO je taková artikulace v~DFS prohledána po~bloku obsahujícím~$x$,
+ale pøed~$y$. Tehdy nám jistì $x$ nezabránilo v~tom, abychom do~$w$ do¹li (mù¾e blokovat
+jenom jednu stranu hranice), tak¾e jsme se ve~$w$ museli rozhodnout, ¾e pøednostnì zpracujeme
+pokraèování cesty do~$y$ pøed hranou~$vw$, a~to je spor s~pravidlem~\#1.
 
-\todo{Rozebrat hou¹» pøípadù.}
+\:{\I $w$ je v~bloku pøipojeném pod takovou artikulací} -- aby se pravidlo~\#1 vydalo
+do~$y$ místo podøízených blokù, musí být alespoò jeden z~nich externì aktivní,
+tak¾e v~$G$ je minor~$N_1$.
+
+\:{\I $w$ je v~bloku na~cestì nebo pøipojen pod takový blok} -- opìt si v¹imneme, ¾e do~bloku jsme
+vstoupili mezi~$x$ a~$y$. Abychom se podle pravidla~\#2 rozhodli pro stranu, z~ní¾ nevede
+hrana~$vw$, musela na~druhé stranì být také hrana do~$v$, a~proto se v~grafu vyskytuje minor~$M$.
+\endlist
+
+\:{\I zùstane 2-souvislý} a vznikne z~nìj nìjaký blok~$B'$ -- tehdy rozebereme, jaké hrany vedou mezi $v$ a $B'$:
+
+\itemize\nparen
+\:{\I více ne¾ dvì hrany} -- minor~$N_2$.
+\:{\I alespoò jedna hrana na \uv{horní} cestu} (to jest na~tu, na~ni¾ nele¾í~$w$) -- minor~$N_3$.
+\:{\I dvì hrany do~$x,y$ nebo na \uv{dolní} cestu} -- a» u¾ jsme vstoupili na~hranici bloku~$B'$
+kteroukoliv hranou, pravidlo~\#2 nám øeklo, ¾e máme pokraèovat vrchem, co¾ je mo¾né jedinì tehdy,
+je-li na~spodní cestì je¹tì jeden externì aktivní vrchol, a~to dává minor~$N_4$.
+\endlist
+
+\endlist
 
 \qed
 
index 7838d1bfc4c73670cf1d052c42834b190f678fdf..426a87b091258418a1d7d475d58ac4e319166059 100644 (file)
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: minor1
 %%Creator: VRR  (http://vrr.ucw.cz/)
-%%CreationDate: Tue Jan 16 00:03:15 2007
+%%CreationDate: Tue Jan 16 10:52:37 2007
 %%Pages: 1
 %%BoundingBox: 0 0 96 104
 %%DocumentData: Clean7Bit
@@ -1070,7 +1070,7 @@ gs
 0 slc
 0 slj
 [] sdh
-0.000000 0.000000 0.000000 sclr
+0.749020 0.749020 0.749020 sclr
 np
 -20.000000 10.000000 mt -23.849001 10.000000 -26.735754 8.333333 -28.660255 5.000000 ct
 -30.584757 1.666666 -30.584755 -1.666668 -28.660254 -5.000001 ct
@@ -1078,54 +1078,15 @@ np
 -16.150997 -10.000000 -13.264246 -8.333333 -11.339746 -4.999999 ct
 -9.415245 -1.666665 -9.415246 1.666668 -11.339746 5.000001 ct
 -13.264248 8.333335 -16.150999 10.000001 -20.000002 10.000000 ct
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
 fi
 0.000000 0.000000 0.000000 sclr
 np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
+-20.000000 10.000000 mt -23.849001 10.000000 -26.735754 8.333333 -28.660255 5.000000 ct
+-30.584757 1.666666 -30.584755 -1.666668 -28.660254 -5.000001 ct
+-26.735752 -8.333334 -23.849001 -10.000001 -20.000000 -10.000000 ct
+-16.150997 -10.000000 -13.264246 -8.333333 -11.339746 -4.999999 ct
+-9.415245 -1.666665 -9.415246 1.666668 -11.339746 5.000001 ct
+-13.264248 8.333335 -16.150999 10.000001 -20.000002 10.000000 ct
 st
 gr
 gs
@@ -1310,6 +1271,54 @@ gs
 [1.000000 0.000000 0.000000 1.000000 -21.074589 6.086524] concat
 <72> -0.093750 0.031250 3.514598 F1 fsd sms
 gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+st
+gr
 showpage
 
 %%Trailer
index 9f2a15c33e30a7137dce43ec754be1da84b89177..f180136429f8c2a2b7982c4cfe1a6115f9ef9ad9 100644 (file)
@@ -1,25 +1,25 @@
 
- (document 0.6 ( (filename "/home/mj/tex/ga/11-planar/minor1.vrr") (name "Untitled 1")) (
+ (document 0.6 ( (filename "/home/mares/tex/ga/11-planar/minor1.vrr") (name "Untitled 1")) (
  (page ( (tex_footer "\\bye
 ") (tex_header "\\nopagenumbers\\vglue0pt
 ") (name "minor1")) (
- (ellipse-by-center-point-rotation-eccentricity (coords -20.0 0.0) (coords -20.0 10.0) 0.0 0.0 ( (id 139213056) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
- (segment (end 139213056) (coords -20.0 15.0) ( (id 139215880) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (segment (end 139215880) (coords -20.0 20.0) ( (id 139186776) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (ellipse-by-center-point-rotation-eccentricity (coords -20.0 0.0) (coords -20.0 10.0) 0.0 0.0 ( (id 137789296) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 191 191 191)) (invisible #f) (name "noname")))
+ (segment (end 137789296) (coords -20.0 15.0) ( (id 138591224) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (segment (end 138591224) (coords -20.0 20.0) ( (id 136903136) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
  (top-level-group ( (name "top-level-group")) (
+ (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
  (tex-text (coords -20.3558387756348 6.88339900970459) "$r$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (start 139215880) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (decorator-point (start 138591224) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -33.0508766174316 -8.07580757141113) "$M$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.9824047088623 -12.3034019470215) "$w$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -8.20800113677979 -2.33060050010681) "$y$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -32.8320045471191 -1.57180035114288) "$x$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.8729648590088 14.7966032028198) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.3257656097412 22.4930038452148) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (end 139215880) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 20.0) 1.0 (end 139186776) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 20.0) 1.0 (end 139186776) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname"))) 139186776 139215880
+ (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (end 138591224) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 20.0) 1.0 (end 136903136) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 20.0) 1.0 (end 136903136) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname"))) 136903136 138591224
  (decorator-point (coords -20.0 20.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname"))) 139213056))))))
\ No newline at end of file
+ (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 137789296))))))
\ No newline at end of file
index 5f8b103ee02162b1c5b1435c9d7fea135b8d87f7..137eba9258608fc5672d970171ac6908bc2f8ec4 100644 (file)
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: minor2
 %%Creator: VRR  (http://vrr.ucw.cz/)
-%%CreationDate: Tue Jan 16 00:03:32 2007
+%%CreationDate: Tue Jan 16 10:53:07 2007
 %%Pages: 1
 %%BoundingBox: 0 0 96 89
 %%DocumentData: Clean7Bit
@@ -1070,7 +1070,7 @@ gs
 0 slc
 0 slj
 [] sdh
-0.000000 0.000000 0.000000 sclr
+0.749020 0.749020 0.749020 sclr
 np
 -20.000000 10.000000 mt -23.849001 10.000000 -26.735754 8.333333 -28.660255 5.000000 ct
 -30.584757 1.666666 -30.584755 -1.666668 -28.660254 -5.000001 ct
@@ -1078,54 +1078,15 @@ np
 -16.150997 -10.000000 -13.264246 -8.333333 -11.339746 -4.999999 ct
 -9.415245 -1.666665 -9.415246 1.666668 -11.339746 5.000001 ct
 -13.264248 8.333335 -16.150999 10.000001 -20.000002 10.000000 ct
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
 fi
 0.000000 0.000000 0.000000 sclr
 np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
+-20.000000 10.000000 mt -23.849001 10.000000 -26.735754 8.333333 -28.660255 5.000000 ct
+-30.584757 1.666666 -30.584755 -1.666668 -28.660254 -5.000001 ct
+-26.735752 -8.333334 -23.849001 -10.000001 -20.000000 -10.000000 ct
+-16.150997 -10.000000 -13.264246 -8.333333 -11.339746 -4.999999 ct
+-9.415245 -1.666665 -9.415246 1.666668 -11.339746 5.000001 ct
+-13.264248 8.333335 -16.150999 10.000001 -20.000002 10.000000 ct
 st
 gr
 gs
@@ -1271,6 +1232,54 @@ gs
 [] sdh
 np -20.000000 10.000000 mt -20.000000 15.000000 lt st
 gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+st
+gr
 showpage
 
 %%Trailer
index fab9ee06a1066f5126d16f838982ee0bb804bcb5..2319643ac0f2befdda4394e604fbab66df50af57 100644 (file)
@@ -1,12 +1,14 @@
 
- (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/11-planar/minor2.vrr") (name "Untitled 1")) (
+ (document 0.6 ( (filename "/home/mares/tex/ga/11-planar/minor2.vrr") (name "Untitled 1")) (
  (page ( (tex_footer "\\bye
 ") (tex_header "\\nopagenumbers\\vglue0pt
 ") (name "minor2")) (
- (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 139713928) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (ellipse-by-center-point-rotation-eccentricity (coords -20.0 0.0) (coords -20.0 10.0) 0.0 0.0 ( (id 139527304) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 139157832) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (ellipse-by-center-point-rotation-eccentricity (coords -20.0 0.0) (coords -20.0 10.0) 0.0 0.0 ( (id 139031080) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 191 191 191)) (invisible #f) (name "noname")))
  (top-level-group ( (name "top-level-group")) (
- (segment (start 139527304) (controlpoint-4 139713928) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (segment (start 139031080) (controlpoint-4 139157832) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -20.3558387756348 6.88339900970459) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (coords -20.0000019073486 10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -31.2179622650147 -8.45826148986816) "$N$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
@@ -14,9 +16,7 @@
  (tex-text (coords -8.20800113677979 -2.33060050010681) "$y$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -32.8320045471191 -1.57180035114288) "$x$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (end 139527304) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 139713928) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname"))) 139713928
+ (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (end 139031080) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 139157832) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname"))) 139157832
  (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname"))) 139527304))))))
\ No newline at end of file
+ (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139031080))))))
\ No newline at end of file
index b273edba28661ff48bb2ddc5028c46e8aec5b17d..147283d66c27621da80ff42d8f632cd3e2ede7a5 100644 (file)
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: minor3
 %%Creator: VRR  (http://vrr.ucw.cz/)
-%%CreationDate: Tue Jan 16 00:12:04 2007
+%%CreationDate: Tue Jan 16 10:51:36 2007
 %%Pages: 1
 %%BoundingBox: 0 0 113 97
 %%DocumentData: Clean7Bit
@@ -1933,80 +1933,6 @@ gs
 0 slc
 0 slj
 [] sdh
-1.000000 1.000000 1.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-0.000000 0.000000 0.000000 sclr
-np
--19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
--19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
--20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
--21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
--20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
--19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
--19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
--20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
--21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
--20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
--19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
 0.000000 0.000000 0.000000 sclr
 np
 -19.000000 15.000000 mt -19.000000 15.384900 -19.166666 15.673575 -19.500000 15.866026 ct
@@ -2113,18 +2039,20 @@ gs
 <76> -0.093750 0.031250 3.514598 F1 fsd sms
 gr
 gs
-0.000000 0.000000 0.000000 sclr
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-np -20.000000 4.965511 mt -20.000000 15.000000 lt st
-gr
-gs
 0.100000 slw
 0 slc
 0 slj
 [] sdh
+0.749020 0.749020 0.749020 sclr
+np
+-30.000000 0.000000 mt -30.467901 -0.467809 -29.985495 -1.651999 -28.552778 -3.552570 ct
+-27.120062 -5.453142 -25.453396 -7.119808 -23.552778 -8.552570 ct
+-21.652161 -9.985332 -20.467901 -10.467809 -20.000000 -10.000000 ct
+-19.532099 -9.532191 -20.014505 -8.348001 -21.447222 -6.447429 ct
+-22.879938 -4.546858 -24.546604 -2.880191 -26.447222 -1.447429 ct
+-28.347839 -0.014667 -29.532099 0.467809 -30.000000 -0.000000 ct
+cp
+fi
 0.000000 0.000000 0.000000 sclr
 np
 -30.000000 0.000000 mt -30.467901 -0.467809 -29.985495 -1.651999 -28.552778 -3.552570 ct
@@ -2141,6 +2069,16 @@ gs
 0 slc
 0 slj
 [] sdh
+0.749020 0.749020 0.749020 sclr
+np
+-10.000000 0.000001 mt -10.467837 0.467874 -11.652049 -0.014555 -13.552635 -1.447285 ct
+-15.453220 -2.880015 -17.119886 -4.546682 -18.552635 -6.447286 ct
+-19.985384 -8.347889 -20.467838 -9.532127 -20.000000 -10.000000 ct
+-19.532162 -10.467874 -18.347950 -9.985445 -16.447365 -8.552714 ct
+-14.546779 -7.119984 -12.880113 -5.453317 -11.447365 -3.552714 ct
+-10.014617 -1.652110 -9.532162 -0.467872 -10.000000 0.000001 ct
+cp
+fi
 0.000000 0.000000 0.000000 sclr
 np
 -10.000000 0.000001 mt -10.467837 0.467874 -11.652049 -0.014555 -13.552635 -1.447285 ct
 np -20.000000 10.000000 mt -10.000000 0.000001 lt st
 gr
 gs
+0.000000 0.000000 0.000000 sclr
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+np -20.000000 -15.000000 mt -20.000000 -15.000000 lt st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+0.000000 0.000000 0.000000 sclr
+np -20.000000 -15.000000 mt -46.319080 -15.350159 -53.903008 18.753675 -20.000000 15.000000 ct
+st
+gr
+gs
+0.000000 0.000000 0.000000 sclr
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+np -20.000000 -10.000000 mt -20.000000 -15.000000 lt st
+gr
+gs
+0.000000 0.000000 0.000000 sclr
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+np -20.000000 10.000000 mt -20.000000 15.000000 lt st
+gr
+gs
 0.100000 slw
 0 slc
 0 slj
 [] sdh
 1.000000 1.000000 1.000000 sclr
 np
--19.292894 -14.292892 mt -20.707108 -14.292894 lt
--20.707106 -15.707108 lt
--19.292892 -15.707106 lt
--19.292894 -14.292892 lt
--19.292894 -14.292892 lt
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
 cp
 fi
 0.000000 0.000000 0.000000 sclr
 np
--19.292894 -14.292892 mt -20.707108 -14.292894 lt
--20.707106 -15.707108 lt
--19.292892 -15.707106 lt
--19.292894 -14.292892 lt
--19.292894 -14.292892 lt
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
 cp
 st
 gr
 gs
-0.000000 0.000000 0.000000 sclr
 0.100000 slw
 0 slc
 0 slj
 [] sdh
-np -20.000000 -15.000000 mt -20.000000 -15.000000 lt st
+1.000000 1.000000 1.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+st
 gr
 gs
 0.100000 slw
 0 slc
 0 slj
 [] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-19.292894 -14.292892 mt -20.707108 -14.292894 lt
+-20.707106 -15.707108 lt
+-19.292892 -15.707106 lt
+-19.292894 -14.292892 lt
+-19.292894 -14.292892 lt
+cp
+fi
 0.000000 0.000000 0.000000 sclr
-np -20.000000 -15.000000 mt -46.319080 -15.350159 -53.903008 18.753675 -20.000000 15.000000 ct
+np
+-19.292894 -14.292892 mt -20.707108 -14.292894 lt
+-20.707106 -15.707108 lt
+-19.292892 -15.707106 lt
+-19.292894 -14.292892 lt
+-19.292894 -14.292892 lt
+cp
 st
 gr
 gs
-0.000000 0.000000 0.000000 sclr
 0.100000 slw
 0 slc
 0 slj
 [] sdh
-np -20.000000 -10.000000 mt -20.000000 -15.000000 lt st
+0.000000 0.000000 0.000000 sclr
+np
+-19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
+-19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
+-20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
+-21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
+-20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
+-19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
+-19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
+-20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
+-21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
+-20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
+-19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
+cp
+st
 gr
 showpage
 
index f397cf7bc0218a30110a28942adce637a3f129f7..52e16a1d6d847b3f1530624dcdcb2f1e5bd76006 100644 (file)
@@ -1,29 +1,29 @@
 
- (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/11-planar/minor3.vrr") (name "Untitled 1")) (
+ (document 0.6 ( (filename "/home/mares/tex/ga/11-planar/minor3.vrr") (name "Untitled 1")) (
  (page ( (tex_footer "\\bye
 ") (tex_header "\\nopagenumbers\\vglue0pt
 ") (name "minor3")) (
- (cubic-bezier (coords -20.0 -15.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -19.957347869873 9.84761619567871) 1.0 ( (id 139916936) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 139457280) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (segment (controlpoint-1 139916936) (coords -20.0 -15.0) ( (id 140207712) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (ellipse-by-center-point-rotation-eccentricity (coords -25.0 -5.0) (controlpoint-1 139457280) 2.35620069503784 0.970000028610229 ( (id 139879200) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 139457280) 1.0 ( (id 139426824) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (segment (coords -20.0 10.0) (start 139879200) ( (id 139898360) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
- (ellipse-by-center-point-rotation-eccentricity (coords -15.0 -5.0) (controlpoint-1 139426824) 0.785400629043579 0.970000028610229 ( (id 140097584) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -20.0 -15.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -19.957347869873 9.84761619567871) 1.0 ( (id 137787336) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 137835008) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (segment (controlpoint-1 137787336) (coords -20.0 -15.0) ( (id 137835488) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (ellipse-by-center-point-rotation-eccentricity (coords -25.0 -5.0) (controlpoint-1 137835008) 2.35620069503784 0.970000028610229 ( (id 137836968) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 191 191 191)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 137835008) 1.0 ( (id 137837576) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (segment (coords -20.0 10.0) (start 137836968) ( (id 137838632) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (ellipse-by-center-point-rotation-eccentricity (coords -15.0 -5.0) (controlpoint-1 137837576) 0.785400629043579 0.970000028610229 ( (id 137837848) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 191 191 191)) (invisible #f) (name "noname")))
+ (segment (start 137838632) (end 137837848) ( (id 137842912) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  (top-level-group ( (name "top-level-group")) (
- (segment (coords -20.0 -10.0) (end 140207712) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (end 140207712) 1.0 (coords -46.3190803527832 -15.3501586914063) 1.0 (coords -53.9030075073242 18.7536754608154) 1.0 (controlpoint-4 139426824) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname"))) 140207712
+ (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (coords -20.0 -15.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (segment (start 139898360) (end 140097584) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 139898360 140097584 139879200
- (segment (coords -20.0 4.96551084518433) (controlpoint-4 139457280) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (segment (start 137842912) (controlpoint-4 137837576) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (segment (coords -20.0 -10.0) (end 137835488) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (end 137835488) 1.0 (coords -46.3190803527832 -15.3501586914063) 1.0 (coords -53.9030075073242 18.7536754608154) 1.0 (controlpoint-4 137837576) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname"))) 137835488 137842912 137838632 137837848 137836968
  (tex-text (coords -20.3558387756348 6.88339900970459) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (coords -20.0000019073486 10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -31.2179622650147 -8.45826148986816) "$N_1$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.9824047088623 -12.3034019470215) "$w$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -8.20800113677979 -2.33060050010681) "$y$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -32.8320045471191 -1.57180035114288) "$x$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139916936 139426824 139457280
- (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))))))))
\ No newline at end of file
+ (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 137787336 137837576 137835008
+ (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))))))))
\ No newline at end of file
index 5b0aa3f545f40971bf5fb8880ea08fbc243a8ab4..ecb6251b8f1dd3c0fe149692892f4787bda7591c 100644 (file)
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: minor4
 %%Creator: VRR  (http://vrr.ucw.cz/)
-%%CreationDate: Tue Jan 16 00:22:36 2007
+%%CreationDate: Tue Jan 16 10:53:44 2007
 %%Pages: 1
 %%BoundingBox: 0 0 96 89
 %%DocumentData: Clean7Bit
@@ -1933,80 +1933,6 @@ gs
 0 slc
 0 slj
 [] sdh
-1.000000 1.000000 1.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-0.000000 0.000000 0.000000 sclr
-np
--19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
--19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
--20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
--21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
--20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
--19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
--19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
--20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
--21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
--20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
--19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
 0.000000 0.000000 0.000000 sclr
 np
 -19.000000 15.000000 mt -19.000000 15.384900 -19.166666 15.673575 -19.500000 15.866026 ct
@@ -2125,6 +2051,15 @@ gs
 0 slc
 0 slj
 [] sdh
+0.749020 0.749020 0.749020 sclr
+np
+-20.000000 -10.000000 mt -15.637797 -10.000000 -12.366146 -8.866667 -10.185045 -6.600000 ct
+-8.003943 -4.333333 -8.003943 -2.066666 -10.185045 0.200000 ct
+-12.366147 2.466667 -15.637798 3.600000 -20.000000 3.600000 ct
+-24.362204 3.600000 -27.633856 2.466666 -29.814957 0.199999 ct
+-31.996058 -2.066668 -31.996058 -4.333335 -29.814957 -6.600001 ct
+-27.633854 -8.866668 -24.362202 -10.000001 -19.999998 -10.000000 ct
+fi
 0.000000 0.000000 0.000000 sclr
 np
 -20.000000 -10.000000 mt -15.637797 -10.000000 -12.366146 -8.866667 -10.185045 -6.600000 ct
@@ -2192,6 +2127,80 @@ gs
 np -20.054422 9.943894 mt -16.684807 9.981298 -14.983112 7.629140 -14.949337 2.887420 ct
 st
 gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+0.000000 0.000000 0.000000 sclr
+np
+-19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
+-19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
+-20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
+-21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
+-20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
+-19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
+-19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
+-20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
+-21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
+-20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
+-19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
+cp
+st
+gr
 showpage
 
 %%Trailer
index 0eb8ad4e28913f31fe01e64dcdaa9da2ff4ed2c9..3a26f23d9d2ce6083114edc03dc3d62dda5cc515 100644 (file)
@@ -1,35 +1,35 @@
 
- (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/11-planar/minor4.vrr") (name "Untitled 1")) (
+ (document 0.6 ( (filename "/home/mares/tex/ga/11-planar/minor4.vrr") (name "Untitled 1")) (
  (page ( (tex_footer "\\bye
 ") (tex_header "\\nopagenumbers\\vglue0pt
 ") (name "minor4")) (
- (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -20.0000019073486 10.0) 1.0 ( (id 140501512) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 140281128) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (parametric-point 140501512 1.0 ( (id 140237872) (name "noname")))
- (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 140281128) 1.0 ( (id 140282120) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (ellipse-by-3-points-rotation-eccentricity (controlpoint-1 140501512) (controlpoint-1 140281128) (controlpoint-1 140282120) 0.0 0.800000011920929 ( (id 139889576) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (parametric-point 139889576 0.499403983354568 ( (id 139932040) (name "noname")))
- (parametric-point 139889576 0.571895003318787 ( (id 139809840) (name "noname")))
- (parametric-point 139889576 0.426486879587173 ( (id 140930688) (name "noname")))
- (segment (center 140237872) (center 139932040) ( (id 140571688) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (parametric-point 140571688 0.00882991496473551 ( (id 141003656) (name "noname")))
- (quadratic-bezier (center 141003656) 1.0 (coords -25.0 10.0) 1.0 (center 139809840) 1.0 ( (id 140829200) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
- (parametric-point 140829200 0.00549423275515437 ( (id 141016712) (name "noname")))
- (top-level-group ( (name "top-level-group")) ( 140930688
- (quadratic-bezier (center 141016712) 1.0 (coords -15.0 10.0) 1.0 (center 140930688) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 141016712 139809840 140829200 141003656
+ (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -20.0000019073486 10.0) 1.0 ( (id 138484704) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 138496008) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (parametric-point 138484704 1.0 ( (id 138485080) (name "noname")))
+ (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 138496008) 1.0 ( (id 139196672) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (ellipse-by-3-points-rotation-eccentricity (controlpoint-1 138484704) (controlpoint-1 138496008) (controlpoint-1 139196672) 0.0 0.800000011920929 ( (id 139198464) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 191 191 191)) (invisible #f) (name "noname")))
+ (parametric-point 139198464 0.499403983354568 ( (id 139004072) (name "noname")))
+ (parametric-point 139198464 0.571895003318787 ( (id 138498176) (name "noname")))
+ (parametric-point 139198464 0.426486879587173 ( (id 139195136) (name "noname")))
+ (segment (center 138485080) (center 139004072) ( (id 139358224) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (parametric-point 139358224 0.00882991496473551 ( (id 139202856) (name "noname")))
+ (quadratic-bezier (center 139202856) 1.0 (coords -25.0 10.0) 1.0 (center 138498176) 1.0 ( (id 138498392) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (parametric-point 138498392 0.00549423275515437 ( (id 139044504) (name "noname")))
+ (top-level-group ( (name "top-level-group")) (
+ (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname"))) 139195136
+ (quadratic-bezier (center 139044504) 1.0 (coords -15.0 10.0) 1.0 (center 139195136) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 139044504 138498176 138498392 139202856
  (tex-text (coords -18.8895301818848 1.29010832309723) "$z$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (end 140571688) 0 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139932040 140571688
- (parametric-point 139889576 0.387289702892303 ( (name "noname")))
- (parametric-point 139889576 0.61937540769577 ( (name "noname"))) 140237872 139889576
- (segment (coords -20.0 10.0) (controlpoint-4 140281128) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (decorator-point (end 139358224) 0 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139004072 139358224
+ (parametric-point 139198464 0.387289702892303 ( (name "noname")))
+ (parametric-point 139198464 0.61937540769577 ( (name "noname"))) 138485080 139198464
+ (segment (coords -20.0 10.0) (controlpoint-4 138496008) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.3842029571533 11.57834815979) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (coords -20.0000019073486 10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -33.4506683349609 -8.51737308502197) "$N_2$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.9824047088623 -12.3034019470215) "$w$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -6.94939517974854 -2.17135572433472) "$y$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -32.8320045471191 -1.57180035114288) "$x$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 140501512 140282120 140281128
- (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))))))))
\ No newline at end of file
+ (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 138484704 139196672 138496008
+ (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))))))))
\ No newline at end of file
index 8bb05e939af436b755f9dd985b4d02936ceb1d3f..1d0413bb38a8c666e923f9b42c1600a713654b32 100644 (file)
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: minor5
 %%Creator: VRR  (http://vrr.ucw.cz/)
-%%CreationDate: Tue Jan 16 00:21:22 2007
+%%CreationDate: Tue Jan 16 10:54:11 2007
 %%Pages: 1
 %%BoundingBox: 0 0 96 89
 %%DocumentData: Clean7Bit
@@ -1933,80 +1933,6 @@ gs
 0 slc
 0 slj
 [] sdh
-1.000000 1.000000 1.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-0.000000 0.000000 0.000000 sclr
-np
--19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
--19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
--20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
--21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
--20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
--19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
--19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
--20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
--21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
--20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
--19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
 0.000000 0.000000 0.000000 sclr
 np
 -19.000000 15.000000 mt -19.000000 15.384900 -19.166666 15.673575 -19.500000 15.866026 ct
@@ -2125,6 +2051,15 @@ gs
 0 slc
 0 slj
 [] sdh
+0.749020 0.749020 0.749020 sclr
+np
+-20.000000 -10.000000 mt -15.637797 -10.000000 -12.366146 -8.866667 -10.185045 -6.600000 ct
+-8.003943 -4.333333 -8.003943 -2.066666 -10.185045 0.200000 ct
+-12.366147 2.466667 -15.637798 3.600000 -20.000000 3.600000 ct
+-24.362204 3.600000 -27.633856 2.466666 -29.814957 0.199999 ct
+-31.996058 -2.066668 -31.996058 -4.333335 -29.814957 -6.600001 ct
+-27.633854 -8.866668 -24.362202 -10.000001 -19.999998 -10.000000 ct
+fi
 0.000000 0.000000 0.000000 sclr
 np
 -20.000000 -10.000000 mt -15.637797 -10.000000 -12.366146 -8.866667 -10.185045 -6.600000 ct
@@ -2184,6 +2119,80 @@ gs
 np -20.000002 10.000000 mt -13.564664 7.462566 -10.231330 4.129233 -10.000000 0.000000 ct
 st
 gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+0.000000 0.000000 0.000000 sclr
+np
+-19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
+-19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
+-20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
+-21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
+-20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
+-19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-19.000000 -10.000000 mt -19.000000 -9.615100 -19.166666 -9.326425 -19.500000 -9.133974 ct
+-19.833334 -8.941525 -20.166666 -8.941525 -20.500000 -9.133975 ct
+-20.833334 -9.326426 -21.000000 -9.615100 -21.000000 -10.000000 ct
+-21.000000 -10.384900 -20.833334 -10.673575 -20.500000 -10.866026 ct
+-20.166666 -11.058476 -19.833334 -11.058476 -19.500000 -10.866026 ct
+-19.166666 -10.673575 -19.000000 -10.384900 -19.000000 -10.000000 ct
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+st
+gr
 showpage
 
 %%Trailer
index 35f0e2c51778bb8fa0724456d42fde9841d20de3..f9e9d2c758be866bc8b442e93f7cf7bc7e85fdfe 100644 (file)
@@ -1,30 +1,30 @@
 
- (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/11-planar/minor5.vrr") (name "Untitled 1")) (
+ (document 0.6 ( (filename "/home/mares/tex/ga/11-planar/minor5.vrr") (name "Untitled 1")) (
  (page ( (tex_footer "\\bye
 ") (tex_header "\\nopagenumbers\\vglue0pt
 ") (name "minor5")) (
- (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -20.0000019073486 10.0) 1.0 ( (id 140264824) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 140360712) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (parametric-point 140264824 1.0 ( (id 139061248) (name "noname")))
- (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 140360712) 1.0 ( (id 139898896) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (ellipse-by-3-points-rotation-eccentricity (controlpoint-1 140264824) (controlpoint-1 140360712) (controlpoint-1 139898896) 0.0 0.800000011920929 ( (id 139110056) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (parametric-point 139110056 0.61937540769577 ( (id 140619800) (name "noname")))
+ (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -20.0000019073486 10.0) 1.0 ( (id 139648776) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 139649408) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (parametric-point 139648776 1.0 ( (id 139614728) (name "noname")))
+ (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 139649408) 1.0 ( (id 139650176) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (ellipse-by-3-points-rotation-eccentricity (controlpoint-1 139648776) (controlpoint-1 139649408) (controlpoint-1 139650176) 0.0 0.800000011920929 ( (id 139650600) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 191 191 191)) (invisible #f) (name "noname")))
+ (parametric-point 139650600 0.61937540769577 ( (id 139652136) (name "noname")))
  (top-level-group ( (name "top-level-group")) (
- (quadratic-bezier (center 139061248) 1.0 (coords -10.3469953536987 6.19384908676147) 1.0 (controlpoint-1 139898896) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
- (quadratic-bezier (controlpoint-4 140264824) 1.0 (coords -28.0145111083984 8.78994655609131) 1.0 (center 140619800) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (quadratic-bezier (center 139614728) 1.0 (coords -10.3469953536987 6.19384908676147) 1.0 (controlpoint-1 139650176) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (quadratic-bezier (controlpoint-4 139648776) 1.0 (coords -28.0145111083984 8.78994655609131) 1.0 (center 139652136) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -25.5876560211182 0.617045819759369) "$z$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (center 140619800) 0 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (parametric-point 139110056 0.499403983354568 ( (name "noname")))
- (parametric-point 139110056 0.387289702892303 ( (name "noname"))) 140619800 139061248 139110056
- (segment (coords -20.0 10.0) (controlpoint-4 140360712) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (decorator-point (center 139652136) 0 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (parametric-point 139650600 0.499403983354568 ( (name "noname")))
+ (parametric-point 139650600 0.387289702892303 ( (name "noname"))) 139652136 139614728 139650600
+ (segment (coords -20.0 10.0) (controlpoint-4 139649408) ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.6754245758057 11.3860445022583) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (coords -20.0000019073486 10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -33.4506683349609 -8.51737308502197) "$N_3$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -22.9824047088623 -12.3034019470215) "$w$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -6.94939517974854 -1.30598974227905) "$y$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -32.8320045471191 -1.57180035114288) "$x$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 140264824 139898896 140360712
- (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -20.0 -10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))))))))
\ No newline at end of file
+ (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139648776 139650176 139649408
+ (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))))))))
\ No newline at end of file
index ebeae64846bb42ad3646f18c6eb7c6355c29f263..53ba8c70ff8775d0bdaada206688d25dc5788889 100644 (file)
@@ -1,7 +1,7 @@
 %!PS-Adobe-3.0 EPSF-3.0
 %%Title: minor6
 %%Creator: VRR  (http://vrr.ucw.cz/)
-%%CreationDate: Tue Jan 16 00:27:38 2007
+%%CreationDate: Tue Jan 16 10:54:40 2007
 %%Pages: 1
 %%BoundingBox: 0 0 119 91
 %%DocumentData: Clean7Bit
@@ -1933,78 +1933,6 @@ gs
 0 slc
 0 slj
 [] sdh
-1.000000 1.000000 1.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--29.292894 0.707108 mt -30.707108 0.707106 lt
--30.707106 -0.707108 lt
--29.292892 -0.707106 lt
--29.292894 0.707108 lt
--29.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--9.292894 0.707108 mt -10.707108 0.707106 lt
--10.707106 -0.707108 lt
--9.292892 -0.707106 lt
--9.292894 0.707108 lt
--9.292894 0.707108 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-1.000000 1.000000 1.000000 sclr
-np
--19.292894 -9.292892 mt -20.707108 -9.292895 lt
--20.707106 -10.707108 lt
--19.292891 -10.707105 lt
--19.292894 -9.292892 lt
--19.292894 -9.292892 lt
-cp
-fi
-0.000000 0.000000 0.000000 sclr
-np
--19.292894 -9.292892 mt -20.707108 -9.292895 lt
--20.707106 -10.707108 lt
--19.292891 -10.707105 lt
--19.292894 -9.292892 lt
--19.292894 -9.292892 lt
-cp
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
 0.000000 0.000000 0.000000 sclr
 np
 -19.000000 15.000000 mt -19.000000 15.384900 -19.166666 15.673575 -19.500000 15.866026 ct
@@ -2032,15 +1960,6 @@ gs
 0 slj
 [] sdh
 0.000000 0.000000 0.000000 sclr
-np -30.000000 0.000000 mt -40.000000 5.000000 -40.000000 15.000000 -20.000000 15.000000 ct
-st
-gr
-gs
-0.100000 slw
-0 slc
-0 slj
-[] sdh
-0.000000 0.000000 0.000000 sclr
 np -10.000000 0.000000 mt 0.000000 5.000000 0.000000 15.000000 -20.000000 15.000000 ct
 st
 gr
@@ -2123,6 +2042,15 @@ gs
 0 slc
 0 slj
 [] sdh
+0.749020 0.749020 0.749020 sclr
+np
+-20.000000 -10.000000 mt -15.637797 -10.000000 -12.366146 -8.866667 -10.185045 -6.600000 ct
+-8.003943 -4.333333 -8.003943 -2.066666 -10.185045 0.200000 ct
+-12.366147 2.466667 -15.637798 3.600000 -20.000000 3.600000 ct
+-24.362204 3.600000 -27.633856 2.466666 -29.814957 0.199999 ct
+-31.996058 -2.066668 -31.996058 -4.333335 -29.814957 -6.600001 ct
+-27.633854 -8.866668 -24.362202 -10.000001 -19.999998 -10.000000 ct
+fi
 0.000000 0.000000 0.000000 sclr
 np
 -20.000000 -10.000000 mt -15.637797 -10.000000 -12.366146 -8.866667 -10.185045 -6.600000 ct
@@ -2160,6 +2088,87 @@ gs
 np -20.000000 -10.000000 mt -54.418697 -18.901764 -50.924023 21.866589 -20.000000 15.000000 ct
 st
 gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-19.292894 -9.292892 mt -20.707108 -9.292895 lt
+-20.707106 -10.707108 lt
+-19.292891 -10.707105 lt
+-19.292894 -9.292892 lt
+-19.292894 -9.292892 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-19.292894 -9.292892 mt -20.707108 -9.292895 lt
+-20.707106 -10.707108 lt
+-19.292891 -10.707105 lt
+-19.292894 -9.292892 lt
+-19.292894 -9.292892 lt
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-9.292894 0.707108 mt -10.707108 0.707106 lt
+-10.707106 -0.707108 lt
+-9.292892 -0.707106 lt
+-9.292894 0.707108 lt
+-9.292894 0.707108 lt
+cp
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+0.000000 0.000000 0.000000 sclr
+np -30.000000 0.000000 mt -40.000000 5.000000 -40.000000 15.000000 -20.000000 15.000000 ct
+st
+gr
+gs
+0.100000 slw
+0 slc
+0 slj
+[] sdh
+1.000000 1.000000 1.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+fi
+0.000000 0.000000 0.000000 sclr
+np
+-29.292894 0.707108 mt -30.707108 0.707106 lt
+-30.707106 -0.707108 lt
+-29.292892 -0.707106 lt
+-29.292894 0.707108 lt
+-29.292894 0.707108 lt
+cp
+st
+gr
 showpage
 
 %%Trailer
index f945f72aa21c9ad0a08eb13fdcca72f0d8b15a36..1ea370b9ad7efd2e61c4ecbbc287de675a958cae 100644 (file)
@@ -1,29 +1,29 @@
 
- (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/11-planar/minor6.vrr") (name "Untitled 1")) (
+ (document 0.6 ( (filename "/home/mares/tex/ga/11-planar/minor6.vrr") (name "Untitled 1")) (
  (page ( (tex_footer "\\bye
 ") (tex_header "\\nopagenumbers\\vglue0pt
 ") (name "minor6")) (
- (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -20.0000019073486 10.0) 1.0 ( (id 140734888) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 140802688) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (parametric-point 140734888 1.0 ( (id 140247560) (name "noname")))
- (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 140802688) 1.0 ( (id 140803456) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (segment (coords -20.0 10.0) (controlpoint-4 140802688) ( (id 139637048) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (ellipse-by-3-points-rotation-eccentricity (controlpoint-1 140734888) (controlpoint-1 140802688) (controlpoint-1 140803456) 0.0 0.800000011920929 ( (id 140803112) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -30.0 0.0) 1.0 (coords -40.0 5.0) 1.0 (coords -40.0 15.0) 1.0 (coords -20.0 15.0) 1.0 ( (id 139741312) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -20.0 -10.0) 1.0 (coords -1.2038402557373 -18.5906028747559) 1.0 (coords 5.90976142883301 14.037802696228) 1.0 (coords -20.0000019073486 10.0) 1.0 ( (id 139619464) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (cubic-bezier (coords -10.0 0.0) 1.0 (coords 0.0 5.0) 1.0 (coords 0.0 15.0) 1.0 (controlpoint-4 139741312) 1.0 ( (id 139742080) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (segment (coords -20.0 10.0) (controlpoint-4 139741312) ( (id 139742504) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (parametric-point 139619464 1.0 ( (id 139619720) (name "noname")))
+ (ellipse-by-3-points-rotation-eccentricity (controlpoint-1 139619464) (controlpoint-1 139741312) (controlpoint-1 139742080) 0.0 0.800000011920929 ( (id 139743272) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 191 191 191)) (invisible #f) (name "noname")))
  (top-level-group ( (name "top-level-group")) (
- (cubic-bezier (controlpoint-1 140734888) 1.0 (coords -54.4186973571777 -18.9017639160156) 1.0 (coords -50.9240226745605 21.8665885925293) 1.0 (end 139637048) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
- (quadratic-bezier (center 140247560) 1.0 (coords -10.0 5.0) 1.0 (controlpoint-1 140803456) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
- (quadratic-bezier (controlpoint-4 140734888) 1.0 (coords -30.0 5.0) 1.0 (controlpoint-1 140802688) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
- (parametric-point 140803112 0.499403983354568 ( (name "noname")))
- (parametric-point 140803112 0.387289702892303 ( (name "noname")))
- (parametric-point 140803112 0.61937540769577 ( (name "noname"))) 140247560 140803112 139637048
+ (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname"))) 139741312
+ (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (decorator-point (coords -20.0 -10.0) 4 1.0 0.785400629043579 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
+ (cubic-bezier (controlpoint-1 139619464) 1.0 (coords -54.4186973571777 -18.9017639160156) 1.0 (coords -50.9240226745605 21.8665885925293) 1.0 (end 139742504) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 255 255 255 0)) (invisible #f) (name "noname")))
+ (quadratic-bezier (center 139619720) 1.0 (coords -10.0 5.0) 1.0 (controlpoint-1 139742080) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (quadratic-bezier (controlpoint-4 139619464) 1.0 (coords -30.0 5.0) 1.0 (controlpoint-1 139741312) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
+ (parametric-point 139743272 0.499403983354568 ( (name "noname")))
+ (parametric-point 139743272 0.387289702892303 ( (name "noname")))
+ (parametric-point 139743272 0.61937540769577 ( (name "noname"))) 139619720 139743272 139742504
  (tex-text (coords -22.7725009918213 10.2322235107422) "$v$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (coords -20.0000019073486 10.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -37.1394920349121 -3.80593585968018) "$N_4$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -20.248571395874 -12.9403553009033) "$w$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -6.94939517974854 -1.59444499015808) "$y$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (tex-text (coords -32.8320045471191 -1.57180035114288) "$x$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 140734888 140803456 140802688
- (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (decorator-point (coords -20.0 -10.0) 4 1.0 0.785400629043579 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (decorator-point (coords -10.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))
- (decorator-point (coords -30.0 0.0) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 255 255 255)) (invisible #f) (name "noname")))))))))
\ No newline at end of file
+ (tex-text (coords -21.8017578125 17.310417175293) "$u$" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y bbox-relative)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 139619464 139742080
+ (decorator-point (coords -20.0 15.0) 0 1.0 6.0491561271192e-7 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))))))))
\ No newline at end of file