ksagiyam

I think this is best explained using function space decomposition. In the above example we decompose `V` as `V = V0 + V1`, where `V0` is a space of functions...

Yes, I think your mathematical interpretation is right: the mathematical meaning of `Transformed` is a projection, and we have `l` carry data that encodes `P`, which becomes significant only when...

I have updated the documentation to describe what each new class does and added an example to illustrate the usage of `Transformed`. Happy to discuss this further.

Thanks. I've kept talking about a standard Dirichlet problem as I thought it would best illustrate the feature, but one application that we are actually interested in is a Stokes...

Thank you, and please let me clarify this as I was careless. Any vector field `t` that coincides with the boundary tangent on the boundary and makes `dot(v, t) t`...