]> mj.ucw.cz Git - ga.git/blob - 11-planar/planar2.vrr
Merge with git+ssh://git.ucw.cz/home/mj/GIT/ga.git
[ga.git] / 11-planar / planar2.vrr
1
2  (document 0.6 ( (filename "/home/mares/tex/ga/11-planar/planar2.vrr") (name "Untitled 1")) (
3  (page ( (tex_footer "\\bye
4 ") (tex_header "\\nopagenumbers\\vglue0pt
5 ") (name "planar2")) (
6  (ellipse-by-3-points-smallest (coords -16.2520904541016 -23.4961986541748) (coords -12.2213039398193 -39.9838485717773) (coords -21.4678325653076 -39.6487731933594) ( (id 136569192) (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 1)) (invisible #t) (name "noname")))
7  (ellipse-by-center-point-rotation-eccentricity (coords -5.12286853790283 1.20390594005585) (coords -1.00143110752106 5.3253436088562) 0.785399436950684 0.995000004768372 ( (id 136495784) (conic (start-dif 2.87979936599731 3.66520071029663)) (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 1)) (invisible #f) (name "noname")))
8  (ellipse-by-3-points-smallest (coords 7.24144411087036 -2.91753172874451) (coords 11.3628816604614 -19.4032821655273) (coords 3.1200065612793 -19.4032821655273) ( (id 136565800) (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 1)) (invisible #t) (name "noname")))
9  (ellipse-by-3-points-smallest (coords -9.24430656433105 -2.91753172874451) (coords -9.24430656433105 -19.4032821655273) (coords -20.3402061462402 -17.2139759063721) ( (id 136500880) (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 1)) (invisible #t) (name "noname")))
10  (parametric-point 136569192 0.206805899739265 ( (id 136497416) (name "noname")))
11  (parametric-point 136569192 0.315222918987274 ( (id 142061320) (name "noname")))
12  (parametric-point 136569192 0.315222918987274 ( (id 142130824) (name "noname")))
13  (parametric-point 136495784 0.10413271933794 ( (id 136500640) (name "noname")))
14  (parametric-point 136565800 0.504456698894501 ( (id 136571032) (name "noname")))
15  (parametric-point 136565800 0.501741051673889 ( (id 136564496) (name "noname")))
16  (parametric-point 136500880 0.509517669677734 ( (id 136543128) (name "noname")))
17  (parametric-point 136500880 0.668973803520203 ( (id 136537784) (name "noname")))
18  (parametric-point 136500880 0.670427322387695 ( (id 136538040) (name "noname")))
19  (ellipse-by-center-point-rotation-eccentricity (coords 3.1200065612793 -31.7675952911377) (center 136564496) 1.04719948768616 0.970000028610229 ( (id 136543912) (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 1)) (invisible #f) (name "noname")))
20  (ellipse-by-3-points-smallest (center 136543128) (coords -12.2213039398193 -39.9838485717773) (coords -21.4678325653076 -39.6487731933594) ( (id 136566400) (conic (start-dif 1.30900061130524 4.97419929504395)) (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 1)) (invisible #f) (name "noname")))
21  (ellipse-by-3-points-smallest (center 136538040) (coords -6.741774559021 -26.9467754364014) (coords -2.02200078964233 -22.9910717010498) ( (id 136504200) (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 1)) (invisible #f) (name "noname")))
22  (parametric-point 136543912 0.991182506084442 ( (id 136564800) (name "noname")))
23  (parametric-point 136543912 0.762724041938782 ( (id 136565096) (name "noname")))
24  (parametric-point 136543912 0.756619036197662 ( (id 136574152) (name "noname")))
25  (parametric-point 136566400 0.00218114210292697 ( (id 136573352) (name "noname")))
26  (parametric-point 136504200 0.474132269620895 ( (id 136492248) (name "noname")))
27  (ellipse-by-center-point-rotation-eccentricity (coords 11.3628816604614 -31.7675952911377) (center 136564800) 2.09439945220947 0.970000028610229 ( (id 136502104) (conic (start-dif 0.0 3.14159941673279)) (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 1)) (invisible #f) (name "noname")))
28  (cubic-bezier (center 136573352) 1.0 (coords -42.3163871765137 -18.2405490875244) 1.0 (coords -33.1149635314941 6.3314642906189) 1.0 (coords -1.00143110752106 5.3253436088562) 1.0 ( (id 136577792) (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 1)) (invisible #f) (name "noname")))
29  (top-level-group ( (name "top-level-group")) ( 142130824 142061320
30  (cubic-bezier (end 136502104) 1.0 (coords 18.6187953948975 -26.2675018310547) 1.0 (coords 23.9556579589844 6.57409858703613) 1.0 (controlpoint-4 136577792) 1.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")))
31  (ellipse-by-center-point-rotation-eccentricity (center 136565800) (start 136565800) 1.57079935073853 0.901400029659271 ( (conic (point-dif 3.14160060882568)) (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname"))) 136573352 136497416 136569192 136500640
32  (ellipse-by-center-point-rotation-eccentricity (center 136500880) (center 136500640) 1.1444000005722 0.811299979686737 ( (conic (start-dif 3.26609945297241 3.14160060882568)) (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")))
33  (parametric-point 136502104 0.472251832485199 ( (name "noname"))) 136574152 136565096 136538040 136537784
34  (cubic-bezier (center 142130824) 1.0 (coords -35.2255439758301 -48.6633415222168) 1.0 (coords -48.5723419189453 3.21401381492615) 1.0 (coords -18.7653865814209 6.58815097808838) 1.0 ( (stroke-style (stroke-style dotted)) (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")))
35  (decorator-point (center 142061320) 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")))
36  (parametric-point 136566400 0.335623443126678 ( (name "noname")))
37  (tex-text (coords -3.11117935180664 7.81546354293823) "$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")))
38  (cubic-bezier (center 136574152) 1.0 (coords 12.7141799926758 -63.7204246520996) 1.0 (coords 35.4706802368164 -31.7926578521729) 1.0 (coords 14.5900135040283 7.85345220565796) 1.0 ( (stroke-style (stroke-style dotted)) (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")))
39  (cubic-bezier (center 136492248) 1.0 (coords -4.42502784729004 -78.749397277832) 1.0 (coords -74.6889038085938 -17.5931644439697) 1.0 (coords -22.0299587249756 10.243465423584) 1.0 ( (stroke-style (stroke-style dotted)) (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")))
40  (decorator-point (end 136502104) 0 1.0 0.785400629043579 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
41  (parametric-point 136543912 0.526112914085388 ( (name "noname")))
42  (decorator-point (center 136565096) 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")))
43  (parametric-point 136502104 0.738825857639313 ( (name "noname")))
44  (decorator-point (center 136492248) 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"))) 136492248 136577792 136504200 136564800 136502104 136564496 136543912
45  (decorator-point (center 136571032) 4 1.0 0.785400629043579 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136571032
46  (ellipse-by-center-point-rotation-eccentricity (coords 3.1200065612793 1.20390594005585) (coords -1.00143110752106 5.3253436088562) 2.35619950294495 0.995000004768372 ( (conic (point-dif 3.14160060882568)) (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 1)) (invisible #f) (name "noname"))) 136495784 136565800
47  (decorator-point (coords 7.24144411087036 -2.91753172874451) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
48  (decorator-point (center 136497416) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
49  (parametric-point 136566400 0.239055275917053 ( (name "noname"))) 136566400
50  (decorator-point (center 136537784) 4 1.0 0.785399377346039 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
51  (parametric-point 136500880 0.309220433235168 ( (name "noname")))
52  (decorator-point (center 136543128) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136543128 136500880
53  (decorator-point (coords -9.24430656433105 -2.91753172874451) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
54  (decorator-point (coords -1.00143110752106 5.3253436088562) 0 1.0 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.0) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))))))))