fmpz_mpoly_q_factored_add, fmpz_mpoly_q_factored_sub
Synopsis
#include <flint/fmpz_mpoly_q.h>void fmpz_mpoly_q_factored_add(fmpz_mpoly_q_factored_t res, const fmpz_mpoly_q_factored_t x, const fmpz_mpoly_q_factored_t y, const fmpz_mpoly_ctx_t ctx)sourcevoid fmpz_mpoly_q_factored_sub(fmpz_mpoly_q_factored_t res, const fmpz_mpoly_q_factored_t x, const fmpz_mpoly_q_factored_t y, const fmpz_mpoly_ctx_t ctx)sourceSet res to x + y, respectively x - y. The common denominator takes the larger exponent of each irreducible factor. Only factors with the same exponent in both denominators can divide the new numerator; they are removed by trial division.
Cite this page
The FLINT team, “fmpz_mpoly_q_factored_add, fmpz_mpoly_q_factored_sub (fmpz_mpoly_q.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mpoly_q/fmpz_mpoly_q_factored_add.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mpoly-q-fmpz-mpoly-q-factored-add,
author = {{The FLINT team}},
title = {{fmpz\_mpoly\_q\_factored\_add, fmpz\_mpoly\_q\_factored\_sub (fmpz\_mpoly\_q.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mpoly_q/fmpz_mpoly_q_factored_add.html},
note = {Generated 2026-10-20}
}