res-f4-computation.cpp File Reference

#include <iostream>
#include "interface/monomial-ordering.h"
#include "res-f4-m2-interface.hpp"
#include "res-f4-computation.hpp"
#include "res-schreyer-frame.hpp"
#include "matrix.hpp"
#include "exceptions.hpp"

Go to the source code of this file.

Functions
ResolutionComputation *	createF4Res (const Matrix *groebnerBasisMatrix, int max_level, int strategy, int numThreads, bool parallelizeByDegree)

Variables
long	nres = 0
long	nres_destruct = 0