Solving linear systems of Boolean equations using Gaussain elimination. More...

#include "common.hh"

Functions
void	solve_gf2_matrix_transpose (const uint32_t C, int M, int N, uint32_t T, int P, int Q)

void	solve_gf2_identity_matrix_left_concat (uint32_t ap, int P, int Q, uint32_t a, int M, int N)

int	solve_gf2_find_first_nonzero (const uint32_t **a, int m, int n, const int r, const int s)

void	solve_gf2_swap_rows (uint32_t **a, const int m, const int n, const int r, const int s)

int	solve_gf2_gaussian_elimination (uint32_t **a, int m, int s, int n)

void	solve_gf2_system (const uint32_t G, int M, int N, uint32_t Gt, int S, int T, uint32_t *Gt_ext, int P, int Q, int nsol)

Detailed Description

Solving linear systems of Boolean equations using Gaussain elimination.

Author: V.Velichkov, vesse.nosp@m.lin..nosp@m.velic.nosp@m.hkov.nosp@m.@uni..nosp@m.lu

Functions