#8300: native algdep with proof option
-----------------------------+----------------------------------------------
Reporter: robertwb | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-4.3.3
Component: number theory | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Using the properties of LLL and a height bound, we can prove (given
sufficient precision) that an integer relation of bounded height either
doesn't exist or is unique. This is needed, e.g., for provable
computations of Heegner points though could be useful elsewhere as well.
It is also faster.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8300>
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 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.
