Opened 13 years ago

Closed 13 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)

mDegResolution.sing (316 bytes) - added by Oleksandr 13 years ago.
tests

Download all attachments as: .zip

Change History (3)

Changed 13 years ago by Oleksandr

Attachment: mDegResolution.sing added

tests

comment:1 Changed 13 years ago by Oleksandr

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> 

Last edited 13 years ago by Oleksandr (previous) (diff)

comment:2 Changed 13 years ago by hannes

Resolution: fixed
Status: newclosed

fixed with revision 14037

Note: See TracTickets for help on using tickets.