How to check if two maximal orders in a quaternion algebra are isomorphic
Two maximal orders in a quaternion algebra are isomorphic to each other if and only if they are conjugate.
There is an explicit command for this on Magma: IsConjugate
How would you do this on Sage?
Maybe check for all conjugates of generators of one are in the other, and conversely ?