/*
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;
FLINT_TEST_INIT(state);
flint_printf("get_set_is_fmpz....");
fflush(stdout);
/* Set to random integer and compare */
for (i = 0; i < 1000 * flint_test_multiplier(); i++)
{
fmpz_mod_mpoly_ctx_t ctx;
fmpz_mod_mpoly_t f;
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);
fmpz_mod_mpoly_randtest_bits(f, state, n_randint(state, 10),
n_randint(state, 200), ctx);
if (fmpz_mod_mpoly_is_fmpz(f, ctx))
{
fmpz_mod_mpoly_get_fmpz(c, f, ctx);
fmpz_add(c, c, fmpz_mod_mpoly_ctx_modulus(ctx));
if (!fmpz_mod_mpoly_equal_fmpz(f, c, ctx))
{
flint_printf("FAIL: Check is_fmpz and get_fmpz match\n");
flint_abort();
}
}
fmpz_randtest(c, state, n_randint(state, 300));
fmpz_mod_mpoly_set_fmpz(f, c, ctx);
if (!fmpz_mod_mpoly_is_fmpz(f, ctx))
{
flint_printf("FAIL: Check set_fmpz makes is_fmpz true\n");
flint_abort();
}
fmpz_mod_mpoly_get_fmpz(d, f, ctx);
if (!fmpz_mod_equal_fmpz(d, c, ctx->ffinfo))
{
flint_printf("FAIL: Check get_fmpz matches set_fmpz\n");
flint_abort();
}
fmpz_clear(c);
fmpz_clear(d);
fmpz_mod_mpoly_clear(f, ctx);
fmpz_mod_mpoly_ctx_clear(ctx);
}
FLINT_TEST_CLEANUP(state);
flint_printf("PASS\n");
return 0;
}