CosetDecompositionOfScheme

CosetDecompositionOfScheme(R, L) returns the coset decomposition of the relations. R is a relation matrix and L must be a closed subset. This function does not check whether L is closed.