Procedure from library ncfactor.lib (see ncfactor_lib).
Usage:
ncfactor(h); h is a polynomial in a non-commutative polynomial
algebra over a field k.
Return:
list(list)
Purpose:
Compute all factorizations of h.
Theory:
Implements an ansatz-driven factorization method as outlined
by Bell, Heinle and Levandovskyy in "On Noncommutative Finite
Factorization Domains".
Assume:
- k is a ring, such that factorize can factor any univariate and
multivariate commutative polynomial over k.
- There exists at least one variable in the ring.
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).