Ask Your Question

quaternion-valued differential forms

asked 2015-02-26 06:44:08 +0200

SL gravatar image

updated 2015-02-28 21:52:36 +0200

I'm trying to define quaternion-valued differential forms in Sage. For example, take $e_0$, $e_1$, $e_2$, $e_3$ to be the quaternion generators and $d x^0$, $d x^1$, $d x^2$, $d x^3$ be the generators of the exterior algebra. So for example I'd like to be able to compute $d X \wedge d X^\dagger$, where $d X = e_0 d x^0 + e_1 d x^1 + e_2 d x^2 + e_3 d x^3$, $d X^\dagger = e_0 d x^0 - e_1 d x^1 - e_2 d x^2 - e_3 d x^3$.

Edit: I tried taking a tensor product between an exterior algebra and a quaternion algebra

sage: ext_alg.<x0,x1,x2,x3> = ExteriorAlgebra(QQ)
sage: ext_alg in Algebras(QQ)
sage: quat_alg = QuaternionAlgebra(QQ,-1,-1)
sage: quat_alg in Algebras(QQ)
sage: tensor((ext_alg, quat_alg))  # this doesn't work!
edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2015-03-01 16:25:01 +0200

SL gravatar image

updated 2015-03-01 23:20:13 +0200

This seems to work fine:

sage: quat_alg = QuaternionAlgebra(QQ,-1,-1)
sage: ext_alg.<x0,x1,x2,x3> = ExteriorAlgebra(quat_alg)
sage: x = x0+x1*i+x2*j+x3*k
sage: x_dag = x0-x1*i-x2*j-x3*k
# now some computations
sage: x*x_dag
-2*i*x0^x1 - 2*j*x0^x2 - 2*k*x0^x3 - 2*k*x1^x2 + 2*j*x1^x3 - 2*i*x2^x3
sage: x*x_dag*x
-6*k*x0^x1^x2 + 6*j*x0^x1^x3 - 6*i*x0^x2^x3 + 6*x1^x2^x3
sage: x*x_dag*x*x_dag
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools



Asked: 2015-02-26 06:44:08 +0200

Seen: 298 times

Last updated: Mar 01 '15