Top
Back: ncfactor_lib
Forward: testNCfac
FastBack: ncdecomp_lib
FastForward: nctools_lib
Up: ncfactor_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.12.0. facFirstWeyl
Procedure from library ncfactor.lib (see ncfactor_lib).

Usage:
facFirstWeyl(h); h a polynomial in the first Weyl algebra

Return:
list

Purpose:
compute all factorizations of a polynomial in the first Weyl algebra

Theory:
Implements the new algorithm by A. Heinle and V. Levandovskyy, see the thesis of A. Heinle

Assume:
basering is the first Weyl algebra

Note:
Every entry of the output list is a list with factors for one possible factorization. The first factor is always a constant (1, if no nontrivial constant could be excluded).

Example:
 
LIB "ncfactor.lib";
ring R = 0,(x,y),dp;
def r = nc_algebra(1,1);
setring(r);
poly h = (x^2*y^2+x)*(x+1);
facFirstWeyl(h);
==> [1]:
==>    [1]:
==>       1
==>    [2]:
==>       x
==>    [3]:
==>       xy2+1
==>    [4]:
==>       x+1
See also: facFirstShift; facSubWeyl; testNCfac.


Top Back: ncfactor_lib Forward: testNCfac FastBack: ncdecomp_lib FastForward: nctools_lib Up: ncfactor_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.