Embedding for SuperOperators

[dougalmain24]

I have a SuperOperator that acts on i.e. a two-qubit Hilbert space which I would like to embed such that it performs the same process on a two-qubit subspace of a larger Hilbert space.

I may be missing something, but is there a good way to implement embedding of SuperOperators?

[Krastanov]

It is not implemented yet. There is not much support for SuperOperators yet really. But it is something that would be needed by two downstream projects: QuantumSavory.jl and QuantumSymbolics.jl, so we will probably have someone add this later in the year. Help is always welcomed, of course, so do not hesitate to submit a draft pull request if you have worked on this: we would be happy to help polish it and have it merged.