In order to simplify the documentation and to go straigth to direct applications, let's look at one example: the backward step problem with Navier stokes equations. Here is the Gfem script: