GithubHelp home page GithubHelp logo

reduce-algebra / grg Goto Github PK

View Code? Open in Web Editor NEW
3.0 5.0 0.0 984 KB

grg: Computer Algebra System for Differential Geometry, Gravitation and Field Theory, automatically mirrored from https://reduce-algebra.sourceforge.io/grg32/grg32.php

Home Page: https://reduce-algebra.sourceforge.io/grg32/grg32.php

License: Other

reduce grg computer-algebra-system differential-geometry gravitation field-theory tensor vector spinor einstein-summation

grg's Introduction

GRG

Computer Algebra System for Differential Geometry, Gravitation and Field Theory


Introduction

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 graphical shells, providing book-quality output with Greek letters, integral signs, etc.


Features

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.
  • Einstein equations.
  • Scalar field with minimal and non-minimal interaction.
  • Electromagnetic field.
  • Yang-Mills field.
  • Dirac spinor field.
  • Geodesic equation.
  • Null congruences and optical scalars.
  • 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.

Availability


Documentation


Author

Vadim V. Zhytnikov
Physics Department, Faculty of Mathematics,
Moscow State Pedagogical University,
Davydovskii per. 4, Moscow 107140, Russia

Telephone (Home): (095) 188-16-11

E-mail: [email protected]

E-mail: [email protected]
        Subject: for Zhytnikov

License

  • GRG is free of charge. See LICENSE for full details.

Homepage


Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.