ufl
ufl copied to clipboard
Return correct Sobolev space for RestrictedElement
I think we could give more preceise Sobolev spaces for certain restricted elements. In theory the original Sobolev space of the unrestricted element should be preserved, since the restriction only involves a subset of the DOFs. But maybe we want to express the fact that a function space restricted to the interior does not have shared DOFs across cells.