f4-computation.cpp File Reference

#include "f4/f4-computation.hpp"
#include "buffer.hpp"
#include "error.h"
#include "f4/f4-m2-interface.hpp"
#include "f4/f4-types.hpp"
#include "f4/f4.hpp"
#include "f4/moninfo.hpp"
#include "matrix-con.hpp"
#include "matrix.hpp"
#include "mem.hpp"
#include "monoid.hpp"
#include "polyring.hpp"
#include "ring.hpp"
#include "ringelem.hpp"
#include "text-io.hpp"
#include "util.hpp"
#include "VectorArithmetic.hpp"

Go to the source code of this file.

Functions
GBComputation *	createF4GB (const Matrix *m, M2_bool collect_syz, int n_rows_to_keep, M2_arrayint gb_weights, int strategy, M2_bool use_max_degree, int max_degree, int numThreads)