# 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$).