tensor(deprecated)/npspin - Maple Help

tensor

 npspin
 compute the Newman-Penrose spin coefficients in Debever's formalism
 npcurve
 compute the Newman-Penrose curvature components in Debever's formalism

 Calling Sequence npspin(coord, h, G, curinfo) npcurve(spn_cf, curinfo, conj_pairs)

Parameters

 coord - list of names for the coordinate variables h - rank-2 tensor_type with character [1,-1] representing the covariant complex null tetrad. Symbolically, ${\left({h}_{\mathrm{compts}}\right)}_{a,b}≔{h}^{{a}_{b}}$ G - output parameter (so a name when input) that holds the algebraic expression for : $-I\sqrt{-g}$, where g is the determinant of the metric in the natural basis curinfo - output parameter holding simply some internal results needed for both routines; the purpose of its appearance is merely to avoid duplicated computations in the two routines spn_cf - spin coefficient table containing the Newman-Penrose spin coefficients, normally obtained using npspin() conj_pairs - (optional) holds a list of pairs (a pair: a 2-element list) of names to be treated as complex conjugates in the construction of the 'Phi' field of the curvature component table

Description

Important: The tensor package has been deprecated. Use the superseding command DifferentialGeometry[Tensor][NPSpinCoefficients] instead.

 • These two functions compute respectively the Newman-Penrose spin coefficients and curvature components in Debever's formalism.
 • The Newman-Penrose formalism applies solely to 4 dimensions and hence both coord, and h must have dimension 4.
 • Note that in Debever's formalism the constant metric in the complex null frame is assumed to be :

$g≔\mathrm{table}\left(\left[\mathrm{index_char}=\left[-1,-1\right],\mathrm{compts}=\left[\begin{array}{cccc}0& 1& 0& 0\\ 1& 0& 0& 0\\ 0& 0& 0& -1\\ 0& 0& -1& 0\end{array}\right]\right]\right)$

 Even though the above constant metric is not required explicitly as a parameter, the provided tetrad, h, must be one that transforms the metric in the natural basis into the one given above.
 • Simplification :
 – npspin() employs three simplification routines, tensor/npspin/simp, tensor/npspin/diff, and tensor/npspin/spincoeff/simp. tensor[npspin] has a sub-routine tensor/npspin/spincoeff. tensor/npspin/simp and tensor/npspin/diff are simplifiers in the main routine, whereas tensor/npspin/spincoeff/simp is the simplifier in the sub-routine.  The two .../simp simplifiers handles the simplification of an algebraic expression and the .../diff one is for simplifying derivatives.
 – npcurve() has two simplification routines, tensor/npcurve/simp and tensor/npcurve/diff.  The former is for simplifying algebraic expressions and the latter derivatives.
 – All of the .../simp routines are initialized to tensor/simp, and both the .../diff ones are initialized to simplify performing a differentiation without simplification; however, it is recommended that each simplifier be customized to suit the needs of a particular problem.
 • Complex conjugation is required during the construction of the 'Phi' field, which is a hermitian matrix, of the curvature table.  If a third argument of a list of pairs of names is passed in, these pairs will be treated as complex conjugates when conjugation is taken for building the 'Phi' field. Note that $\left[\left[I,-I\right]\right]$ is the default value of conj_pairs and any third argument supplied would be appended to it.  Any other names not specified in conj_pairs are treated as real.
 • These two functions are part of the tensor package, and can be used in the form npspin(..), and npcurve(..) only after performing the command with(tensor), or with(tensor, npspin) or with(tensor, npcurve).  The functions can always be accessed in the long form tensor[npspin], and tensor[npcurve].

Examples

Important: The tensor package has been deprecated. Use the superseding command DifferentialGeometry[Tensor][NPSpinCoefficients] instead.

 > $\mathrm{with}\left(\mathrm{tensor}\right):$

Enter the coordinates and covariant tetrad of the Plane wave metric:

 > $\mathrm{coord}≔\left[u,x,y,v\right]:$
 > $\mathrm{h_compts}≔\mathrm{array}\left(1..4,1..4,\left[\left(2,3\right)=0,\left(2,4\right)=0,\left(3,1\right)=0,\left(3,2\right)=0,\left(3,3\right)=-1,\left(1,2\right)=0,\left(4,1\right)=0,\left(2,1\right)=1,\left(4,2\right)=-1,\left(4,4\right)=0,\left(1,1\right)=a{x}^{2}+byx+c{y}^{2},\left(1,3\right)=0,\left(1,4\right)=1,\left(4,3\right)=0,\left(3,4\right)=0,\left(2,2\right)=0\right]\right):$
 > $h≔\mathrm{create}\left(\left[1,-1\right],\mathrm{op}\left(\mathrm{h_compts}\right)\right)$
 ${h}{≔}{table}{}\left(\left[{\mathrm{index_char}}{=}\left[{1}{,}{-1}\right]{,}{\mathrm{compts}}{=}\left[\begin{array}{cccc}{a}{}{{x}}^{{2}}{+}{b}{}{y}{}{x}{+}{c}{}{{y}}^{{2}}& {0}& {0}& {1}\\ {1}& {0}& {0}& {0}\\ {0}& {0}& {-1}& {0}\\ {0}& {-1}& {0}& {0}\end{array}\right]\right]\right)$ (1)
 > $\mathrm{SPN_CF}≔\mathrm{npspin}\left(\mathrm{coord},h,'G','\mathrm{any}'\right)$
 ${\mathrm{SPN_CF}}{≔}{table}{}\left(\left[{\mathrm{\nu }}{=}{-}{2}{}{a}{}{x}{-}{b}{}{y}{,}{\mathrm{\lambda }}{=}{0}{,}{\mathrm{\alpha }}{=}{0}{,}{\mathrm{\kappa }}{=}{0}{,}{\mathrm{\sigma }}{=}{0}{,}{\mathrm{\beta }}{=}{0}{,}{\mathrm{\epsilon }}{=}{0}{,}{\mathrm{\tau }}{=}{0}{,}{\mathrm{π}}{=}{0}{,}{\mathrm{\gamma }}{=}{0}{,}{\mathrm{\mu }}{=}{0}{,}{\mathrm{\rho }}{=}{0}\right]\right)$ (2)
 > $\mathrm{CURVE}≔\mathrm{npcurve}\left(\mathrm{SPN_CF},\mathrm{any}\right)$
 ${\mathrm{CURVE}}{≔}{table}{}\left(\left[{\mathrm{\Psi }}{=}{array}{}\left({\mathrm{sparse}}{,}{0}{..}{4}{,}\left[\left({0}\right){=}{0}{,}\left({1}\right){=}{0}{,}\left({2}\right){=}{0}{,}\left({3}\right){=}{0}{,}\left({4}\right){=}{2}{}{a}\right]\right){,}{\mathrm{\Phi }}{=}{array}{}\left({\mathrm{sparse}}{,}{0}{..}{2}{,}{0}{..}{2}{,}\left[\left({0}{,}{0}\right){=}{0}{,}\left({0}{,}{1}\right){=}{0}{,}\left({0}{,}{2}\right){=}{0}{,}\left({1}{,}{0}\right){=}{0}{,}\left({1}{,}{1}\right){=}{0}{,}\left({1}{,}{2}\right){=}{0}{,}\left({2}{,}{0}\right){=}{0}{,}\left({2}{,}{1}\right){=}{0}{,}\left({2}{,}{2}\right){=}{b}\right]\right){,}{R}{=}{0}\right]\right)$ (3)

Now demonstrate the use of conj_pairs :`

 > $\mathrm{npcurve}\left(\mathrm{SPN_CF},\mathrm{any},\left[\left[a,\mathrm{abar}\right],\left[\mathrm{bBAR},b\right]\right]\right)$
 ${table}{}\left(\left[{\mathrm{\Psi }}{=}{array}{}\left({\mathrm{sparse}}{,}{0}{..}{4}{,}\left[\left({0}\right){=}{0}{,}\left({1}\right){=}{0}{,}\left({2}\right){=}{0}{,}\left({3}\right){=}{0}{,}\left({4}\right){=}{2}{}{a}\right]\right){,}{\mathrm{\Phi }}{=}{array}{}\left({\mathrm{sparse}}{,}{0}{..}{2}{,}{0}{..}{2}{,}\left[\left({0}{,}{0}\right){=}{0}{,}\left({0}{,}{1}\right){=}{0}{,}\left({0}{,}{2}\right){=}{0}{,}\left({1}{,}{0}\right){=}{0}{,}\left({1}{,}{1}\right){=}{0}{,}\left({1}{,}{2}\right){=}{0}{,}\left({2}{,}{0}\right){=}{0}{,}\left({2}{,}{1}\right){=}{0}{,}\left({2}{,}{2}\right){=}{b}\right]\right){,}{R}{=}{0}\right]\right)$ (4)