Opened 9 years ago

Closed 9 years ago

#440 closed bug (fixed)

Factoring over a finite field returns reducible factor

Reported by: jdemeyer@… Owned by: somebody
Priority: critical Milestone: 3-1-5 and higher
Component: dontKnow Version: 3-1-5
Keywords: Cc:

Description

In Singular-3-1-5 on x86_64 Linux:

                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 3-1-5
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Jul 2012
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
// ** executing /home/jdemeyer/spkg/upstream/Singular-3-1-5/LIB/.singularrc
> ring R=7,(x,y),dp;
> poly f = y^5*x^4 - y^2*x^7 - y^3 + x^3;
> factorize(f);
[1]:
   _[1]=1
   _[2]=x4y2-1
   _[3]=-x+y
   _[4]=3x+y
   _[5]=-2x+y
[2]:
   1,1,1,1,1

Note that the second factor x4y2-1 is clearly reducible as a difference of two squares.

Change History (1)

comment:1 Changed 9 years ago by mlee

Resolution: fixed
Status: newclosed

fixed with 15114

Note: See TracTickets for help on using tickets.