res-f4-monlookup.cpp File Reference

#include "schreyer-resolution/res-f4-monlookup.hpp"
#include "buffer.hpp"
#include "interface/m2-types.h"
#include "mem.hpp"
#include "schreyer-resolution/res-monomial-types.hpp"
#include "style.hpp"
#include "text-io.hpp"
#include <cassert>
#include <cstddef>
#include <stdint.h>
#include <vector>

Go to the source code of this file.

Functions
void	minimalize_res_varpower_monomials (const VECTOR(res_varpower_monomial) &elems, VECTOR(int) &result_minimals, stash *mi_stash)

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