src/test/rest2.c

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    
    // 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
    }