[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