入力は、論理値"up"と2べき乗個の配列"x"であり、出力は、"up"が真であれば昇順、でなければ降順となる。