f4-monlookup.cpp File Reference

#include "f4/f4-monlookup.hpp"
#include "buffer.hpp"
#include "interface/m2-types.h"
#include "f4/varpower-monomial.hpp"
#include "text-io.hpp"
#include <cassert>
#include <cstdint>
#include <vector>
#include <algorithm>

Go to the source code of this file.

Functions
void	minimalize_varpower_monomials (const std::vector< varpower_monomial > &elems, std::vector< int > &result_minimals)

Variables
static int	nlists = 0
static int	nleaves = 0
static int	nnodes = 0
static int	ndepth = 0