jengelh-datetimespielwiese
Last change
on this file since 58b407 was
58b407,
checked in by Hans Schoenemann <hannes@…>, 10 years ago
|
fix: loading of gfanlib.so, removed HAVE_FANS
|
-
Property mode set to
100644
|
File size:
1021 bytes
|
Line | |
---|
1 | #ifndef BBCONE_H |
---|
2 | #define BBCONE_H |
---|
3 | |
---|
4 | #include <kernel/mod2.h> |
---|
5 | |
---|
6 | #include <gfanlib/gfanlib.h> |
---|
7 | #include <libpolys/misc/intvec.h> |
---|
8 | #include <libpolys/coeffs/bigintmat.h> |
---|
9 | |
---|
10 | #include "Singular/ipid.h" |
---|
11 | |
---|
12 | extern int coneID; |
---|
13 | |
---|
14 | void bbcone_setup(SModulFunctions* p); |
---|
15 | |
---|
16 | /*** |
---|
17 | * Conversion functions for data types |
---|
18 | **/ |
---|
19 | gfan::Integer* numberToInteger(const number &n); |
---|
20 | number integerToNumber(const gfan::Integer &I); |
---|
21 | bigintmat* zVectorToBigintmat(const gfan::ZVector &zv); |
---|
22 | bigintmat* zMatrixToBigintmat(const gfan::ZMatrix &zm); |
---|
23 | gfan::ZMatrix* bigintmatToZMatrix(const bigintmat &bim); |
---|
24 | gfan::ZVector* bigintmatToZVector(const bigintmat &bim); |
---|
25 | |
---|
26 | gfan::ZVector* intStar2ZVector(const int d, const int* i); |
---|
27 | char* toString(gfan::ZMatrix const &m); |
---|
28 | std::string toString(const gfan::ZCone* const c); |
---|
29 | |
---|
30 | /*** |
---|
31 | * Other functions |
---|
32 | **/ |
---|
33 | int getDimension(gfan::ZCone* zc); |
---|
34 | int getCodimension(gfan::ZCone* zc); |
---|
35 | int getLinealityDimension(gfan::ZCone* zc); |
---|
36 | gfan::ZVector randomPoint(const gfan::ZCone* zc); |
---|
37 | gfan::ZCone liftUp(const gfan::ZCone &zc); |
---|
38 | |
---|
39 | #endif |
---|
Note: See
TracBrowser
for help on using the repository browser.