In this paper, we discuss a Mathematica program that we have written that calculates the integrand for amplitudes in the closed-time-path formulation of real-time finite-temperature field theory. The program is designed to be used by someone with no previous experience with Mathematica. It performs contractions over tensor indices that appear in real-time finite-temperature field theory and gives the result in the 1-2, Keldysh or R/A basis. As an illustration of this program, we discuss the calculation of all 3-point ward identities in finite-temperature quantum electrodynamics with full vertices. PACS Nos.: 11.10.Wx,11.15.-qNous discutons ici d'un programme Mathematica que nous avons écrit et qui calcule les intégrants pour la formulation en trajectoires fermées dans le temps de la théorie du champ à température finie en temps réel. Le programme est construit pour être utilisé par des personnes sans expérience de Mathematica. Il accomplit les contractions des indices qui apparaissent dans la théorie du champ à température finie en temps réel et donne le résultat dans une base 1-2, Keldysh ou R/A. Pour illustrer ce programme, nous examinons le calcul de toutes les identités à trois points de Ward dans QED à température finie avec vertex complets.[Traduit par la Rédaction]
展开▼