[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.12 and 1.15

version 1.12, 2005/06/15 02:22:51 version 1.15, 2013/09/22 01:06:20
Line 1 
Line 1 
 %% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.11 2004/09/17 00:47:09 takayama Exp $  %% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.14 2013/09/20 06:02:19 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 332  def
Line 343  def
    $  [(getAttribute) myarg (sugar)] extension :: $     $  [(getAttribute) myarg (sugar)] extension :: $
 ]] putUsages  ]] 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

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.15

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