# symbolic constant in clifford algebra

Dear all,

First of all I'd like to state that I am far from a SageMath expert. Right now, I am working on Clifford algebra's and I would like to do some computations with SageMath Cloud. Unfortunately, I experience the problem that when I define a symbolic constant, Sage doesn't know how to multiply this with elements in the Clifford algebra. This is the code that I'm using.

START CODE

C = ComplexField();

sage: Q = QuadraticForm(C, 3, [0,0,1,1,0,0])

sage: Cl.<x,y,z> = CliffordAlgebra(Q)

var('e')

e*x

END CODE

I get an error for ex: ''unsupported operand parent(s) for '': 'Symbolic Ring' and 'The Clifford algebra of the Quadratic form in 3 variables over Complex Field with 53 bits of precision with coefficients:''

Does anyone maybe know how to work around this? Maybe I am defining the variable all wrong?

Thank you very much!

Kind regards,

David

edit retag close merge delete

Could you tell who is supposed to be e (mathematically) ?

( 2016-06-13 16:32:11 +0200 )edit

thanks for your comment tmonteil! e is supposed to be just some constant in C.

( 2016-06-13 18:49:29 +0200 )edit

Sort by ยป oldest newest most voted

It is not clear to me what do you plan to do with such product, so i fear there is no good answer to your question, perhaps could you try to be more precise on your goals.

That said, when dealing with algebraic objects, a classical trick is to use polynomial indeterminates instead of symbols. In your case, it could be something like:

sage: R.<e> = PolynomialRing(C)
sage: R
Univariate Polynomial Ring in e over Complex Field with 53 bits of precision
sage: e*x
x*e

more