Project

General

Profile

Bug #1190

HilbertBasisKer: SEGV (again)

Added by John Abbott almost 6 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
High
Assignee:
Anna Maria Bigatti
Category:
bug
Target version:
CoCoA-5.2.4
Start date:
19 Jun 2018
Due date:
% Done:

100%

Estimated time:
3.51 h
Spent time:
3.40 h

Description

I get SEGV with the following input:

N := 9;
M := mat([[ random(-99,99) | j in 1..2*N] | i in 1..N]);
H := HilbertBasisKer(M);

Related issues

Related to CoCoA-5 - Bug #226: HilbertBasis segvClosed2012-09-10

History

#1 Updated by John Abbott almost 6 years ago

CoCoA should never SEGV --> high priority.

Also it would help to make HilbertBasisKer interruptible.

#2 Updated by Anna Maria Bigatti almost 6 years ago

  • Related to Bug #226: HilbertBasis segv added

#3 Updated by Anna Maria Bigatti almost 6 years ago

  • Assignee set to Anna Maria Bigatti
  • % Done changed from 0 to 80

The problem is that this is old C code (toric), thus it impossible to make it interruptible (we can interrupt it, of course, but I don't know how to clean the memory state)

In this example the input translated into the C data type gave a biterm with negative degree (entries are int). I do not dare changing int into long, but I added a check so that any exponent has upper limit maxint/numindets (functions PPs2Binom and MatKerToBListAndIndices in $TmpToric.C$).

#4 Updated by Anna Maria Bigatti almost 6 years ago

  • Status changed from New to Feedback
  • Estimated time set to 3.01 h

Added test. Checked in.

#5 Updated by Anna Maria Bigatti almost 6 years ago

  • % Done changed from 80 to 90
  • Estimated time changed from 3.01 h to 3.51 h

#6 Updated by John Abbott over 5 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

CLosing

Also available in: Atom PDF