1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-
+
|
# **GRG**
## Computer Algebra System for Differential Geometry, Gravitation and Field Theory
The computer algebra system **GRG** is designed to make calculation in differential geometry and field theory as simple and natural as possible. **GRG** is based on the computer algebra system **REDUCE** but **GRG** has its own simple input language whose commands resemble short English phrases.
**GRG** understands tensors, spinors, vectors, differential forms and knows all standard operations with these quantities. Input form for mathematical expressions is very close to traditional mathematical notation including Einstein summation rule. **GRG** knows covariant properties of the objects: one can easily raise and lower indices, compute covariant and Lie derivatives, perform coordinate and frame transformations etc. **GRG** works in any dimension and allows one to represent tensor quantities with respect to holonomic, orthogonal and even any other arbitrary frame.
One of the key features of **GRG** is that it knows a large number of built-in usual field-theoretical and geometrical quantities and formulas for their computation providing ready solutions to many standard problems.
Another unique feature of **GRG** is that it can export results of calculations into other computer algebra system such as *Maple*, *Mathematica*, *Macsyma* or **REDUCE** in order to use these systems to proceed with analysis of the data. The *LaTeX* output format is supported as well. **GRG** is compatible with the **REDUCE** graphics shells providing nice book-quality output with Greek letters, integral signs, etc.
Another unique feature of **GRG** is that it can export results of calculations into other computer algebra system such as *Maple*, *Mathematica*, *Macsyma* or ***REDUCE*** in order to use these systems to proceed with analysis of the data. The *LaTeX* output format is supported as well. **GRG** is compatible with the **REDUCE** graphics shells providing nice book-quality output with Greek letters, integral signs, etc.
The main built-in **GRG** capabilities are:
- Connection, torsion and nonmetricity.
- Curvature.
- Spinorial formalism.
- Irreducible decomposition of the curvature, torsion, and nonmetricity in any dimension.
|
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
-
+
|
- Kinematics for time-like congruences.
- Ideal and spin fluid.
- Newman-Penrose formalism.
- Gravitational equations for the theory with arbitrary gravitational Lagrangian in Riemann and Riemann-Cartan spaces.
## Documentation
- [Complete GRG Manual and Reference Guide](https://github.com/reduce-algebra/grg/tree/master/doc)
- [User Manual and Reference Guide](https://github.com/reduce-algebra/grg/tree/master/doc)
## Author
```text
Vadim V. Zhytnikov
Physics Department, Faculty of Mathematics,
Moscow State Pedagogical University,
|