#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 malb):
In Singular:
{{{
> ring r = integer,(x,y,a,b,u),dp;
> poly f = x^4*y^2+x^2*y-y;
> resultant(f,x*y-y*a-x*b+a*b+u,x);
? not implemented
}}}
vs.
{{{
> ring r = 0,(x,y,a,b,u),dp;
> poly f = x^4*y^2+x^2*y-y;
> resultant(f,x*y-y*a-x*b+a*b+u,x);
y6a4-4y5a4b+6y4a4b2-4y3a4b3+y2a4b4-4y5a3u+12y4a3bu-
12y3a3b2u+4y2a3b3u+6y4a2u2-12y3a2bu2+6y2a2b2u2+y5a2-4y4a2b+6y3a2b2-4y2a2b3+ya2b4-4y3au3+4y2abu3-2y4au
+6y3abu-6y2ab2u+2yab3u+y2u4-y5+4y4b-6y3b2+4y2b3-yb4+y3u2-2y2bu2+yb2u2
}}}
So shall we lift to QQ, compute the resultant and then convert back?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8173#comment:2>
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.
