This PR sits on the Interp PR (#26) and adds the ExternalOperator objects.
The Interp contains most of the necessary changes to make ExternalOperator possible as it introduces the concept of BaseFormOperator which describes operators mapping between Hilbert spaces (i.e. that are Operator and BaseForm objects at the same time).
This PR sits on the
InterpPR (#26) and adds theExternalOperatorobjects.The
Interpcontains most of the necessary changes to makeExternalOperatorpossible as it introduces the concept ofBaseFormOperatorwhich describes operators mapping between Hilbert spaces (i.e. that areOperatorandBaseFormobjects at the same time).(cf. https://github.com/firedrakeproject/ufl/pull/40)