#15061: PARI and Singular can't handle all polynomial resultants
-------------------------------------+-------------------------------------
Reporter: robharron | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: algebra | Resolution:
Keywords: pari, resultant, | Merged in:
sylvester matrix | Reviewers:
Authors: Robert Harron, | Work issues:
Peter Bruin | Commit:
Report Upstream: N/A | d1a25de7d398d83dd7aee240b84665648483e279
Branch: | Stopgaps:
u/pbruin/15061-resultant |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Robert Harron, Peter Bruin', 'oldvalue': ''}):
* status: needs_info => needs_review
* author: => Robert Harron, Peter Bruin
* cc: pbruin (removed)
* branch: => u/pbruin/15061-resultant
* commit: => d1a25de7d398d83dd7aee240b84665648483e279
Comment:
I think I have found a solution that will solve most of these problems.
In this branch:
- Rob Harron's patch, with minor modifications.
- Remove `lcm()` and `resultant()` from `Polynomial_singular_repr`. For
`lcm()`, delete the code and move the doctests to the existing
`MPolynomial_libsingular.lcm()`; for `resultant()`, move the code and
doctests to the new `MPolynomial_polydict.resultant()`.
- In `MPolynomial_polydict.resultant()`, fall back on Sylvester matrices
if the ring has no Singular implementation.
- Various cosmetic fixes.
--
Ticket URL: <http://trac.sagemath.org/ticket/15061#comment:12>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
