/*
Copyright (C) 2021 Daniel Schultz
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
#include "fmpz_mod_mpoly.h"
int
main(void)
{
slong i, j, k;
FLINT_TEST_INIT(state);
flint_printf("get_set_coeff_fmpz_fmpz....");
fflush(stdout);
for (i = 0; i < 100 * flint_test_multiplier(); i++)
{
fmpz_mod_mpoly_ctx_t ctx;
fmpz_mod_mpoly_t f;
flint_bitcnt_t exp_bits, exp_bits2;
slong len;
fmpz_t c, d;
fmpz_init(c);
fmpz_init(d);
fmpz_mod_mpoly_ctx_init_rand_bits(ctx, state, 20, 200);
fmpz_mod_mpoly_init(f, ctx);
len = n_randint(state, 100);
exp_bits = n_randint(state, 200) + 2;
exp_bits2 = n_randint(state, 200) + 2;
fmpz_mod_mpoly_randtest_bits(f, state, len, exp_bits, ctx);
for (j = 0; j < 10; j++)
{
fmpz ** exp = (fmpz **) flint_malloc(ctx->minfo->nvars*sizeof(fmpz*));
fmpz_randtest_unsigned(c, state, 200);
for (k = 0; k < fmpz_mod_mpoly_ctx_nvars(ctx); k++)
{
exp[k] = (fmpz *) flint_malloc(sizeof(fmpz));
fmpz_init(exp[k]);
fmpz_randtest_unsigned(exp[k], state, exp_bits2);
}
fmpz_mod_mpoly_set_coeff_fmpz_fmpz(f, c, exp, ctx);
fmpz_mod_mpoly_assert_canonical(f, ctx);
fmpz_mod_mpoly_get_coeff_fmpz_fmpz(d, f, exp, ctx);
if (!fmpz_mod_equal_fmpz(d, c, ctx->ffinfo))
{
printf("FAIL\n");
flint_printf("Check _fmpz_fmpz\ni = %wd, j = %wd\n", i ,j);
flint_abort();
}
for (k = 0; k < fmpz_mod_mpoly_ctx_nvars(ctx); k++)
{
fmpz_clear(exp[k]);
flint_free(exp[k]);
}
flint_free(exp);
}
fmpz_mod_mpoly_clear(f, ctx);
fmpz_clear(c);
fmpz_clear(d);
fmpz_mod_mpoly_ctx_clear(ctx);
}
FLINT_TEST_CLEANUP(state);
flint_printf("PASS\n");
return 0;
}