 |
My Project
debian-1:4.1.1-p2+ds-4build3
|
Go to the documentation of this file. 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);
number integerToNumber(const gfan::Integer &I)
bigintmat * zVectorToBigintmat(const gfan::ZVector &zv)
gfan::ZVector wvhdlEntryToZVector(const int n, const int *wvhdl0)
std::set< gfan::ZVector > rays(std::set< gfan::ZCone > setOfCones)
int * ZVectorToIntStar(const gfan::ZVector &v, bool &overflow)
bigintmat * zMatrixToBigintmat(const gfan::ZMatrix &zm)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
gfan::ZVector intStar2ZVector(const int d, const int *i)
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
char * toString(gfan::ZMatrix const &m)
gfan::ZVector expvToZVector(const int n, const int *expv)
const Variable & v
< [in] a sqrfree bivariate poly
gfan::Integer * numberToInteger(const number &n)