#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):
Yes, I did -- here it is the output again (with a few long outputs
{{{...}}}'ed):
{{{
i31 : R =
QQ[x11,x12,x13,x14,x15,x16,x17,x18,x19,x110,x111,x21,x22,x23,x24,x25,x26,x27,x28,x29,x210,x211,x31,x32,x33,x34,x35,x36,x37,x38,x39,x310,x311,x41,x42,x43,x44,x45,x46,x47,x48,x49,x410,x411]
o31 = R
o31 : PolynomialRing
i32 : M =
matrix{{x11,x12,x13,x14,x15,x16,x17,x18,x19,x110,x111},{x21,x22,x23,x24,x25,x26,x27,x28,x29,x210,x211},{x31,x32,x33,x34,x35,x36,x37,x38,x39,x310,x311},{x41,x42,x43,x44,x45,x46,x47,x48,x49,x410,x411}}
o32 = | x11 x12 x13 x14 x15 x16 x17 x18 x19 x110 x111 |
| x21 x22 x23 x24 x25 x26 x27 x28 x29 x210 x211 |
| x31 x32 x33 x34 x35 x36 x37 x38 x39 x310 x311 |
| x41 x42 x43 x44 x45 x46 x47 x48 x49 x410 x411 |
4 11
o32 : Matrix R <--- R
i33 : I = minors(2,M)
o33 = ...
o33 : Ideal of R
i34 : s = hilbertSeries (R/I)
o34 = ...
o34 : Expression of class Divide
i35 : denominator s
44
o35 = (1 - T)
o35 : Expression of class Product
i36 : n = numerator s
o36 = ...
o36 : ZZ[T]
i37 : factor n
30 2 3
o37 = (- 1 + T) (1 + 30T + 135T + 120T )
o37 : Expression of class Product
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/20145#comment:13>
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.
