]> mj.ucw.cz Git - ga.git/blobdiff - 11-planar/minor1.vrr
Floyd: Oprava preklepiku
[ga.git] / 11-planar / minor1.vrr
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