Lines Matching refs:sub_ctx

6 …gens(fq_t gen_sub, fq_t gen_sup, fmpz_mod_poly_t minpoly, const fq_ctx_t sub_ctx, const fq_ctx_t s…
8     Given two contexts ``sub_ctx`` and ``sup_ctx``, such that
9     ``degree(sub_ctx)`` divides ``degree(sup_ctx)``, compute:
11     * an element ``gen_sub`` in ``sub_ctx`` such that
13       ``sub_ctx``,
18     These data uniquely define an embedding of ``sub_ctx`` into
22 …aive(fq_t gen_sub, fq_t gen_sup, fmpz_mod_poly_t minpoly, const fq_ctx_t sub_ctx, const fq_ctx_t s…
24     Given two contexts ``sub_ctx`` and ``sup_ctx``, such that
25     ``degree(sub_ctx)`` divides ``degree(sup_ctx)``, compute an
26     embedding of ``sub_ctx`` into ``sup_ctx`` defined as follows:
30     * ``minpoly`` is the defining polynomial of ``sub_ctx``,
34 …_mat_t embed, fmpz_mod_mat_t project, const fq_t gen_sub, const fq_ctx_t sub_ctx, const fq_t gen_s…
38     * two contexts ``sub_ctx`` and ``sup_ctx``, of
40     * a generator ``gen_sub`` of ``sub_ctx``, its minimal
53 …ce_matrix(fmpz_mod_mat_t res, const fmpz_mod_mat_t basis, const fq_ctx_t sub_ctx, const fq_ctx_t s…
57     * two contexts ``sub_ctx`` and ``sup_ctx``, of degrees
59     * an `n\times m` matrix ``basis`` that maps ``sub_ctx``
63     ``sub_ctx``.
67     ``embed_dual_to_mono_matrix(_, sub_ctx)``