Cleaned up computation of Phi and Phic.
Cleaned up computation of Phi and Phic.
Main change is that the exception for other constrained dofs when constraining Phi has been removed. Note that this way, Phic.T @ Kc @ Phi is equal to the coarse Kc.
Edited by Anne Poot