PaVeAutoOrder is an option of PaVe and other functions that work with PaVe functions. When set to True, the arguments of the PaVe functions will be automatically ordered by using known symmetries between those arguments.
PaVeAutoOrder
PaVe
True
Overview, PaVe, PaVeReduce.