| version 1.30, 2004/02/04 12:03:36 |
version 1.32, 2004/02/24 00:45:33 |
|
|
| %%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.29 2003/12/08 05:50:31 takayama Exp $ |
%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.31 2004/02/05 03:04:40 takayama Exp $ |
| |
|
| /ox.sm1.myname (ox-new.sm1) def |
/ox.sm1.myname (ox-new.sm1) def |
| |
|
| Line 1492 oxasir.verbose { |
|
| Line 1492 oxasir.verbose { |
|
| (avv=) messagen avv message |
(avv=) messagen avv message |
| } { } ifelse |
} { } ifelse |
| |
|
| [$dp_weyl_set_weight(newvect($ avv length toString $,$ |
[$dp_weyl_set_weight(newvect($ ww length toString $,$ |
| ww toString $));$ ] cat /comm set |
ww toString $));$ ] cat /comm set |
| |
|
| verbose.wgr { |
verbose.wgr { |
| Line 1509 oxasir.verbose { |
|
| Line 1509 oxasir.verbose { |
|
| } def |
} def |
| [(asir.wgr) |
[(asir.wgr) |
| [([ ff vv ww ] asir.wgr g) |
[([ ff vv ww ] asir.wgr g) |
| $It computes the (-ww,ww) Grobner basis of ff in the homogenized Wel algebra.$ |
$It computes the (-ww,ww) Grobner basis of ff in the homogenized Weyl algebra.$ |
| (Homogenization is automatically done.) |
(Homogenization is automatically done.) |
| $Example 1: $ |
$Example 1: $ |
| $ [ [(x*Dx+y*Dy-1) (Dx*Dy)] $ |
$ [ [(x*Dx+y*Dy-1) (Dx*Dy)] $ |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ox.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc