#10562: class ECPP added to sage: provides primality proving via
Goldwasser-Kilian
and Atkin-Morain (ECPP)
--------------------------------+-------------------------------------------
Reporter: gh...@… | 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: |
--------------------------------+-------------------------------------------
Old description:
> File ecpp.pyx added to devel/sage/sage/rings
> File provides new functionality: primality proving via Goldwasser-Kilian
> and Atkin-Morain (ECPP=Elliptic Curves Primality Proving)
New description:
Class ECPP (file ecpp.pyx) added to devel/sage/sage/rings
File provides new functionality: primality proving via Goldwasser-Kilian
and Atkin-Morain (ECPP=Elliptic Curves Primality Proving)
--
Comment(by gh...@…):
Hi,
ecpp.pyx has now been changed into a class ECPP() which stores a
certificate and provides primality proving by one of the following
commands:
ECPP(<number>) [constructor], ECPP().goldwasser_kilian(<number>),
ECPP().atkin_morain(<number>) and ECPP().ecpp(<number>).
For composite numbers, a StandardError is raised (and a RuntimeError in
case the primality proof fails during the "downrun").
Certificates can be verified as follows:
e = ECPP(<number>)
e.verify_certificate()
The file is added to sage/rings as .pyx again. It contains a latex() and
repr() function. Reviews are appreciated!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10562#comment:8>
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.
