[firedrake] SLEPc + mixed

Dear all, I'd like to find the maximum eigenvalue from a mixed generalised eigenvalue problem. Has anyone tried this? I can follow the QG slepc example but I would need to assemble monolithic PETSc matrices. Is there a way to assemble monolithic PETSc matrices for mixed systems? cheers --cjc