===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v
retrieving revision 1.10
retrieving revision 1.15
diff -u -p -r1.10 -r1.15
--- OpenXM/src/kan96xx/Kan/usage.sm1	2004/09/16 23:53:44	1.10
+++ OpenXM/src/kan96xx/Kan/usage.sm1	2013/09/22 01:06:20	1.15
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.9 2004/09/11 01:00:42 takayama Exp $
+%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.14 2013/09/20 06:02:19 takayama Exp $
 %% usage.sm1
 %%  [(key word)
 %%    [(   )
@@ -171,6 +171,17 @@
    (         Dx and Dy are corresponding differential operators to the )
    (         space variables x and y.  Try show_ring to see the commutation)
    (         relations.)
+   (Example: contiguity of 1F1. Eb b = (b-1) Eb)
+   ( [ [(x) (a,b)] ring_of_differential_difference_operators )
+   (  [[(Dx) 1]] weight_vector 0] define_ring )
+   ( [ ( x Dx (x Dx+b-1) -x (x Dx+a) ). )
+   ( ( (x Dx +b-1) - (b-1) Eb ). ] /ff set )
+   ( ff {dehomogenize homogenize} map /ff2 set )
+   ( [ff2] groebner /gg set )
+   ( gg dehomogenize 0 get /gg set )
+   ( gg [(Dx)] eliminatev /gg2 set )
+   ( gg2 pmat )
+
  ]
 ] putUsages
 
@@ -194,7 +205,6 @@
  [(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
 
@@ -324,3 +334,23 @@ def
  [(Remained for the compatibility. cf. toVectors)
 ]] putUsages
 
+[(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 :: $
+]] putUsages
+
+[(note-class)
+[ 
+  $Example 1: [(object) [ ] [1,2]] [(class) (tree)] dc /ff set $
+  $           ff (array) dc :: $
+  $cf. data_conversion, kan96xx/Kan/kclass.c (KclassDataConversion) $
+]] putUsages
+
+[(sm1log)
+[
+  $str sm1log outputs the str to the log file /tmp/sm1log.txt$
+]] putUsages