Re: [singular-users] Announcement: Singular-3-1-0

[William Stein]

Hi Sage-Devel,

See below -- Singular 3-1-0 has been released.

Note that their polynomial factorization over GF(p) is still broken (I
try to factor the same polynomial over GF(3) twice and get different
answers). I'm reporting this here:
http://www.singular.uni-kl.de/request_form.html

wstein@sage:~/tmp/Singular/3-1-0$ x86_64-Linux/Singular
SINGULAR /
A Computer Algebra System for Polynomial Computations / version 3-1-0
0<
by: G.-M. Greuel, G. Pfister, H. Schoenemann \ Mar 2009
FB Mathematik der Universitaet, D-67653 Kaiserslautern \
> LIB "general.lib";
> ring R=3,(x,y,z),lp;
> def f=-y8z4+y8z3+y8z-y8+y7z6-y7z4-y7z3+y7z-y6z7+y6z5+y6z4-y6z2+y5z10-y5z9-y5z4+y5z3+y5z-y5-y4z12+y4z10+y4z6-y4z4-y4z3+y4z2+y3z13-y3z11-y3z7+y3z5-y3z4+y3z3+y3z2+y3z-y2z13+y2z12+y2z7-y2z5-y2z3-y2z2-y2z+y2+yz15-yz13-yz9-yz7+yz5-yz4+yz3+yz2+y-z16+z14+z10+z6+z4;
>
. factorH(f);
[1]:
_[1]=-1
_[2]=y4z2+y4z+y4+y3z4-y3z3-y3z2+y3+y2z6-y2z5-y2z4-y2z3-y2z+yz7+yz5-yz4+yz3+yz2+y+z8+z6+z4
_[3]=y4z2+y4z+y4+y3z4-y3z3-y3z2-y3z-y3+y2z6-y2z5-y2z4+y2z+y2+yz7+yz5+yz4+yz3-yz2-y+z8+z6+z4-1
[2]:
1,1,1
> factorH(f);
[1]:
_[1]=-1
_[2]=y8z4-y8z3-y8z+y8-y7z6+y7z4+y7z3-y7z+y6z7-y6z5-y6z4+y6z2-y5z10+y5z9+y5z4-y5z3-y5z+y5+y4z12-y4z10-y4z6+y4z4+y4z3-y4z2-y3z13+y3z11+y3z7-y3z5+y3z4-y3z3-y3z2-y3z+y2z13-y2z12-y2z7+y2z5+y2z3+y2z2+y2z-y2-yz15+yz13+yz9+yz7-yz5+yz4-yz3-yz2-y+z16-z14-z10-z6-z4
[2]:

On Fri, Apr 17, 2009 at 9:24 AM,
<owner-sing...@mathematik.uni-kl.de> wrote:
> Dear Singular users,
> we would like to announce the release of Singular version 3-1-0.
>
> For changes see
> http://www.singular.uni-kl.de/Manual/3-1-0/sing_1575.htm
>
> Currently, we provide the sources:
> ftp://www.mathematik.uni-kl.de/pub/Math/Singular/src/3-1-0/
>
> and binary tar.gz files for several UNIX systems:
> ftp://www.mathematik.uni-kl.de/pub/Math/Singular/UNIX/
> (for the installation of the binaries from tar.gz files:
> http://www.singular.uni-kl.de/UNIX/generic_install.html
> )
>
> Packages for Windows (XP and Vista, 32bit), Mac Os X (fink)
> and RPM/DEB for Linux will follow soon.
>
> Good luck and enjoy!
>
> Hans Schoenemann

[William Stein]

On Fri, Apr 17, 2009 at 10:18 AM, William Stein <wst...@gmail.com> wrote:
> Hi Sage-Devel,
>
> See below -- Singular 3-1-0 has been released.
>
> Note that their polynomial factorization over GF(p) is still broken (I
> try to factor the same polynomial over GF(3) twice and get different
> answers).  I'm reporting this here:
> http://www.singular.uni-kl.de/request_form.html
>

That above webpage for posting bugs is broken, amusingly enough!

But I'll still post this directly, hopefully...

William

[Kiran Kedlaya]

Oooh! Support for Z and Z/m as coefficient rings!

Kiran

[Martin Albrecht]

On Friday 17 April 2009, Kiran Kedlaya wrote:
> Oooh! Support for Z and Z/m as coefficient rings!
>
> Kiran

Yeah, pretty cool. I'm planning to update Singular in Sage while I'm in
Seattle in May (if noone beats me to it that is)

Martin

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