reducedgb-marked.cpp File Reference

#include <functional>
#include "reducedgb-marked.hpp"
#include "monideal.hpp"
#include "matrix-con.hpp"

Go to the source code of this file.

Classes
struct	MarkedGB_sorter
	Index comparator for sorting a MarkedGB's gb array by the lead-term ordering induced by the user-supplied marking. More...