Package sage :: Package algebras :: Module quaternion_order

Module quaternion_order


Quaternion orders

AUTHOR: David Kohel, 2005-09

Classes

[hide private]

QuaternionOrder_generic
An order in a quaternion algebra.

Functions

[hide private]

QuaternionOrderWithBasis(R, B)

source code

QuaternionDefiningOrder(H, R)
Returns a hypothetical underlying order of H spanned by the basis over R.

source code

Function Details

[hide private]

QuaternionDefiningOrder(H, R)

source code


Returns a hypothetical underlying order of H spanned by the basis over R.

No checking is done to ensure that the ring R is an integral domain whose
field of fractions is the base field of H.  Nor is it checked that the basis
of H in fact generates an R-module which is closed under multiplication.