#include <polybori/groebner/LiteralFactorizationIterator.h>
#include <polybori/groebner/LiteralFactorization.h>
#include <stdexcept>