=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM/src/kan96xx/Kan/usage.sm1 2002/02/09 06:21:02 1.4 +++ OpenXM/src/kan96xx/Kan/usage.sm1 2002/09/08 10:49:50 1.5 @@ -1,4 +1,4 @@ -%% $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.4 2002/02/09 06:21:02 takayama Exp $ %% usage.sm1 %% [(key word) %% [( ) @@ -103,6 +103,13 @@ (The user cannot use the variable names h, e, H and E.) (cf. show_ring, system_variable --- CurrentRing) ( 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 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,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.)