#20145: Hilbert series bug
-------------------------------------------------+-------------------------
Reporter: stumpc5 | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.1
Component: commutative algebra | Resolution:
Keywords: Hilbert series, polynomial | Merged in:
ring | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by stumpc5):
Replying to [comment:6 dimpase]:
> Replying to [comment:4 stumpc5]:
> > Replying to [comment:3 dimpase]:
> You can read the code of `I.hilbert_series` to see that it takes
`I.hilbert_numerator()`, which is computed by Singular (again, read the
code), and divides it by (t-1)^P.ngens()^.
I actually did read the code, but
* I only see "Singular is doing the computation" in
{{{sage.libs.singular.function_factory.ff.hilb}}},
* the output is then going to Sage in a way I don't know, and finally
* there is a polynomial division.
So a priori, the bug can be in either of these parts.
Anyway, it seems to be a bug in Singular, so I suggest to leave this
ticket open until that is fixed, and then add a doctest for checking...
I would also appreciate if someone knowing how this Hilbert numerator is
computed in Singular would send a bug report there (or shows me how to
reproduce the bug in Singular).
--
Ticket URL: <http://trac.sagemath.org/ticket/20145#comment:7>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
