version 1.5, 2002/09/08 10:49:50 |
version 1.7, 2003/06/26 13:00:11 |
|
|
%% $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.6 2003/06/26 08:14:47 takayama Exp $ |
%% usage.sm1 |
%% usage.sm1 |
%% [(key word) |
%% [(key word) |
%% [( ) |
%% [( ) |
|
|
( obtained by refining the partial order defined by the weight vector) |
( obtained by refining the partial order defined by the weight vector) |
( [x,y,Dx,Dy] = [0,0,1,1] ) |
( [x,y,Dx,Dy] = [0,0,1,1] ) |
(Example: [(x,y) ring_of_differential_operators 0 [(weightedHomogenization) 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 ) |
( define_ring ) |
(Example: [(x,y,z) ring_of_differential_operators (Dx,Dy) elimination_order 0] 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 ) |
( Dx,Dy, and Dz are corresponding differential operators to the ) |