Project

General

Profile

Bug #1781

GenReprCompute: SERIOUS ERROR

Added by John Abbott 3 months ago. Updated 3 months ago.

Status:
Feedback
Priority:
Urgent
Assignee:
Anna Maria Bigatti
Category:
bug
Target version:
CoCoA-5.4.2
Start date:
08 Feb 2024
Due date:
% Done:

90%

Estimated time:
Spent time:
0.75 h

Description

I have just sync'ed with CVS, and CoCoA5/tests/tut-CoCoLA3 gives SERIOUS ERROR

Oops! Too late to invesigate now :-(

Related issues

Related to CoCoALib - Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?Closed2022-01-20

Related to CoCoALib - Bug #1205: SyzOfGens: bug with zero generatorsClosed2018-08-01

Related to CoCoA-5 - Bug #643: GenRepr fails if there are zero generatorsClosed2014-10-29

History

#1 Updated by Anna Maria Bigatti 3 months ago

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

I get the same error with

GenRepr(1, ideal(x, x-1));

investigating

#2 Updated by Anna Maria Bigatti 3 months ago

  • Related to Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators? added

#3 Updated by Anna Maria Bigatti 3 months ago

  • Status changed from New to Feedback
  • % Done changed from 20 to 90

fixed and checked in.
GenReprCompute used SyzOfGens(ideal(concat([A], [ f in GensB | not(IsZero(f)) ]))) which, with the new cleaning on gens of ideals, behaves wrongly.
Now we just call syz(concat([A], [ f in GensB | not(IsZero(f)) ])).

#4 Updated by Anna Maria Bigatti 3 months ago

  • Subject changed from SERIOUS ERROR to GenReprCompute: SERIOUS ERROR

#5 Updated by Anna Maria Bigatti 3 months ago

  • Related to Bug #1205: SyzOfGens: bug with zero generators added

#6 Updated by Anna Maria Bigatti 3 months ago

  • Related to Bug #643: GenRepr fails if there are zero generators added

Also available in: Atom PDF