elimination_order

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



Nobuki Takayama 2020-11-24