CommutatorOfSubsets

tt CommutatorOfSubsets(R, S, T) returns the closed subset generated by commutators $\{s^*t^*st\mid s\in S,\ t\in T\}$. If $S$ and $T$ are whole of the scheme, then this closed subset is the smallest closed subset of $R$ such that the quotient scheme is commutative thin.