version 1.10, 2004/09/16 23:53:44 |
version 1.12, 2005/06/15 02:22:51 |
|
|
%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.9 2004/09/11 01:00:42 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) |
%% [( ) |
%% [( ) |
|
|
[(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 |
|
|
|
|
]] 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 |
|
|