1 #ifndef CALLGFANLIB_CONVERSION_H 2 #define CALLGFANLIB_CONVERSION_H 4 #include "gfanlib/gfanlib.h" 23 gfan::ZFan*
toFanStar(std::set<gfan::ZCone> setOfCones);
24 std::set<gfan::ZVector>
rays(std::set<gfan::ZCone> setOfCones);
std::set< gfan::ZVector > rays(std::set< gfan::ZCone > setOfCones)
number integerToNumber(const gfan::Integer &I)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
gfan::Integer * numberToInteger(const number &n)
bigintmat * zVectorToBigintmat(const gfan::ZVector &zv)
gfan::ZVector intStar2ZVector(const int d, const int *i)
gfan::ZVector expvToZVector(const int n, const int *expv)
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
gfan::ZVector wvhdlEntryToZVector(const int n, const int *wvhdl0)
const Variable & v
< [in] a sqrfree bivariate poly
bigintmat * zMatrixToBigintmat(const gfan::ZMatrix &zm)
int * ZVectorToIntStar(const gfan::ZVector &v, bool &overflow)
char * toString(gfan::ZMatrix const &m)
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)