[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.4 and 1.12

version 1.4, 2002/02/09 06:21:02 version 1.12, 2005/06/15 02:22:51
Line 1 
Line 1 
 %% $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.11 2004/09/17 00:47:09 takayama Exp $
 %% usage.sm1  %% usage.sm1
 %%  [(key word)  %%  [(key word)
 %%    [(   )  %%    [(   )
Line 103 
Line 103 
    (The user cannot use the variable names h, e, H and E.)     (The user cannot use the variable names h, e, H and E.)
    (cf. show_ring, system_variable --- CurrentRing)     (cf. show_ring, system_variable --- CurrentRing)
    (    print_switch_status, switch_function)     (    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)     (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 )
    (         space variables x, y and z.)     (         space variables x, y and z.)
Line 175 
Line 185 
    (    <<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 263  def
Line 273  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 308  def
Line 321  def
 ]] putUsages  ]] putUsages
 [(toVectors2)  [(toVectors2)
  [(Remained for the compatibility. cf. toVectors)   [(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  ]] putUsages
   
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.12
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>