FLINT3.7.0-dev

fq_embed_dual_to_mono_matrix

Synopsis#include <flint/fq_embed.h>
void fq_embed_dual_to_mono_matrix(fmpz_mod_mat_t res, const fq_ctx_t ctx)source

Sets the d \times d matrix res to the inverse of fq_embed_mono_to_dual_matrix. By Euler's formula the dual basis of 1, x, \ldots, x^{d-1} is b_0 / f'(x), \ldots, b_{d-1} / f'(x), where f(X)/(X - x) = \sum b_j X^j, so the matrix is the product of the multiplication matrix of 1/f'(x) and the Hankel matrix of the coefficients of f.

Cite this page

The FLINT team, “fq_embed_dual_to_mono_matrix (fq_embed.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fq_embed/fq_embed_dual_to_mono_matrix.html (generated 2026-10-20).