| |
introduces the direction d of vector .
| |
| |
introduces the direction d of line .
| |
| |
introduces the direction d of ray .
| |
| |
introduces the direction d of segment .
| |
| |
introduces a direction d passing through the origin
and the point with Cartesian coordinates .
|
|
|
returns values, such that d== Direction_2<Kernel>(delta(0),delta(1)). Precondition: : . |
|
| returns delta(0). |
|
| returns delta(1). |
There is a total order on directions. We compare the angles between the positive -axis and the directions in counterclockwise order.
|
| |
|
| |
|
|
|
|
|
|
|
| |
|
|
Furthermore, we have
|
| |
returns true, iff d is not equal to d1, and while rotating counterclockwise starting at d1, d is reached strictly before d2 is reached. Note that true is returned if d1 == d2, unless also d == d1. | ||
| ||
| The direction opposite to d. |
|
| returns a vector that has the same direction as d. |
| ||
| ||
returns the direction obtained by applying on d. |