Paquete Mathematica para supergravedad y teoría de cuerdas [duplicado]

Estoy buscando un paquete de Mathematica que pueda manipular tensores para supergravedad, teoría de cuerdas o teoría M. Particularmente estoy buscando un paquete que pueda hacer cálculos de álgebra de espinor y de Clifford. Además, me gustaría que este paquete pudiera hacer cuña y hodge dual, y otros cálculos relacionados con formularios. ¿Alguien puede sugerir uno específico? Busqué atlas2, pero parece que tengo que pagar para usarlo sin una versión de prueba.

Esta pregunta parece estar fuera de tema porque se trata de software informático científico y se adapta mejor a scicomp.stackexchange.com .
@BrandonEnright, no, decidimos en meta que las preguntas que solicitan software específicamente utilizado por / útil para físicos están en el tema: Dejar abierto. Por lo tanto, tampoco hay necesidad de votos negativos aquí...
@Dilaton encogiéndose de hombros . Por eso no obtengo un voto unilateral. En mi opinión, esto está fuera de tema.
@Dilaton No creo que haya un consenso real: meta.physics.stackexchange.com/q/2825
@Bernhard no, me refería a este meta.physics.stackexchange.com/a/2907/2751
@Dilaton Entonces, ¿es esta una pregunta de software solo de física? Creo que es muy límite en ese caso. Tampoco se preocupe demasiado por los hábitos de cierre de votaciones de otras personas. Se necesitan 5 usuarios para cerrar una pregunta, lo que al final es un gran consenso.
@BrandonEnright Muy bien, mi culpa. Pregunto aquí porque cuando hago la pregunta en Mathematica, la gente también me sugirió que hiciera la pregunta en MathOverFlow y Physics Stack Exchange. Si esta pregunta no es apropiada, entonces está bien cerrarla. Lo siento, no soy consciente de que existe tal controversia.
@KevinYe no debería ser una controversia ..., pero MathOverflow también es ciertamente un buen lugar, ya que también viven algunos buenos físicos teóricos. La pregunta también está aquí ahora.
@Dilaton: una discusión más reciente sobre preguntas basadas en computación sugiere que las recomendaciones de software en realidad están fuera de tema .

Respuestas (2)

Para Mathematica, lo mejor que conozco es RGTC . Lo usé hace mucho tiempo (brevemente) para un cálculo en IIA SUGRA en 10 dimensiones. Calcula tensores gravitacionales, maneja formas diferenciales (también valoradas en álgebra de Lie), calcula dualidades de Hodge, etc.


Comentario personal: si eres más intrépido (y amante del FLOSS), hay un software llamado SAGE , que ahora tiene un paquete (todavía en desarrollo) ( sagemanifold ) para cálculos de geometría diferencial... permite el uso de forma diferencial, etc.

Como parte del sistema de álgebra computacional sympy hay módulos de álgebra geométrica (clifford). Lo último se puede encontrar en mi fork de sympy en

https://github.com/brombo/sympy

Hay un documento de látex en el repositorio en sympy/doc/src/modules/galgebra/pdf/GA.pdf Hay varios ejemplos en sympy/examples/galgebra (especialmente mire los ejemplos de látex).

En el módulo de álgebra geométrica el usuario define la métrica ortogonal de la no ortogonal. Se implementan operadores diferenciales de multivectores. Estoy dispuesto a ayudar a cualquier persona que desee utilizar el paquete.