putAttributeList [(putAttributeList) [[(x+y-1) (x-y-2)] (x,y)] [(needSyz) 1 (sugar) 1]] extension /myarg set [(getAttributeList) myarg] extension :: [(getAttribute) myarg (sugar)] extension :: [(x,y) ring_of_differential_operators [[(Dx) 1 (Dy) 1]] weight_vector 0] define_ring ; (mmLarger) (module_matrix) switch_function ; [(addModuleOrder) [2 1 0]] extension ; show_ring ;