#10562: class ECPP added to sage: provides primality proving via
Goldwasser-Kilian
and Atkin-Morain (ECPP)
--------------------------------+-------------------------------------------
Reporter: ghahn@… | Owner: was
Type: enhancement | Status: needs_review
Priority: major | Milestone:
Component: number theory | Keywords: ecpp, goldwasser, kilian,
primality, proving
Author: Georg Hahn | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
--------------------------------+-------------------------------------------
Comment(by ghahn@…):
Hi Jean-René,
in case that is_prime doesn't switch its behaviour, I totally agree that
the best way to solve this problem would be adding a flag to EllipticCurve
for disabling the primality test. Then, all existing code would still be
usable and everyone could decide for himself whether he/she wants to do
possibly undefined computations (at own risk).
I posted the question on sage-devel yesterday
http://groups.google.com/group/sage-
devel/browse_thread/thread/c9fcfba8f222644f
and hope that such a flag could be included as this would solve the ECPP
problem.
Best,
Georg
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10562#comment:13>
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.
