Re: [firedrake] absolute value of gradient