From 91cfe93a65cb15fdf5fa2826193b2e8a3312b037 Mon Sep 17 00:00:00 2001 From: Teake Nutma Date: Thu, 30 Oct 2014 13:37:23 +0100 Subject: [PATCH] * Bumped version number. --- PacletInfo.m | 2 +- xAct/xTras/Interface.m | 31 +++++++++++++++++++++---------- xAct/xTras/Kernel/init.m | 2 +- xAct/xTras/xTras.History | 8 ++++++++ 4 files changed, 31 insertions(+), 12 deletions(-) diff --git a/PacletInfo.m b/PacletInfo.m index 49f84f3..8c4931b 100644 --- a/PacletInfo.m +++ b/PacletInfo.m @@ -4,7 +4,7 @@ Paclet[ Name -> "xTras", - Version -> "1.4.1", + Version -> "1.4.2", MathematicaVersion -> "6+", Description -> "Field theory inspired additions to xAct", Creator -> "Teake Nutma", diff --git a/xAct/xTras/Interface.m b/xAct/xTras/Interface.m index cd53f59..2b270af 100644 --- a/xAct/xTras/Interface.m +++ b/xAct/xTras/Interface.m @@ -254,6 +254,12 @@ contains constants (i.e. constant symbols and integers, fractions, etc), and \ \*StyleBox[\"g\", \"TI\"]] returns True if the vector \*StyleBox[\"v\", \ \"TI\"]\(\(\\ is defined as a Killing vector of the metric \ \)\)\*StyleBox[\"g\", \"TI\"], and False otherwise. \), DisplayForm]\)"; +KretschmannToRiemann::usage = "\!\(\*TagBox[\(KretschmannToRiemann[ \ +\*StyleBox[\"expr\", \"TI\"]] converts Kretschmann scalars in \ +\*StyleBox[\"expr\", \"TI\"]\(\(\\ to Riemann tensors.\)\)\[LineSeparator] \ +KretschmannToRiemann[ \*StyleBox[\"expr\", \"TI\"], \*StyleBox[\"cd\", \ +\"TI\"]] only converts curvature tensors of the covariant derivative \ +\*StyleBox[\"cd\", \"TI\"] .\), DisplayForm]\)"; LevelSpecQ::usage = "\!\(\*TagBox[\(LevelSpecQ[ \*StyleBox[\"levelspec\", \ \"TI\"]] yields True if \*StyleBox[\"levelspec\", \"TI\"]\(\(\\ is a valid \ levelspec, and False otherwise.\)\)\), DisplayForm]\)"; @@ -357,6 +363,12 @@ contains constants (i.e. constant symbols and integers, fractions, etc), and \ \*StyleBox[\"expr\", \"TI\"], \*StyleBox[\"cd\", \"TI\"]] converts only Ricci \ tensors of the covariant derivative \*StyleBox[\"cd\", \"TI\"] .\), \ DisplayForm]\)"; +RicciToRiemann::usage = "\!\(\*TagBox[\(RicciToRiemann[ \*StyleBox[\"expr\", \ +\"TI\"]] converts Ricci tensors and scalars in \*StyleBox[\"expr\", \ +\"TI\"]\(\(\\ to Riemann tensors.\)\)\[LineSeparator] RicciToRiemann[ \ +\*StyleBox[\"expr\", \"TI\"], \*StyleBox[\"cd\", \"TI\"]] only converts \ +curvature tensors of the covariant derivative \*StyleBox[\"cd\", \"TI\"] \ +.\), DisplayForm]\)"; RicciToSchoutenCC::usage = "\!\(\*TagBox[\(RicciToSchoutenCC[ \ \*StyleBox[\"K\", \"TI\"]][ \*StyleBox[\"expr\", \"TI\"]] converts all Ricci \ tensors of in \*StyleBox[\"expr\", \"TI\"]\(\(\\ to cosmological Schouten \ @@ -533,17 +545,16 @@ contains constants (i.e. constant symbols and integers, fractions, etc), and \ \"TI\"]] converts a valid \*StyleBox[\"levelspec\", \"TI\"]\(\(\\ into the \ {m,n} format.\)\)\), DisplayForm]\)"; ToRicci::usage = "\!\(\*TagBox[\(ToRicci[ \*StyleBox[\"expr\", \"TI\"]] \ -converts all curvature tensors of rank two in \*StyleBox[\"expr\", \ -\"TI\"]\(\(\\ to Ricci tensors and scalars. \)\)\[LineSeparator] ToRicci[ \ -\*StyleBox[\"expr\", \"TI\"], \*StyleBox[\"cd\", \"TI\"]] converts only for \ -curvature tensors of the covariant derivative \*StyleBox[\"cd\", \"TI\"] \ -.\), DisplayForm]\)"; +converts all curvature tensors of rank two and contracted Riemann tensors in \ +\*StyleBox[\"expr\", \"TI\"]\(\(\\ to Ricci tensors and scalars. \ +\)\)\[LineSeparator] ToRicci[ \*StyleBox[\"expr\", \"TI\"], \ +\*StyleBox[\"cd\", \"TI\"]] converts only for curvature tensors of the \ +covariant derivative \*StyleBox[\"cd\", \"TI\"] .\), DisplayForm]\)"; ToRiemann::usage = "\!\(\*TagBox[\(ToRiemann[ \*StyleBox[\"expr\", \"TI\"]] \ -converts Weyl tensors, symmetrized Riemann tensors, and gradients of \ -Christoffel symbols to Riemann tensors. \[LineSeparator] ToRiemann[ \ -\*StyleBox[\"expr\", \"TI\"], \*StyleBox[\"cd\", \"TI\"]] only converts \ -curvature tensors of the covariant derivative \*StyleBox[\"cd\", \"TI\"] \ -.\), DisplayForm]\)"; +converts as many curvature tensors to Riemann tensors as possible. \ +\[LineSeparator] ToRiemann[ \*StyleBox[\"expr\", \"TI\"], \*StyleBox[\"cd\", \ +\"TI\"]] only converts curvature tensors of the covariant derivative \ +\*StyleBox[\"cd\", \"TI\"] .\), DisplayForm]\)"; UncontractedIndices::usage = "UncontractedIndices is an option for \ AllContractions which specifies how many indices should not be contracted."; UnitConstant::usage = diff --git a/xAct/xTras/Kernel/init.m b/xAct/xTras/Kernel/init.m index bb5c4cf..6416bd8 100644 --- a/xAct/xTras/Kernel/init.m +++ b/xAct/xTras/Kernel/init.m @@ -20,7 +20,7 @@ (* *) (*********************) -xAct`xTras`$Version = {"1.4.1", {2014, 10, 7}}; +xAct`xTras`$Version = {"1.4.2", {2014, 10, 30}}; xAct`xTras`$xTensorVersionExpected = {"1.1.1", {2014, 9, 6}}; xAct`xTras`$SymManipulatorVersionExpected = {"0.8.5", {2013, 4, 13}}; xAct`xTras`$MathematicaVersionNeeded = 6.; diff --git a/xAct/xTras/xTras.History b/xAct/xTras/xTras.History index 1dd857e..f23eb92 100644 --- a/xAct/xTras/xTras.History +++ b/xAct/xTras/xTras.History @@ -1,6 +1,14 @@ xTras changelog =============== +v1.4.2, 2014-10-30 +------------------ + + * Added RicciToRiemann. + * Added KretschmannToRiemann. + * ToRiemann also converts rank-2 curature tensors if the curvature relations are not enabled. + * ToRicci also converts contractions of Riemann tensors to Ricci tensors even if the curvature relations are not enabled. + v1.4.1, 2014-10-07 ------------------