#include <exception>
#include "fglm.h"
#include <BooleEnv.h>
#include <polybori.h>
#include "groebner_defs.h"
#include <functional>
#include <algorithm>
#include <vector>
#include <map>
#include <set>
#include <utility>
#include <boost/shared_ptr.hpp>
#include <queue>
#include <boost/dynamic_bitset.hpp>
#include <string>
#include <iostream>
#include <m4ri/m4ri.h>
#include "groebner_alg.h"
#include <m4ri/packedmatrix.h>
Classes | |
class | FGLMNoLinearCombinationException |
Functions | |
void | transpose_window_to_row (mzd_t *transposed_vec, mzd_t *window) |
void | clear_mat (mzd_t *mat) |
void clear_mat | ( | mzd_t * | mat | ) |
Referenced by FGLMStrategy::transposeMultiplicationTables().
void transpose_window_to_row | ( | mzd_t * | transposed_vec, | |
mzd_t * | window | |||
) |