#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 stumpc5):
Replying to [comment:10 dimpase]:
> 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.
This Hilbert series is known (though maybe implicit as some h vector of a
simplicial complex), but I don't have a reference at hand. I will try to
get one.
The reason it seemed suspicious is that I conjecture a term order for
which its initial ideal is the Stanley-Reisner ideal of a simplicial
sphere I was studying for completely different reasons. And this example
was spit out to contradict that conjecture. But, as often, it was the code
that's buggy and and not the conjectural description. That's anyway not
yet in a form to be made public.
--
Ticket URL: <http://trac.sagemath.org/ticket/20145#comment:11>
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.
