[Next][Prev] [Right] [Left] [Up] [Index] [Root]
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 : 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).
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012