kig/examples/session_alotofthings.fgeo

   1 <?xml version="1.0"?>
   2 <drgenius>
   3   <drgeo name="Figure 1" scale="30.000000" origin_x="0.000000" origin_y="0.000000" grid="False">
   4     <point id="82076B0" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
   5       <x>0.766667</x>
   6       <y>2.450000</y>
   7     </point>
   8     <point id="8281F08" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
   9       <x>-3.300000</x>
  10       <y>2.650000</y>
  11     </point>
  12     <point id="82535F0" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  13       <x>-7.900000</x>
  14       <y>-2.583333</y>
  15     </point>
  16     <point id="822F448" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  17       <x>-7.800000</x>
  18       <y>0.116667</y>
  19     </point>
  20     <point id="8208228" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  21       <x>-4.533333</x>
  22       <y>1.216667</y>
  23     </point>
  24     <point id="822FB88" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  25       <x>-8.566667</x>
  26       <y>3.116667</y>
  27     </point>
  28     <point id="82B08A0" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  29       <x>-7.066667</x>
  30       <y>1.783334</y>
  31     </point>
  32     <line id="82C3C40" type="2pts" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
  33       <parent ref="8281F08"/>
  34       <parent ref="82076B0"/>
  35     </line>
  36     <arcCircle id="82C2F40" type="3pts" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
  37       <parent ref="8208228"/>
  38       <parent ref="822F448"/>
  39       <parent ref="82535F0"/>
  40     </arcCircle>
  41     <halfLine id="82A86B8" type="2pts" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
  42       <parent ref="822FB88"/>
  43       <parent ref="82B08A0"/>
  44     </halfLine>
  45     <point id="82C8738" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  46       <x>-1.066667</x>
  47       <y>-0.416667</y>
  48     </point>
  49     <point id="82C4DC8" type="Intersection" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="" extra="0">
  50       <parent ref="82A86B8"/>
  51       <parent ref="82C2F40"/>
  52     </point>
  53     <point id="82C5230" type="Intersection" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="" extra="1">
  54       <parent ref="82A86B8"/>
  55       <parent ref="82C2F40"/>
  56     </point>
  57     <line id="82BF640" type="perpendicular" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
  58       <parent ref="82C8738"/>
  59       <parent ref="82C3C40"/>
  60     </line>
  61     <point id="83030E0" type="Reflexion" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  62       <parent ref="82C4DC8"/>
  63       <parent ref="82BF640"/>
  64     </point>
  65   </drgeo>
  66   <text name="Testo 1">Figure 1 contains:
  67 - some points;
  68 - an arc;
  69 - a line;
  70 - a perpendicular;
  71 - a ray;
  72 - an intersection point;
  73 - a reflection point;
  74
  75 Figure 2 contains:
  76 - some points;
  77 - 2 lines;
  78 - a midpoint;
  79 - a parallel;
  80 - 2 intersection points;
  81
  82 Figure 3 contains:
  83 - some points;
  84 - a circle;
  85 - a vector;
  86 - a moved circle;
  87 </text>
  88   <drgeo name="Figure 2" scale="30.000000" origin_x="0.000000" origin_y="0.000000" grid="False">
  89     <point id="831A340" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  90       <x>-5.200000</x>
  91       <y>0.216667</y>
  92     </point>
  93     <point id="82D1958" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  94       <x>1.200000</x>
  95       <y>3.116667</y>
  96     </point>
  97     <point id="82EB588" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
  98       <x>-7.666667</x>
  99       <y>1.650000</y>
 100     </point>
 101     <line id="8337158" type="2pts" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
 102       <parent ref="82EB588"/>
 103       <parent ref="831A340"/>
 104     </line>
 105     <point id="8339778" type="Middle_2pts" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
 106       <parent ref="831A340"/>
 107       <parent ref="82D1958"/>
 108     </point>
 109     <line id="8322C38" type="parallel" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
 110       <parent ref="8339778"/>
 111       <parent ref="8337158"/>
 112     </line>
 113     <point id="8322E28" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
 114       <x>-6.200000</x>
 115       <y>-1.483334</y>
 116     </point>
 117     <line id="831E530" type="2pts" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
 118       <parent ref="8322E28"/>
 119       <parent ref="82D1958"/>
 120     </line>
 121     <point id="8356028" type="Intersection" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="" extra="0">
 122       <parent ref="831E530"/>
 123       <parent ref="8337158"/>
 124     </point>
 125     <point id="8320CC8" type="Intersection" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="" extra="0">
 126       <parent ref="8322C38"/>
 127       <parent ref="831E530"/>
 128     </point>
 129   </drgeo>
 130   <drgeo name="Figure 3" scale="30.000000" origin_x="0.000000" origin_y="0.000000" grid="False">
 131     <point id="837C5E0" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
 132       <x>-6.433334</x>
 133       <y>2.050000</y>
 134     </point>
 135     <point id="83380E8" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
 136       <x>-1.400000</x>
 137       <y>2.583333</y>
 138     </point>
 139     <point id="83565C8" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
 140       <x>-1.300000</x>
 141       <y>-0.350000</y>
 142     </point>
 143     <point id="82FBCC8" type="Free" color="Red" thickness="Dashed" style="Round" filled="False" masked="False" name="">
 144       <x>-3.433333</x>
 145       <y>-0.883333</y>
 146     </point>
 147     <vector id="8108B10" type="2pts" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
 148       <Ox>-6.433334</Ox>
 149       <Oy>2.050000</Oy>
 150       <parent ref="837C5E0"/>
 151       <parent ref="83380E8"/>
 152     </vector>
 153     <circle id="83A2B10" type="2pts" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
 154       <parent ref="82FBCC8"/>
 155       <parent ref="83565C8"/>
 156     </circle>
 157     <circle id="83D6820" type="Translation" color="Black" thickness="Normal" style="Cross" filled="False" masked="False" name="">
 158       <parent ref="83A2B10"/>
 159       <parent ref="8108B10"/>
 160     </circle>
 161   </drgeo>
 162 </drgenius>