[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.6 and 1.14

version 1.6, 2003/06/26 08:14:47 version 1.14, 2013/09/20 06:02:19
Line 1 
Line 1 
 %% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.5 2002/09/08 10:49:50 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 111 
Line 111 
    (Example: [(x,y) ring_of_differential_operators 0 [(weightedHomogenization) 1]])     (Example: [(x,y) ring_of_differential_operators 0 [(weightedHomogenization) 1]])
    (          define_ring )     (          define_ring )
    (Example: [(x,y) ring_of_differential_operators [[(x) -1 (Dx) 1]] weight_vector)     (Example: [(x,y) ring_of_differential_operators [[(x) -1 (Dx) 1]] weight_vector)
    (          0 [(degreeShift) [1 0 1]]])     (          0 [(degreeShift) [[1 0 1]]] ])
    (          define_ring )     (          define_ring )
    (Example: [(x,y,z) ring_of_differential_operators (Dx,Dy) elimination_order 0] 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 )     (         Dx,Dy, and Dz are corresponding differential operators to the )
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 185 
Line 196 
    (    <<ring_of_???>> ring_of_polynomials, ring_of_differential_operators, )     (    <<ring_of_???>> ring_of_polynomials, ring_of_differential_operators, )
    (    ring_of_difference_operators)     (    ring_of_difference_operators)
    (    <<order>> elimination_order, weight_vector)     (    <<order>> elimination_order, weight_vector)
    (    ring_def,ring , << ,, >>)     (    ring_def,ring , << __ >>)
   ]    ]
 ] putUsages  ] putUsages
   
Line 273  def
Line 284  def
 [(join)  [(join)
  [(list1 list2 join list3)   [(list1 list2 join list3)
   (Ex.  [1 2] [3 [4 (ab)]] join  [1 2 3 [4 (ab)]])    (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  ] putUsages
   
Line 320  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.6  
changed lines
  Added in v.1.14
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>