Re: [firedrake] defining an expression piecewise