Opened 5 years ago

Closed 5 years ago

Last modified 5 years ago

#823 closed bug (not a bug)

elim broken in Singular 4-1-1

Reported by: ren Owned by: somebody
Priority: major Milestone: 4-2-0 and higher
Component: dontKnow Version: 4-1-0
Keywords: Cc:

Description (last modified by ren)

The following code seems to work in Singular 4-1-0 (e.g. in the online interface), but not in Singular 4-1-1 (e.g. on nenekiki):

ring r = 0,(x24,x23,x22,x21,x20,x19,x18,x17,x16,x15,x14,x13,x12,x11,x10,x09,x08,x07,x06,x05,x04,x03,x02,x01,t),dp;
ideal I =  x01^2 + 2*t^2,
-3*x01*t + x02^2 + 3*t^2,
-5*x01*t - 5*x02*t + x03^2 + 5*t^2,
-7*x01*t - 7*x02*t - 7*x03*t + x04^2 + 7*t^2,
-11*x01*t - 11*x02*t - 11*x03*t - 11*x04*t + x05^2 + 11*t^2,
-13*x01*t - 13*x02*t - 13*x03*t - 13*x04*t - 13*x05*t + x06^2 + 13*t^2,
-17*x01*t - 17*x02*t - 17*x03*t - 17*x04*t - 17*x05*t - 17*x06*t + x07^2 + 17*t^2,
-19*x01*t - 19*x02*t - 19*x03*t - 19*x04*t - 19*x05*t - 19*x06*t - 19*x07*t + x08^2 + 19*t^2,
-23*x01*t - 23*x02*t - 23*x03*t - 23*x04*t - 23*x05*t - 23*x06*t - 23*x07*t - 23*x08*t + x09^2 + 23*t^2,
-29*x01*t - 29*x02*t - 29*x03*t - 29*x04*t - 29*x05*t - 29*x06*t - 29*x07*t - 29*x08*t - 29*x09*t + x10^2 + 29*t^2,
-31*x01*t - 31*x02*t - 31*x03*t - 31*x04*t - 31*x05*t - 31*x06*t - 31*x07*t - 31*x08*t - 31*x09*t - 31*x10*t + x11^2 + 31*t^2,
-37*x01*t - 37*x02*t - 37*x03*t - 37*x04*t - 37*x05*t - 37*x06*t - 37*x07*t - 37*x08*t - 37*x09*t - 37*x10*t - 37*x11*t + x12^2 + 37*t^2,
-41*x01*t - 41*x02*t - 41*x03*t - 41*x04*t - 41*x05*t - 41*x06*t - 41*x07*t - 41*x08*t - 41*x09*t - 41*x10*t - 41*x11*t - 41*x12*t + x13^2 + 41*t^2,
-43*x01*t - 43*x02*t - 43*x03*t - 43*x04*t - 43*x05*t - 43*x06*t - 43*x07*t - 43*x08*t - 43*x09*t - 43*x10*t - 43*x11*t - 43*x12*t - 43*x13*t + x14^2 + 43*t^2,
-47*x01*t - 47*x02*t - 47*x03*t - 47*x04*t - 47*x05*t - 47*x06*t - 47*x07*t - 47*x08*t - 47*x09*t - 47*x10*t - 47*x11*t - 47*x12*t - 47*x13*t - 47*x14*t + x15^2 + 47*t^2,
-53*x01*t - 53*x02*t - 53*x03*t - 53*x04*t - 53*x05*t - 53*x06*t - 53*x07*t - 53*x08*t - 53*x09*t - 53*x10*t - 53*x11*t - 53*x12*t - 53*x13*t - 53*x14*t - 53*x15*t + x16^2 + 53*t^2,
-59*x01*t - 59*x02*t - 59*x03*t - 59*x04*t - 59*x05*t - 59*x06*t - 59*x07*t - 59*x08*t - 59*x09*t - 59*x10*t - 59*x11*t - 59*x12*t - 59*x13*t - 59*x14*t - 59*x15*t - 59*x16*t + x17^2 + 59*t^2,
-61*x01*t - 61*x02*t - 61*x03*t - 61*x04*t - 61*x05*t - 61*x06*t - 61*x07*t - 61*x08*t - 61*x09*t - 61*x10*t - 61*x11*t - 61*x12*t - 61*x13*t - 61*x14*t - 61*x15*t - 61*x16*t - 61*x17*t + x18^2 + 61*t^2,
-67*x01*t - 67*x02*t - 67*x03*t - 67*x04*t - 67*x05*t - 67*x06*t - 67*x07*t - 67*x08*t - 67*x09*t - 67*x10*t - 67*x11*t - 67*x12*t - 67*x13*t - 67*x14*t - 67*x15*t - 67*x16*t - 67*x17*t - 67*x18*t + x19^2 + 67*t^2,
-71*x01*t - 71*x02*t - 71*x03*t - 71*x04*t - 71*x05*t - 71*x06*t - 71*x07*t - 71*x08*t - 71*x09*t - 71*x10*t - 71*x11*t - 71*x12*t - 71*x13*t - 71*x14*t - 71*x15*t - 71*x16*t - 71*x17*t - 71*x18*t - 71*x19*t + x20^2 + 71*t^2,
-73*x01*t - 73*x02*t - 73*x03*t - 73*x04*t - 73*x05*t - 73*x06*t - 73*x07*t - 73*x08*t - 73*x09*t - 73*x10*t - 73*x11*t - 73*x12*t - 73*x13*t - 73*x14*t - 73*x15*t - 73*x16*t - 73*x17*t - 73*x18*t - 73*x19*t - 73*x20*t + x21^2 + 73*t^2,
-79*x01*t - 79*x02*t - 79*x03*t - 79*x04*t - 79*x05*t - 79*x06*t - 79*x07*t - 79*x08*t - 79*x09*t - 79*x10*t - 79*x11*t - 79*x12*t - 79*x13*t - 79*x14*t - 79*x15*t - 79*x16*t - 79*x17*t - 79*x18*t - 79*x19*t - 79*x20*t - 79*x21*t + x22^2 + 79*t^2,
-83*x01*t - 83*x02*t - 83*x03*t - 83*x04*t - 83*x05*t - 83*x06*t - 83*x07*t - 83*x08*t - 83*x09*t - 83*x10*t - 83*x11*t - 83*x12*t - 83*x13*t - 83*x14*t - 83*x15*t - 83*x16*t - 83*x17*t - 83*x18*t - 83*x19*t - 83*x20*t - 83*x21*t - 83*x22*t + x23^2 + 83*t^2,
-89*x01*t - 89*x02*t - 89*x03*t - 89*x04*t - 89*x05*t - 89*x06*t - 89*x07*t - 89*x08*t - 89*x09*t - 89*x10*t - 89*x11*t - 89*x12*t - 89*x13*t - 89*x14*t - 89*x15*t - 89*x16*t - 89*x17*t - 89*x18*t - 89*x19*t - 89*x20*t - 89*x21*t - 89*x22*t - 89*x23*t + x24^2 + 89*t^2;
LIB "elim.lib";
int t = timer;
ideal elimI = elim(I,x24*x23*x22*x21*x20*x19*x18*x17*x16*x15*x14*x13*x12*x11*x10*x09*x08*x07*x06*x05*x04*x03*t);

This is the error that I am getting:

   ? `intvec`(@w) = `def` is not supported
   ? expected `intvec` = `intvec`
   ? error occurred in or before elim.lib::elim line 504: `      intvec @w = lER[2];      //in this case w is the intvec of`
   ? expected intvec-expression. type 'help intvec;'
   ? leaving elim.lib::elim
   skipping text from `;` error at token `)`

Change History (1)

comment:1 Changed 5 years ago by ren

Description: modified (diff)
Resolution: not a bug
Status: newclosed

edit: upon closer inspection, the problem came from me using t both as ring variable and as int for tracking time.

Last edited 5 years ago by ren (previous) (diff)
Note: See TracTickets for help on using tickets.