Top
Back: homogfacFirstQWeyl
Forward: nctools_lib
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. homogfacFirstQWeyl_all
Procedure from library ncfactor.lib (see ncfactor_lib).

Usage:
homogfacFirstQWeyl_all(h); h is a homogeneous polynomial in the first q-Weyl algebra with respect to the weight vector [-1,1]

Return:
list

Purpose:
Computes all factorizations of a homogeneous polynomial h with respect to the weight vector [-1,1] in the first q-Weyl algebra

Theory:
homogfacFirstQWeyl returns a list with all factorization of the given, homogeneous polynomial. It uses the output of homogfacFirstQWeyl and permutes its entries with respect to the commutation rule. Furthermore, if a factor of degree zero is irreducible in K[\theta], but reducible in the first q-Weyl algebra, the permutations of this element with the other entries will also be computed.

Example:
 
LIB "ncfactor.lib";
ring R = (0,q),(x,d),dp;
def r = nc_algebra (q,1);
setring(r);
poly h = q^25*x^10*d^10+q^16*(q^4+q^3+q^2+q+1)^2*x^9*d^9+
q^9*(q^13+3*q^12+7*q^11+13*q^10+20*q^9+26*q^8+30*q^7+
31*q^6+26*q^5+20*q^4+13*q^3+7*q^2+3*q+1)*x^8*d^8+
q^4*(q^9+2*q^8+4*q^7+6*q^6+7*q^5+8*q^4+6*q^3+
4*q^2+2q+1)*(q^4+q^3+q^2+q+1)*(q^2+q+1)*x^7*d^7+
q*(q^2+q+1)*(q^5+2*q^4+2*q^3+3*q^2+2*q+1)*(q^4+q^3+q^2+q+1)*(q^2+1)*(q+1)*x^6*d^6+
(q^10+5*q^9+12*q^8+21*q^7+29*q^6+33*q^5+31*q^4+24*q^3+15*q^2+7*q+12)*x^5*d^5+
6*x^3*d^3+24;
homogfacFirstQWeyl_all(h);
==> [1]:
==>    [1]:
==>       1
==>    [2]:
==>       x5d5+6
==>    [3]:
==>       x5d5+x3d3+4
==> [2]:
==>    [1]:
==>       1
==>    [2]:
==>       x5d5+x3d3+4
==>    [3]:
==>       x5d5+6
See also: homogfacFirstQWeyl.


Top Back: homogfacFirstQWeyl Forward: nctools_lib 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-3, March 2011, generated by texi2html.