Opened 8 years ago

Closed 8 years ago

#688 closed bug (fixed)

primdec.lib error (not mathematical, probably just syntactial)

Reported by: ren Owned by: somebody
Priority: trivial Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-1
Keywords: Cc:

Description

result is correct, but some syntactical errors are printed:

Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.0.1
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Sep 2014
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
// ** executing /home/ren/Sources/Singular/LIB/.singularrc
> ring r=0,x(1..3),wp(1,1,1);
> ideal I = x(1)^2+2*x(1)*x(2)+3*x(2)*x(3), 3*x(1)*x(2)+4*x(2)*x(3)+5*x(3)^2;
> LIB "primdec.lib";
// ** loaded /home/ren/Sources/Singular/LIB/primdec.lib (4.0.1.2,Jan_2015)
// ** loaded /home/ren/Sources/Singular/LIB/ring.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/absfact.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/triang.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/matrix.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/nctools.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/inout.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/random.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/poly.lib (4.0.0.0,Jun_2013)
// ** loaded /home/ren/Sources/Singular/LIB/elim.lib (4.0.0.1,Jan_2014)
// ** loaded /home/ren/Sources/Singular/LIB/general.lib (4.0.0.1,Jan_2014)
> primdecGTZ(I);
   ? `gnir_l` is undefined in kill
   ? `@P_l` is undefined in kill
   ? error occurred in or before primdec.lib::decomp_i line 3424: `    kill gnir_l,@P_l;`
   ? leaving primdec.lib::decomp_i
[1]:
   [1]:
      _[1]=3*x(2)^3-14*x(2)^2*x(3)+40*x(2)*x(3)^2+25*x(3)^3
      _[2]=-3*x(2)^2+15*x(1)*x(3)+14*x(2)*x(3)-20*x(3)^2
      _[3]=4*x(1)*x(2)-x(2)^2+5*x(1)*x(3)+10*x(2)*x(3)
      _[4]=3*x(1)^2+x(2)*x(3)-10*x(3)^2
   [2]:
      _[1]=3*x(2)^3-14*x(2)^2*x(3)+40*x(2)*x(3)^2+25*x(3)^3
      _[2]=-3*x(2)^2+15*x(1)*x(3)+14*x(2)*x(3)-20*x(3)^2
      _[3]=4*x(1)*x(2)-x(2)^2+5*x(1)*x(3)+10*x(2)*x(3)
      _[4]=3*x(1)^2+x(2)*x(3)-10*x(3)^2
[2]:
   [1]:
      _[1]=x(3)
      _[2]=x(1)
   [2]:
      _[1]=x(3)
      _[2]=x(1)

this is the part of primdec.lib in which the problem occurs:

  if(ordstr(@P)[1]=="w")
  {
    list gnir_l=ringlist(gnir);
    list @P_l=ringlist(@P);
    gnir_l[3]=@P_l[3]; // ord                                                                             
    def @Phelp=ring(gnir_l);
    setring @Phelp;
    kill gnir_l,@P_l;
  }

Change History (1)

comment:1 Changed 8 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.