PaVeAutoReduce is an option of PaVe and
other functions that work with PaVe functions. When set to
True, for some special cases PaVe functions
will be automatically reduced to simpler expressions. Otherwise, PaVe
functions will not be further simplified unless explicitly evaluated by
PaVeReduce.