Le forum de XCAS

Il y a quelques années, j'ai essayé de définir des êtres mathématiques qui me permettraient de faire des calculs avec les matrices gamma de Dirac et autres spineurs relativistes (ou non). J'avais Maple, et l'un des problèmes gênants était que lorsqu'un calcul matriciel donnait la matrice identité, Maple donnait l'unité réelle 1. Existe-t-il des paquetages "tout prêts" pour faire ce genre de calculs avec Xcas-GIAC ? Idem pour le formalisme d'espace riemannien, ou même de variété différentielle plus générale avec torsion, etc.

Il n'existe pour l'instant rien de tel, mais une partie du code maple devrait pouvoir etre reutilisable avec xcas en syntaxe maple, peut-etre avec quelques modifs.