math.combinatorics: use cond in k-permutations.