Line data    Source code

       1            0 : // Distributed under the MIT License.
       2              : // See LICENSE.txt for details.
       3              : 
       4              : #pragma once
       5              : 
       6              : #include <cstddef>
       7              : 
       8              : #include "DataStructures/Tensor/TypeAliases.hpp"
       9              : #include "Utilities/Gsl.hpp"
      10              : 
      11              : namespace gh {
      12              : /*!
      13              :  * \ingroup GeneralRelativityGroup
      14              :  * \brief Computes the spacetime derivative of the spacetime metric,
      15              :  * \f$\partial_a g_{bc}\f$
      16              :  *
      17              :  * \f{align*}{
      18              :  * \partial_t g_{ab}&=-\alpha \Pi_{ab} + \beta^i \Phi_{iab} \\
      19              :  * \partial_i g_{ab}&=\Phi_{iab}
      20              :  * \f}
      21              :  */
      22              : template <typename DataType, size_t SpatialDim, typename Frame>
      23            1 : void spacetime_derivative_of_spacetime_metric(
      24              :     gsl::not_null<tnsr::abb<DataType, SpatialDim, Frame>*> da_spacetime_metric,
      25              :     const Scalar<DataType>& lapse,
      26              :     const tnsr::I<DataType, SpatialDim, Frame>& shift,
      27              :     const tnsr::aa<DataType, SpatialDim, Frame>& pi,
      28              :     const tnsr::iaa<DataType, SpatialDim, Frame>& phi);
      29              : }  // namespace gh