Project

General

Profile

Bug #1211

HilbertSeries should check grading

Added by Anna Maria Bigatti over 5 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
High
Assignee:
Anna Maria Bigatti
Category:
Maths Bugs
Target version:
CoCoALib-0.99650 November 2019
Start date:
03 Aug 2018
Due date:
% Done:

100%

Estimated time:
2.00 h
Spent time:
1.60 h

Description

/**/ R := NewPolyRing(QQ, "x,y,z", MakeTermOrd(RowMat([2,3,0])), 1);
/**/ use R;  HilbertSeries(R/ideal(z));

it computes it, embarrassing....

2019-10-02 even more embarrassing: I had written the wrong test!! Now that I fixed the test above I see that it actually gave indeed an error, but an incomprehensible error

Related issues

Related to CoCoALib - Feature #1209: New function: HasPositiveGradingClosed2018-08-03

History

#1 Updated by Anna Maria Bigatti over 5 years ago

  • Related to Feature #1209: New function: HasPositiveGrading added

#2 Updated by John Abbott over 4 years ago

JAA confirms that this bug still exists in the current build (2019-09-23).

#3 Updated by Anna Maria Bigatti over 4 years ago

  • Description updated (diff)
  • Status changed from In Progress to Feedback

fixed using HasPositiveGrading, and proper testing.

#4 Updated by Anna Maria Bigatti over 4 years ago

  • % Done changed from 10 to 90

The problem is testing it...

#5 Updated by Anna Maria Bigatti over 4 years ago

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

added a test in CoCoA-5/tests/ErrMesg.cocoa5

closed

Also available in: Atom PDF