SERiF v0.0.1a
Stellar Evolution and Rotation in Four Dimensions
Loading...
Searching...
No Matches
serif::operators::VectorGradientOperand Concept Reference

Full vector gradients are supported for componentwise H1 fields. More...

#include <concepts.hpp>

Concept definition

template<typename OperandT>
concept serif::operators::VectorGradientOperand =
discretization::forms::IsOperand<OperandT> &&
discretization::blocks::SpatialTerm<typename OperandT::term_type> &&
discretization::blocks::SpatialTermTraits<typename OperandT::term_type>::rank == 1 &&
discretization::blocks::SpatialTermTraits<typename OperandT::term_type>::family == discretization::functional_space::Family::h1 &&
std::same_as<typename OperandT::operation_type, discretization::forms::Operation::Gradient>
serif::discretization::blocks::SpatialTerm
Concept for term types that are spatial terms. A spatial term is a term that has a functional space (...
Definition concepts.hpp:80
serif::discretization::forms::IsOperand
Concept to validate a valid operand. An operand is valid if the following conditions are satisfied.
Definition operands.hpp:126
serif::operators::VectorGradientOperand
Full vector gradients are supported for componentwise H1 fields.
Definition concepts.hpp:40
serif::discretization::functional_space::Family::h1
@ h1
H1 space, typically used for continuous functions.
Definition space.hpp:36
serif::discretization::blocks::SpatialTermTraits::family
static constexpr auto family
The family of the functional space associated with the term. e.g. H1, L2, etc.
Definition traits.hpp:50
serif::discretization::blocks::SpatialTermTraits::rank
static constexpr std::size_t rank
The rank of the functional space associated with the term.
Definition traits.hpp:52

Detailed Description

Full vector gradients are supported for componentwise H1 fields.