Pablo Brubeck

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...

We can call a form with new arguments to replace the original ones. The case where there is no replace rule for the coefficients is currently not supported. This PR...

ConstantValue: Support general dtypes

2

fixes #228

All classes derived from BaseForm must implement `ufl_domains()`. BaseForm now provides `ufl_domain()` for all derived classes.

`replace` was unecessarily expanding all derivatives too early. This becomes a problem in Irksome where we introduce a `TimeDerivative` that cannot be expanded in UFL. This PR avoids this problem...