blob: d61e87b83659765fe2d4d9b7d0e2bbd6bb7d0c7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/*
(*************************************************************)
(* This file is distributed under the terms of the *)
(* GNU Lesser General Public License Version 2.1 *)
(*************************************************************)
(* Benjamin.Gregoire@inria.fr Laurent.Thery@inria.fr *)
(*************************************************************)
*/
#include "gmp.h"
#include "certif.h"
#ifndef __FACTORIZE_H__
void set_verbose();
pock_certif_t mersenne_certif (mpz_t t, unsigned long int p);
pock_certif_t pock_certif (mpz_t t);
void extend_lc (certif_t lc, pock_certif_t c, unsigned long int min,
unsigned long int max );
#define __FACTORIZE_H__
#endif /* __FACTORIZE_H__ */
|
