streamf_cavity.icc

The stream function for the 3D driven cavity benchmark

void streamf_cavity_solver (const space& Xh, problem& pa, form& a, form& b) {
string valued = (Xh.size() == 3) ? "vector" : "scalar";
space Ph (Xh.get_geo(), "P2", valued);
Ph.block("top"); Ph.block("bottom");
size_t d = Xh.get_geo().dimension();
if (d == 3) {
Ph.block("back"); Ph.block("front");
} else {
Ph.block("left"); Ph.block("right");
}
trial u (Xh), psi (Ph); test phi (Ph);
a = (d == 3) ? integrate (ddot(grad(psi),grad(phi)))
: integrate ( dot(grad(psi),grad(phi)));
b = (d == 3) ? integrate (dot(curl(u),phi))
: integrate (curl(u)*phi);
pa = problem (a);
}
field streamf (const field& uh, const problem& pa, const form& a, const form& b) {
field lh = b*uh;
field psi_h (b.get_second_space(), 0);
pa.solve (lh, psi_h);
return psi_h;
}
lh
field lh(Float epsilon, Float t, const test &v)
Definition: burgers_diffusion_operators.icc:25
phi
Float phi(const point &nu, Float a, Float b)
Definition: burgers_flux_godunov.icc:25
field
see the field page for the full documentation
form
see the form page for the full documentation
problem
see the problem page for the full documentation
space
see the space page for the full documentation
test
see the test page for the full documentation
trial
see the test page for the full documentation
mkgeo_ball.b
int b
Definition: mkgeo_ball.sh:152
mkgeo_ball.d
int d
Definition: mkgeo_ball.sh:154
rheolef::details::dot
rheolef::details::is_vec dot
rheolef::curl
std::enable_if< details::is_field_convertible< Expr >::value,details::field_expr_v2_nonlinear_terminal_field< typename Expr::scalar_type,typename Expr::memory_type,details::differentiate_option::curl >>::type curl(const Expr &expr)
curl(uh): see the expression page for the full documentation
Definition: field_expr_terminal.h:1089
rheolef::grad
std::enable_if< details::is_field_convertible< Expr >::value,details::field_expr_v2_nonlinear_terminal_field< typename Expr::scalar_type,typename Expr::memory_type,details::differentiate_option::gradient >>::type grad(const Expr &expr)
grad(uh): see the expression page for the full documentation
Definition: field_expr_terminal.h:911
rheolef::integrate
std::enable_if< details::is_field_expr_v2_nonlinear_arg< Expr >::value &&! is_undeterminated< Result >::value, Result >::type integrate(const geo_basic< T, M > &omega, const Expr &expr, const integrate_option &iopt, Result dummy=Result())
see the integrate page for the full documentation
Definition: integrate.h:202
rheolef::ddot
T ddot(const tensor_basic< T > &a, const tensor_basic< T > &b)
ddot(x,y): see the expression page for the full documentation
Definition: tensor.cc:278
streamf
field streamf(const field &uh, const problem &pa, const form &a, const form &b)
Definition: streamf_cavity.icc:42
streamf_cavity_solver
void streamf_cavity_solver(const space &Xh, problem &pa, form &a, form &b)
Definition: streamf_cavity.icc:25
a
Definition: diffusion_isotropic.h:25
phi
Definition: phi.h:25
psi
Definition: interpolate_RTk_polynom.icc:34
u
Definition: leveque.h:25
u
Float u(const point &x)
Definition: transmission_error.cc:26