===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v
retrieving revision 1.4
retrieving revision 1.10
diff -u -p -r1.4 -r1.10
--- OpenXM/src/kan96xx/Kan/usage.sm1	2002/02/09 06:21:02	1.4
+++ OpenXM/src/kan96xx/Kan/usage.sm1	2004/09/16 23:53:44	1.10
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.3 2000/06/08 08:35:03 takayama Exp $
+%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.9 2004/09/11 01:00:42 takayama Exp $
 %% usage.sm1
 %%  [(key word)
 %%    [(   )
@@ -103,6 +103,16 @@
    (The user cannot use the variable names h, e, H and E.)
    (cf. show_ring, system_variable --- CurrentRing)
    (    print_switch_status, switch_function)
+   (Example: [(x,y) ring_of_differential_operators [[(Dx) 1 (Dy) 1]])
+   (           weight_vector 0] define_ring)
+   (   Define the ring of differential operators Q<x,y,Dx,Dy> with the order)
+   (   obtained by refining the partial order defined by the weight vector)
+   (   [x,y,Dx,Dy] = [0,0,1,1] ) 
+   (Example: [(x,y) ring_of_differential_operators 0 [(weightedHomogenization) 1]])
+   (          define_ring )
+   (Example: [(x,y) ring_of_differential_operators [[(x) -1 (Dx) 1]] weight_vector)
+   (          0 [(degreeShift) [[1 0 1]]] ])
+   (          define_ring )
    (Example: [(x,y,z) ring_of_differential_operators (Dx,Dy) elimination_order 0] define_ring)
    (         Dx,Dy, and Dz are corresponding differential operators to the )
    (         space variables x, y and z.)
@@ -175,7 +185,7 @@
    (    <<ring_of_???>> ring_of_polynomials, ring_of_differential_operators, )
    (    ring_of_difference_operators)
    (    <<order>> elimination_order, weight_vector)
-   (    ring_def,ring , << ,, >>)
+   (    ring_def,ring , << __ >>)
   ]
 ] putUsages
 
@@ -184,6 +194,7 @@
  [(string . polynomial)
   (Parse the string as a polynomial in the current ring and put it on the stack)
   (Example ( (x+2)^3 ) .)
+  ({ commands }.  executes the commands.  << . >> is equivalent to exec.)
  ]
 ] putUsages
 
@@ -263,6 +274,9 @@ def
 [(join) 
  [(list1 list2 join list3)
   (Ex.  [1 2] [3 [4 (ab)]] join  [1 2 3 [4 (ab)]])
+  (Note: Join should use for arrays. It works for list too,)
+  (      but it does not copy cells. cf. cons)
+  (      So, it might generate looped lists or destroy other lists.)
  ]
 ] putUsages