| version 1.30, 2004/02/04 12:03:36 |
version 1.31, 2004/02/05 03:04:40 |
|
|
| %%%%%%%%%%% $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.30 2004/02/04 12:03:36 takayama Exp $ |
| |
|
| /ox.sm1.myname (ox-new.sm1) def |
/ox.sm1.myname (ox-new.sm1) def |
| |
|
| 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