version 1.5, 2002/09/08 10:49:50 |
version 1.12, 2005/06/15 02:22:51 |
|
|
%% $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.11 2004/09/17 00:47:09 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 |
|
|
|
|
[(join) |
[(join) |
[(list1 list2 join list3) |
[(list1 list2 join list3) |
(Ex. [1 2] [3 [4 (ab)]] join [1 2 3 [4 (ab)]]) |
(Ex. [1 2] [3 [4 (ab)]] join [1 2 3 [4 (ab)]]) |
|
(Note: Join should use for arrays. It works for list too,) |
|
( but it does not copy cells. cf. cons) |
|
( So, it might generate looped lists or destroy other lists.) |
] |
] |
] putUsages |
] putUsages |
|
|
|
|
]] putUsages |
]] putUsages |
[(toVectors2) |
[(toVectors2) |
[(Remained for the compatibility. cf. toVectors) |
[(Remained for the compatibility. cf. toVectors) |
|
]] putUsages |
|
|
|
[(extension-examples) |
|
[ |
|
$putAttributeList$ |
|
$ [(putAttributeList) [[(x+y-1) (x-y-2)] (x,y)] $ |
|
$ [(needSyz) 1 (sugar) 1]] extension /myarg set $ |
|
$ [(getAttributeList) myarg] extension :: $ |
|
$ [(getAttribute) myarg (sugar)] extension :: $ |
]] putUsages |
]] putUsages |
|
|