… when the square norm is calculated to be 1.0.

… when the square norm is calculated to be 1.0.

…ization of lines.

…t2 from PGA.hs

…to type mirroring functions.

…2Basis to forceBasisOfL

… move from join2PPoint2WithErr to join2PP, and move from makeCPPoint2WithErr to makeCPPoint2.

…Err.

…me translatePLine2WithErr to translateL, and make sure translateL returns a PLine2.

…icalizePPoint2WithErr return error types, instead of UlpSums.

…Between2PL

…s properly.

…t do not (yet) place these quotents on faces.

…stanceBetweenProjectiveLines. also, fix test case.

…ints.

…g error that it ignores, and fix a typo in pLineErrAtPPoint.

… a line segment or not.

…d more liberally.

…ble, when determining what direction to wind a contour.