#include "fmpz_mod_mpoly_q.h"
void
_fmpz_mod_mpoly_q_mul(fmpz_mod_mpoly_t res_num, fmpz_mod_mpoly_t res_den,
const fmpz_mod_mpoly_t x_num, const fmpz_mod_mpoly_t x_den,
const fmpz_mod_mpoly_t y_num, const fmpz_mod_mpoly_t y_den,
const fmpz_mod_mpoly_ctx_t ctx)
{
if (fmpz_mod_mpoly_is_zero(x_num, ctx) || fmpz_mod_mpoly_is_zero(y_num, ctx))
{
fmpz_mod_mpoly_zero(res_num, ctx);
fmpz_mod_mpoly_one(res_den, ctx);
return;
}
if (fmpz_mod_mpoly_equal(x_den, y_den, ctx))
{
fmpz_mod_mpoly_mul(res_num, x_num, y_num, ctx);
fmpz_mod_mpoly_mul(res_den, x_den, y_den, ctx);
return;
}
if (fmpz_mod_mpoly_is_one(x_den, ctx))
{
fmpz_mod_mpoly_t t;
fmpz_mod_mpoly_init(t, ctx);
fmpz_mod_mpoly_gcd_assert_successful(t, x_num, y_den, ctx);
if (fmpz_mod_mpoly_is_one(t, ctx))
{
fmpz_mod_mpoly_mul(res_num, x_num, y_num, ctx);
fmpz_mod_mpoly_mul(res_den, x_den, y_den, ctx);
}
else
{
fmpz_mod_mpoly_t u;
fmpz_mod_mpoly_init(u, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(u, x_num, t, ctx);
fmpz_mod_mpoly_mul(res_num, u, y_num, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(u, y_den, t, ctx);
fmpz_mod_mpoly_mul(res_den, x_den, u, ctx);
fmpz_mod_mpoly_clear(u, ctx);
}
fmpz_mod_mpoly_clear(t, ctx);
return;
}
if (fmpz_mod_mpoly_is_one(y_den, ctx))
{
fmpz_mod_mpoly_t t;
fmpz_mod_mpoly_init(t, ctx);
fmpz_mod_mpoly_gcd_assert_successful(t, y_num, x_den, ctx);
if (fmpz_mod_mpoly_is_one(t, ctx))
{
fmpz_mod_mpoly_mul(res_num, x_num, y_num, ctx);
fmpz_mod_mpoly_mul(res_den, x_den, y_den, ctx);
}
else
{
fmpz_mod_mpoly_t u;
fmpz_mod_mpoly_init(u, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(u, y_num, t, ctx);
fmpz_mod_mpoly_mul(res_num, u, x_num, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(u, x_den, t, ctx);
fmpz_mod_mpoly_mul(res_den, y_den, u, ctx);
fmpz_mod_mpoly_clear(u, ctx);
}
fmpz_mod_mpoly_clear(t, ctx);
return;
}
{
fmpz_mod_mpoly_t t, u, x, y;
fmpz_mod_mpoly_init(t, ctx);
fmpz_mod_mpoly_init(u, ctx);
fmpz_mod_mpoly_init(x, ctx);
fmpz_mod_mpoly_init(y, ctx);
fmpz_mod_mpoly_gcd_assert_successful(t, x_num, y_den, ctx);
if (fmpz_mod_mpoly_is_one(t, ctx))
{
fmpz_mod_mpoly_gcd_assert_successful(u, x_den, y_num, ctx);
if (fmpz_mod_mpoly_is_one(u, ctx))
{
fmpz_mod_mpoly_mul(res_num, x_num, y_num, ctx);
fmpz_mod_mpoly_mul(res_den, x_den, y_den, ctx);
}
else
{
_fmpz_mod_mpoly_q_mpoly_divexact(y, y_num, u, ctx);
fmpz_mod_mpoly_mul(res_num, x_num, y, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(x, x_den, u, ctx);
fmpz_mod_mpoly_mul(res_den, x, y_den, ctx);
}
}
else
{
fmpz_mod_mpoly_gcd_assert_successful(u, x_den, y_num, ctx);
if (fmpz_mod_mpoly_is_one(u, ctx))
{
_fmpz_mod_mpoly_q_mpoly_divexact(x, x_num, t, ctx);
fmpz_mod_mpoly_mul(res_num, x, y_num, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(y, y_den, t, ctx);
fmpz_mod_mpoly_mul(res_den, x_den, y, ctx);
}
else
{
_fmpz_mod_mpoly_q_mpoly_divexact(x, x_num, t, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(y, y_num, u, ctx);
fmpz_mod_mpoly_mul(res_num, x, y, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(x, x_den, u, ctx);
_fmpz_mod_mpoly_q_mpoly_divexact(y, y_den, t, ctx);
fmpz_mod_mpoly_mul(res_den, x, y, ctx);
}
}
fmpz_mod_mpoly_clear(t, ctx);
fmpz_mod_mpoly_clear(u, ctx);
fmpz_mod_mpoly_clear(x, ctx);
fmpz_mod_mpoly_clear(y, ctx);
}
}
static void
_fmpz_mod_mpoly_q_mul_fmpz_mod(fmpz_mod_mpoly_t res_num, fmpz_mod_mpoly_t res_den,
const fmpz_mod_mpoly_t x_num, const fmpz_mod_mpoly_t x_den,
const fmpz_t y,
const fmpz_mod_mpoly_ctx_t ctx)
{
if (fmpz_mod_mpoly_is_zero(x_num, ctx) || fmpz_is_zero(y))
{
fmpz_mod_mpoly_zero(res_num, ctx);
fmpz_mod_mpoly_one(res_den, ctx);
return;
}
else
{
fmpz_mod_mpoly_scalar_mul_fmpz_mod_invertible(res_num, x_num, y, ctx);
fmpz_mod_mpoly_set(res_den, x_den, ctx);
}
}
void
fmpz_mod_mpoly_q_mul_fmpz_mod(fmpz_mod_mpoly_q_t res, const fmpz_mod_mpoly_q_t x, const fmpz_t y, const fmpz_mod_mpoly_ctx_t ctx)
{
_fmpz_mod_mpoly_q_mul_fmpz_mod(fmpz_mod_mpoly_q_numref(res), fmpz_mod_mpoly_q_denref(res),
fmpz_mod_mpoly_q_numref(x), fmpz_mod_mpoly_q_denref(x),
y, ctx);
}
void
fmpz_mod_mpoly_q_mul(fmpz_mod_mpoly_q_t res, const fmpz_mod_mpoly_q_t x, const fmpz_mod_mpoly_q_t y, const fmpz_mod_mpoly_ctx_t ctx)
{
_fmpz_mod_mpoly_q_mul(fmpz_mod_mpoly_q_numref(res), fmpz_mod_mpoly_q_denref(res),
fmpz_mod_mpoly_q_numref(x), fmpz_mod_mpoly_q_denref(x),
fmpz_mod_mpoly_q_numref(y), fmpz_mod_mpoly_q_denref(y),
ctx);
}
int
fmpz_mod_mpoly_q_mul_fmpq(fmpz_mod_mpoly_q_t res, const fmpz_mod_mpoly_q_t x, const fmpq_t y, const fmpz_mod_mpoly_ctx_t ctx)
{
if (fmpz_is_one(fmpq_denref(y)))
{
fmpz_mod_mpoly_q_mul_fmpz(res, x, fmpq_numref(y), ctx);
return 1;
}
else
{
fmpz_t t;
int invertible;
fmpz_init(t);
fmpz_mod_set_fmpz(t, fmpq_denref(y), ctx->ffinfo);
invertible = !fmpz_is_zero(t);
if (invertible)
{
fmpz_mod_inv(t, t, ctx->ffinfo);
fmpz_mod_mul_fmpz(t, t, fmpq_numref(y), ctx->ffinfo);
fmpz_mod_mpoly_q_mul_fmpz_mod(res, x, t, ctx);
}
fmpz_clear(t);
return invertible;
}
}
void
fmpz_mod_mpoly_q_mul_fmpz(fmpz_mod_mpoly_q_t res, const fmpz_mod_mpoly_q_t x, const fmpz_t y, const fmpz_mod_mpoly_ctx_t ctx)
{
fmpz_t t;
fmpz_init(t);
fmpz_mod_set_fmpz(t, y, ctx->ffinfo);
fmpz_mod_mpoly_q_mul_fmpz_mod(res, x, t, ctx);
fmpz_clear(t);
}