MAGMA Computational Algebra System

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₁ and O₂.

O ^ x : AlgQuatOrd, AlgQuatElt -> AlgQuatOrd

O ^ x : AlgAssVOrd, AlgAssElt -> AlgAssvOrd

This returns the conjugate of the order O by an element x in Algebra(O), (in other words the order x ^{- 1} O x).