/*
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);
}
}