On Sat, Jan 17, 2009 at 6:45 AM, luis wrote:
>
>
> Hello,
>
> I would like to make a relatively simple (but cumbersome)
> symbolic calculation in exterior algebra (more precisely in
> \Lambda^{k}(R^{n})).
> One possibility would be to use the Clifford algebra
> Cl(R^{n}, Q=0).
> Do you know if there is something in "Sage" appropriate to
> make this kind of calculation?
>
Clifford algebra is available in the fricas-1.0.3.p0 add-on to Sage. E.g.
sage: LambdaK=axiom('CliffordAlgebra(4,Fraction Polynomial
Integer,quadraticForm diagonalMatrix [0,0,0,0])')
sage: e1=axiom('x*e(1)$%s'%(LambdaK.name()))
sage: e2=axiom('x*e(2)$%s'%(LambdaK.name()))
sage: e3=axiom('x*e(3)$%s'%(LambdaK.name()))
sage: e4=axiom('x*e(4)$%s'%(LambdaK.name()))
sage: a=3*e2*e1 + 4*e1
sage: b=4*e2*e1 + 3*e2
sage: a*b
2
12x e e
1 2
Is that of any help?
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
