To experiment with a little algorithm, I need to generate all subsets of a set S which have fixed cardinality; for example to generate all three element subsets of {1,2,3,4,5,6,7}. Is there an inbuilt command to do this in Axiom? Or has somebody written a package to do such a thing?