: Computing Gröbner basis in
: Gröbner basis and Syzygy
: Computing Gröbner or standard
目次
Example 10
Obtain the Gröbner basis of the ideal in the Weyl algebra
generated by
the differential operators
in terms of the elimination order
by using the homogenized Weyl algebra.
%% gbdiff.sm1
[ (x,y) ring_of_differential_operators
[[(Dx) 1 (Dy) 1]] weight_vector
0
] define_ring
[ (x Dx + y Dy).
(Dx^2 + Dy^2).
] /ff set
ff { [[(h). (1).]] replace homogenize} map /ff2 set
[ff2] groebner dehomogenize ::
Nobuki Takayama
平成17年2月10日