function sortDown extends Icons.Function; input Real[:] x "x unsorted"; output Real[n] y "x sorted decreasing"; output Integer[n] i "indizes of sorted x"; end sortDown;