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/DataBox/Prefixes.hpp" 9 : #include "DataStructures/DataBox/Tag.hpp" 10 : #include "DataStructures/DataVector.hpp" 11 : #include "DataStructures/Tensor/Tensor.hpp" 12 : #include "Evolution/Systems/GeneralizedHarmonic/Tags.hpp" 13 : #include "NumericalAlgorithms/LinearOperators/PartialDerivatives.hpp" 14 : #include "PointwiseFunctions/GeneralRelativity/Tags.hpp" 15 : #include "Utilities/ContainerHelpers.hpp" 16 : #include "Utilities/Gsl.hpp" 17 : #include "Utilities/TMPL.hpp" 18 : 19 : // IWYU pragma: no_forward_declare Tags::deriv 20 : 21 : /// \cond 22 : namespace domain { 23 : namespace Tags { 24 : template <size_t Dim, typename Frame> 25 : struct Coordinates; 26 : } // namespace Tags 27 : } // namespace domain 28 : class DataVector; 29 : template <typename X, typename Symm, typename IndexList> 30 : class Tensor; 31 : /// \endcond 32 : 33 : namespace gh { 34 : /*! 35 : * \ingroup GeneralRelativityGroup 36 : * \brief Computes the spacetime derivative of the spacetime metric, 37 : * \f$\partial_a g_{bc}\f$ 38 : * 39 : * \f{align*}{ 40 : * \partial_t g_{ab}&=-\alpha \Pi_{ab} + \beta^i \Phi_{iab} \\ 41 : * \partial_i g_{ab}&=\Phi_{iab} 42 : * \f} 43 : */ 44 : template <typename DataType, size_t SpatialDim, typename Frame> 45 1 : void spacetime_derivative_of_spacetime_metric( 46 : gsl::not_null<tnsr::abb<DataType, SpatialDim, Frame>*> da_spacetime_metric, 47 : const Scalar<DataType>& lapse, 48 : const tnsr::I<DataType, SpatialDim, Frame>& shift, 49 : const tnsr::aa<DataType, SpatialDim, Frame>& pi, 50 : const tnsr::iaa<DataType, SpatialDim, Frame>& phi); 51 : } // namespace gh