Rheolef  7.2
an efficient C++ finite element environment
stokes_contraction_incompressible.cc
Go to the documentation of this file.
1
21#include "rheolef.h"
22using namespace rheolef;
23using namespace std;
24#include "contraction.h"
25int main(int argc, char**argv) {
26 environment rheolef (argc, argv);
27 geo omega (argv[1]);
28 space Xh = contraction::velocity_space (omega, "P2");
29 space Qh (omega, "P1d");
30 trial u (Xh), p (Qh);
31 test v (Xh), q (Qh);
32 form a = integrate (2*ddot(D(u),D(v)));
33 form b = integrate (-div(u)*q);
35 field ph (Qh, 0);
36 problem_mixed stokes (a, b);
37 stokes.solve (field(Xh,0), field(Qh,0), uh, ph);
38 dout << catchmark("inv_lambda") << 0 << endl
39 << catchmark("u") << uh
40 << catchmark("p") << ph;
41}
see the field page for the full documentation
see the form page for the full documentation
see the geo page for the full documentation
see the problem_mixed page for the full documentation
see the catchmark page for the full documentation
Definition: catchmark.h:67
see the environment page for the full documentation
Definition: environment.h:121
see the space page for the full documentation
see the test page for the full documentation
see the test page for the full documentation
The contraction geometry: boundary conditions.
point u(const point &x)
This file is part of Rheolef.
std::enable_if< details::has_field_rdof_interface< Expr >::value, details::field_expr_v2_nonlinear_terminal_field< typenameExpr::scalar_type, typenameExpr::memory_type, details::differentiate_option::gradient > >::type D(const Expr &expr)
D(uh): see the expression page for the full documentation.
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
std::enable_if< details::has_field_rdof_interface< Expr >::value, details::field_expr_v2_nonlinear_terminal_field< typenameExpr::scalar_type, typenameExpr::memory_type, details::differentiate_option::divergence > >::type div(const Expr &expr)
div(uh): see the expression page for the full documentation
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:211
STL namespace.
rheolef - reference manual
int main(int argc, char **argv)
static space velocity_space(geo omega, string approx)
Definition: contraction.h:41
static field velocity_field(space Xh)
Definition: contraction.h:49
Definition: sphere.icc:25
Definition: leveque.h:25