#8173: segfault in singular resultant
-----------------------------------+----------------------------------------
Reporter: burcin | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-4.3.2
Component: commutative algebra | Keywords: singular
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
Comment(by burcin):
This works:
{{{
sage: R.<x,y,a,b,u>=PolynomialRing(QQ, 5)
sage: (x^4*y^2+x^2*y-y).resultant(x*y-y*a-x*b+a*b+u,x)
y^6*a^4 - 4*y^5*a^4*b + 6*y^4*a^4*b^2 - 4*y^3*a^4*b^3 + y^2*a^4*b^4 -
4*y^5*a^3*u + 12*y^4*a^3*b*u - 12*y^3*a^3*b^2*u + 4*y^2*a^3*b^3*u +
6*y^4*a^2*u^2 - 12*y^3*a^2*b*u^2 + 6*y^2*a^2*b^2*u^2 + y^5*a^2 -
4*y^4*a^2*b + 6*y^3*a^2*b^2 - 4*y^2*a^2*b^3 + y*a^2*b^4 - 4*y^3*a*u^3 +
4*y^2*a*b*u^3 - 2*y^4*a*u + 6*y^3*a*b*u - 6*y^2*a*b^2*u + 2*y*a*b^3*u +
y^2*u^4 - y^5 + 4*y^4*b - 6*y^3*b^2 + 4*y^2*b^3 - y*b^4 + y^3*u^2 -
2*y^2*b*u^2 + y*b^2*u^2
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8173#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
