Module quaternion_order_element
Classes
QuaternionOrderElement
[
hide private
]