Opened 10 years ago

Closed 9 years ago

## #440 closed bug (fixed)

# Factoring over a finite field returns reducible factor

Reported by: | 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.

**Note:**See TracTickets for help on using tickets.

fixed with 15114