n | - a non-negative integer (see note about limits below) | |
k | - an integer in [0, n] | |
subset | - an ordered subset of the integers [0, ..., n - 1] |
index | - the rank of the subset in lexicographic order |
Note: this is limited by arguments such that n choose k can be represented by PetscInt