[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[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?
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#118 Quaternion restriction] (new),
Bill Page <=