5-mst/mst-bez.vrr

   1
   2  (document 0.6 ( (filename "/hdb1/home/mj/tex/ga/5-mst/mst-bez.vrr") (name "Untitled 1")) (
   3  (page ( (tex_footer "\\bye
   4 ") (tex_header "\\nopagenumbers\\vglue0pt
   5 ") (name "mst-bez")) (
   6  (segment (coords 55.0 0.0) (coords 85.0 5.0) ( (id 139921032) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
   7  (segment (coords 9.56808471679688 -3.3770956993103) (coords 39.5680847167969 1.6229043006897) ( (id 141851192) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
   8  (segment (start 139921032) (coords 61.899829864502 8.02024841308594) ( (id 142305800) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
   9  (segment (start 139921032) (coords 64.0984802246094 -6.17874097824097) ( (id 141063560) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  10  (ellipse-by-center-point-rotation-eccentricity (end 139921032) (coords 77.2473602294922 9.32690334320068) 0.0 0.0 ( (id 139920264) (conic (point-entire)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  11  (segment (start 141851192) (coords 13.8247928619385 8.56311798095703) ( (id 141820488) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  12  (segment (end 142305800) (coords 68.7596282958984 11.9402141571045) ( (id 138177920) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  13  (segment (end 142305800) (coords 68.0560607910156 5.66826820373535) ( (id 141025232) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  14  (segment (end 141063560) (coords 70.7823867797852 -3.65254044532776) ( (id 140770232) (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  15  (parametric-point 139920264 0.956207811832428 ( (id 143471240) (name "noname")))
  16  (parametric-point 139920264 0.051079947501421 ( (id 137435616) (name "noname")))
  17  (parametric-point 139920264 0.2211654484272 ( (id 141951528) (name "noname")))
  18  (segment (end 141820488) (coords 23.0591354370117 3.77204895019531) ( (id 140996488) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  19  (parametric-point 141025232 0.961217284202576 ( (id 139922952) (name "noname")))
  20  (parametric-point 140770232 1.0 ( (id 139919112) (name "noname")))
  21  (segment (end 140996488) (coords 29.5680847167969 11.6229038238525) ( (id 139902256) (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  22  (top-level-group ( (name "top-level-group")) (
  23  (tex-text (coords 84.0925369262695 9.94756507873535) "$\\overline M$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  24  (tex-text (coords 56.6093902587891 7.87868785858154) "$M$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  25  (tex-text (coords 22.2004871368408 8.85867881774902) "$M$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  26  (tex-text (coords 69.3615646362305 0.474311709403992) "$e$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  27  (tex-text (coords 87.5004501342773 3.30539703369141) "$y$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  28  (tex-text (coords 53.311408996582 -2.57455062866211) "$x$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  29  (tex-text (coords 24.838846206665 -3.22787666320801) "$e$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  30  (tex-text (coords 40.5592269897461 -0.723455905914307) "$y$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  31  (tex-text (coords 8.78870964050293 -5.73229932785034) "$x$" ( (relative-position-x 2.77555756156289e-17) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 0.0) (alignment-x (alignment-x bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  32  (decorator-point (end 138177920) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (stroke-join (join-style miter)) (stroke-width 0.100000001490116) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 250)) (invisible #f) (name "noname")))
  33  (decorator-point (start 138177920) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  34  (decorator-point (end 141025232) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  35  (decorator-point (end 141063560) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  36  (decorator-point (end 139921032) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  37  (decorator-point (end 140770232) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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")))
  38  (decorator-point (start 141063560) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style round)) (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"))) 141951528
  39  (segment (center 139919112) (center 141951528) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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"))) 139919112 137435616
  40  (segment (center 139922952) (center 137435616) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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"))) 139922952 143471240
  41  (segment (end 138177920) (center 143471240) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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"))) 139920264 140770232 141063560 141025232 138177920 142305800
  42  (decorator-point (end 141851192) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  43  (decorator-point (end 139902256) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  44  (decorator-point (end 140996488) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  45  (decorator-point (start 140996488) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  46  (decorator-point (start 141820488) 0 0.5 0.0 ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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")))
  47  (segment (end 139902256) (end 141851192) ( (stroke-style (stroke-style dotted)) (stroke-cap (cap-style round)) (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"))) 139902256 140996488 141820488 139921032 141851192
  48  (path ( (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")) ())))))))