#include "ulong_extras.h"
#include "mpn_extras.h"
#include "nmod_vec.h"
#include "nmod_poly.h"
#include "fmpz.h"
void
_nmod_poly_powmod_fmpz_binexp(nn_ptr res, nn_srcptr poly,
fmpz_t e, nn_srcptr f, slong lenf, nmod_t mod)
{
nn_ptr T, Q;
slong lenT, lenQ;
slong bits, i;
if (lenf == 2)
{
if (fmpz_abs_fits_ui(e))
{
ulong e_ui = fmpz_get_ui(e);
res[0] = n_powmod2_ui_preinv(poly[0], e_ui, mod.n, mod.ninv);
} else
{
fmpz_t p0, nf;
fmpz_init_set_ui(p0, poly[0]);
fmpz_init_set_ui(nf, mod.n);
fmpz_powm(p0, p0, e, nf);
res[0] = fmpz_get_ui(p0);
fmpz_clear(p0);
fmpz_clear(nf);
}
}
lenT = 2*lenf - 3;
lenQ = FLINT_MAX(lenT - lenf + 1, 1);
T = _nmod_vec_init(lenT + lenQ);
Q = T + lenT;
_nmod_vec_set(res, poly, lenf - 1);
bits = fmpz_sizeinbase(e, 2);
for (i = bits - 2; i >= 0; i--)
{
_nmod_poly_mul(T, res, lenf - 1, res, lenf - 1, mod);
_nmod_poly_divrem(Q, res, T, 2*lenf - 3, f, lenf, mod);
if (fmpz_tstbit(e, i))
{
_nmod_poly_mul(T, res, lenf - 1, poly, lenf - 1, mod);
_nmod_poly_divrem(Q, res, T, 2*lenf - 3, f, lenf, mod);
}
}
_nmod_vec_clear(T);
}
void
nmod_poly_powmod_fmpz_binexp(nmod_poly_t res,
const nmod_poly_t poly, fmpz_t e, const nmod_poly_t f)
{
nn_ptr p;
slong len = poly->length;
slong lenf = f->length;
slong trunc = lenf - 1;
int pcopy = 0;
if (lenf == 0)
{
flint_throw(FLINT_ERROR, "Exception (nmod_poly_powmod_fmpz_binexp). Divide by zero.\n");
}
if (lenf == 1)
{
nmod_poly_zero(res);
return;
}
if (len >= lenf)
{
nmod_poly_t t, r;
nmod_poly_init_preinv(t, res->mod.n, res->mod.ninv);
nmod_poly_init_preinv(r, res->mod.n, res->mod.ninv);
nmod_poly_divrem(t, r, poly, f);
nmod_poly_powmod_fmpz_binexp(res, r, e, f);
nmod_poly_clear(t);
nmod_poly_clear(r);
return;
}
if (fmpz_cmp_ui(e, 2) <= 0)
{
if (fmpz_is_zero(e))
{
nmod_poly_fit_length(res, 1);
res->coeffs[0] = 1;
res->length = 1;
} else if (fmpz_is_one(e))
nmod_poly_set(res, poly);
else
nmod_poly_mulmod(res, poly, poly, f);
return;
}
if (len == 0)
{
nmod_poly_zero(res);
return;
}
if (len < trunc)
{
p = _nmod_vec_init(trunc);
flint_mpn_copyi(p, poly->coeffs, len);
flint_mpn_zero(p + len, trunc - len);
pcopy = 1;
} else
p = poly->coeffs;
if ((res == poly && !pcopy) || res == f)
{
nmod_poly_t t;
nmod_poly_init2(t, poly->mod.n, trunc);
_nmod_poly_powmod_fmpz_binexp(t->coeffs,
p, e, f->coeffs, lenf, poly->mod);
nmod_poly_swap(res, t);
nmod_poly_clear(t);
} else
{
nmod_poly_fit_length(res, trunc);
_nmod_poly_powmod_fmpz_binexp(res->coeffs,
p, e, f->coeffs, lenf, poly->mod);
}
if (pcopy)
_nmod_vec_clear(p);
res->length = trunc;
_nmod_poly_normalise(res);
}
void
_nmod_poly_powmod_ui_binexp(nn_ptr res, nn_srcptr poly,
ulong e, nn_srcptr f, slong lenf, nmod_t mod)
{
nn_ptr T, Q;
slong lenT, lenQ;
int i;
if (lenf == 2)
{
res[0] = n_powmod2_ui_preinv(poly[0], e, mod.n, mod.ninv);
return;
}
lenT = 2 * lenf - 3;
lenQ = FLINT_MAX(lenT - lenf + 1, 1);
T = _nmod_vec_init(lenT + lenQ);
Q = T + lenT;
_nmod_vec_set(res, poly, lenf - 1);
for (i = ((int) FLINT_BIT_COUNT(e) - 2); i >= 0; i--)
{
_nmod_poly_mul(T, res, lenf - 1, res, lenf - 1, mod);
_nmod_poly_divrem(Q, res, T, 2 * lenf - 3, f, lenf, mod);
if (e & (UWORD(1) << i))
{
_nmod_poly_mul(T, res, lenf - 1, poly, lenf - 1, mod);
_nmod_poly_divrem(Q, res, T, 2 * lenf - 3, f, lenf, mod);
}
}
_nmod_vec_clear(T);
}
void
nmod_poly_powmod_ui_binexp(nmod_poly_t res,
const nmod_poly_t poly, ulong e,
const nmod_poly_t f)
{
nn_ptr p;
slong len = poly->length;
slong lenf = f->length;
slong trunc = lenf - 1;
int pcopy = 0;
if (lenf == 0)
{
flint_throw(FLINT_ERROR, "Exception (nmod_poly_powmod_ui_binexp). Divide by zero.\n");
}
if (lenf == 1)
{ nmod_poly_zero(res);
return;
}
if (len >= lenf)
{
nmod_poly_t t, r;
nmod_poly_init_preinv(t, res->mod.n, res->mod.ninv);
nmod_poly_init_preinv(r, res->mod.n, res->mod.ninv);
nmod_poly_divrem(t, r, poly, f);
nmod_poly_powmod_ui_binexp(res, r, e, f);
nmod_poly_clear(t);
nmod_poly_clear(r);
return;
}
if (e <= 2)
{
if (e == UWORD(0))
{
nmod_poly_fit_length(res, 1);
res->coeffs[0] = UWORD(1);
res->length = 1;
}
else if (e == UWORD(1))
{
nmod_poly_set(res, poly);
}
else
nmod_poly_mulmod(res, poly, poly, f);
return;
}
if (len == 0)
{
nmod_poly_zero(res);
return;
}
if (len < trunc)
{
p = _nmod_vec_init(trunc);
flint_mpn_copyi(p, poly->coeffs, len);
flint_mpn_zero(p + len, trunc - len);
pcopy = 1;
} else
p = poly->coeffs;
if ((res == poly && !pcopy) || (res == f))
{
nmod_poly_t t;
nmod_poly_init2(t, poly->mod.n, trunc);
_nmod_poly_powmod_ui_binexp(t->coeffs,
p, e, f->coeffs, lenf, poly->mod);
nmod_poly_swap(res, t);
nmod_poly_clear(t);
}
else
{
nmod_poly_fit_length(res, trunc);
_nmod_poly_powmod_ui_binexp(res->coeffs,
p, e, f->coeffs, lenf, poly->mod);
}
if (pcopy)
_nmod_vec_clear(p);
res->length = trunc;
_nmod_poly_normalise(res);
}