Re: [firedrake] Matrix multiplication in bilinear form