#include "capd/vectalg/lib.h"
#include "capd/geomset/DoubletonSet.hpp"
#include "capd/geomset/CenteredDoubletonSet.hpp"