Bug #1729
Bug HilbertPoly of zero-dimensional ideals
Status:
Closed
Priority:
Urgent
Assignee:
Category:
Maths Bugs
Target version:
Description
HilbertPoly works fine in general, but not for zero-dimensional ideals (result should be the polynomial 0)
/**/ use R ::= QQ[w,x,y,z]; /**/ I := ideal(z^2, w, x^2, y^2); /**/ HilbertFn(R/I); H(0) = 1 H(1) = 3 H(2) = 3 H(3) = 1 H(t) = 0 for t >= 4 /**/ HilbertPoly(R/I); t^3 +3*t^2 +3*t +1
Related issues
History
#1
Updated by Anna Maria Bigatti about 1 year ago
Updated by - Category set to bug
- Assignee set to Anna Maria Bigatti
- Priority changed from Normal to Urgent
- Target version set to CoCoA-5.4.2
- % Done changed from 0 to 10
#2
Updated by Anna Maria Bigatti about 1 year ago
- Project changed from CoCoA-5 to CoCoALib
- Category deleted (
bug) - Target version deleted (
CoCoA-5.4.2)
#3
Updated by Anna Maria Bigatti about 1 year ago
code is in SparsePolyOps-hilbert.C
#4
Updated by Anna Maria Bigatti about 1 year ago
- Subject changed from Bug HilbertPoly of zer-dimensional ideals to Bug HilbertPoly of zero-dimensional ideals
- Category set to Maths Bugs
- Status changed from New to Feedback
- Target version set to CoCoALib-0.99850
- % Done changed from 10 to 90
silly mistake, as expected. Fixed
Added check for standard grading (otherwise there is no single HilbertPoly)
#5
Updated by Anna Maria Bigatti about 1 year ago
checked in.
@Anna: Test also similar functions.
#6
Updated by Anna Maria Bigatti about 1 year ago
- Related to Bug #1734: Fix call to HilbertPoly in test/TutHokkaido5 added
#7
Updated by Anna Maria Bigatti about 1 year ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100