=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v retrieving revision 1.5 retrieving revision 1.8 diff -u -p -r1.5 -r1.8 --- OpenXM/src/kan96xx/Kan/usage.sm1 2002/09/08 10:49:50 1.5 +++ OpenXM/src/kan96xx/Kan/usage.sm1 2004/09/10 22:21:27 1.8 @@ -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.7 2003/06/26 13:00:11 takayama Exp $ %% usage.sm1 %% [(key word) %% [( ) @@ -110,6 +110,9 @@ ( [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.) @@ -182,7 +185,7 @@ ( <> ring_of_polynomials, ring_of_differential_operators, ) ( ring_of_difference_operators) ( <> elimination_order, weight_vector) - ( ring_def,ring , << ,, >>) + ( ring_def,ring , << __ >>) ] ] putUsages