[BACK]Return to usage.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/usage.sm1 between version 1.9 and 1.14

version 1.9, 2004/09/11 01:00:42 version 1.14, 2013/09/20 06:02:19
Line 1 
Line 1 
 %% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.8 2004/09/10 22:21:27 takayama Exp $  %% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.13 2013/08/30 01:00:15 takayama Exp $
 %% usage.sm1  %% usage.sm1
 %%  [(key word)  %%  [(key word)
 %%    [(   )  %%    [(   )
Line 171 
Line 171 
    (         Dx and Dy are corresponding differential operators to the )     (         Dx and Dy are corresponding differential operators to the )
    (         space variables x and y.  Try show_ring to see the commutation)     (         space variables x and y.  Try show_ring to see the commutation)
    (         relations.)     (         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  ] putUsages
   
Line 323  def
Line 334  def
  [(Remained for the compatibility. cf. toVectors)   [(Remained for the compatibility. cf. toVectors)
 ]] putUsages  ]] 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
   

Legend:
Removed from v.1.9  
changed lines
  Added in v.1.14

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>