version 1.7, 2003/06/26 13:00:11 |
version 1.11, 2004/09/17 00:47:09 |
|
|
%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.6 2003/06/26 08:14:47 takayama Exp $ |
%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.10 2004/09/16 23:53:44 takayama Exp $ |
%% usage.sm1 |
%% usage.sm1 |
%% [(key word) |
%% [(key word) |
%% [( ) |
%% [( ) |
|
|
( <<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 |
|
|