|
7.7.12.0. facSubWeyl
Procedure from library ncfactor.lib (see ncfactor_lib).
- Usage:
- facSubWeyl(h,x,y); h, X, D polynomials
- Return:
- list
- Assume:
- X and D are variables of a basering, which satisfy DX = XD +1.
That is, they generate the copy of the first Weyl algebra in a basering.
Moreover, h is a polynomial in X and D only.
- Purpose:
- compute factorizations of the polynomial, which depends on X and D.
Example:
See also:
facFirstShift;
facFirstWeyl;
testNCfac.
|