S, an instance of the type LieSubSpace, an instance of type LieSubSpace, a Lie subspace of the source of $d$
Outputs:
I, an instance of the type LieSubSpace, an instance of LieSubSpace, the image $d(S)$, a Lie subspace of the target of $d$
Description
If $d$ is a differential on a Lie algebra $L$ and $S$ is an ideal in $L$, then image(d,S) is of type LieSubAlgebra. Otherwise, image(d,S) is of type LieSubSpace.