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