My Project  debian-1:4.1.2-p1+ds-2
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
number integerToNumber(const gfan::Integer &I)
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)
char * toString(gfan::ZMatrix const &m)
gfan::ZVector intStar2ZVector(const int d, const int *i)
bigintmat * zMatrixToBigintmat(const gfan::ZMatrix &zm)
gfan::ZVector wvhdlEntryToZVector(const int n, const int *wvhdl0)
gfan::ZVector expvToZVector(const int n, const int *expv)
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
std::set< gfan::ZVector > rays(std::set< gfan::ZCone > setOfCones)
gfan::Integer * numberToInteger(const number &n)
bigintmat * zVectorToBigintmat(const gfan::ZVector &zv)
int * ZVectorToIntStar(const gfan::ZVector &v, bool &overflow)
int m
Definition: cfEzgcd.cc:121
int i
Definition: cfEzgcd.cc:125
Matrices of numbers.
Definition: bigintmat.h:51
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37