Rheolef  7.1
an efficient C++ finite element environment
dirichlet_hdg_post_rt.cc
Go to the documentation of this file.
1 #include "rheolef.h"
26 using namespace rheolef;
27 using namespace std;
28 int main(int argc, char**argv) {
29  environment rheolef (argc, argv);
30  Float n, beta;
31  field sigma_h, uh, lambda_h;
32  din >> catchmark("n") >> n
33  >> catchmark("beta") >> beta
34  >> catchmark("u") >> uh
35  >> catchmark("lambda") >> lambda_h
36  >> catchmark("sigma") >> sigma_h;
37  const geo& omega = uh.get_geo();
38  size_t d = omega.dimension();
39  size_t k = uh.get_space().degree();
40  string approx = (k == 0) ? "empty" : "P"+itos(k-1)+"d";
41  space Tht(omega, "RT"+itos(k)+"d");
42  space Wht(omega, approx, "vector");
43  space Mht(omega, "trace(P"+itos(k)+"d)");
44  space Sht = Wht*Mht;
45  trial sigma_t (Tht); test tau (Sht);
46  auto tau_internal = tau[0], tau_n = tau[1];
47  auto coef = beta*pow(h_local(),n);
48  form aht = integrate (dot(sigma_t, tau_internal)
49  + on_local_sides (dot(sigma_t,normal())*tau_n));
50  field lht = integrate(dot(sigma_h, tau_internal)
51  + on_local_sides((dot(sigma_h,normal())
52  + coef*(lambda_h - uh))*tau_n));
53  field sigma_ht (Tht);
54  problem p (aht);
55  p.solve (lht, sigma_ht);
56  dout << catchmark("n") << n << endl
57  << catchmark("beta") << beta << endl
58  << catchmark("u") << uh
59  << catchmark("lambda") << lambda_h
60  << catchmark("sigma") << sigma_h
61  << catchmark("sigmat") << sigma_ht;
62 }
form
see the form page for the full documentation
rheolef::catchmark
see the catchmark page for the full documentation
Definition: catchmark.h:67
rheolef::dot
rheolef::std enable_if ::type dot const Expr1 expr1, const Expr2 expr2 dot(const Expr1 &expr1, const Expr2 &expr2)
dot(x,y): see the expression page for the full documentation
Definition: vec_expr_v2.h:415
field
see the field page for the full documentation
rheolef::normal
details::field_expr_v2_nonlinear_terminal_function< details::normal_pseudo_function< Float > > normal()
normal: see the expression page for the full documentation
Definition: field_expr_terminal.h:439
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::h_local
details::field_expr_v2_nonlinear_terminal_function< details::h_local_pseudo_function< Float > > h_local()
h_local: see the expression page for the full documentation
Definition: field_expr_terminal.h:527
space
see the space page for the full documentation
rheolef::pow
space_mult_list< T, M > pow(const space_basic< T, M > &X, size_t n)
Definition: space_mult.h:120
rheolef.h
rheolef - reference manual
p
Definition: sphere.icc:25
rheolef::on_local_sides
std::enable_if< details::is_field_expr_v2_variational_arg< Expr >::value,details::field_expr_quadrature_on_sides< Expr > >::type on_local_sides(const Expr &expr)
on_local_sides(expr): see the expression page for the full documentation
Definition: field_expr_quadrature.h:321
rheolef::din
idiststream din
see the diststream page for the full documentation
Definition: diststream.h:427
rheolef::environment
see the environment page for the full documentation
Definition: environment.h:115
rheolef
This file is part of Rheolef.
Definition: compiler_eigen.h:37
test
see the test page for the full documentation
problem
see the problem page for the full documentation
Float
see the Float page for the full documentation
mkgeo_ball.d
d
Definition: mkgeo_ball.sh:154
mkgeo_ball.n
n
Definition: mkgeo_ball.sh:150
main
int main(int argc, char **argv)
Definition: dirichlet_hdg_post_rt.cc:28
trial
see the test page for the full documentation
rheolef::dout
odiststream dout(cout)
see the diststream page for the full documentation
Definition: diststream.h:430
rheolef::itos
std::string itos(std::string::size_type i)
itos: see the rheostream page for the full documentation
rheolef::std
Definition: vec_expr_v2.h:391
geo
see the geo page for the full documentation
rk::beta
Float beta[][pmax+1]
Definition: runge_kutta_semiimplicit.icc:60