Field_Theory_Q/
general_Q/
homographicAcc_Qhomographic_sign/
homographic_correctness/
Merge_Order/
positive_fraction_encoding/
Q_field/
Qhomographic/
Qhomographic_Qpositive_to_Qpositive/
Qhomographic_Qpositive_to_Q_properties/
Qhomographic_sign/
Qhomographic_sign_properties/
Q_order/
Qpositive/
Qpositive_le/
Qpositive_order/
Qpositive_plus_mult/
Qpositive_sub/
Qquadratic/
Qquadratic_Qpositive_to_Qpositive/
Qquadratic_Qpositive_to_Q_properties/
Qquadratic_sign/
Qquadratic_sign_properties/
quadraticAcc_Qquadratic_sign/
quadratic_correctness/
second_Field_Theory_Q/
sqrt2/
Zaux/