Segments

Avec Eukleides, la représentation interne des segments est basée sur un point origine et un point extrémité. Ainsi, les  segments ont une orientation implicite. Voici toutes les fonctions définissant des segments :

• segment(A, B)
• segment(A, u)
• segment(A, x, a)
  Segment de longueur x et d'angle polaire a, commençant en A.
• segment(c, a)
  Rayon du cercle c d'argument a (par rapport au centre de c).
• translation(s, u)
  Image du segment s par la translation de vecteur u.
• réflexion(s, d)
  Image du segment s par la réflexion d'axe d.
• rotation(s, A [, a])
  Image du segment s par la rotation de centre A et d'angle a (défaut : 180°).
• homothétie(s, A, x)
  Image du segment s par l'homothétie de centre A et de rapport x.