This function can be used to compute either the spin coefficients or the curvature components in the rigid frame in which the metric assumes the form :

given correspondingly the covariant components of the connections or the covariant Riemann tensor in that particular rigid frame.

When the first parameter is fed with 'spin' then convertNP() checks if the second one (denoted as Gamma above) is a tensor_type with character $\left[\mathrm{-1}\,\mathrm{-1}\,\mathrm{-1}\right]$.  If it does, then the function constructs a spin coefficient table based on Gamma.

When the first parameter is fed with 'curve', then convertNP() checks if the second one (denoted as Riemann above) has character $\left[\mathrm{-1}\,\mathrm{-1}\,\mathrm{-1}\,\mathrm{-1}\right]$ and indexing function cov_riemann in its component array.  If it does, then the function goes on to construct a curvature component table based on Riemann.

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[\mathrm{I}\,\mathrm{-I}\right]\right]$ is the default value of conj_pairs and any third argument supplied by the user would be appended to it.  Any other names not specified in conj_pairs are treated as real.

This function is part of the tensor package, and can be used in the form convertNP(..) only after performing the command with(tensor), or with(tensor, convertNP).  The function can always be accessed in the long form tensor[convertNP].

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

$\mathrm{g\_compts}≔\mathrm{array}\left(\mathrm{symmetric}\,1..4\,1..4\right)\:$

$$\begin{gathered} \mathbf{for}i\mathbf{to}4\mathbf{do} \\ \mathbf{for}j\mathbf{from}i\mathbf{to}4\mathbf{do} \\ \mathrm{g\_compts}\left[i,j\right]≔0 \\ \mathbf{end}\mathbf{do} \\ \mathbf{end}\mathbf{do}\: \end{gathered}$$$\mathrm{g\_compts}\left[1,2\right]≔1\:$$\mathrm{g\_compts}\left[3,4\right]≔-1\:$$g≔\mathrm{create}\left(\left[-1\,-1\right]\,\mathrm{op}\left(\mathrm{g\_compts}\right)\right)$

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

$\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{compts}=\left[\begin{array}{cccc}a{x}^2+byx+c{y}^2& 0& 0& 1\\ 1& 0& 0& 0\\ 0& 0& \mathrm{-1}& 0\\ 0& \mathrm{-1}& 0& 0\end{array}\right]\,\mathrm{index\_char}=\left[1\,\mathrm{-1}\right]\right]\right)$

$\mathrm{Gamma}≔\mathrm{connexF}\left(\mathrm{coord}\,g\,h\right)\:$

$\mathrm{convertNP}\left('\mathrm{spin}'\,\mathrm{Gamma}\right)$

$table\left(\left[\mathrm{\π}=0\,\mathrm{\tau }=0\,\mathrm{\beta }=0\,\mathrm{\mu }=0\,\mathrm{\nu }=-2ax-by\,\mathrm{\alpha }=0\,\mathrm{\epsilon }=0\,\mathrm{\kappa }=0\,\mathrm{\lambda }=0\,\mathrm{\sigma }=0\,\mathrm{\gamma }=0\,\mathrm{\rho }=0\right]\right)$

$\mathrm{ginv}≔\mathrm{invert}\left(g\,\mathrm{DETg}\right)\:$$\mathrm{hinv}≔\mathrm{invert}\left(h\,\mathrm{DETh}\right)\:$

$\mathrm{Rm}≔\mathrm{RiemannF}\left(\mathrm{coord}\,\mathrm{ginv}\,\mathrm{hinv}\,\mathrm{Gamma}\right)\:$

$\mathrm{convertNP}\left('\mathrm{curve}'\,\mathrm{Rm}\right)$

$table\left(\left[\mathrm{\Phi }=array\left(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)\,\mathrm{\Psi }=array\left(0..4\,\left[\left(0\right)=0\,\left(1\right)=0\,\left(2\right)=0\,\left(3\right)=0\,\left(4\right)=2a\right]\right)\,R=0\right]\right)$

$\mathrm{convertNP}\left('\mathrm{curve}'\,\mathrm{Rm}\,\left[\left[a\,\mathrm{abar}\right]\,\left[\mathrm{bBAR}\,b\right]\right]\right)$

$table\left(\left[\mathrm{\Phi }=array\left(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)\,\mathrm{\Psi }=array\left(0..4\,\left[\left(0\right)=0\,\left(1\right)=0\,\left(2\right)=0\,\left(3\right)=0\,\left(4\right)=2a\right]\right)\,R=0\right]\right)$