more factoring issues

[Martin Albrecht]

Hi,

this was reported by Paul Zimmermann:

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 \
> ring r = 2,(y,t),dp;
> poly f = y*t^8 + y^5*t^2 + y*t^6 + t^7 + y^6 + y^5*t + y^2*t^4 + y^2*t^2 +
y^2*t + t^3 + y^2 + t^2;
> factorize(f);
[1]:
_[1]=1
_[2]=yt8+y5t2+yt6+t7+y6+y5t+y2t4+y2t2+y2t+t3+y2+t2
[2]:
1,1

But:

> f == (yt6+y2t4+yt5+y5+y3t2+yt4+t5+y4+y3t+y2t2+yt3+t4+y3+yt2+y2+t2) *
(t^2+t+y+1);
1

http://trac.sagemath.org/sage_trac/ticket/13770

Cheers,
Martin

--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: martinr...@jabber.ccc.de

[Martin Lee]

Hi
I have just committed a fix for this under 15453.
Martin

[Martin Albrecht]

Hi Martin, great! Any idea when this will hit a stable tarball (for us to
use)?

[Martin Lee]

No I'm sorry.

[Simon King]

Hi!

Zitat von Martin Lee <marti...@web.de>:

> No I'm sorry.
>
> Am Montag, 3. Dezember 2012 13:11:04 UTC+1 schrieb Martin Albrecht:
>>
>> Hi Martin, great! Any idea when this will hit a stable tarball (for us to
>> use)?

Currently, I am creating a new Singular spkg at Sage trac ticket
#13731. It backports some fixes for memory corruptions. Can we perhaps
backport the factorization fixes as well, on that occasion?

Best regards,
Simon

----------------------------------------------------------------
This message was sent through https://webmail.uni-jena.de

[Martin Albrecht]

Ha, I wanted to ask you whether that would be okay but hesitated to not
overload the ticket. I'd be delighted if we could backport the fix!

[Martin Lee]

Great! If you need help figuring out the particular commits you need let me know.

[Simon King]

Hi Martin,

Zitat von Martin Albrecht <martinr...@googlemail.com>:

> Ha, I wanted to ask you whether that would be okay but hesitated to not
> overload the ticket. I'd be delighted if we could backport the fix!

If you can provide backports, add it to the patches/ folder of the
singular-3-1-5.p2.spkg of Sage ticket #13731 and update SPKG.txt, then
we could perhaps cross-review?

There should better be a new factorization test in the Sage library as
well, to demonstrate that the problem got fixed.

[Simon King]

PS:

Zitat von Martin Albrecht <martinr...@googlemail.com>:

> Ha, I wanted to ask you whether that would be okay but hesitated to not
> overload the ticket.

IANASE (I am not a software engineer). Perhaps it is better/safer to
keep different issues on different tickets. But it may be faster to do
two fixes in one new version.

[Martin Albrecht]

Lets keep them separated. But lets make the factoring fix depend on your
fixes.

On Monday 03 Dec 2012, Simon King wrote:

[han...@mathematik.uni-kl.de]

On Mon, Dec 03, 2012 at 01:11:04PM +0100, Martin Albrecht wrote:
> Hi Martin, great! Any idea when this will hit a stable tarball (for us to
> use)?
>

Martin Lees answer to this question was to harsh I think.
Although we did not planed a release, it may be worthwhile
to release a summary of the bug fixes since 3-1-5.
Please give us some days to release either Singular 3-1-5-1 or 3-1-6.

Hans

[han...@mathematik.uni-kl.de]

On Mon, Dec 03, 2012 at 02:57:34PM +0100, han...@mathematik.uni-kl.de wrote:
> On Mon, Dec 03, 2012 at 01:11:04PM +0100, Martin Albrecht wrote:
> > Hi Martin, great! Any idea when this will hit a stable tarball (for us to
> > use)?
>

Finally Singular 3-1-6 is ready.
At least the tar ball at
ftp://www.mathematik.uni-kl.de/pub/Math/Singular/src/3-1-6/Singular-3-1-6.tar.gz
or
http://www.mathematik.uni-kl.de/ftp/pub/Math/Singular/src/3-1-6/Singular-3-1-6.tar.gz

The official announcement will follow together with the binaries for
various archictures, which are not ready yet.

Hans Schoenemann