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