<< order-matrix set_order_by_matrix >> matrix of integers order-matrix; cf. weight_vector, show_ring, elimination_order, switch_function system_variable