wrong weight vector to deg leads segmentation fault in division

[ryutaroh@…]

Executing the attached file causes

Singular : signal 11 (v: 3130/ 14127M ):
current line:>>division(target_poly, ideal(min_degree_poly_with_lpos_two));<<
Segment fault/Bus error occurred at 11 because of 10206 (r:1318967778)
please inform the authors
trying to restart...

The segmentation fault occurs at the last line. This seems to be caused by line 85, because changing intvec(1,0,0,0) to intvec(1,0,0) prevents the segmentation fault. I am aware that the number of variables is three and giving intvec(1,0,0,0) to deg() does not make much sense.

The full output follows:

$ Singular -v
Singular for x86_64-Linux version 3-1-3 (3130- 14127M )  Apr  8 2011 19:55:17
with
	factory(@(#) factoryVersion = 3.1.2),libfac(3.1.3,March 2011),
	GMP(4.3),NTL(5.5.2),64bit,unknown fgets method,Plural,DBM,
	dynamic modules,dynamic p_Procs,OM_CHECK=0,OM_TRACK=0,random=1318967778
	CC= gcc -march=k8 -O3 -w -fomit-frame-pointer -pipe -DNDEBUG -DOM_NDEBUG -Dx86_64_Linux -DHAVE_CONFIG_H,
	CXX= g++ -march=k8 -O3 -w -fomit-frame-pointer --no-rtti -I.. -I/tmp/hannes -pipe -DNDEBUG -DOM_NDEBUG -Dx86_64_Linux -DHAVE_CONFIG_H (4.4.5)
argv[0]   :	/usr/lib/Singular/Singular
SearchPath:	/usr/lib/Singular/MOD:/usr/share/Singular/LIB
Singular  :	/usr/bin/Singular
BinDir    :	/usr/lib/Singular
RootDir   :	/usr/share/Singular
DefaultDir:	
InfoFile  :	/usr/share/doc/Singular/info/singular.hlp
IdxFile   :	/usr/share/doc/Singular/doc/singular.idx
HtmlDir   :	/usr/share/doc/Singular/html
ManualUrl :	www.singular.uni-kl.de/Manual/3-1-3
ExDir     :	/usr/share/doc/Singular/examples
Path      :	/usr/lib/Singular:/usr/bin:/usr/local/bin:/bin:/usr/local/games:/usr/games
EmacsDir  :	/usr/share/Singular/emacs
Available HelpBrowsers: firefox, xinfo, info, builtin, dummy, emacs, 
Current HelpBrowser: firefox 
                     SINGULAR                                 /
 A Computer Algebra System for Polynomial Computations       /   version 3-1-3
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   March 2011
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
> <"singular-bug-111019-2.txt";
// ** loaded /usr/share/Singular/LIB/decodegb.lib (13483,2010-10-13)
// ** loaded /usr/share/Singular/LIB/brnoeth.lib (14192,2011-05-04)
// ** loaded /usr/share/Singular/LIB/inout.lib (13499,2010-10-15)
// ** loaded /usr/share/Singular/LIB/hnoether.lib (14196,2011-05-04)
// ** loaded /usr/share/Singular/LIB/sing.lib (13787,2011-01-10)
// ** loaded /usr/share/Singular/LIB/primdec.lib (14192,2011-05-04)
// ** loaded /usr/share/Singular/LIB/ring.lib (12231,2009-11-02)
// ** loaded /usr/share/Singular/LIB/absfact.lib (14191,2011-05-04)
// ** loaded /usr/share/Singular/LIB/poly.lib (14203,2011-05-05)
// ** loaded /usr/share/Singular/LIB/elim.lib (13499,2010-10-15)
// ** loaded /usr/share/Singular/LIB/general.lib (14191,2011-05-04)
// ** loaded /usr/share/Singular/LIB/random.lib (14203,2011-05-05)
// ** loaded /usr/share/Singular/LIB/primitiv.lib (13499,2010-10-15)
// ** loaded /usr/share/Singular/LIB/triang.lib (13499,2010-10-15)
// ** loaded /usr/share/Singular/LIB/matrix.lib (13658,2010-11-16)
// ** loaded /usr/share/Singular/LIB/nctools.lib (14213,2011-05-12)
// ** loaded /usr/share/Singular/LIB/linalg.lib (13733,2010-12-06)
Singular : signal 11 (v: 3130/ 14127M ):
current line:>>division(target_poly, ideal(min_degree_poly_with_lpos_two));<<
Segment fault/Bus error occurred at 11 because of 10206 (r:1318967778)
please inform the authors
trying to restart...
> quit;
Auf Wiedersehen.

[ryutaroh@…]

this file causes segmentation fault in Singular

[Oleksandr]

Hi,

thanks for your feedback!

I confirm a segmentation fault on a 64 bit Linux (@Hans: wawa), but on a 32 bit machine (@Hans: mamawutz) I have got the following result (release and debug versions):

[1]:
   _[1,1]=1
[2]:
   _[1]=a^243*e1*x^255+a^198*e2+a^65*e1*x^254+a^51*e1*x^253+a^15*e1*x^252+a^126*e1*x^251+a^168*e1*x^250+a^113*e1*x^249+a^193*e1*x^248+a^32*e1*x^247+a^97*e1*x^246+a^38*e1*x^245+a^131*e1*x^244+a^9*e1*x^243+a^169*e1*x^242+a^221*e1*x^241+a^103*e1*x^240+a^138*e1*x^239+a^191*e1*x^238+a^200*e1*x^237+a^242*e1*x^236+a^226*e1*x^235+a^48*e1*x^234+a^213*e1*x^233+a^89*e1*x^232+a^189*e1*x^231+a^224*e1*x^230+a^114*e1*x^229+a^160*e1*x^228+a^232*e1*x^227+a^230*e1*x^226+a^44*e1*x^225+a^12*e1*x^224+a^45*e1*x^223+a^71*e1*x^222+a^122*e1*x^221+a^174*e1*x^220+a^225*e1*x^219+a^250*e1*x^218+a^148*e1*x^217+a^56*e1*x^216+a^35*e1*x^215+a^227*e1*x^214+a^94*e1*x^213+a^126*e1*x^212+a^111*e1*x^211+a^28*e1*x^210+a^110*e1*x^209+a^249*e1*x^208+a^60*e1*x^207+a^209*e1*x^206+a^115*e1*x^205+a^109*e1*x^204+a^157*e1*x^203+a^152*e1*x^202+a^130*e1*x^201+a^183*e1*x^200+a^74*e1*x^199+a^181*e1*x^198+a^9*e1*x^197+a^173*e1*x^196+a^19*e1*x^195+a^132*e1*x^194+a^163*e1*x^193+a^25*e1*x^192+a^189*e1*x^191+a^87*e1*x^190+a^95*e1*x^189+a^193*e1*x^188+a^151*e1*x^187+a^117*e1*x^186+a^189*e1*x^185+a^94*e1*x^184+a^157*e1*x^183+a^48*e1*x^182+a^149*e1*x^181+a^8*e1*x^180+a^103*e1*x^179+a^59*e1*x^178+a^142*e1*x^177+a^254*e1*x^176+a^109*e1*x^175+a^38*e1*x^174+a^232*e1*x^173+a^51*e1*x^172+a^18*e1*x^171+a^217*e1*x^170+a^254*e1*x^169+a^213*e1*x^168+a^132*e1*x^167+a^87*e1*x^166+a^123*e1*x^165+a^88*e1*x^164+a^189*e1*x^163+a^102*e1*x^162+a^233*e1*x^161+a^110*e1*x^160+a^59*e1*x^159+a^13*e1*x^158+a^43*e1*x^157+a^140*e1*x^156+a^125*e1*x^155+a^180*e1*x^154+a^252*e1*x^153+a^49*e1*x^152+a^185*e1*x^151+a^144*e1*x^150+a^131*e1*x^149+a^12*e1*x^148+a^165*e1*x^147+a^94*e1*x^146+a^65*e1*x^145+a^121*e1*x^144+a^124*e1*x^143+a^192*e1*x^142+a^172*e1*x^141+a^128*e1*x^140+a^182*e1*x^139+a^174*e1*x^138+a^208*e1*x^137+a^18*e1*x^136+a^9*e1*x^135+a^242*e1*x^134+a^55*e1*x^133+a^195*e1*x^132+a^22*e1*x^131+a^160*e1*x^130+a^69*e1*x^129+a^47*e1*x^128+a^249*e1*x^127+a^166*e1*x^126+a^187*e1*x^125+a^72*e1*x^124+a^188*e1*x^123+a^126*e1*x^122+a^45*e1*x^121+a^174*e1*x^120+a^26*e1*x^119+a^193*e1*x^118+a^168*e1*x^117+a^46*e1*x^116+a^57*e1*x^115+a^109*e1*x^114+a^147*e1*x^113+a^118*e1*x^112+a^139*e1*x^111+a^51*e1*x^110+a^102*e1*x^109+a^182*e1*x^108+a^250*e1*x^107+a^88*e1*x^106+a^34*e1*x^105+a^206*e1*x^104+a^185*e1*x^103+a^18*e1*x^102+a^113*e1*x^101+a^149*e1*x^100+a^109*e1*x^99+a^166*e1*x^98+a^126*e1*x^97+a^202*e1*x^96+a^31*e1*x^95+a^123*e1*x^94+a^113*e1*x^93+a^174*e1*x^92+a^243*e1*x^91+a*e1*x^90+a^10*e1*x^89+a^233*e1*x^88+a^106*e1*x^87+a^202*e1*x^86+a^70*e1*x^85+a^199*e1*x^84+a^160*e1*x^83+a^39*e1*x^82+a^12*e1*x^81+a^215*e1*x^80+a^156*e1*x^79+a^64*e1*x^78+a^142*e1*x^77+a^175*e1*x^76+a^48*e1*x^75+a^135*e1*x^74+a^211*e1*x^73+a^242*e1*x^71+a^35*e1*x^70+a^170*e1*x^69+a^133*e1*x^68+a^70*e1*x^67+a^158*e1*x^66+a^210*e1*x^65+a^89*e1*x^64+a^23*e1*x^63+a^184*e1*x^62+a^13*e1*x^61+a^125*e1*x^60+a^240*e1*x^59+a^180*e1*x^58+a^239*e1*x^57+a^122*e1*x^56+a^157*e1*x^55+a^33*e1*x^54+a^36*e1*x^53+a^191*e1*x^52+a^166*e1*x^51+a^45*e1*x^50+a^218*e1*x^49+a^111*e1*x^48+a^98*e1*x^47+a^151*e1*x^46+a^222*e1*x^45+a^17*e1*x^44+a^101*e1*x^43+a^99*e1*x^42+a^216*e1*x^41+a^199*e1*x^40+a^61*e1*x^39+a^233*e1*x^38+a^35*e1*x^37+a^170*e1*x^36+a^46*e1*x^35+a^211*e1*x^34+a^239*e1*x^33+a^75*e1*x^32+a^6*e1*x^31+a^123*e1*x^30+a^134*e1*x^29+a^180*e1*x^28+a^24*e1*x^27+a^218*e1*x^26+a^32*e1*x^25+a^123*e1*x^24+a^203*e1*x^23+a^91*e1*x^22+a^168*e1*x^21+a^89*e1*x^20+a^91*e1*x^19+a^177*e1*x^18+a^190*e1*x^17+a^208*e1*x^16+a^173*e1*x^15+a^74*e1*x^14+a^76*e1*x^13+a^29*e1*x^12+a^107*e1*x^11+a^24*e1*x^10+a^114*e1*x^9+a^250*e1*x^8+a^211*e1*x^7+a^128*e1*x^6+a^24*e1*x^5+a^228*e1*x^4+a^232*e1*x^3+a^18*e1*x^2+a^234*e1*x+a^86*e1
[3]:
   _[1,1]=1

whereas the debug version showed the following problem:

singular-bug-111019-2.txt 102> poly min_degree_poly_with_lpos_two;
singular-bug-111019-2.txt 103> for (j=1; j<=size(gb); j++) {
singular-bug-111019-2.txt 104.   if (deg(lead(gb[j]), intvec(1,0,0,0)) == 1) {
singular-bug-111019-2.txt 106.     min_degree_poly_with_lpos_two = gb[j];
singular-bug-111019-2.txt 108.     break;
singular-bug-111019-2.txt 110.   }
singular-bug-111019-2.txt 112.  }
***omError_BackPattern: written after end of addr
 occured at: 
  #0 at iparith.cc:1734      in jjDEG_IV            
  #1 at iparith.cc:7434      in iiExprArith2        
  #2 at grammar.y:683        in yyparse             
  #3 at tesths.cc:238        in main                
 occured for addr:0xb3c87b84 size:8 allocated at 
  #0 at iparith.cc:1731      in jjDEG_IV            
  #1 at iparith.cc:7434      in iiExprArith2        
  #2 at grammar.y:683        in yyparse             
  #3 at tesths.cc:238        in main                
***omError_BackPattern: written after end of addr
 occured at: 
  #0 at iparith.cc:1734      in jjDEG_IV            
  #1 at iparith.cc:7434      in iiExprArith2        
  #2 at grammar.y:683        in yyparse             
  #3 at tesths.cc:238        in main                
 occured for addr:0xb71a2d84 size:8 allocated at 
  #0 at iparith.cc:1731      in jjDEG_IV            
  #1 at iparith.cc:7434      in iiExprArith2        
  #2 at grammar.y:683        in yyparse             
  #3 at tesths.cc:238        in main                

If possible, could You please run the code under on a 32 bit version for checking?

Oleksandr

[hannes]

fixed with rev. 14418

As the output of the debug version suggest: an array was allocated (size: the number of variables) and used in a different size (the length of the intvec). Now the minimum of both values is used.