=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v retrieving revision 1.5 retrieving revision 1.6 diff -u -p -r1.5 -r1.6 --- OpenXM/src/kan96xx/Kan/usage.sm1 2002/09/08 10:49:50 1.5 +++ OpenXM/src/kan96xx/Kan/usage.sm1 2003/06/26 08:14:47 1.6 @@ -1,4 +1,4 @@ -%% $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.5 2002/09/08 10:49:50 takayama Exp $ %% usage.sm1 %% [(key word) %% [( ) @@ -109,6 +109,9 @@ ( 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) ( Dx,Dy, and Dz are corresponding differential operators to the )