extension-examples

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 ;