FLINT3.7.0-dev

ECPP_CERT_FORMAT_FLINT, ECPP_CERT_FORMAT_PARI

Synopsis#include <flint/ecpp.h>
ECPP_CERT_FORMAT_FLINTsource
ECPP_CERT_FORMAT_PARIsource

The text formats of a certificate: a labelled form listing n, D, a, b, m, q, x and y for each step, and the primecert syntax of PARI/GP [PARI], [[n, t, s, a, [x, y]], ...], where n + 1 - t = sq and b is implied by the point. primecertisvalid in PARI/GP accepts the second form.

References#

Cite this page

The FLINT team, “ECPP_CERT_FORMAT_FLINT, ECPP_CERT_FORMAT_PARI (ecpp.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/ecpp/ECPP_CERT_FORMAT_FLINT.html (generated 2026-10-20).