]> mj.ucw.cz Git - saga.git/blobdiff - pic/hedgehog.vrr
Corrections to Sections 5.1--5.2.
[saga.git] / pic / hedgehog.vrr
index 7432b5fd299377cefbc70c86a3a2739035a313f8..3139cfdba09c6e60a29d1756b9290b502e05b2c2 100644 (file)
  (parametric-point 136228600 0.458352267742157 ( (id 136355544) (name "noname")))
  (parametric-point 136114304 0.518436908721924 ( (id 136326904) (name "noname")))
  (top-level-group ( (name "top-level-group")) (
- (tex-text (coords -37.5 2.5) "$\\ge 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 bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 0.850792407989502 0.0 0.0 0.850792407989502)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
- (tex-text (center 136326904) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136326904
- (tex-text (center 136363040) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136363040
- (tex-text (center 136016776) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y -2.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136016776
- (tex-text (center 136338568) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136338568
- (tex-text (center 136301928) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136301928
- (tex-text (center 136299008) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.0) (absolute-shift-y -2.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136299008
- (tex-text (center 136355544) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136355544
- (tex-text (center 136284680) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136284680
- (tex-text (center 136309520) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136309520
- (tex-text (center 136288648) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136288648
- (tex-text (center 136294792) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136294792
- (tex-text (center 136305616) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136305616
- (tex-text (center 136196360) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136196360
- (tex-text (center 136300512) "2" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136300512
- (tex-text (center 136309368) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136309368
+ (tex-text (coords -37.5 2.5) "$\\ge 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 bbox-center)) (alignment-y (alignment-y bbox-center)) (transform (transform 0.850792407989502 0.0 0.0 0.850792407989502)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
+ (tex-text (center 136326904) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136326904
+ (tex-text (center 136363040) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136363040
+ (tex-text (center 136016776) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y -2.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136016776
+ (tex-text (center 136338568) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136338568
+ (tex-text (center 136301928) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136301928
+ (tex-text (center 136299008) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.0) (absolute-shift-y -2.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136299008
+ (tex-text (center 136355544) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136355544
+ (tex-text (center 136284680) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136284680
+ (tex-text (center 136309520) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136309520
+ (tex-text (center 136288648) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 2.0) (absolute-shift-y 0.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136288648
+ (tex-text (center 136294792) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x -1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136294792
+ (tex-text (center 136305616) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 1.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136305616
+ (tex-text (center 136196360) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136196360
+ (tex-text (center 136300512) "1" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136300512
+ (tex-text (center 136309368) "0" ( (relative-position-x 0.5) (relative-position-y 0.5) (absolute-shift-x 0.0) (absolute-shift-y 1.0) (alignment-x (alignment-x ref-relative)) (alignment-y (alignment-y baseline)) (transform (transform 1.0 0.0 0.0 1.0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136309368
  (decorator-point (end 136228144) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (start 136228144) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
  (decorator-point (end 136276016) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname")))
@@ -80,4 +80,4 @@
  (decorator-point (end 136272320) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136254584 136251944 136212280 136272320 136213240 136193416 136114304 136239184 136175848 136228144 136235288 136276016 136228600 136291472 136193024 136262416
  (decorator-point (end 136234320) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136273320
  (decorator-point (end 136240688) 0 0.5 0.0 ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgb 0 0 0)) (invisible #f) (name "noname"))) 136257968 136240688 136234320 136252648 136328776 136201512
- (path ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")) ( 136244744 136343488 136181552 136251576 136296408))))))))
\ No newline at end of file
+ (path ( (stroke-style (stroke-style solid)) (stroke-cap (cap-style butt)) (stroke-join (join-style miter)) (stroke-width 0.150000005960464) (stroke-color (rgb 0 0 0)) (fill-color (rgba 0 0 0 0)) (invisible #f) (name "noname")) ( 136244744 136343488 136181552 136251576 136296408))))))))