#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: Not yet reported upstream; | Commit:
Will do shortly. | Stopgaps:
Branch: |
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by dimpase):
Replying to [comment:9 stumpc5]:
> Replying to [comment:8 dimpase]:
> > Replying to [comment:7 stumpc5]:
> > I think you know that in the output of hilb(std(I)) (the part you
omitted and indicated by ...) is the numerator that should be divisible by
the appropriate power of t-1, but it is not.
>
> Oh, I didn't know, thanks. If that is the not correct Singular output,
how is the stuff below
> {{{
> // 1 t^0
> // 30 t^1
> // 135 t^2
> // 120 t^3
> // dimension (proj.) = 13
> }}}
> then again correct (saying that it gives the numerator divided by the
maximal power of {{{(t-1)}}}?
It's all a bit Greek to me now, and https://www.singular.uni-
kl.de/Manual/latest/sing_310.htm#SEC349 does not help much.
Perhaps there is more than one way to compute this info, and Singular does
something leading to the correct answer, even though the data it supplies
to Sage is not correct.
You seem to know a reference for the correct answers to this question for
all m, no? This would be handy in the bug report upstream.
--
Ticket URL: <http://trac.sagemath.org/ticket/20145#comment:10>
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.
