Physics[Redefine] - Redefines the spacetime metric, list of coordinates and tetrads according to a change in the signature, from any of the four possible signatures (- - - +), (+ - - -), (+ + + -) and (- + + +) to any of the other ones
Redefine(what, fromsignature = ..., tosignature = ...)
any of coordinates, metric, all (meaning both); setcoordinates, setmetric, setall, to respectively see how the redefinition changes what, or in addition automatically set (via Setup) the redefined value.
fromsignature = ...
optional, to be taken as the starting signature; if not given, it is the signature set at the moment
tosignature = ...
optional, to be taken as the desired signature; if not given, it is the signature set at the moment
The Redefine command redefines the spacetime metric g_ and list of coordinates, or a given tetrad, according to a change in the signature, from any of the four possible signatures (- - - +), (+ - - -), (+ + + -) and (- + + +) to any of the other ones.
When any of fromsignature or tosignature are not given, the corresponding value is the value of the signature set at the moment. To query about this value, enter Setup(signature), or to change it enter Setup(signature = ...) where the right-hand side is any of `- - - +`, `+ - - -`, `+ + + -` or `- + + +`. You can enter the signature leaving or not spaces between the +/- signs, and enclosing them with `` or " ".
The typical scenario for the use of fromsignature is when you change the signature using Setup and notice that the coordinates and metric g_ have not changed accordingly; or you have a tetrad matrix for which Tetrads:-IsTetrad says it is not a tetrad unless you redefine the signature. In these cases entering Redefine(all, fromsignature = previous_signature) shows how would the list of coordinates and metric look if they were redefined from the previous signature to the one you set (i.e., the current one). In the case of a tetrad, entering Redefine(e_[a, mu] = ..., fromsignature = previous_signature) shows how would the passed tetrad would look. In both cases, if the result is as desired, you can use the output to call Setup and set things accordingly, or simpler: in the case of coordinates and metric, instead of all, pass setall, as in Redefine(setall, fromsignature = previous_signature), and that will in addition set things up by automatically calling Setup.
The typical scenario for the use of tosignature is when you are working with a signature and - say to follow a textbook - you want to change to a different signature, and want that not just the signature but also the ordering of the list of coordinates and/or the spacetime metric change accordingly. Here Redefine(all, tosignature = desired_signature) and Redefine(setall, tosignature = desired_signature) will respectively show or also set the new ordering of the list of coordinates and the metric according to the change to the desired_signature. For an example where redefining a tetrad is necessary see this one in the what's new in Physics in Maple 2021.
To restrict these redefinitions to either the coordinates or the metric, instead of all and setall use coordinates and setcoordinates, or metric and setmetric.
⁢Systems of spacetime coordinates are:⁢X=x,y,z,t
Consider the generic form of a spacetime metric. For the purpose of illustrating its redefinition (reordering of lines and columns) when changing the signature, it doesn't need to depend on the coordinates
G ≔ Matrix⁡4,symbol=g,shape=symmetric
Set the metric with this value, note the signature: it is (- - - +):
Coordinates: x,y,z,t. Signature: - - - +
Setting lowercaselatin_is letters to represent space indices
metric=1,1=g1,1,1,2=g1,2,1,3=g1,3,1,4=g1,4,2,2=g2,2,2,3=g2,3,2,4=g2,4,3,3=g3,3,3,4=g3,4,4,4=g4,4,signature=- - - +,spaceindices=lowercaselatin_is
Track the line element
Change now the signature by reversing the position of the time-like component, from 4 to 1
signature=+ - - -
Neither the metric nor the coordinates change: t is still in position 4 and the component (1, 1) of the metric is still g1,1:
However, after changing the signature using Setup, we may also want to redefine the coordinates accordingly - place t in position 1 - and possibly also the metric reordering its lines and rows. For that purpose you can use Redefine, to which you need to indicate the previous signature (or in a different situation the new signature, to explore the effect of a change before doing it) and an indication of whether you want to redefine the metric, the coordinates or all
These redefinitions however were not set, the keywords coordinates, metric, or all only trigger the change, t is still in position 4 and the component (1,1) of the metric is still g1,1
You can now either use the output of this routine to redefine things using the Setup command, or do all in one go using any of the keywords setcoordinates, setmetric, or setall, for example
Now t is in position 1 and the component (1,1) of the metric equal to g4,4
⁢Systems of spacetime coordinates are:⁢X=t,x,y,z
Note that, despite the reordering of lines and columns in the metric, because we also reordered the variables, the line element has not changed:
Redefine is particularly useful when working with metrics from the database of solutions to Einstein's equations, all of which reset the signature to (+ + + -) when loaded. For example:
⁢Systems of spacetime coordinates are:⁢X=x,y,φ,t
⁢Default differentiation variables for d_, D_ and dAlembertian are:⁢X=x,y,φ,t
The McLenaghan, Tariq (1975) metric in coordinates Tupper (1976)
Comments: k paramⅇtrⅈzⅇs thⅇ most gⅇnⅇral ⅇlⅇctromagnⅇtⅈc ⅈnvarⅈant wⅈth rⅇspⅇct to thⅇ last 3 Kⅈllⅈng vⅇctors
Resetting the signature of spacetime from + - - - to + + + - in order to match the signature in the database of metrics
Note above the message about resetting the signature; query about:
signature=+ + + -
How would this metric [12, 21, 1] and coordinates t,x,y,φ would look with the signature (+ - - -) ?
Redefine⁡all,tosignature=+ - - -
By replacing all by setall in the command above not only the list of coordinates and metric matrix form are returned but they are also set in one go.
As an example of redefining tetrads, load Tetrads and the metric [27, 37, 1] of the database of solutions to Einstein's equations
Setting lowercaselatin_ah letters to represent tetrad indices
Defined as tetrad tensors see ?Physics,tetrads, 𝔢a,μ , ηa,b , γa,b,c , λa,b,c
Defined as spacetime tensors representing the NP null vectors of the tetrad formalism see ?Physics,tetrads, lμ , nμ , mμ , m&conjugate0;μ
⁢Systems of spacetime coordinates are:⁢X=z,zb,r,u
⁢Default differentiation variables for d_, D_ and dAlembertian are:⁢X=z,zb,r,u
The Robinson and Trautman (1962) metric in coordinates z,zb,r,u
Comments: aⅆmⅈts gⅇoⅆⅇsⅈc, shⅇarfrⅇⅇ, twⅈstfrⅇⅇ null congruⅇncⅇ, rho=-1/r=rho_b
Signature: + + + -
H⁡z,zb,r,u⁢will now be displayed as⁢H
P⁡z,zb,u⁢will now be displayed as⁢P
The assumptions on the metric's parameters are
The null tetrad computed by the Maple system using a general algorithms is
The book on solutions to Einstein's equations  suggests a different tetrad, free of radicals, which for our illustration purposes is
For this tetrad, however, IsTetrad returns false with the following message:
Warning, the given components form anulltetrad, with a covariant spacetime index, only if you change the signature from + + + - to - - - +.
You can do that by entering (copy and paste): Setup⁡signature=- - - +
So you can change the signature to (---+) as indicated in the message, or instead of that redefine the tetrad, from the signature indicated, to work with the current signature (+++-)
Redefine⁡,fromsignature=- - - +
The returned tetrad matches the definition
Type of tetrad: null
You can now set it and verify that
Coordinates, g_, normal, Physics, Physics conventions, Physics examples, Physics Updates, Tensors - a complete guide, Mini-Course Computer Algebra for Physicists, Setup
 Landau, L.D., and Lifshitz, E.M. The Classical Theory of Fields, Course of Theoretical Physics Volume 2, fourth revised English edition. Elsevier, 1975.
The Physics[Redefine] command was introduced in Maple 2017.
For more information on Maple 2017 changes, see Updates in Maple 2017.
The Physics[Redefine] command was updated in Maple 2021.
Download Help Document