Ask Your Question
1

exp of quaternion

asked 2022-04-16 19:22:50 +0200

Andr gravatar image

updated 2022-04-16 19:23:50 +0200

I try

Q.<i,j,k> = QuaternionAlgebra(SR, -1, -1)
exp(x+i*x+j*x+k*x)

I get

TypeError: cannot coerce arguments: no canonical coercion from Quaternion Algebra (-1, -1) with base ring Symbolic Ring to Symbolic Ring

what means "-1,-1"? How to expand as demoivre() this?

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
1

answered 2022-04-17 17:55:54 +0200

You can construct very general quaternion algebras in Sage, and the command QuaternionAlgebra(QQ, 2, 3) would construct an algebra with base field the rationals, with elements i and j such that i^2=2 and j^2=3. You've constructed a quaternion algebra over the "symbolic ring" SR with elements i and j such that i^2 = j^2 = -1.

Maybe because they are constructible in such generality, exponentials are not implemented for them. You can just use the formula on the wikipedia page (https://en.wikipedia.org/wiki/Quatern...). General quaternion algebras have their own wikipedia page, too: https://en.wikipedia.org/wiki/Quatern....

edit flag offensive delete link more
0

answered 2022-04-23 01:25:43 +0200

AlanTStafford gravatar image

I have used quaternions a few times perhaps here notebooks could provide some guidance.

http://alan.atstafford.co.uk/Penrose/...

http://alan.atstafford.co.uk/Twistor....

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

1 follower

Stats

Asked: 2022-04-16 19:22:50 +0200

Seen: 65 times

Last updated: Apr 23