mpoly_compose_mat_gen, mpoly_compose_mat_fill_column
#include <flint/mpoly.h>void mpoly_compose_mat_gen(fmpz_mat_t M, const slong * c, const mpoly_ctx_t mctxB, const mpoly_ctx_t mctxAC)sourcevoid mpoly_compose_mat_fill_column(fmpz_mat_t M, const ulong * Cexp, flint_bitcnt_t Cbits, slong Bvar, const mpoly_ctx_t mctxB, const mpoly_ctx_t mctxAC)sourceFill the matrix of a monomial substitution, used by the *_compose_*_gen functions and the matrix method of composition. M has mctxAC->nfields + 1 rows and mctxB->nfields columns; the column of a variable of B holds the unpacked fields of its image in the ring of A and C, and a 1 in the last row means that the variable is mapped to zero. The first function maps the variable of index i to the variable of index c[i] (or to zero if c[i] is negative or out of range). The second fills the column of Bvar with the monomial (Cexp, Cbits), or marks it as zero if Cexp is NULL.
The FLINT team, “mpoly_compose_mat_gen, mpoly_compose_mat_fill_column (mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpoly/mpoly_compose_mat_gen.html (generated 2026-10-20).
@misc{flint-doc-mpoly-mpoly-compose-mat-gen,
author = {{The FLINT team}},
title = {{mpoly\_compose\_mat\_gen, mpoly\_compose\_mat\_fill\_column (mpoly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mpoly/mpoly_compose_mat_gen.html},
note = {Generated 2026-10-20}
}