# 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 ?