On Thu, May 13, 2010 at 5:29 PM, Greg Marks <gtma...@gmail.com> wrote: > Is there a SAGE command that will produce a primality > certificate for a (prime) integer input? > > Best regards, > Greg Marks
There's nothing native to Sage. If there is something in Sage capable of doing this it is in PARI (a component of Sage). So you should ask on the PARI list. Unfortunately, the PARI list tends to be impossible to use, so looking in the manual may be easier. They definitely do provable primality testing using elliptic curves, but I don't know if you can easily get a certificate out. -- William > > ------------------------------------------------ > | Greg Marks | > | Department of Mathematics and Computer Science | > | St. Louis University | > | St. Louis, MO 63103-2007 | > | U.S.A. | > | | > | Phone: (314)977-7206 | > | Fax: (314)977-1452 | > | Web: http://math.slu.edu/~marks | > ------------------------------------------------ > > -- > To post to this group, send email to sage-support@googlegroups.com > To unsubscribe from this group, send email to > sage-support+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-support > URL: http://www.sagemath.org > -- William Stein Professor of Mathematics University of Washington http://wstein.org -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
