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; }
Note: See
TracTickets for help on using
tickets.
fixed with 9f60696b949cb32e69968e88bd6fe9173f248612