[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

*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:
q := quatern(0,1,0,0)
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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]