_fmpz_mpoly_compose_mat
Synopsis
#include <flint/fmpz_mpoly.h>void _fmpz_mpoly_compose_mat(fmpz_mpoly_t A, const fmpz_mpoly_t B, const fmpz_mat_t M, const fmpz_mpoly_ctx_t ctxB, const fmpz_mpoly_ctx_t ctxAC)sourceSets A to the image of B under the monomial map given by the matrix M, as filled by mpoly_compose_mat_gen or mpoly_compose_mat_fill_column: each unpacked monomial of B is multiplied by M, terms whose image has a nonzero last entry are dropped, and the result is sorted and combined. A must not alias B.
Cite this page
The FLINT team, “_fmpz_mpoly_compose_mat (fmpz_mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mpoly/_fmpz_mpoly_compose_mat.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mpoly-fmpz-mpoly-compose-mat,
author = {{The FLINT team}},
title = {{\_fmpz\_mpoly\_compose\_mat (fmpz\_mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mpoly/_fmpz_mpoly_compose_mat.html},
note = {Generated 2026-10-20}
}