| version 1.5, 2002/09/08 10:49:50 |
version 1.8, 2004/09/10 22:21:27 |
|
|
| %% $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 |
%% usage.sm1 |
| %% [(key word) |
%% [(key word) |
| %% [( ) |
%% [( ) |
|
|
| ( [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 ) |
( 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) |
(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 ) |
| ( space variables x, y and z.) |
( space variables x, y and z.) |
|
|
| ( <<ring_of_???>> ring_of_polynomials, ring_of_differential_operators, ) |
( <<ring_of_???>> ring_of_polynomials, ring_of_differential_operators, ) |
| ( ring_of_difference_operators) |
( ring_of_difference_operators) |
| ( <<order>> elimination_order, weight_vector) |
( <<order>> elimination_order, weight_vector) |
| ( ring_def,ring , << ,, >>) |
( ring_def,ring , << __ >>) |
| ] |
] |
| ] putUsages |
] putUsages |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to usage.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan