// lake at rest with emerged island (same as rest1.c but for Green-Naghdi)
#include "green-naghdi.h"

int main()
{
  origin (-0.5, -0.5);
  init_grid (32);
  run();
}

event init (i = 0)
{
  refine (level == 5 && x < 0.1 && y < 0.1);

  double a = 0.3, b = 100.;
  foreach() {
    zb[] = a*exp(-b*(x*x + y*y));
    h[] = max (0.1 - zb[], 0.);
  }
}

event logfile (i = 1)
{
  norm n = normf (u.x);
  fprintf (stderr, "# %.10f %.10f %.10f\n", n.avg, n.rms, n.max);
#if 0
  FILE * fp = popen ("gfsview2D -s", "w");
  output_gfs (fp);
#endif
}