mzp.h

Go to the documentation of this file.

/******************************************************************************
*
*                 M4RI: Linear Algebra over GF(2)
*
*    Copyright (C) 2008 Martin Albrecht <malb@informatik.uni-bremen.de> 
*
*  Distributed under the terms of the GNU General Public License (GPL)
*  version 2 or higher.
*
*    This code is distributed in the hope that it will be useful,
*    but WITHOUT ANY WARRANTY; without even the implied warranty of
*    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
*    General Public License for more details.
*
*  The full text of the GPL is available at:
*
*                  http://www.gnu.org/licenses/
******************************************************************************/

#ifndef M4RI_MZP
#define M4RI_MZP

#include <m4ri/mzd.h>

typedef struct mzp_t {
  rci_t *values;

  rci_t length;

} mzp_t; // note that this is NOT mpz_t

mzp_t *mzp_init(rci_t length);

void mzp_free(mzp_t *P);

mzp_t *mzp_init_window(mzp_t *P, rci_t begin, rci_t end);

void mzp_free_window(mzp_t *condemned);


mzp_t *mzp_copy(mzp_t *P, const mzp_t *Q);

void mzp_set_ui(mzp_t *P, unsigned int value);

void mzd_apply_p_left(mzd_t *A, mzp_t const *P);

void mzd_apply_p_left_trans(mzd_t *A, mzp_t const *P);

void mzd_apply_p_right(mzd_t *A, mzp_t const *P);

void mzd_apply_p_right_trans(mzd_t *A, mzp_t const *P);

void mzd_apply_p_right_even_capped(mzd_t *A, mzp_t const *P, rci_t start_row, rci_t start_col);

void mzd_apply_p_right_trans_even_capped(mzd_t *A, mzp_t const *P, rci_t start_row, rci_t start_col);

void mzd_apply_p_right_trans(mzd_t *A, mzp_t const *P);

void  mzd_apply_p_right_trans_tri(mzd_t *A, mzp_t const *Q);

void mzp_print(mzp_t const *P);

void _mzd_compress_l(mzd_t *A, rci_t r1, rci_t n1, rci_t r2);

#endif // M4RI_MZP