#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 )
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
Description: | modified (diff) |
---|---|
Resolution: | → not a bug |
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
edit: upon closer inspection, the problem came from me using t both as ring variable and as int for tracking time.