Div.h file

Divergence operator specialization for P0g (global constant) vector functions.

For a globally constant vector field u in P0g: div(u) = 0.

This holds on cells and on faces/boundary (trace choice irrelevant since it is zero).

Namespaces

namespace Rodin: The Rodin library for finite element methods and shape optimization.
namespace Rodin::FormLanguage: Namespace Rodin::FormLanguage.
namespace Rodin::Variational: Namespace Rodin::Variational.

template<class Scalar, class Data, class Mesh> struct Rodin::FormLanguage::Traits<Variational::Div<Variational::GridFunction<Variational::P0g<Math::SpatialVector<Scalar>, Mesh>, Data>>>: Type traits for Div over a grid function: exposes the finite element space, the scalar type and the operand type.
template<class NestedDerived, class Scalar, class Mesh, Variational::ShapeFunctionSpaceType Space> struct Rodin::FormLanguage::Traits<Variational::Div<Variational::ShapeFunction<NestedDerived, Variational::P0g<Math::SpatialVector<Scalar>, Mesh>, Space>>>: Type traits for Div over a shape function: exposes the finite element space, the shape function space, the scalar type and the operand type.
template<class Scalar, class Data, class Mesh> class Rodin::Variational::Div<GridFunction<P0g<Math::SpatialVector<Scalar>, Mesh>, Data>>: Divergence of a P0g vector GridFunction (identically zero).
template<class NestedDerived, class Scalar, class Mesh, ShapeFunctionSpaceType Space> class Rodin::Variational::Div<ShapeFunction<NestedDerived, P0g<Math::SpatialVector<Scalar>, Mesh>, Space>>: Divergence of a P0g vector ShapeFunction (identically zero).