/* Copyright (C) 2016 Vincent Delecroix This file is part of FLINT. FLINT is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (LGPL) as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. See . */ #include #include "flint.h" #include "nmod_vec.h" #include "nmod_poly.h" void _nmod_poly_power_sums_to_poly_schoenhage(mp_ptr res, mp_srcptr poly, slong len, nmod_t mod) { mp_ptr t; slong d = poly[0]; if (len >= d + 1) len = d + 1; t = flint_malloc(len * sizeof(mp_limb_t)); _nmod_vec_neg(t, poly + 1, len - 1, mod); _nmod_poly_integral(t, t, len, mod); _nmod_poly_exp_series(res, t, len, d + 1, mod); _nmod_poly_reverse(res, res, d + 1, d + 1); flint_free(t); } void nmod_poly_power_sums_to_poly_schoenhage(nmod_poly_t res, const nmod_poly_t Q) { if (Q->length == 0) { nmod_poly_fit_length(res, 1); (res->coeffs)[0] = 1; _nmod_poly_set_length(res, 1); } else { slong d = (Q->coeffs)[0]; if (Q == res) { nmod_poly_t t; nmod_poly_init_preinv(t, Q->mod.n, Q->mod.ninv); nmod_poly_fit_length(t, d + 1); _nmod_poly_power_sums_to_poly_schoenhage(t->coeffs, Q->coeffs, Q->length, Q->mod); nmod_poly_swap(res, t); nmod_poly_clear(t); } else { nmod_poly_fit_length(res, d + 1); _nmod_poly_power_sums_to_poly_schoenhage(res->coeffs, Q->coeffs, Q->length, Q->mod); } _nmod_poly_set_length(res, d + 1); _nmod_poly_normalise(res); } }