Top
Back: IntersectWithSub
Forward: facFirstWeyl
FastBack: ncdecomp_lib
FastForward: nctools_lib
Up: Non-commutative libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.7.12 ncfactor_lib

Library:
ncfactor.lib
Purpose:
Tools for factorization in some noncommutative algebras
Authors:
Albert Heinle, albert.heinle@rwth-aachen.de
Viktor Levandovskyy, levandov@math.rwth-aachen.de

Overview:
In this library, new methods for factorization on polynomials
are implemented for two algebras, both generated by two generators (Weyl and
shift algebras) over a field K. Recall, that the first Weyl algebra over K
is generated by x,d obeying the relation d*x=x*d+1.
The first shift algebra over K is generated by x,s obeying the relation s*x=x*s+s.
More detailled description of the algorithms can be found at @url{http://www.math.rwth-aachen.de/~Albert.Heinle}.

Guide: We are interested in computing a tree of factorizations, that is at the moment a list of all found factorizations is returned. It may contain factorizations, which are further reducible.

Procedures:

7.7.12.0. facFirstWeyl  factorization in the first Weyl algebra
7.7.12.0. testNCfac  tests factorizations from a given list for correctness
7.7.12.0. facSubWeyl  factorization in the first Weyl algebra as a subalgebra
7.7.12.0. facFirstShift  factorization in the first shift algebra
7.7.12.0. homogfacFirstQWeyl  [-1,1]-homogeneous factorization in the first Q-Weyl algebra
7.7.12.0. homogfacFirstQWeyl_all  [-1,1] homogeneous factorization(complete) in the first Q-Weyl algebra
7.7.12.0. tst_ncfactor  Runs the examples of all contained not static functions. Test thing.


Top Back: IntersectWithSub Forward: facFirstWeyl FastBack: ncdecomp_lib FastForward: nctools_lib Up: Non-commutative libraries 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.