gh-37113: Define behaviour of < and > for fractional ideals in a quaternion algebra
Previously, comparison of quaternion algebra fractional ideals (in a
quaternion algebra over QQ) was documented only for equality and did
compare the matrices under HNF of bases of the ideals. This gave strange
and undocumented behavior when comparing two ideals with inequalities.
This comparison is now replaced by the comparison of the fractional
ideals as free modules.
Now "smaller than" means "included in".
#sd123
URL: https://github.com/sagemath/sage/pull/37113
Reported by: syndrakon
Reviewer(s): David Coudert, Lorenz Panny
