Between Euclid's time and 1829, the conviction that Postulate V depends
on I IV Axioms was so strong that no one recognized the basis for new
geometry.
In
order to present some of this "new", "curious" geometry
we have created Mathematica package "L2Primitives".
