WreathProductScheme

WreathProductScheme(R, S) returns the wreath product of R and S.