Ticket #11782 (closed defect: fixed)
Bug in discriminant of polynomials over Z/nZ with n composite
|Reported by:||johanbosman||Owned by:||AlexGhitza|
|Component:||algebra||Keywords:||polynomial, discriminant, integer mod ring|
|Report Upstream:||N/A||Reviewers:||Julian Rueth|
|Authors:||Johan Bosman||Merged in:||sage-4.8.alpha4|
Description (last modified by saraedum) (diff)
The following behaviour is inconsistent:
sage: f = ZZ[x](2*x^3 + x^2 + x) sage: f.discriminant() -7 sage: GF(3)[x](f).discriminant() 2 sage: ZZ.quo(9)[x](f).discriminant() 0
And the following raises an error:
sage: ZZ.quo(9)[x](3*x^2 + 3*x + 3).discriminant() ... ZeroDivisionError: Inverse does not exist.
to the Sage library.
- Status changed from needs_info to needs_review
- Authors set to Johan Bosman
- Reviewers set to Julian Rueth
- Description modified (diff)
Note: See TracTickets for help on using tickets.