<< (v1,...,vm) elimination_order >> The primitive returns the weight matrix where the variables v1, ..., vm are most expensive terms. cf. define_ring, define_qring.