| version 1.4, 2002/02/09 06:21:02 |
version 1.13, 2013/08/30 01:00:15 |
|
|
| %% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.3 2000/06/08 08:35:03 takayama Exp $ |
%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.12 2005/06/15 02:22:51 takayama Exp $ |
| %% usage.sm1 |
%% usage.sm1 |
| %% [(key word) |
%% [(key word) |
| %% [( ) |
%% [( ) |
|
|
| (The user cannot use the variable names h, e, H and E.) |
(The user cannot use the variable names h, e, H and E.) |
| (cf. show_ring, system_variable --- CurrentRing) |
(cf. show_ring, system_variable --- CurrentRing) |
| ( print_switch_status, switch_function) |
( print_switch_status, switch_function) |
| |
(Example: [(x,y) ring_of_differential_operators [[(Dx) 1 (Dy) 1]]) |
| |
( weight_vector 0] define_ring) |
| |
( Define the ring of differential operators Q<x,y,Dx,Dy> with the order) |
| |
( obtained by refining the partial order defined by the weight vector) |
| |
( [x,y,Dx,Dy] = [0,0,1,1] ) |
| |
(Example: [(x,y) ring_of_differential_operators 0 [(weightedHomogenization) 1]]) |
| |
( 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.) |
|
|
| ( Dx and Dy are corresponding differential operators to the ) |
( Dx and Dy are corresponding differential operators to the ) |
| ( space variables x and y. Try show_ring to see the commutation) |
( space variables x and y. Try show_ring to see the commutation) |
| ( relations.) |
( relations.) |
| |
(Example: contiguity of 1F1. Eb b = (b-1) Eb) |
| |
( [ [(x) (a,b)] ring_of_differential_difference_operators ) |
| |
( [[(Dx) 1]] weight_vector 0] define_ring ) |
| |
( [ ( x Dx (x Dx+b-1) -x (x Dx+a) ). ) |
| |
( ( (x Dx +b-1) - (b-1) Eb ). ] /ff set ) |
| |
( ff {dehomogenize homogenize} map /ff2 set ) |
| |
( [ff2] groebner /gg set ) |
| |
( gg dehomogenize 0 get /gg set ) |
| |
( gg [(Dx)] eliminatev /gg2 set ) |
| |
( gg2 pmat ) |
| |
|
| ] |
] |
| ] putUsages |
] putUsages |
| |
|
|
|
| ( <<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 |
| |
|
![[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