weight_vector

[x-list d-list params] [[(name) weight ...] [...] ...] weight_vector
[x-list d-list params order]
Example:
   [(x,y,z) ring_of_polynomials [[(x) 100 (y) 10]] weight_vector 0] 
   define_ring



Nobuki Takayama 2020-11-24