Opened 5 years ago

Closed 5 years ago

#829 closed bug (not a bug)

std in Singular 4.1.1 not terminating for a working example in Singular 4.1.0

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

Description

The enclosed Groebner basis computation terminates within minutes in Singular 4.1.0, but gets stuck indefinitely in Singular 4.1.1 (latest spielwiese version) at the following step of the prot output:

bash-3.2$ Singular example.sing
                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.1.1
                                                           0<
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Feb 2018
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
std in (101,d1,d2,d3,d4,d5,d6),(E1,E2,E3,E4,E5,E6,F12,F13,F14,F15,F16,F23,F24,F25,F26,F34,F35,F36,F45,F46,F56,G1,G2,G3,G4,G5,G6),(dp(27),C)
[3:1]2(269)s(268)ss(269)s(268)ss(270)s(272)--s(273)--s(270)--s(268)--s--s(269)--s(270)-----s(264)-----s(259)-----s(256)-----s(254)-----s(253)-----s(249)s(251)s(254)s(258)s(263)s(269)s--s(268)--s(270)s(273)--s(277)s(284)s-----s(280)-----ss(283)-----s(285)s(293)s(296)--s(299)--s(302)--(300)s(307)--s(314)s(320)s(323)-----s(324)--s(327)-----s(330)--s(338)s(345)s(350)-----s(351)-----s(353)-----s(356)-----s(363)s(370)s(380)s(386)--s(392)--s(399)--s(403)--s(407)-----s(411)--s(419)--s(424)--s(430)-----s(434)-----s(441)--s(447)s(457)--s(464)-----s(469)-----s(476)-----s(481)--s(490)--s(494)-----s(496)-----s(500)s(510)-----s(516)--s(525)-----s(531)-----s(538)----3-----------------------s(517)s(524)s(535)s(542)s(550)s(562)s(574)---------s(573)---------------s(567)---s(575)s(587)-----s(593)------s(599)-s(611)s(620)-s(629)-s(640)-s(649)-s(659)-s(672)-s(685)s(701)-(700)----s(709)---s(717)-s(729)------------------------s(717)-s(729)s(739)-s(749)-s(762)-s(777)-------s(784)---s(792)-s(805)-----(800)-s(811)----------s(814)-----------s(818)---s(826)-s(840)------s(846)------s(853)--------------------------s(839)s(855)---------s(860)s(875)-------------s(877)s(893)---------s(900)s(917)-------s(928)-----------------s(926)----------------s----

Attachments (1)

example.sing (22.3 KB) - added by ren 5 years ago.

Download all attachments as: .zip

Change History (2)

Changed 5 years ago by ren

Attachment: example.sing added

comment:1 Changed 5 years ago by hannes

Resolution: not a bug
Status: newclosed

The example terminates after a running time between 246 sec(i7-6700 CPU @ 3.40GHz,64bit) and 836 sec(Pentium E2180 @ 2.00GHz,32bit)

Note: See TracTickets for help on using tickets.