next up previous
: eq : Primitive Operators : dup

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 平成15年5月13日