gmde.h

/******************************************************************************

    Copyright (C) 2010, 2011, 2012 Sebastian Pancratz

******************************************************************************/

#ifndef GMDE_H
#define GMDE_H

#include "generics.h"
#include "mat.h"
#include "flint/fmpz_poly.h"
#include "flint/fmpq_mat.h"
#include "flint/padic_mat.h"
#include "flint/fmpz_poly_mat.h"

void gmde_convert_gmc_fmpq(fmpq_mat_struct **numM, long *lenM, fmpz_poly_t denM, 
                           const mat_t M, const ctx_t ctxM);

void gmde_convert_gmc(padic_mat_struct **B, long *lenB, fmpz_poly_t denB, 
                      long N, const padic_ctx_t pctx, 
                      const mat_t M, const ctx_t ctxM);

void gmde_solve_fmpq(fmpq_mat_struct **C, long N, 
                     const mat_t M, const ctx_t ctxM);

void gmde_solve(padic_mat_struct **C, long K, const fmpz_t p, long N, long Nw, 
                const mat_t M, const ctx_t ctxM);

void gmde_convert_soln_fmpq(mat_t A, const ctx_t ctxA, 
                            const fmpq_mat_struct *C, long N);

void gmde_convert_soln(fmpz_poly_mat_t A, long *vA, 
                       const padic_mat_struct *C, long N, const fmpz_t p);


/* Checks ********************************************************************/

void gmde_check_soln(const fmpz_poly_mat_t C, long vC, const fmpz_t p, long N, 
                     long K, const mat_t M, const ctx_t FracZt);

#endif