The basis of each ∧p kn is given in lex order.
This is not the order of the basis in the output of koszul ff; rather, use trueKoszul ff.