1 /*
2     Copyright (C) 2015 Kushagra Singh
3 
4     This file is part of FLINT.
5 
6     FLINT is free software: you can redistribute it and/or modify it under
7     the terms of the GNU Lesser General Public License (LGPL) as published
8     by the Free Software Foundation; either version 2.1 of the License, or
9     (at your option) any later version.  See <https://www.gnu.org/licenses/>.
10 */
11 
12 #include <gmp.h>
13 #include "flint.h"
14 #include "fmpz.h"
15 #include "mpn_extras.h"
16 
17 void
fmpz_factor_ecm_clear(ecm_t ecm_inf)18 fmpz_factor_ecm_clear(ecm_t ecm_inf)
19 {
20     flint_free(ecm_inf->t);
21     flint_free(ecm_inf->u);
22     flint_free(ecm_inf->v);
23     flint_free(ecm_inf->w);
24 
25     flint_free(ecm_inf->x);
26     flint_free(ecm_inf->z);
27 
28     flint_free(ecm_inf->a24);
29     flint_free(ecm_inf->ninv);
30     flint_free(ecm_inf->one);
31 }
32