[alg.is_permutation]