Decreasing
Subtype of
Ordering
The input variables are ordered in decreasing fashion.
In particular, the array of output variables is constructed so that the first variable equals the biggest of the input variables.