primdecSY() example causes segfault in kernel

[kroeker@…]

crashing example:

LIB("primdec.lib");
ring rng = (7,vv),(xz,xt,xp,xy),(dp(4),C);
minpoly = (vv^2+vv+3);
ideal I = (2*vv+3)*xt*xp^2+(-3*vv-3)*xz*xt+(vv-1)*xp*xy,
(-3*vv-1)*xp*xy^2+(2*vv+2)*xt^2,
(3*vv-2)*xz^2*xt+(vv-2)*xy;
primdecSY (I);

backtrace:

#0  0x00000000004a2ecb in debug (method=0) at ../../Singular/cntrlc.cc:463
#1  0x00000000004a2a91 in sigsegv_handler (sig=11, s=...) at ../../Singular/cntrlc.cc:248
#2  <signal handler called>
#3  0x00000000007a0970 in InternalCF::incRefCount (this=0xfcfcfcfcfcfcfcfc) at ../../factory/int_cf.h:40
#4  0x00000000007a09fc in InternalCF::copyObject (this=0xfcfcfcfcfcfcfcfc) at ../../factory/int_cf.h:50
#5  0x00000000009091dc in getMipo (alpha=...) at ../../factory/variable.cc:216
#6  0x00000000008fdac2 in InternalPoly::invert (this=0x7f7ee3b258a0) at ../../factory/int_poly.cc:257
#7  0x0000000000901421 in InternalPoly::dividecoeff (this=0x7f7ee3b258a0, cc=0x6, invert=true) at ../../factory/int_poly.cc:1227
#8  0x000000000079b45a in CanonicalForm::operator/= (this=0x7fff847b11e0, cf=...) at ../../factory/canonicalform.cc:758
#9  0x00000000007ce80f in operator/ (lhs=..., rhs=...) at ../../factory/cf_inline.cc:532
#10 0x0000000000881be4 in normalize (factors=...) at ../../factory/facFqBivarUtil.cc:291
#11 0x000000000087a575 in biFactorize (F=..., info=...) at ../../factory/facFqBivar.cc:8437
#12 0x00000000007b9809 in FpBiFactorize (G=..., substCheck=true) at ../../factory/facFqBivar.h:272
#13 0x00000000007bc950 in FpFactorize (G=..., substCheck=true) at ../../factory/facFqFactorize.h:106
#14 0x00000000007b4919 in factorize (f=..., issqrfree=false) at ../../factory/cf_factor.cc:519
#15 0x000000000074cdf3 in singclap_factorize (f=0x7f7ee3bf1360, v=0x7fff847b3000, with_exps=1, r=0x7f7eea3c38e0) at ../../../libpolys/polys/clapsing.cc:910
#16 0x00000000004b91a8 in jjFAC_P2 (res=0x7fff847b31a0, u=0x7fff847b3548, dummy=0x7fff847b35b8) at ../../Singular/iparith.cc:2162
#17 0x00000000004cd3d8 in iiExprArith2TabIntern (res=0x7fff847b31a0, a=0x7fff847b3548, op=432, b=0x7fff847b35b8, proccall=1, dA2=0xc6aaf0 <dArith2+5424>, at=279, bt=447, dConvertTypes=0xc6c3a0 <dConvertTypes>)
    at ../../Singular/iparith.cc:7786
#18 0x00000000004cdf80 in iiExprArith2 (res=0x7fff847b31a0, a=0x7fff847b3548, op=432, b=0x7fff847b35b8, proccall=1) at ../../Singular/iparith.cc:7966
#19 0x00000000004aa57c in yyparse () at grammar.y:647
#20 0x00000000004dd5ad in iiAllStart (pi=0x7f7eea34bf10, 
    p=0x7f7ee3bcab80 "parameter ideal SI; parameter poly p;  \n  ASSUME(1, hasFieldCoefficient(basering) );\n  ASSUME(1, not isQuotientRing(basering) ) ;\n  ASSUME(1, hasGlobalOrdering(basering) ) ;\n\n  ideal fac=factorize(p,1"..., 
    t=BT_proc, l=5097) at ../../Singular/iplib.cc:319
#21 0x00000000004dda8c in iiPStart (pn=0x7f7eea34e6f0, v=0x7f7ee3b0bce0) at ../../Singular/iplib.cc:419
#22 0x00000000004de1d0 in iiMake_proc (pn=0x7f7eea34e6f0, pack=0x0, sl=0x7f7ee3b0bce0) at ../../Singular/iplib.cc:612
#23 0x00000000004b6fc1 in jjPROC (res=0x7fff847b6540, u=0x7f7ee3b0b100, v=0x7f7ee3b0bce0) at ../../Singular/iparith.cc:1622
#24 0x00000000004cd751 in iiExprArith2TabIntern (res=0x7fff847b6540, a=0x7fff847b6878, op=40, b=0x7f7ee3b0b950, proccall=0, dA2=0xc6a6d0 <dArith2+4368>, at=271, bt=274, dConvertTypes=0xc6c3a0 <dConvertTypes>)
    at ../../Singular/iparith.cc:7823
#25 0x00000000004cdf80 in iiExprArith2 (res=0x7fff847b6540, a=0x7fff847b6878, op=40, b=0x7f7ee3b0b950, proccall=0) at ../../Singular/iparith.cc:7966
#26 0x00000000004c9606 in jjKLAMMER_PL (res=0x7fff847b6540, u=0x7fff847b6878) at ../../Singular/iparith.cc:7196
#27 0x00000000004cfdcd in iiExprArithM (res=0x7fff847b6540, a=0x7fff847b6878, op=40) at ../../Singular/iparith.cc:8458
#28 0x00000000004a9ee2 in yyparse () at grammar.y:530
#29 0x00000000004dd5ad in iiAllStart (pi=0x7f7eea34bd80, 
    p=0x7f7ee3be7100 "parameter ideal SI; parameter ideal SP;  \n  ASSUME(1, hasFieldCoefficient(basering) );\n  ASSUME(1, not isQuotientRing(basering) ) ;\n  ASSUME(1, hasGlobalOrdering(basering) ) ;\n\n  list indsets=indepSet"..., 
    t=BT_proc, l=4988) at ../../Singular/iplib.cc:319
#30 0x00000000004dda8c in iiPStart (pn=0x7f7eea34e360, v=0x7f7ee3a6a5c0) at ../../Singular/iplib.cc:419
#31 0x00000000004de1d0 in iiMake_proc (pn=0x7f7eea34e360, pack=0x0, sl=0x7f7ee3a6a5c0) at ../../Singular/iplib.cc:612
#32 0x00000000004b6fc1 in jjPROC (res=0x7fff847b98e0, u=0x7f7ee3a6a820, v=0x7f7ee3a6a5c0) at ../../Singular/iparith.cc:1622
#33 0x00000000004cd751 in iiExprArith2TabIntern (res=0x7fff847b98e0, a=0x7fff847b9c18, op=40, b=0x7f7ee3a6a6f0, proccall=0, dA2=0xc6a6d0 <dArith2+4368>, at=271, bt=274, dConvertTypes=0xc6c3a0 <dConvertTypes>)
    at ../../Singular/iparith.cc:7823
#34 0x00000000004cdf80 in iiExprArith2 (res=0x7fff847b98e0, a=0x7fff847b9c18, op=40, b=0x7f7ee3a6a6f0, proccall=0) at ../../Singular/iparith.cc:7966
#35 0x00000000004c9606 in jjKLAMMER_PL (res=0x7fff847b98e0, u=0x7fff847b9c18) at ../../Singular/iparith.cc:7196
#36 0x00000000004cfdcd in iiExprArithM (res=0x7fff847b98e0, a=0x7fff847b9c18, op=40) at ../../Singular/iparith.cc:8458
#37 0x00000000004a9ee2 in yyparse () at grammar.y:530
#38 0x00000000004dd5ad in iiAllStart (pi=0x7f7eea34b740, 
    p=0x7f7eea400100 "parameter ideal I; parameter int choose;  \n  ASSUME(1, hasFieldCoefficient(basering) );\n  ASSUME(1, not isQuotientRing(basering) ) ;\n  ASSUME(1, hasGlobalOrdering(basering) ) ;\n\n  if((choose<0) or (ch"..., 
    t=BT_proc, l=4532) at ../../Singular/iplib.cc:319
#39 0x00000000004dda8c in iiPStart (pn=0x7f7eea34cf40, v=0x7f7eea3f0820) at ../../Singular/iplib.cc:419
#40 0x00000000004de1d0 in iiMake_proc (pn=0x7f7eea34cf40, pack=0x0, sl=0x7f7eea3f0820) at ../../Singular/iplib.cc:612
#41 0x00000000004b6fc1 in jjPROC (res=0x7fff847bcc80, u=0x7f7eea3f0bb0, v=0x7f7eea3f0820) at ../../Singular/iparith.cc:1622
#42 0x00000000004cd751 in iiExprArith2TabIntern (res=0x7fff847bcc80, a=0x7fff847bcfb8, op=40, b=0x7f7eea36b490, proccall=0, dA2=0xc6a6d0 <dArith2+4368>, at=271, bt=274, dConvertTypes=0xc6c3a0 <dConvertTypes>)
    at ../../Singular/iparith.cc:7823
#43 0x00000000004cdf80 in iiExprArith2 (res=0x7fff847bcc80, a=0x7fff847bcfb8, op=40, b=0x7f7eea36b490, proccall=0) at ../../Singular/iparith.cc:7966
#44 0x00000000004c9606 in jjKLAMMER_PL (res=0x7fff847bcc80, u=0x7fff847bcfb8) at ../../Singular/iparith.cc:7196
#45 0x00000000004cfdcd in iiExprArithM (res=0x7fff847bcc80, a=0x7fff847bcfb8, op=40) at ../../Singular/iparith.cc:8458

[hannes]

fixed with 9f14f314806be7f9edbaec365f818b4f59cdacf0