#5845: Fix precision bug in hilbert_class_polynomial()
---------------------+------------------------------------------------------
Reporter: cremona | Owner: tbd
Type: defect | Status: new
Priority: minor | Milestone:
Component: algebra | Keywords: hilbert class polynomial quadratic form
---------------------+------------------------------------------------------
The code introduced in #4990 uses an incorrect precision bound in a paper
of Enge. Enge has supplied a corrected bound, and the code fixed to use
it. At the same time,
* The code has been extended to non-fundamental discriminants
* It has been moved to sage/schemes/elliptic_curves/cm.py which had a
similar function requiring Magma; the method for number fields now calls
this.
* The function elliptic_j has been added to sage/functions/special.py
* A new method is_primitive() has been added for integral binary
quadratic forms, as well as a primitive_only flag to the function
{{{BinaryQF_reduced_representatives}}}.
* Last but not least, sage/schemes/elliptic_curves/cm.py has been
ReST-ified and added to the reference manual
This started out as just a conversion of one small file with only 3
functions in it to ReST!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5845>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
