Package-level declarations

A circle in the plane, oriented by which side counts as its interior — the 2D circle.

Two points of the plane joined into a single oriented object — the 2D dipole.

A free vector — magnitude and orientation with no position; the FlatPoint refinement guaranteed to lie at infinity.

A weighted position in the plane, or a free vector when at infinity — the 2D flat point.

An oriented infinite line in the plane, or a weighted line at infinity — the 2D line.

Marker for a shape that is itself a CGA element.

A direction with magnitude — the RoundPoint refinement guaranteed to lie at infinity; the round-point counterpart of Direction.

A point in the plane, optionally carrying a size — the 2D round point.

Direction - Direction => Direction
Returns the vector difference of the two free vectors: this displacement with other undone.

FlatPoint - FlatPoint => Direction
Returns the free vector from other to this point: the displacement that carries other onto this point.

RoundPoint - RoundPoint => Direction
Returns the free vector from other's position to this point's position: the displacement that carries other onto this point.

Direction + Direction => Direction
Returns the vector sum of the two free vectors: both displacements applied together.

-Circle => Circle
Returns this circle turned inside out — the same point set with the interior swapped.

-Dipole => Dipole
Returns this dipole with its endpoints exchanged — the same point pair, opposite orientation.

-Line => Line
Returns this line with the opposite orientation — the same cut through the plane, positive side swapped.

-Direction => Direction
Returns the opposite free vector: the same length, reversed heading.

-RoundDirection => RoundDirection
Returns the opposite direction: the same magnitude, reversed heading.