This file is intended for the recording of reported Singular bugs. For
each reported bug the following form should be filled in:

NUMBER::            // Increasing count of reported bugs
WHO/WHEN REPORTED:: // email address of who reported the bug, date of report
WHO/WHEN RECORDED:: // who recorted the bug, date of record
VERSION::           // Singular version (and platform) where bug occurred
DESCRIPTION::       // short description of bug
EXAMPLE::           // code of example generating the bug
WHO/WHEN FIXED::    // who fixeds bug, date when bug was fixed

Furthermore, for each bug, a test file named 'bug_<number>.tst' with
the example which generated the bug is to be added to the Tst/Short
directory and checked into cvs (together with bug_<number>.stat and
bug_<number>.res.gz.uu). Everyone is encouraged to use this mechanism
to report bugs and their fixes.  Coordinator for the handling of bugs
is Hannes.  Here is a template for the bug reports form:

NUMBER::
WHO/WHEN REPORTED::
WHO/WHEN RECORDED::
VERSION::
DESCRIPTION::
EXAMPLE::
WHO/WHEN FIXED::

----------- Bug reports start here - most recent first -----------------

NUMBER:: 33
WHO/WHEN REPORTED:: pfister May 23 2003
WHO/WHEN RECORDED:: hannes Wed May 28 13:49:26 CEST 2003
VERSION:: 2-0-4
DESCRIPTION:: factorize over Q_a
EXAMPLE:: bug_33.tst
WHO/WHEN FIXED:: pfister/hannes Wed May 28 13:49:26 CEST 2003

NUMBER:: 32
WHO/WHEN REPORTED:: O. Labs/ G.Pfister 16 May 2003
WHO/WHEN RECORDED:: hannes 26 May 2003
VERSION:: 2-0-4
DESCRIPTION:: missing some solutions
EXAMPLE:: bug_32.tst
WHO/WHEN FIXED:: O. Labs/ G.Pfister 16 May 2003 (solve.lib)

NUMBER:: 31
WHO/WHEN REPORTED:: Farran/Lossen/Pfister
WHO/WHEN RECORDED:: hannes Feb 18 2003
VERSION:: 2-0-4
DESCRIPTION:: factorize in small char. and algebraic extension
EXAMPLE:: Short/bug_31.tst
WHO/WHEN FIXED:: hannes Feb 18 2003

NUMBER:: 30
WHO/WHEN REPORTED:: anne/14.07.01
WHO/WHEN RECORDED:: hannes/18.07.01
VERSION:: <2-0-1
DESCRIPTION:: coef and weird oderings
EXAMPLE:: bug_30.tst
WHO/WHEN FIXED:: hannes/17.07.01

NUMBER:: 23
WHO/WHEN REPORTED:: anne 8.Febr. 2001
WHO/WHEN RECORDED:: hannes 8.Febr. 2001
VERSION:: 1-3-13
DESCRIPTION:: seg11 when return objects from local rings 
EXAMPLE:: proc p { ring r;return(x);} p();
WHO/WHEN FIXED:: hannes 8.Febr. 2001

NUMBER:: 22
WHO/WHEN REPORTED:: anne/hannes 22. Nov. 2000
WHO/WHEN RECORDED:: hannes 23. Nov. 2000
VERSION:: <=1-3-10
DESCRIPTION:: used polynomila HEcke to cut vectors in NF
EXAMPLE:: ring r=0,(A(1..5)),(c,ds);reduce(A(1)^3*gen(1),maxideal(4));
WHO/WHEN FIXED:: hannes 22. Nov. 2000

NUMBER:: 21
WHO/WHEN REPORTED:: anne/hannes 21. Nov. 2000
WHO/WHEN RECORDED:: hannes 21. Nov. 2000
VERSION:: <=1-3-10
DESCRIPTION:: r1+r2 has incomplete ordering (ord 0 within orderings)
EXAMPLE:: ring r1=0,x,(c,dp);ring r2=0,y,(c,dp);def r=r1+r2;r;
         (number of vars: 2, but only ordering for x)
WHO/WHEN FIXED:: hannes 21. Nov. 2000

NUMBER:: 20
WHO/WHEN REPORTED:: gmg 14 April 2000
WHO/WHEN RECORDED:: hannes 18 April 2000
VERSION:: 1.3.7
DESCRIPTION:: local varibles in returned ring are not killed
EXAMPLE:: proc t {ring r; poly p; return(r); } def rr=t(); listvar(all);
WHO/WHEN FIXED:: hannes 18 April 2000

NUMBER:: 19
WHO/WHEN REPORTED:: hannes 13 April 2000
WHO/WHEN RECORDED:: hannes 13 April 2000
VERSION:: 1.3.7
DESCRIPTION:: vector / poly does not recognise gen(i) 
           (in conversio to/from factory)
EXAMPLE:: (x+1)*(gen(1)+gen(3))/(x+1)
WHO/WHEN FIXED:: hannes 13 April 2000

NUMBER:: 18
WHO/WHEN REPORTED:: obachman 1999/11/17
WHO/WHEN RECORDED:: hannes 13 April 2000
VERSION:: 1.3.7
DESCRIPTION::  error in InitSSpecial -- did not put elements of Q into T
EXAMPLE::
WHO/WHEN FIXED:: obachman 1999/11/17

NUMBER:: 17
WHO/WHEN REPORTED:: agnes  13 Aug 1999 
WHO/WHEN RECORDED:: hannes 13 Sep 1999
VERSION:: 1.3.4
DESCRIPTION:: missing decomposition in char 2
EXAMPLE:: LIB "primdec.lib"; ring R=2,(x,y,z),lp;
  ideal i=z2+z+1,y2+y+1,x+y;
  primdecGTZ(i); primdecSY(i);
WHO/WHEN FIXED:: pfister 10 Sep 1999

NUMBER:: 16
WHO/WHEN REPORTED:: siebert 1 Sep 99 10:50:14 MEZ
WHO/WHEN RECORDED:: hannes  6 Sep 99 17:44
VERSION:: 1.3.4
DESCRIPTION:: complteReduce/redtail failed for:
     local ord + no HC + degBound +redSB
EXAMPLE:: ring r=0,(x,y,z),ds; degBound=4; option(redSB);
          std(ideal(x-x2+y3,z-x));
WHO/WHEN FIXED:: hannes  6 Sep 99 17:44

NUMBER:: 15
WHO/WHEN REPORTED:: Agnes Eileen Heydtmann/Fri, 13 Aug 1999
WHO/WHEN RECORDED:: hannes 20 Aug 1999
VERSION:: 1.3.4
DESCRIPTION:: incomplete decomposition
EXAMPLE::
ring R=3,(x,y),lp;
ideal i=y4-x3-x,x9-x,y9-y;
primdecGTZ(i);
WHO/WHEN FIXED:: Gerhard Pfister 1999/08/17

NUMBER:: 14
WHO/WHEN REPORTED:: anne, 29 Jul 99 16:05:50
WHO/WHEN RECORDED:: hannes, Aug 12 14:38:02 1999
VERSION:: 1.3.4
DESCRIPTION:: off by one in regularity (iiRegularity)
EXAMPLE::i
ring R=0,(u,v,x,y,z),dp;
regularity(mres(ideal(ux,vx,uy,vy),0)); ->0, should be 1
WHO/WHEN FIXED:: hannes, Aug 12 14:38:02 1999

NUMBER:: 13
WHO/WHEN REPORTED:: GMG 13 Jul 1999
WHO/WHEN RECORDED:: hannes 14 Jul 1999
VERSION:: 1.3.3 and before
DESCRIPTION:: off-by-1 in pLowVar, access to undefined array element
EXAMPLE:: ring r = 0,(a,b,c),ds;
          ring r2 = 0,(x,y,z,u,v,w),dp;
          ideal I = x-w,u2w+1,yz-v;
          map phi = r,I;
          ideal Z;
          setring r;
          preimage(r2,phi,Z);
WHO/WHEN FIXED:: hannes 14 Jul 1999

NUMBER:: 12
WHO/WHEN REPORTED:: Walter D. Neumann (neumann@ms.unimelb.edu.au) 28 Jun 1999
WHO/WHEN RECORDED:: hannes 28 Jun 1999
VERSION:: 1.3.3 and before
DESCRIPTION:: factorize(0) and cleanup: off-by-1 for access and * instead of **
              result: memory totally corrupted
EXAMPLE:: see bug_12.tst (not easy to reproduce)
WHO/WHEN FIXED:: hannes 28 Jun 1999

NUMBER:: 11
WHO/WHEN REPORTED:: anne 19 May 1999
WHO/WHEN RECORDED:: hannes 19 May 1999
VERSION:: 1.3.3 and before
DESCRIPTION:: undefined ideal member if 0 appears in ideal(.......)
EXAMPLE:: ring r;list l=x,0,y; ideal(l[1..3]); kill r;
WHO/WHEN FIXED:: hannes 19 May 1999

NUMBER:: 10
WHO/WHEN REPORTED:: straten/greuel 23 Apr 1999
WHO/WHEN RECORDED:: hannes 23 Apr 1999
VERSION:: 1.3.2 and before
DESCRIPTION:: NULL derefrence, if minpoly is reducible
EXAMPLE:: ring s=(0,m),(x,y,z,a,b,c),(dp(3),wp(4,6,14));
          (m^5-m^2)/(m+m^4+m^2-m^6-m^3-m^5);
WHO/WHEN FIXED:: hannes 23 Apr 1999

NUMBER:: 9
WHO/WHEN REPORTED:: Anne Fruehbis, 03/11/99
WHO/WHEN RECORDED:: hannes 03/11/99
VERSION:: 1.3.2, 1.2.3
DESCRIPTION:: coef is incorrect in funny ring orderings
EXAMPLE::
  ring r=0,(e(1..6),x,y,z),ws(-6,1,-13,-6,-20,-13,-2,-13,-6);
  poly p1=10*e(5)*z^3-3*e(1)*x^2;
  coef(p1,e(1));
  coef(p1,e(5));
WHO/WHEN FIXED:: hannes 03/11/99

NUMBER:: 8
WHO/WHEN REPORTED:: Christoph Lossen Fri, 05 Mar 1999 21:34:19
WHO/WHEN RECORDED:: hannes 03/08/99
VERSION:: 1.2.2, 1.3.2 (and before)
DESCRIPTION:: char_series may return empty matrices
EXAMPLE:: ring r;
          poly chi=x2-y2;
          ideal I=chi,jacob(chi);
          primdecSY(I);
WHO/WHEN FIXED:: hannes 03/08/99

NUMBER:: 7
WHO/WHEN REPORTED:: hannes 02/26/99
WHO/WHEN RECORDED:: hannes 03/03/99
VERSION:: 1.3 / all platforms
DESCRIPTION:: crash, if accessing nonexistent entries in map-ideal
EXAMPLE:: ring r; map f=r,0; f[2]=x;
WHO/WHEN FIXED:: hannes 03/03/99

NUMBER:: 6
WHO/WHEN REPORTED:: Thomas Siebert 29 Oct 1998
WHO/WHEN RECORDED:: hannes 10/29/98
VERSION:: 1.2.2 /all platforms
DESCRIPTION:: crash, if 2./3. argument of preimage is not an identifier
EXAMPLE:: ring r; ring r1;
          map f=r,ideal(x2,x3); setring r;
          preimage(r1,f,ideal(0));
WHO/WHEN FIXED:: hannes 10/29/98

NUMBER:: 5
WHO/WHEN REPORTED:: "G.-M. Greuel" <greuel@mathematik.uni-kl.de> 12 Oct 1998
WHO/WHEN RECORDED:: hannes 10/20/98
VERSION:: 1.2.2 /all platforms
DESCRIPTION:: assignment list element = list of indexed sleftv
EXAMPLE:: ring r; list L=ideal(x);L[1]=L[1],L[1];L;
          list LL; LL[1] = LL[1],LL[1]; //should give an error
          list LLL; L[3]=ideal(1); LLL[3][1]=x; LLL;
WHO/WHEN FIXED:: hannes 10/21/98

NUMBER:: 4
WHO/WHEN REPORTED:: Agnes Eileen Heydtmann <agnes@math.uni-sb.de>
WHO/WHEN RECORDED:: hannes 10/9/98
VERSION::  1.2.2 / all platforms
DESCRIPTION:: tests tl instead of sl in kstd2.cc (->crash)
EXAMPLE::
 ring R=7,(x,y),dp;
 matrix A[2][2]=0,1,-1,0;
 matrix B[2][2]=1,1,0,1;
 list T=invariant_ring(A,B,intvec(1,0,1));
WHO/WHEN FIXED:: hannes/siebert 10/8/98

NUMBER:: 3
WHO/WHEN REPORTED::  straten/greuel 10/7/98
WHO/WHEN RECORDED::  hannes 10/7/98
VERSION:: 1.2.2 / all platforms
DESCRIPTION:: content is removed by factorize
EXAMPLE::
 ring r=0,x,dp; poly f=4x2; list l=factorize(f); f;
WHO/WHEN FIXED:: hannes 10/7/98

NUMBER:: 2
WHO/WHEN REPORTED:: greuel, 10/7/98
WHO/WHEN RECORDED:: obachman 10/7/98
VERSION:: 1.2.2 / all platforms
DESCRIPTION:: CTRL-4 core dump (Quit)
EXAMPLE::
WHO/WHEN FIXED::

NUMBER:: 1
WHO/WHEN REPORTED::  Ivan Selesnick <selesi@taco.poly.edu> Thu, 24 Sep 1998
WHO/WHEN RECORDED:: obachman Wed, 7 Oct 98
VERSION:: 1.2.1 / all platforms
DESCRIPTION::
In the following example, the last term "-1" appears
to get printed out incorrectly - reading a file in with
the expression (4)*h0(3)(-1) causes an error.
EXAMPLE::
> ring R = (0,A), (h1(0..7),h0(0..5)), lp;
> 4*h0(3) - 1;
(4)*h0(3)(-1)
> (4)*h0(3)(-1);
   ? `h0(3)(-1)` is not defined
   ? error occurred in STDIN line 3: `(4)*h0(3)(-1);`
>
WHO/WHEN FIXED:: hannes, 1 Oct 98


