Revision history [back]

Suppose you have a finite rank free module with a basis:

M = FiniteRankFreeModule(QQ, 4, name='M', start_index=1)
m = M.basis('m');

and a Clifford algebra

Q = QuadraticForm(QQ,-2*matrix.identity(4))    
V.<e1,e2,e3,e4> = CliffordAlgebra(Q)

Is there a way to implement the quantization map $q:T(M)\to V$ from the tensor algebra to the Clifford algebra? It should satisfy $q(1) = 1$, $q(m[i]) = e_i$ and $q(a \otimes b) = q(a)*q(b)$.