Data.Geometry.Duality

Standard Point-Line duality in R^2

dualLine :: Num r => Point 2 r -> Line 2 r

Maps a line point (px,py) to a line (y=px*x - py)

dualPoint :: (Fractional r, Eq r) => Line 2 r -> Maybe (Point 2 r)

Returns Nothing if the input line is vertical Maps a line l: y = ax + b to a point (a,-b)

dualPoint' :: (Fractional r, Eq r) => Line 2 r -> Point 2 r

Pre: the input line is not vertical