Opened 12 years ago
Closed 12 years ago
#328 closed bug (fixed)
res with additional 3rd argument produces a lot of assume violations
| Reported by: | Oleksandr | Owned by: | somebody |
|---|---|---|---|
| Priority: | minor | Milestone: | 3-1-3 and higher |
| Component: | dontKnow | Version: | 3-1-2 |
| Keywords: | res | Cc: |
Description
mDegResolution.sing 2> ring r = 0,(x,y,z,w),dp;
mDegResolution.sing 3>
mDegResolution.sing 4. module m= ideal( xw-yz, x2z-y3, xz2-y2w, yw2-z3);
mDegResolution.sing 5>
mDegResolution.sing 6. def AL = minres(res(m, 0)); AL; // OK!
standard.lib::res 1354. parameter list #;
standard.lib::res 1355> def P=basering;
standard.lib::res 1356> if (size(#) < 2)
standard.lib::res 1357. {
standard.lib::res 1359. ERROR("res: need at least two arguments: ideal/module, int");
standard.lib::res 1360>
standard.lib::res 1361. def m=#[1]; //the ideal or module
standard.lib::res 1362> int i=#[2]; //the length of the resolution
standard.lib::res 1363> if (i< 0) { i=0;}
standard.lib::res 1364>
standard.lib::res 1365. string varstr_P = varstr(P);
standard.lib::res 1366>
standard.lib::res 1367. int p_opt;
standard.lib::res 1368> string s_opt = option();
standard.lib::res 1369> // set p_opt, if option(prot) is set
standard.lib::res 1370. if (find(s_opt, "prot"))
standard.lib::res 1371. {
standard.lib::res 1373. p_opt = 1;
standard.lib::res 1374>
standard.lib::res 1375. if( (size(ideal(basering)) > 0) || (size(ringlist(P)) > 4) )
standard.lib::res 1376. {
standard.lib::res 1380. // the quick hack for qrings - seems to fit most needs
standard.lib::res 1383>
standard.lib::res 1384. if(homog(m)==1)
standard.lib::res 1385. {
standard.lib::res 1390. resolution re;
1 4 4 1
r <-- r <-- r <-- r
0 1 2 3
mDegResolution.sing 7>
mDegResolution.sing 8. /////////////////////////////////////////////////////////////////////////////
mDegResolution.sing 9. def L = res(m, 0, 1); // BUGGGY??
standard.lib::res 1354. parameter list #;
standard.lib::res 1355> def P=basering;
standard.lib::res 1356> if (size(#) < 2)
standard.lib::res 1357. {
standard.lib::res 1359. ERROR("res: need at least two arguments: ideal/module, int");
standard.lib::res 1360>
standard.lib::res 1361. def m=#[1]; //the ideal or module
standard.lib::res 1362> int i=#[2]; //the length of the resolution
standard.lib::res 1363> if (i< 0) { i=0;}
standard.lib::res 1364>
standard.lib::res 1365. string varstr_P = varstr(P);
standard.lib::res 1366>
standard.lib::res 1367. int p_opt;
standard.lib::res 1368> string s_opt = option();
standard.lib::res 1369> // set p_opt, if option(prot) is set
standard.lib::res 1370. if (find(s_opt, "prot"))
standard.lib::res 1371. {
standard.lib::res 1373. p_opt = 1;
standard.lib::res 1374>
standard.lib::res 1375. if( (size(ideal(basering)) > 0) || (size(ringlist(P)) > 4) )
standard.lib::res 1376. {
standard.lib::res 1380. // the quick hack for qrings - seems to fit most needs
standard.lib::res 1383>
standard.lib::res 1384. if(homog(m)==1)
standard.lib::res 1385. {
standard.lib::res 1390. resolution re;
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[4] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[5] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[6] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[7] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
Attachments (1)
Change History (3)
Changed 12 years ago by
| Attachment: | mDegResolution.sing added |
|---|
comment:1 Changed 12 years ago by
btw, res(m, 0, 0) also leads to this:
mDegResolution.sing 9. res(m, 0, 0);
standard.lib::res 1354. parameter list #;
standard.lib::res 1355> def P=basering;
standard.lib::res 1356> if (size(#) < 2)
standard.lib::res 1357. {
standard.lib::res 1359. ERROR("res: need at least two arguments: ideal/module, int");
standard.lib::res 1360>
standard.lib::res 1361. def m=#[1]; //the ideal or module
standard.lib::res 1362> int i=#[2]; //the length of the resolution
standard.lib::res 1363> if (i< 0) { i=0;}
standard.lib::res 1364>
standard.lib::res 1365. string varstr_P = varstr(P);
standard.lib::res 1366>
standard.lib::res 1367. int p_opt;
standard.lib::res 1368> string s_opt = option();
standard.lib::res 1369> // set p_opt, if option(prot) is set
standard.lib::res 1370. if (find(s_opt, "prot"))
standard.lib::res 1371. {
standard.lib::res 1373. p_opt = 1;
standard.lib::res 1374>
standard.lib::res 1375. if( (size(ideal(basering)) > 0) || (size(ringlist(P)) > 4) )
standard.lib::res 1376. {
standard.lib::res 1380. // the quick hack for qrings - seems to fit most needs
standard.lib::res 1383>
standard.lib::res 1384. if(homog(m)==1)
standard.lib::res 1385. {
standard.lib::res 1390. resolution re;
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[4] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[5] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[6] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: assume violation at kutil.cc:5648 condition: p.FDeg == p.pFDeg() occured at:
#0 at kutil.cc:5649 in enterT
#1 at kstd2.cc:1189 in bba
#2 at kstd1.cc:1817 in kStd
#3 at ideals.cc:1483 in idPrepare
#4 at ideals.cc:1552 in idSyzygies
#5 at syz.cc:529 in syResolvente
#6 at syz.cc:657 in syResolution
#7 at iparith.cc:2963 in jjRES
// ***dError: assume violation at ../kernel/kInline.cc:404 condition: FDeg == this->pFDeg() occured at:
#0 at kInline.cc:405 in sTObject::GetpFDeg
#1 at kutil.cc:3531 in posInT110
#2 at kutil.cc:5664 in enterT
#3 at kstd2.cc:1189 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
// ***dError: T[7] FDeg error: has 2, specified to have 4 occured at:
#0 at kutil.cc:712 in kTest_T
#1 at kutil.cc:793 in kTest
#2 at kutil.cc:845 in kTest_TS
#3 at kstd2.cc:1034 in bba
#4 at kstd1.cc:1817 in kStd
#5 at ideals.cc:1483 in idPrepare
#6 at ideals.cc:1552 in idSyzygies
#7 at syz.cc:529 in syResolvente
r <-- r <-- r <-- r
0 1 2 3
mDegResolution.sing 10>
comment:2 Changed 12 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
fixed with revision 14037
Note: See
TracTickets for help on using
tickets.
tests