|
7.7.19.0. WeylClosure1
Procedure from library dmodloc.lib (see dmodloc_lib).
- Usage:
- WeylClosure1(L); L a poly
- Assume:
- The basering is the first Weyl algebra D=K<x,d|dx=xd+1> over a field
K of characteristic 0.
- Return:
- ideal, the Weyl closure of the principal left ideal generated by L
- Remarks:
- The Weyl closure of a left ideal I in the Weyl algebra D is defined
to be the intersection of I regarded as left ideal in the rational
Weyl algebra K(x)<d> with the polynomial Weyl algebra D.
Reference: (Tsa), Algorithm 1.2.4
- Note:
- If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.
Example:
See also:
WeylClosure.
|