| version 1.6, 2003/06/26 08:14:47 |
version 1.10, 2004/09/16 23:53:44 |
|
|
| %% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.5 2002/09/08 10:49:50 takayama Exp $ |
%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.9 2004/09/11 01:00:42 takayama Exp $ |
| %% usage.sm1 |
%% usage.sm1 |
| %% [(key word) |
%% [(key word) |
| %% [( ) |
%% [( ) |
|
|
| (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) |
(Example: [(x,y) ring_of_differential_operators [[(x) -1 (Dx) 1]] weight_vector) |
| ( 0 [(degreeShift) [1 0 1]]]) |
( 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 ) |
|
|
| ( <<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 |
| |
|
|
|
| [(string . polynomial) |
[(string . polynomial) |
| (Parse the string as a polynomial in the current ring and put it on the stack) |
(Parse the string as a polynomial in the current ring and put it on the stack) |
| (Example ( (x+2)^3 ) .) |
(Example ( (x+2)^3 ) .) |
| |
({ commands }. executes the commands. << . >> is equivalent to exec.) |
| ] |
] |
| ] 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 |
| |
|