Operations with Orders

O1 meet O2 : AlgQuatOrd[RngInt], AlgQuatOrd[RngInt] -> AlgQuatOrd
O1 meet O2 : AlgQuatOrd[RngUPol], AlgQuatOrd[RngUPol] -> AlgQuatOrd
O1 meet O2 : AlgAssVOrd, AlgAssVOrd -> AlgAssVOrd
This returns the order obtained by intersecting the quaternion orders O1 and O2.
O ^ x : AlgQuatOrd, AlgQuatElt -> AlgQuatOrd
O ^ x : AlgAssVOrd, AlgAssElt -> AlgAssvOrd
This returns the conjugate of the order O by an element x in the associative algebra A for which O is an order (in other words the order x - 1 O x).
V2.28, 13 July 2023