fmpz_mod_bpoly_add, fmpz_mod_bpoly_sub, fmpz_mod_bpoly_mul, fmpz_mod_bpoly_mul_series, fmpz_mod_bpoly_divrem_series, fmpz_mod_bpoly_divides, fmpz_mod_bpoly_make_monic_series, fmpz_mod_bpoly_make_primitive, fmpz_mod_bpoly_derivative_gen0, fmpz_mod_bpoly_taylor_shift_gen0, fmpz_mod_bpoly_taylor_shift_gen1, fmpz_mod_bpoly_reverse_vars
#include <flint/fmpz_mod_mpoly_factor.h>void fmpz_mod_bpoly_add(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_mod_bpoly_t C, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_sub(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_mod_bpoly_t C, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_mul(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_mod_bpoly_t C, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_mul_series(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_mod_bpoly_t C, slong order, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_divrem_series(fmpz_mod_bpoly_t Q, fmpz_mod_bpoly_t R, const fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, slong order, const fmpz_mod_ctx_t ctx)sourceint fmpz_mod_bpoly_divides(fmpz_mod_bpoly_t Q, const fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_make_monic_series(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, slong order, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_make_primitive(fmpz_mod_poly_t g, fmpz_mod_bpoly_t A, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_derivative_gen0(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_taylor_shift_gen0(fmpz_mod_bpoly_t A, const fmpz_t alpha, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_taylor_shift_gen1(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_t c, const fmpz_mod_ctx_t ctx)sourcevoid fmpz_mod_bpoly_reverse_vars(fmpz_mod_bpoly_t A, const fmpz_mod_bpoly_t B, const fmpz_mod_ctx_t ctx)sourceArithmetic of bivariate polynomials: products, and products and division with the inner variable truncated to order terms; exact division (returning 1 if exact); making the polynomial monic as a series in the inner variable, or removing its content g (a polynomial in the inner variable); the derivative with respect to the main variable; the substitutions x \mapsto x + \alpha and y \mapsto y + c; and swapping the variables.
The FLINT team, “fmpz_mod_bpoly_add, fmpz_mod_bpoly_sub, fmpz_mod_bpoly_mul, fmpz_mod_bpoly_mul_series, fmpz_mod_bpoly_divrem_series, fmpz_mod_bpoly_divides, fmpz_mod_bpoly_make_monic_series, fmpz_mod_bpoly_make_primitive, fmpz_mod_bpoly_derivative_gen0, fmpz_mod_bpoly_taylor_shift_gen0, fmpz_mod_bpoly_taylor_shift_gen1, fmpz_mod_bpoly_reverse_vars (fmpz_mod_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mod_mpoly_factor/fmpz_mod_bpoly_add.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mod-mpoly-factor-fmpz-mod-bpoly-add,
author = {{The FLINT team}},
title = {{fmpz\_mod\_bpoly\_add, fmpz\_mod\_bpoly\_sub, fmpz\_mod\_bpoly\_mul, fmpz\_mod\_bpoly\_mul\_series, fmpz\_mod\_bpoly\_divrem\_series, fmpz\_mod\_bpoly\_divides, fmpz\_mod\_bpoly\_make\_monic\_series, fmpz\_mod\_bpoly\_make\_primitive, fmpz\_mod\_bpoly\_derivative\_gen0, fmpz\_mod\_bpoly\_taylor\_shift\_gen0, fmpz\_mod\_bpoly\_taylor\_shift\_gen1, fmpz\_mod\_bpoly\_reverse\_vars (fmpz\_mod\_mpoly\_factor.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mod_mpoly_factor/fmpz_mod_bpoly_add.html},
note = {Generated 2026-10-20}
}