/* 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_naive(mp_ptr res, mp_srcptr poly, slong len, nmod_t mod) { slong i, k; slong d = poly[0]; res[d] = 1; for (k = 1; k < FLINT_MIN(d + 1, len); k++) { res[d - k] = poly[k]; for (i = 1; i < k; i++) res[d - k] = nmod_add(res[d - k], nmod_mul(res[d - k + i], poly[i], mod), mod); res[d - k] = nmod_div(res[d - k], k, mod); res[d - k] = nmod_neg(res[d - k], mod); } for (k = len; k <= d; k++) { res[d - k] = 0; for (i = 1; i < len; i++) res[d - k] = nmod_add(res[d - k], nmod_mul(res[d - k + i], poly[i], mod), mod); res[d - k] = nmod_div(res[d - k], k, mod); res[d - k] = nmod_neg(res[d - k], mod); } } void nmod_poly_power_sums_to_poly_naive(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_naive(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_naive(res->coeffs, Q->coeffs, Q->length, Q->mod); } _nmod_poly_set_length(res, d + 1); _nmod_poly_normalise(res); } }