With Eukleides, the internal representation of lines is based on an abscissa, an ordinate and a polar angle. Therefore lines have an implicit orientation. Here are all the line valued functions:
line(A, B)
line(A, u)
line(s)
line(A, a)
line(c, a)
line(cc, x)
parallel(l, A)
or parallel(s, A)
perpendicular(l, A)
or perpendicular(s, A)
bisector(s)
bisector(A, B, C)
bisector(l, l')
altitude(A, B, C)
median(s)
translation(l, u)
reflection(l, l')
rotation(l, A [, a])
homothecy(l, A, x)
Go to: | Reference index | Previous page | Next page | Concept index | Command index |