Recent changes to 40: nc_factorize wrong outputhttp://sourceforge.net/p/reduce-algebra/bugs/40/Recent changes to 40: nc_factorize wrong outputenSat, 08 Sep 2012 13:10:36 -0000nc_factorize wrong outputhttp://sourceforge.net/p/reduce-algebra/bugs/40/Hello Reduce-Team,
I am working with noncommutative Polynomials in the first Weyl algebra, and Reduce provides a tool to factorize elements in that algebra.
While doing that, I discovered a reducible polynomial that was not factorized by reduce. I will provide you the input:
1: load\_package "ncpoly";
2: nc\_setup\(\{x,d\},\{d\*x-x\*d=1\}\);
3: h := \(d^4+x^2+d\*x+x\)\*\(d^2+x^4+x\*d+d\);
6 5 5 4 4 4 3 3 3 2 2 2 5
h := x + x \*d + x + x \*d + 5\*x + 16\*x \*d + x \*d + 74\*x \*d + 2\*x \*d + x\*d
3 2 6 5 4 2
\+ x\*d + 2\*x\*d + 99\*x\*d + d + d + 4\*d + d + d + 24
4: nc\_factorize\(h\);
6 5 5 4 4 4 3 3 3 2 2 2 5
\{x + x \*d + x + x \*d + 5\*x + 16\*x \*d + x \*d + 74\*x \*d + 2\*x \*d + x\*d
3 2 6 5 4 2
\+ x\*d + 2\*x\*d + 99\*x\*d + d + d + 4\*d + d + d + 24\}
As you see, h was clearly given reducible, but the output was just the trivial factorization, i.e. the polynomial itself.
Best regards,
Albert HeinleAlbert HeinleSat, 08 Sep 2012 13:10:36 -0000http://sourceforge.net067f91368c50d7bff6df194a068671fbab3eef3c