On Sun, Nov 4, 2018 at 8:03 AM Waldek Hebisch wrote:
...
>
> > enough. The following patch corrects this problem:
>
> Before the patch
>
> f101 := (x*z - z*x)^2 - 2
>
> was immediately recognized as irreducible. With the patch I did not
> get answer for several minutes (may be I am not patient
Bill Page wrote:
>
> > On 10/22/18 9:55 AM, Waldek Hebisch wrote:
> > > I looked at noncommutative factorization code and AFAICS
> > > 'xdpolyf1.spad' has serious problem. One example is:
> > >
> > > (58) -> factor((x^2 - 2)*(y - 1)*(x - 1))
> > >
> > > 2