9.3.3 algebras.quaternion_order - Quaternion orders

AUTHOR: David Kohel, 2005-09

The module algebras.quaternion_order defines the following methods:

QuaternionDefiningOrder( H, R)

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.

The module algebras.quaternion_order defines the following classes:

class QuaternionOrder_generic
An order in a quaternion algebra.



Subsections
See About this document... for information on suggesting changes.