Advertisement

The Mathematica Packages Cartan and MathTensor for Tensor Analysis

  • Harald H. Soleng

Summary

Mathematica is a general-purpose software system for mathematical and other applications. You can use Mathematica as a numerical and symbolic calculator, a visualization and sound-generation system, a high-level programming language, a knowledge data base, or as a way to create interactive documents that mix text and animated graphics with active formulae. In this talk I present examples of applications of two packages for tensor analysis which both use Mathematica as a base program. The presentation describes the programs as seen by the users, and I do not dwell upon technical details. Neither do I go into how algorithms are implemented. CARTAN by Soleng is an easy-to-use program for symbolic tensor component calculations in Riemann-Cartan geometries of arbitrary dimensions and signatures. It makes use of the powerful formalism of rigid frames, and it can also do calculations using the Newman-Penrose formalism. The user-friendly high-level commands of CARTAN make it an ideal tool for interactive tensor component calculations. MathTensor by Parker and Christensen also has a component package, but its main purpose and strength is that it provides a framework for indicial tensor manipulation. Using MathTensor and Mathematica you can carry out complicated index gymnastics and be sure to get the right answers. Within seconds you can for example compute the metric variation of the action of the general fourth-order gravitation theory.

With these programs computations can be done in a few seconds or minutes, which would otherwise have taken hours, days, or even weeks. The results can auto-matically be translated to TEX and imported into scientific manuscripts completely without risk of misprints or algebraic errors. In order to use the results as parts of large numerical programs, expressions can also be automatically translated into Fortran or C.

Since both programs are based on Mathematica, they are both guaranteed to have the portability, general availability, and the great graphics and visualization capability of the base program. Via MathLink the Mathematica environment can be further extended to include other programs.

Keywords

Tensor Analysis Exterior Derivative Einstein Tensor Mathematica Package Rigid Frame 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Wolfram, S. (1988): Mathematical: A system for doing mathematics by computer. Addison-Wesley, Redwood City, CAGoogle Scholar
  2. 2.
    Soleng, H.H. (1994): Cartan. Users’s guide and reference manual. NORDITA Preprint 94/63Google Scholar
  3. 3.
    Soleng, H.H. (1995): Cartan. A Mathematica package for tensor computations. Electronic archive Los Alamos, gr-qc/9502035 (program files for Unix and documentation)Google Scholar
  4. 4.
    Parker, L., Christensen, S.M. (1994): Math Tensor: A system for doing tensor analysis by computer. Addison-Wesley, Redwood City, CAGoogle Scholar
  5. 5.
    Misner, C.W., Thorne, K.S., Wheeler, J.A. (1973): Gravitation. Freeman, San FranciscoGoogle Scholar
  6. 6.
    Reissner, H. (1916): Über die Eigengravitation des elektrischen Feldes nach der Einsteinschen Theorie. Ann. Phys. (Leipzig) 50, 106–120ADSGoogle Scholar
  7. 7.
    Nordström, G. (1918): On the energy of the gravitational field in Einstein’s theory. Proc. Kon. Ned. Akad. Wet. 20, 1238–1245ADSGoogle Scholar
  8. 8.
    Soleng, H.H. (1992): A spinning string. Gen. Rel. Grav. 24, 111–117MathSciNetADSMATHCrossRefGoogle Scholar
  9. 9.
    Hehl, F.W., von der Heyde, P., Kerlick, G.D., Nester, J. (1976): General relativity with spin and torsion: Foundations and prospects. Rev. Mod. Phys. 48,393–416ADSCrossRefGoogle Scholar
  10. 10.
    Vilenkin, A. (1985): Cosmic strings and domain walls. Phys. Rep. 121, 263–315MathSciNetADSCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Harald H. Soleng
    • 1
  1. 1.Theory DivisionCERNGenevaSwitzerland

Personalised recommendations