5#include "gfanlib/gfanlib_vector.h"
7std::pair<ideal,ring>
flip(
const ideal I,
const ring r,
8 const gfan::ZVector interiorPoint,
9 const gfan::ZVector facetNormal,
10 const gfan::ZVector adjustedInteriorPoint,
11 const gfan::ZVector adjustedFacetNormal);
std::pair< ideal, ring > flip(const ideal I, const ring r, const gfan::ZVector interiorPoint, const gfan::ZVector facetNormal, const gfan::ZVector adjustedInteriorPoint, const gfan::ZVector adjustedFacetNormal)