Copyright | (C) 2012-2015 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Stability | experimental |

Portability | non-portable |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

Utility for working with Plücker coordinates for lines in 3d homogeneous space.

# Documentation

data Coincides a where Source #

When lines are represented as Plücker coordinates, we have the
ability to check for both directed and undirected
equality. Undirected equality between `Line`

s (or a `Line`

and a
`Ray`

) checks that the two lines coincide in 3D space. Directed
equality, between two `Ray`

s, checks that two lines coincide in 3D,
and have the same direction. To accomodate these two notions of
equality, we use an `Eq`

instance on the `Coincides`

data type.

For example, to check the *directed* equality between two lines,
`p1`

and `p2`

, we write, `Ray p1 == Ray p2`

.