Can you discuss where for which part of the code do you plan to use multiphenicsx? (I guess the Lagrange multipliers that are not there yet, but I want to be sure)
As the author of that, I cannot see it being actually used right now [1].
On pure Neumann boundary conditions, you may want to have a look at Singular poisson equation in DOLFINx
Together with @hherlyng in the next few weeks we would like to add a tutorial on pure Neumann BCs in multiphenicsx. Please get in touch with me by email to remind me that you are interested, and to post a link here when we are done.
[1] I do understand that you are indeed using multiphenicsx.fem.petsc.BlockVecSubVectorWrapper. I like that approach, otherwise I wouldn’t have prepared it ;), but just keep in mind that until you actually have restrictions you can do a similar operation using plain dolfinx, see e.g.
As soon as you will have multiphenicsx restrictions, then multiphenicsx.fem.petsc.BlockVecSubVectorWrapper will be the only way to go.