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 \(O_1\) and \(O_2\).

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\)).