Energy momentum tensor, Einstein tensor and Einstein space-time

[sagetrac-Dicolevrai]

This ticket provides to Sage the possibility to check if a space-time is a solution of Einstein's equations and even with some assumptions given as a list. Sage would be able to compute the Einstein's tensor and the user can set the gravitational constante and more. The user can also check if a 2-times covariant tensor is an energy momentum tensor. It is possible to ask conditions to obtain a space-time or an energy momentum, the output might be a system of equations.

CC: @egourgoulhon

Component: geometry

Keywords: Energy momentum tensor, Einstein tensor, Einstein space-time

Author: Hans FOTSING TETSING

Branch/Commit: public/manifolds/EinsteinSpaceTime @ 05646a6

Reviewer: Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/25500

[sagetrac-git]

Changed commit from 3b31583 to 61e637c

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

61e637c

Correction of some doctests: Einstein space-time

[sagetrac-git]

Changed commit from 61e637c to 05646a6

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

25cff3c	Enter the component of a metric while declaring the metric on a Parallelizable Manifold
a406fe6	Solving some doctests errors
42eb129	Adding the branch public/manifolds/MetricComponents into public/manifolds/EinsteinSpaceTime
05646a6	Adding the branch public/manifolds/MetricComponents into public/manifolds/EinsteinSpaceTime

[sagetrac-Dicolevrai]

comment:4

Pleace, this ticket need review now, it has passed all doctests.

Thanks,

---

New commits:

61e637c	Correction of some doctests: Einstein space-time
25cff3c	Enter the component of a metric while declaring the metric on a Parallelizable Manifold
a406fe6	Solving some doctests errors
42eb129	Adding the branch public/manifolds/MetricComponents into public/manifolds/EinsteinSpaceTime
05646a6	Adding the branch public/manifolds/MetricComponents into public/manifolds/EinsteinSpaceTime

[fchapoton]

comment:6

no longer applies, the branch is red

[fchapoton]

Changed dependencies from 1 to none