[Axiom-developer] [#118 Quaternion restriction]

[Bill Page]

Changes 
http://page.axiom-developer.org/zope/mathaction/118QuaternionRestriction/diff
--
>From the description of quatern on in section
*9.64 Quaternion*, page 734 of the
"Axiom 
Book":http://page.axiom-developer.org/zope/Plone/refs/books/axiom-book2.pdf#751
I think that what you want is not possible with this domain.
But since the quaternions can be thought of as a Clifford algebra,
please refer to section
*9.10.2 The Quaternion Numbers as a Clifford Algebra*,
page 483 of 
"the 
Book":http://page.axiom-developer.org/zope/Plone/refs/books/axiom-book2.pdf#500.
For example
\begin{axiom}
K := Fraction Polynomial Integer
m := matrix [ [a,0],[0,b] ]
H := CliffordAlgebra(2, K, quadraticForm m)
i: H := e(1)
j: H := e(2)
k: H := i * j
i^2
j^2
k^2
\end{axiom}

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden