Opened 12 years ago

Closed 12 years ago

#10270 closed defect (fixed)

proof.polynomial(False) has no effect on factor

Reported by: Paul Zimmermann Owned by: Martin Albrecht
Priority: minor Milestone: sage-4.6.1
Component: commutative algebra Keywords:
Cc: Marc Mezzarobba, John Cremona Merged in: sage-4.6.1.alpha2
Authors: André Apitzsch Reviewers: Paul Zimmermann
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


the documentation of proof.polynomial says:

If t == False, allows polynomial algorithms to (by
default) return results that may depend on unproven conjectures
or on probabilistic algorithms.

However this does not work with the factor function:

sage: proof.polynomial(False)
sage: R.<x,y,z> = GF(3)[]
sage: (x^2*z^2+x*y*z-y^2).factor()
NotImplementedError                       Traceback (most recent call last)

Attachments (1)

10270_proofpolynomial.patch (2.2 KB) - added by aapitzsch 12 years ago.

Download all attachments as: .zip

Change History (7)

comment:1 Changed 12 years ago by aapitzsch

Status: newneeds_review

comment:2 Changed 12 years ago by aapitzsch

Authors: André Apitzsch

comment:3 Changed 12 years ago by Paul Zimmermann

Reviewers: Paul Zimmermann
Status: needs_reviewneeds_work

great! All tests pass. A minor request before giving a positive review: is it possible to add a test checking that the factorization works with proof=False, and fails with proof=True?


Changed 12 years ago by aapitzsch

Attachment: 10270_proofpolynomial.patch added

comment:4 Changed 12 years ago by aapitzsch

Status: needs_workneeds_review

comment:5 Changed 12 years ago by Paul Zimmermann

Status: needs_reviewpositive_review

thank you for the added example!


comment:6 Changed 12 years ago by Jeroen Demeyer

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