flint-sys 0.9.0

Bindings to the FLINT C library
Documentation
/*
    Copyright (C) 2017 Luca De Feo

    This file is part of FLINT.

    FLINT is free software: you can redistribute it and/or modify it under
    the terms of the GNU Lesser General Public License (LGPL) as published
    by the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.  See <https://www.gnu.org/licenses/>.
*/

#ifdef T
#ifdef B

#include "templates.h"

#include "fmpz.h"
#include "fmpz_mod_mat.h"

/* The naming of these macros is an abuse */
#define __nmod_poly_get_coeff(p, i) ((p)->coeffs[(i)])
#define __fmpz_mod_poly_get_coeff(p, i) ((p)->coeffs + (i))

#define __nmod_mat_zero nmod_mat_zero(matrix)
#define __fmpz_mod_mat_zero fmpz_mod_mat_zero(matrix, ctx->ctxp)

#define __nmod_mat_set_entry(c) nmod_mat_set_entry(matrix, i, j, c)
#define __fmpz_mod_mat_set_entry(c) fmpz_mod_mat_set_entry(matrix, i, j, c, ctx->ctxp)


void TEMPLATE(T, embed_composition_matrix_sub)(TEMPLATE(B, mat_t) matrix,
                                         const TEMPLATE(T, t) gen,
                                         const TEMPLATE(T, ctx_t) ctx,
                                         slong trunc)
{
    slong i, j, len = TEMPLATE(T, ctx_degree)(ctx);
    TEMPLATE(T, t) tmp;

    TEMPLATE(T, init)(tmp, ctx);
    TEMPLATE(T, one)(tmp, ctx);

    __TEMPLATE(B, mat_zero);

    for (j = 0; j < trunc; j++)
    {
        for (i = 0; i < tmp->length; i++)
        {
            __TEMPLATE(B, mat_set_entry)(__TEMPLATE(B, poly_get_coeff)(tmp, i));
        }

        if (j < len - 1)
            TEMPLATE(T, mul)(tmp, tmp, gen, ctx);
    }

    TEMPLATE(T, clear)(tmp, ctx);
}

void TEMPLATE(T, embed_composition_matrix)(TEMPLATE(B, mat_t) matrix,
                                     const TEMPLATE(T, t) gen,
                                     const TEMPLATE(T, ctx_t) ctx)
{
    TEMPLATE(T, embed_composition_matrix_sub)(matrix, gen, ctx,
                                        TEMPLATE(T, ctx_degree(ctx)));
}

#endif
#endif