res-a0.cpp File Reference

#include "res-a0.hpp"
#include "ExponentVector.hpp"
#include "res-a0-poly.hpp"
#include "geobucket.hpp"
#include "buffer.hpp"
#include "text-io.hpp"
#include "interrupted.hpp"
#include "betti.hpp"
#include "matrix-con.hpp"

Go to the source code of this file.

Macros
#define	DO(CALL)

Typedefs
using	respolyHeap = geobucket<const res2_poly, res2term *>