Opened 12 years ago

Closed 11 years ago

#10799 closed enhancement (fixed)

Solved the problem to compute resultants on certain variable orders

Reported by: Miguel Marco Owned by: Alex Ghitza
Priority: major Milestone: sage-4.7
Component: algebra Keywords: resultant
Cc: Merged in: sage-4.7.alpha5
Authors: Miguel Marco Reviewers: Simon Spicer
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

for univariate polynomial rings over other polynomial rings, the .resultant() method might fail if the variables are not ordered in a 'good' way (i.e. following the PARI convention). This also affects the discriminant method (which calls resultant)

Here is a patch to detect these cases and do the corresponding computation in a bigger multivariate ring (which is handled by Singular).

Attachments (1)

trac_10799_resultant_fix.patch (2.7 KB) - added by Miguel Marco 12 years ago.

Download all attachments as: .zip

Change History (4)

Changed 12 years ago by Miguel Marco

comment:1 Changed 12 years ago by Simon Spicer

Reviewers: Simon Spicer
Status: newneeds_review

comment:2 Changed 12 years ago by Simon Spicer

Milestone: sage-4.7
Status: needs_reviewpositive_review

Reviewed; all checks out.

Note that this fixes resultant() for polynomial rings over [polynomial rings over exact fields]; resultant() is *not* implemented when the base field is RDF or CDF. I'll open a new ticket to try implement this.

comment:3 Changed 11 years ago by Jeroen Demeyer

Merged in: sage-4.7.alpha5
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.