Loading...
Searching...
No Matches
callgfanlib_conversion.h
Go to the documentation of this file.
#ifndef CALLGFANLIB_CONVERSION_H
#define CALLGFANLIB_CONVERSION_H
#include "gfanlib/gfanlib.h"
#include "coeffs/bigintmat.h"
#include "coeffs/longrat.h"
#include "coeffs/numbers.h"
gfan::Integer* numberToInteger(const number &n);
number integerToNumber(const gfan::Integer &I);
bigintmat* zVectorToBigintmat(const gfan::ZVector &zv);
bigintmat* zMatrixToBigintmat(const gfan::ZMatrix &zm);
gfan::ZMatrix* bigintmatToZMatrix(const bigintmat &bim);
gfan::ZVector* bigintmatToZVector(const bigintmat &bim);
gfan::ZVector intStar2ZVector(const int d, const int* i);
gfan::ZVector wvhdlEntryToZVector(const int n, const int* wvhdl0);
int* ZVectorToIntStar(const gfan::ZVector &v, bool &overflow);
char* toString(gfan::ZMatrix const &m);
gfan::ZVector expvToZVector(const int n, const int* expv);
gfan::ZFan* toFanStar(std::set<gfan::ZCone> setOfCones);
std::set<gfan::ZVector> rays(std::set<gfan::ZCone> setOfCones);
#endif
bigintmat.h
integerToNumber
number integerToNumber(const gfan::Integer &I)
Definition callgfanlib_conversion.cc:9
zMatrixToBigintmat
bigintmat * zMatrixToBigintmat(const gfan::ZMatrix &zm)
Definition callgfanlib_conversion.cc:34
toString
char * toString(gfan::ZMatrix const &m)
Definition callgfanlib_conversion.cc:127
bigintmatToZMatrix
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)
Definition callgfanlib_conversion.cc:57
ZVectorToIntStar
int * ZVectorToIntStar(const gfan::ZVector &v, bool &overflow)
Definition callgfanlib_conversion.cc:110
rays
std::set< gfan::ZVector > rays(std::set< gfan::ZCone > setOfCones)
Definition callgfanlib_conversion.cc:151
numberToInteger
gfan::Integer * numberToInteger(const number &n)
Definition callgfanlib_conversion.cc:49
intStar2ZVector
gfan::ZVector intStar2ZVector(const int d, const int *i)
Definition callgfanlib_conversion.cc:86
wvhdlEntryToZVector
gfan::ZVector wvhdlEntryToZVector(const int n, const int *wvhdl0)
Definition callgfanlib_conversion.cc:102
expvToZVector
gfan::ZVector expvToZVector(const int n, const int *expv)
Definition callgfanlib_conversion.cc:94
zVectorToBigintmat
bigintmat * zVectorToBigintmat(const gfan::ZVector &zv)
Definition callgfanlib_conversion.cc:21
toFanStar
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
Definition callgfanlib_conversion.cc:137
bigintmatToZVector
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
Definition callgfanlib_conversion.cc:73
m
int m
Definition cfEzgcd.cc:128
i
int i
Definition cfEzgcd.cc:132
bigintmat
Matrices of numbers.
Definition bigintmat.h:51
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition facBivar.h:39
longrat.h
numbers.h