AUTHOR: David Kohel, 2005-09
The module algebras.quaternion_order defines the following methods:
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: