Re: [firedrake] square root of matrix