The newest release of the Ortocartan set of programs for algebraic calculations in relativity

Abstract

The program Ortocartan for algebraic calculations in relativity has just been implemented in the Codemist Standard Lisp and can now be used under the Windows 98 and Linux operating systems. The paper describes the new facilities and subprograms that have been implemented since the previous release in 1992. These are: the possibility to write the output as Latex input code and as Ortocartan's input code, the calculation of the Ellis evolution equations for the kinematic tensors of flow, the calculation of the curvature tensors from given (torsion-free) connection coefficients in a manifold of arbitrary dimension, the calculation of the lagrangian from a given metric by the Landau-Lifshitz method, the calculation of the Euler-Lagrange equations from a given lagrangian (only for sets of ordinary differential equations) and the calculation of first integrals of sets of ordinary differential equations of second order (the first integrals are assumed to be polynomials of second degree in the first derivatives of the functions).

16 pages, LaTeX, no figures, accepted for publication in GRG. In the earlier version, equivalent formulae quoted from different computer printouts were differently ordered. Now all orderings are the same, and a few typos have been corrected. Subjects: Algebraic computing, general relativity

Cited by in corpus (10)

• Redshift propagation equations in the ${\beta }^{\prime }\ne 0$ Szekeres models
• Repeatable light paths in the shearfree normal cosmological models
• Geometry of the quasi-hyperbolic Szekeres models
• An Online Interactive Geometric Database: Including Exact Solutions of Einstein's Field Equations
• Can a charged dust ball be sent through the Reissner--Nordström wormhole?
• Computer algebra in gravity
• Properties of blueshifted light rays in quasispherical Szekeres metrics
• Short-lived flashes of gamma radiation in a quasi-spherical Szekeres metric
• Gamma radiation from areal radius minima in a quasi-spherical Szekeres metric
• Expansion of bundles of light rays in the Lemaître -- Tolman models