Opened 14 years ago

Closed 14 years ago

#220 closed bug (fixed)

assume violation in Minor.cc:385

Reported by: Hans Owned by: seelisch
Priority: minor Milestone: 3-1-2 and higher
Component: singular-kernel Version: 3-1-1
Keywords: Cc:

Description

*dError: assume violation at Minor.cc:385 condition: result.getSetBits(1) != result.getSetBits(2) occured at:

#0 at Minor.cc:387 in MinorKey::getSubMinorKey #1 at MinorProcessor?.cc:928 in PolyMinorProcessor::getMinorPrivateLaplace #2 at MinorProcessor?.cc:930 in PolyMinorProcessor::getMinorPrivateLaplace #3 at MinorProcessor?.cc:930 in PolyMinorProcessor::getMinorPrivateLaplace #4 at MinorProcessor?.cc:866 in PolyMinorProcessor::getNextMinor #5 at MinorInterface?.cc:180 in getMinorIdeal_Poly #6 at MinorInterface?.cc:286 in getMinorIdeal #7 at MinorInterface?.cc:542 in getMinorIdealHeuristic

Beispiel: Tst/Old?/err3.tst

Change History (1)

comment:1 Changed 14 years ago by seelisch

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.