`is_element/SW` := eval(`is_element/prime_simplex_boundary`);
`is_equal/SW` := eval(`is_equal/prime_simplex_boundary`);
`is_leq/SW` := NULL;
`random_element/SW` := eval(`random_element/prime_simplex_boundary`);
`list_elements/SW` := NULL;
`count_elements/SW` := NULL;
`phi/nonempty_subsets/SW` := eval(`phi/nonempty_subsets/prime_simplex_boundary`);
