#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:3 dimpase]:
> well, for m=10 you only get the output above due to the fact that
numerator has a factor (t-1)^27^ that gets cancelled.
I am not sure I follow what you mean -- in the m=10 case, the (afaik)
correct Hilbert series is
{{{
( 84*t^3 + 108*t^2 + 27*t + 1 ) / (1 - t)^13
}}}
which is what I get above. But in the m=11 case, the (afaik) correct
Hilbert series is
{{{
( 120*t^3 + 135*t^2 + 30*t + 1 ) / (1 - t)^14
}}}
which is not what I get above. In particular, the numerator output of
singular should be divisible by {{{(1-t)^30}}}, but - as you write - it is
irreducible instead.
--
Ticket URL: <http://trac.sagemath.org/ticket/20145#comment:4>
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.
