CommutatorOfScheme

CommutatorOfScheme(R, s, t) returns the commutator $s^*t^*st$.