[Axiom-developer] [#118 Quaternion restriction] (new)

[Bill Page]

Changes 
http://page.axiom-developer.org/zope/mathaction/118QuaternionRestriction/diff
--
*originally posted by Anonymous to AxiomInterface*

I've been checking quaternion support in Axiom. And I've found out that it is a 
bit too restricted. More exactly it seems to be aimed on Hammiltonian 
quaternions only:
\begin{axiom}
q := quatern(0,1,0,0)
q**2
\end{axiom}
This is fine over the reals. But only there. On any field with bigger group of 
square classes (e.g. rationals, algebraic rationals,...) we have far more 
quaternion algebras. 
Namely for any two suare clases $a$, $b$ there exist a quaternion algebra with 
$i^2 = a$ and $j^2 = b$. Is there
a way to declare such a quaternions in Axiom?

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