6 #include <gfanlib/gfanlib_vector.h>
8 std::pair<ideal,ring>
flip(
const ideal I,
const ring
r,
9 const gfan::ZVector interiorPoint,
10 const gfan::ZVector facetNormal,
11 const gfan::ZVector adjustedInteriorPoint,
12 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)