axiom-developer
[Top][All Lists]

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

 From: Bill Page Subject: [Axiom-developer] [#118 Quaternion restriction] (new) Date: Mon, 07 Mar 2005 09:00:53 -0600

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?

--