=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v retrieving revision 1.6 retrieving revision 1.7 diff -u -p -r1.6 -r1.7 --- OpenXM/src/kan96xx/Kan/usage.sm1 2003/06/26 08:14:47 1.6 +++ OpenXM/src/kan96xx/Kan/usage.sm1 2003/06/26 13:00:11 1.7 @@ -1,4 +1,4 @@ -%% $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.6 2003/06/26 08:14:47 takayama Exp $ %% usage.sm1 %% [(key word) %% [( ) @@ -111,7 +111,7 @@ (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]]]) + ( 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 )