[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.10

version 1.4, 2002/02/09 06:21:02 version 1.10, 2004/09/16 23:53:44
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.9 2004/09/11 01:00:42 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 184 
Line 194 
  [(string . polynomial)   [(string . polynomial)
   (Parse the string as a polynomial in the current ring and put it on the stack)    (Parse the string as a polynomial in the current ring and put it on the stack)
   (Example ( (x+2)^3 ) .)    (Example ( (x+2)^3 ) .)
     ({ commands }.  executes the commands.  << . >> is equivalent to exec.)
  ]   ]
 ] putUsages  ] putUsages
   
Line 263  def
Line 274  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
   
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.10
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>