res-poly-ring.cpp File Reference

#include "schreyer-resolution/res-poly-ring.hpp"
#include "schreyer-resolution/res-monomial-sorter.hpp"

Go to the source code of this file.

Functions
bool	check_poly (const ResPolyRing &R, const ResPolynomial &f, const ResSchreyerOrder &ord)