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