Rheolef  7.1
an efficient C++ finite element environment
cosinusprod_error_hdg.cc
Go to the documentation of this file.
1 #include "rheolef.h"
26 using namespace rheolef;
27 using namespace std;
28 #include "cosinusprod.h"
29 #include "cosinusprod_grad.h"
30 int main(int argc, char**argv) {
31  environment rheolef(argc, argv);
32  Float err_linf_expected = (argc > 1) ? atof(argv[1]) : 1e+38;
33  bool with_sigma = (argc <= 2) || argv[2] != string("-no-sigma");
34  field uh, lambda_h, sigma_h;
35  din >> catchmark("u") >> uh
36  >> catchmark("lambda") >> lambda_h;
37  if (with_sigma) {
38  din >> catchmark("sigma") >> sigma_h;
39  }
40  space Xh = uh.get_space();
41  geo omega = Xh.get_geo();
42  size_t k = Xh.degree();
43  size_t d = omega.dimension();
44  integrate_option iopt;
46  iopt.set_order(3*(k+1)+4);
47  Float err_u_l2 = sqrt(integrate (omega, sqr(uh-u_exact(d)), iopt));
48  string opts = Xh.get_basis().option().stamp();
49  space Xh1 (omega, "P"+itos(k+1)+"d"+opts);
50  field euh = interpolate (Xh1, uh-u_exact(d));
51  Float err_u_linf = euh.max_abs();
52  Float err_u_h1 = sqrt(integrate (omega, norm2(grad_h(euh)), iopt)
53  + integrate (omega.sides(), (1/h_local())*sqr(jump(euh)), iopt));
54  derr << "err_u_l2 = " << err_u_l2 << endl
55  << "err_u_linf = " << err_u_linf << endl
56  << "err_u_h1 = " << err_u_h1 << endl;
57  if (with_sigma) {
58  Float err_sigma_l2 = sqrt(integrate (omega, norm2(sigma_h-grad_u(d)), iopt));
59  space Th1 (omega, "P"+itos(k+1)+"d"+opts, "vector");
60  field esh = interpolate (Th1, sigma_h-grad_u(d));
61  Float err_sigma_linf = esh.max_abs();
62  derr << "err_sigma_l2 = " << err_sigma_l2 << endl
63  << "err_sigma_linf = " << err_sigma_linf << endl;
64  }
65  if (!lambda_h.get_space().get_basis().option().is_restricted_to_sides()) {
66  space Mh = lambda_h.get_space();
67  trial lambda(Mh); test mu(Mh);
68  form ms = integrate(lambda*mu);
69  field kh = integrate(u_exact(d)*mu, iopt);
70  field ph_lambda(Mh);
71  problem pms (ms);
72  pms.solve (kh, ph_lambda);
73  Float err_lambda_l2 = sqrt(integrate (omega["sides"], h_local()*sqr(lambda_h-ph_lambda), iopt));
74  derr << "err_lambda_l2 = " << err_lambda_l2 << endl;
75  }
76  return (err_u_linf <= err_linf_expected) ? 0 : 1;
77 }
see the Float page for the full documentation
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 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:115
see the integrate_option page for the full documentation
void set_family(family_type type)
idiststream din
see the diststream page for the full documentation
Definition: diststream.h:427
odiststream derr(cerr)
see the diststream page for the full documentation
Definition: diststream.h:436
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 cosinus product function.
int main(int argc, char **argv)
The cosinus product function – its gradient.
space_basic< T, M > Xh1
Definition: field_expr.h:263
This file is part of Rheolef.
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
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_h(const Expr &expr)
grad_h(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:202
field_basic< T, M > interpolate(const space_basic< T, M > &V2h, const field_basic< T, M > &u1h)
see the interpolate page for the full documentation
Definition: interpolate.cc:233
T norm2(const vec< T, M > &x)
norm2(x): see the expression page for the full documentation
Definition: vec.h:379
std::string itos(std::string::size_type i)
itos: see the rheostream page for the full documentation
rheolef - reference manual
g u_exact
Definition: taylor_exact.h:26
tensor grad_u