M4RI  20200125
mzp.h
Go to the documentation of this file.
1 
9 /******************************************************************************
10 *
11 * M4RI: Linear Algebra over GF(2)
12 *
13 * Copyright (C) 2008 Martin Albrecht <malb@informatik.uni-bremen.de>
14 *
15 * Distributed under the terms of the GNU General Public License (GPL)
16 * version 2 or higher.
17 *
18 * This code is distributed in the hope that it will be useful,
19 * but WITHOUT ANY WARRANTY; without even the implied warranty of
20 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 * General Public License for more details.
22 *
23 * The full text of the GPL is available at:
24 *
25 * http://www.gnu.org/licenses/
26 ******************************************************************************/
27 
28 #ifndef M4RI_MZP
29 #define M4RI_MZP
30 
31 #include <m4ri/mzd.h>
32 
37 typedef struct mzp_t {
41  rci_t *values;
42 
47  rci_t length;
48 
49 } mzp_t; // note that this is NOT mpz_t
50 
57 mzp_t *mzp_init(rci_t length);
58 
65 void mzp_free(mzp_t *P);
66 
78 mzp_t *mzp_init_window(mzp_t *P, rci_t begin, rci_t end);
79 
87 void mzp_free_window(mzp_t *condemned);
88 
89 
97 mzp_t *mzp_copy(mzp_t *P, const mzp_t *Q);
98 
110 void mzp_set_ui(mzp_t *P, unsigned int value);
111 
121 void mzd_apply_p_left(mzd_t *A, mzp_t const *P);
122 
132 void mzd_apply_p_left_trans(mzd_t *A, mzp_t const *P);
133 
143 void mzd_apply_p_right(mzd_t *A, mzp_t const *P);
144 
154 void mzd_apply_p_right_trans(mzd_t *A, mzp_t const *P);
155 
167 void mzd_apply_p_right_even_capped(mzd_t *A, mzp_t const *P, rci_t start_row, rci_t start_col);
168 
180 void mzd_apply_p_right_trans_even_capped(mzd_t *A, mzp_t const *P, rci_t start_row, rci_t start_col);
181 
191 void mzd_apply_p_right_trans(mzd_t *A, mzp_t const *P);
192 
202 void mzd_apply_p_right_trans_tri(mzd_t *A, mzp_t const *Q);
203 
210 void mzp_print(mzp_t const *P);
211 
222 void _mzd_compress_l(mzd_t *A, rci_t r1, rci_t n1, rci_t r2);
223 
224 #endif // M4RI_MZP
mzd_apply_p_right_trans_even_capped
void mzd_apply_p_right_trans_even_capped(mzd_t *A, mzp_t const *P, rci_t start_row, rci_t start_col)
Definition: mzp.c:316
mzd_apply_p_left_trans
void mzd_apply_p_left_trans(mzd_t *A, mzp_t const *P)
Definition: mzp.c:79
_mzd_compress_l
void _mzd_compress_l(mzd_t *A, rci_t r1, rci_t n1, rci_t r2)
Definition: mzp.c:351
mzd.h
Dense matrices over GF(2) represented as a bit field.
mzp_t
struct mzp_t mzp_t
Permutations.
mzp_init_window
mzp_t * mzp_init_window(mzp_t *P, rci_t begin, rci_t end)
Create a window/view into the permutation P.
Definition: mzp.c:42
mzd_apply_p_right
void mzd_apply_p_right(mzd_t *A, mzp_t const *P)
Definition: mzp.c:310
mzp_set_ui
void mzp_set_ui(mzp_t *P, unsigned int value)
Set the permutation P to the identity permutation. The only allowed value is 1.
Definition: mzp.c:62
rci_t
int rci_t
Type of row and column indexes.
Definition: misc.h:72
mzd_t
Dense matrices over GF(2).
Definition: mzd.h:86
mzp_free
void mzp_free(mzp_t *P)
Definition: mzp.c:37
mzd_apply_p_right_trans
void mzd_apply_p_right_trans(mzd_t *A, mzp_t const *P)
Definition: mzp.c:304
mzd_apply_p_left
void mzd_apply_p_left(mzd_t *A, mzp_t const *P)
Definition: mzp.c:69
mzp_print
void mzp_print(mzp_t const *P)
Definition: mzp.c:328
mzd_apply_p_right_trans_tri
void mzd_apply_p_right_trans_tri(mzd_t *A, mzp_t const *Q)
Definition: mzp.c:336
mzp_copy
mzp_t * mzp_copy(mzp_t *P, const mzp_t *Q)
copy permutation Q to P
Definition: mzp.c:54
mzp_t::values
rci_t * values
Definition: mzp.h:58
mzp_t
Permutations.
Definition: mzp.h:37
mzp_t::length
rci_t length
Definition: mzp.h:64
mzp_free_window
void mzp_free_window(mzp_t *condemned)
Free a permutation window created with mzp_init_mzp_t_window().
Definition: mzp.c:50
mzd_apply_p_right_even_capped
void mzd_apply_p_right_even_capped(mzd_t *A, mzp_t const *P, rci_t start_row, rci_t start_col)
Definition: mzp.c:322
mzp_init
mzp_t * mzp_init(rci_t length)
Definition: mzp.c:27