res-f4.cpp File Reference

#include "schreyer-resolution/res-f4.hpp"
#include "schreyer-resolution/res-schreyer-frame.hpp"
#include "schreyer-resolution/res-monomial-sorter.hpp"
#include "ExponentVector.hpp"
#include "monoid.hpp"
#include "memtailor.h"
#include "text-io.hpp"
#include <iostream>
#include <ctime>
#include <algorithm>
#include "timing.hpp"

Go to the source code of this file.

Functions
static void	applyPermutation (ComponentIndex *permutation, std::vector< ComponentIndex > &entries)