Project

General

Profile

Bug #1610

IsInRadical: some more little bugs

Added by Anna Maria Bigatti over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
High
Assignee:
Anna Maria Bigatti
Category:
bug
Target version:
CoCoA-5.4.0
Start date:
27 Sep 2021
Due date:
% Done:

100%

Estimated time:
Spent time:
2.60 h

Description

I met some more bugs for extreme cases.
Usually, after isolating them, the solution is trivial.
List below.

Related issues

Related to CoCoALib - Bug #1565: IsInRadical: gives "weird" errorClosed2021-01-19

Related to CoCoALib - Slug #1569: IsInRadical too slow (test-RadicalMembership)Closed2021-01-22

Related to CoCoALib - Slug #1136: IsInRadical: sometimes a bit slowClosed2017-12-06

Related to CoCoA-5 - Bug #1032: IsInRadical: fragile codeClosed2017-03-17

Related to CoCoALib - Feature #1030: IsInRadical: case of homog idealClosed2017-03-14

History

#1 Updated by Anna Maria Bigatti over 2 years ago

  • Related to Bug #1565: IsInRadical: gives "weird" error added

#2 Updated by Anna Maria Bigatti over 2 years ago

  • Related to Slug #1569: IsInRadical too slow (test-RadicalMembership) added

#3 Updated by Anna Maria Bigatti over 2 years ago

  • Related to Slug #1136: IsInRadical: sometimes a bit slow added

#4 Updated by Anna Maria Bigatti over 2 years ago

  • Related to Bug #1032: IsInRadical: fragile code added

#5 Updated by Anna Maria Bigatti over 2 years ago

Error if GradingDim is 0 (lex, elim, ...) for call to IsHomog. Now fixed.

#6 Updated by Anna Maria Bigatti over 2 years ago

Error for

SetVerbosityLevel(90);
use P ::= QQ[a,b, x,y];  X := [x,y];
I:=ideal(a*x, b*x, a*y);
CGS_I := CGSRecNabe(I,X, ElimXLex(2,2));

This makes sense only to me until I manage to isolate where the problem really is.
Gives Process cocoa5 segmentation fault: 11

#7 Updated by Anna Maria Bigatti over 2 years ago

This seems to be the problem

IsInRadical(one(CurrentRing), ideal(CurrentRing,[]));

I'm investigating.

#8 Updated by Anna Maria Bigatti over 2 years ago

  • Status changed from In Progress to Feedback
  • % Done changed from 10 to 90

fixed. I didn't encounter other new bugs.
Updated test-exbugs

#9 Updated by John Abbott over 2 years ago

Anna: can you close this issue?

#10 Updated by Anna Maria Bigatti over 2 years ago

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

No new bugs have surfaced. Closing this issue.

#11 Updated by Anna Maria Bigatti 2 months ago

  • Related to Feature #1030: IsInRadical: case of homog ideal added

Also available in: Atom PDF