Re: [firedrake] problem solving a linear system