texts/classes.svg

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN" "http://www.w3.org/TR/2001/PR-SVG-20010719/DTD/svg10.dtd">
   3 <svg width="29cm" height="21cm" viewBox="238 218 563 413" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
   4   <g id="Pozadí"/>
   5   <g id="Pozadí"/>
   6   <g id="Pozadí">
   7     <g>
   8       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="460" cy="239.6" rx="80" ry="20.3997"/>
   9       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="460" y="244.644">
  10         <tspan x="460" y="244.644">class_magma</tspan>
  11       </text>
  12     </g>
  13     <text font-size="12.8" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:start;font-family:sans-serif;font-style:normal;font-weight:normal" x="460" y="239.6">
  14       <tspan x="460" y="239.6"></tspan>
  15     </text>
  16     <text font-size="12.8" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:start;font-family:sans-serif;font-style:normal;font-weight:normal" x="460" y="239.6">
  17       <tspan x="460" y="239.6"></tspan>
  18     </text>
  19     <g>
  20       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="460" y1="320" x2="460" y2="328.43"/>
  21       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="460,335.93 455,325.93 460,328.43 465,325.93 "/>
  22     </g>
  23     <g>
  24       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="460" cy="299.59" rx="80" ry="20.4101"/>
  25       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="460" y="304.635">
  26         <tspan x="460" y="304.635">class_monoid</tspan>
  27       </text>
  28     </g>
  29     <g>
  30       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="460" y1="260" x2="460" y2="269.444"/>
  31       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="460,276.944 455,266.944 460,269.444 465,266.944 "/>
  32     </g>
  33     <g>
  34       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="460" cy="358.453" rx="80" ry="20.287"/>
  35       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="460" y="363.497">
  36         <tspan x="460" y="363.497">class_group</tspan>
  37       </text>
  38     </g>
  39     <g>
  40       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="460" y1="378.74" x2="460" y2="390.264"/>
  41       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="460,397.764 455,387.764 460,390.264 465,387.764 "/>
  42     </g>
  43     <g>
  44       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="460" cy="420" rx="80" ry="20"/>
  45       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="460" y="425.044">
  46         <tspan x="460" y="425.044">class_unit_ring</tspan>
  47       </text>
  48     </g>
  49     <g>
  50       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="320" cy="520" rx="80.8579" ry="20.2145"/>
  51       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="320" y="525.045">
  52         <tspan x="320" y="525.045">class_division_ring</tspan>
  53       </text>
  54     </g>
  55     <g>
  56       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="320.858" cy="580.214" rx="80.9838" ry="20.2459"/>
  57       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="320.858" y="585.258">
  58         <tspan x="320.858" y="585.258">class_real_number</tspan>
  59       </text>
  60     </g>
  61     <g>
  62       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="320" y1="540.214" x2="320.436" y2="550.241"/>
  63       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="320.761,557.734 315.332,547.96 320.436,550.241 325.322,547.526 "/>
  64     </g>
  65     <g>
  66       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="460" y1="440" x2="328.954" y2="495.962"/>
  67       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="322.056,498.908 329.289,490.382 328.954,495.962 333.217,499.579 "/>
  68     </g>
  69     <g>
  70       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="600" cy="525.515" rx="100" ry="25.5151"/>
  71       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="600" y="530.56">
  72         <tspan x="600" y="530.56">class_integer_number</tspan>
  73       </text>
  74     </g>
  75     <g>
  76       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="599.955" cy="604.989" rx="99.9546" ry="24.9886"/>
  77       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="599.955" y="610.033">
  78         <tspan x="599.955" y="610.033">class_fixed_integer_number</tspan>
  79       </text>
  80     </g>
  81     <g>
  82       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="600" y1="551.03" x2="599.969" y2="570.264"/>
  83       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="599.958,577.764 594.973,567.756 599.969,570.264 604.973,567.772 "/>
  84     </g>
  85     <g>
  86       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="460" y1="440" x2="561.453" y2="495.338"/>
  87       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="568.037,498.929 556.864,498.53 561.453,495.338 561.652,489.751 "/>
  88     </g>
  89     <g>
  90       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="720" cy="240.4" rx="80" ry="20.3997"/>
  91       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="720" y="245.444">
  92         <tspan x="720" y="245.444">class_eq</tspan>
  93       </text>
  94     </g>
  95     <g>
  96       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="720" cy="300.4" rx="80" ry="20.3997"/>
  97       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="720" y="305.444">
  98         <tspan x="720" y="305.444">class_ord</tspan>
  99       </text>
 100     </g>
 101     <g>
 102       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="720" y1="320.8" x2="358.889" y2="555.497"/>
 103       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="352.6,559.584 358.26,549.942 358.889,555.497 363.71,558.327 "/>
 104     </g>
 105     <g>
 106       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="720" y1="320.8" x2="605.417" y2="491.91"/>
 107       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="601.244,498.142 602.654,487.051 605.417,491.91 610.963,492.615 "/>
 108     </g>
 109     <g>
 110       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="720" y1="260.8" x2="720" y2="270.264"/>
 111       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="720,277.764 715,267.764 720,270.264 725,267.764 "/>
 112     </g>
 113     <g>
 114       <ellipse style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" cx="720" cy="450.4" rx="80" ry="20.3997"/>
 115       <text font-size="11.2889" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="720" y="455.444">
 116         <tspan x="720" y="455.444">class_logical</tspan>
 117       </text>
 118     </g>
 119     <text font-size="12.7998" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:start;font-family:sans-serif;font-style:normal;font-weight:normal" x="720" y="450.4">
 120       <tspan x="720" y="450.4"></tspan>
 121     </text>
 122     <text font-size="12.7998" style="fill: #000000; fill-opacity: 1; stroke: none;text-anchor:start;font-family:sans-serif;font-style:normal;font-weight:normal" x="720" y="450.4">
 123       <tspan x="720" y="450.4"></tspan>
 124     </text>
 125     <g>
 126       <line style="fill: none; stroke-opacity: 1; stroke-width: 2; stroke: #000000" x1="720" y1="470.799" x2="658.575" y2="498.807"/>
 127       <polygon style="fill: #000000; fill-opacity: 1; stroke-opacity: 1; stroke-width: 2; stroke: #000000" fill-rule="evenodd" points="651.751,501.918 658.776,493.22 658.575,498.807 662.925,502.319 "/>
 128     </g>
 129   </g>
 130 </svg>