My Project  debian-1:4.1.1-p2+ds-4build3
callgfanlib_conversion.h
Go to the documentation of this file.
1 #ifndef CALLGFANLIB_CONVERSION_H
2 #define CALLGFANLIB_CONVERSION_H
3 
4 #include "gfanlib/gfanlib.h"
5 #include "coeffs/bigintmat.h"
6 #include "coeffs/longrat.h"
7 #include "coeffs/numbers.h"
8 
9 gfan::Integer* numberToInteger(const number &n);
10 number integerToNumber(const gfan::Integer &I);
11 bigintmat* zVectorToBigintmat(const gfan::ZVector &zv);
12 bigintmat* zMatrixToBigintmat(const gfan::ZMatrix &zm);
13 gfan::ZMatrix* bigintmatToZMatrix(const bigintmat &bim);
14 gfan::ZVector* bigintmatToZVector(const bigintmat &bim);
15 
16 gfan::ZVector intStar2ZVector(const int d, const int* i);
17 gfan::ZVector wvhdlEntryToZVector(const int n, const int* wvhdl0);
18 int* ZVectorToIntStar(const gfan::ZVector &v, bool &overflow);
19 char* toString(gfan::ZMatrix const &m);
20 
21 gfan::ZVector expvToZVector(const int n, const int* expv);
22 
23 gfan::ZFan* toFanStar(std::set<gfan::ZCone> setOfCones);
24 std::set<gfan::ZVector> rays(std::set<gfan::ZCone> setOfCones);
25 
26 #endif
bigintmat
Definition: bigintmat.h:52
integerToNumber
number integerToNumber(const gfan::Integer &I)
Definition: callgfanlib_conversion.cc:9
zVectorToBigintmat
bigintmat * zVectorToBigintmat(const gfan::ZVector &zv)
Definition: callgfanlib_conversion.cc:21
bigintmat.h
i
int i
Definition: cfEzgcd.cc:125
wvhdlEntryToZVector
gfan::ZVector wvhdlEntryToZVector(const int n, const int *wvhdl0)
Definition: callgfanlib_conversion.cc:102
rays
std::set< gfan::ZVector > rays(std::set< gfan::ZCone > setOfCones)
Definition: callgfanlib_conversion.cc:151
ZVectorToIntStar
int * ZVectorToIntStar(const gfan::ZVector &v, bool &overflow)
Definition: callgfanlib_conversion.cc:110
zMatrixToBigintmat
bigintmat * zMatrixToBigintmat(const gfan::ZMatrix &zm)
Definition: callgfanlib_conversion.cc:34
bigintmatToZVector
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
Definition: callgfanlib_conversion.cc:73
intStar2ZVector
gfan::ZVector intStar2ZVector(const int d, const int *i)
Definition: callgfanlib_conversion.cc:86
bigintmatToZMatrix
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)
Definition: callgfanlib_conversion.cc:57
toFanStar
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
Definition: callgfanlib_conversion.cc:137
toString
char * toString(gfan::ZMatrix const &m)
Definition: callgfanlib_conversion.cc:127
m
int m
Definition: cfEzgcd.cc:121
expvToZVector
gfan::ZVector expvToZVector(const int n, const int *expv)
Definition: callgfanlib_conversion.cc:94
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
longrat.h
numberToInteger
gfan::Integer * numberToInteger(const number &n)
Definition: callgfanlib_conversion.cc:49
numbers.h