Segments

With Eukleides, the internal representation of segments is based on a begin point and an end point. Therefore segments have an implicit orientation. Here are all the segment valued functions:

• segment(A, B)
• segment(A, u)
• segment(A, x, a)
  Segment of length x and polar angle a, beginning with A.
• segment(c, a)
  Segment from center of circle c to point of argument a (in respect of the center of c).
• translation(s, u)
• reflection(s, l)
• rotation(s, A [, a])
  Rotation of center A and angle a (default: 180°).
• homothecy(s, A, x)
  Homothecy, i.e. expansion or dilation, of center A and ratio x.