ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Fri, 12 Nov 2021 14:41:07 +0100Exponential in Clifford algebrahttps://ask.sagemath.org/question/59711/exponential-in-clifford-algebra/Hello, I am trying to take the exponential of `A+B*i` in Clifford algebra (isomorphic to the complex numbers) .
Code is:
sage: R.<A,B> = PolynomialRing(ZZ);
sage: Q = QuadraticForm(R,1,[-1]);
sage: Cl.<i> = CliffordAlgebra(Q);
sage: exp(A+B*i)*exp(A-B*i)
I would expect it to output `exp(2*A)`, but it produces this error:
TypeError: cannot coerce arguments: no canonical coercion from The Clifford algebra of the Quadratic form in 1 variables over Multivariate Polynomial Ring in A, B over Integer Ring with coefficients:
[ 1 ] to Symbolic Ringanon2203Fri, 12 Nov 2021 14:41:07 +0100https://ask.sagemath.org/question/59711/