OpenXM/src/kan96xx/Kan/usage.sm1 - diff

Return to usage.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

version 1.5, 2002/09/08 10:49:50

version 1.9, 2004/09/11 01:00:42

Line 1

%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.4 2002/02/09 06:21:02 takayama Exp $

%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.8 2004/09/10 22:21:27 takayama Exp $

%% usage.sm1

%% [(key word)

%% [( )

Line 110

( [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)

( Dx,Dy, and Dz are corresponding differential operators to the )

( space variables x, y and z.)

Line 182

Line 185

( <<ring_of_???>> ring_of_polynomials, ring_of_differential_operators, )

( ring_of_difference_operators)

( <<order>> elimination_order, weight_vector)

( ring_def,ring , << ,, >>)

( ring_def,ring , << __ >>)

]

] putUsages

Line 270 def

Line 273 def

[(join)

[(list1 list2 join list3)

(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