 |
My Project
debian-1:4.1.1-p2+ds-4
|
Go to the source code of this file.
|
void * | bbfan_Init (blackbox *) |
|
void | bbfan_destroy (blackbox *, void *d) |
|
char * | bbfan_String (blackbox *, void *d) |
|
void * | bbfan_Copy (blackbox *, void *d) |
|
BOOLEAN | bbfan_Assign (leftv l, leftv r) |
|
static gfan::IntMatrix | permutationIntMatrix (const bigintmat *iv) |
|
static BOOLEAN | jjFANEMPTY_I (leftv res, leftv v) |
|
static BOOLEAN | jjFANEMPTY_IM (leftv res, leftv v) |
|
BOOLEAN | emptyFan (leftv res, leftv args) |
|
static BOOLEAN | jjFANFULL_I (leftv res, leftv v) |
|
static BOOLEAN | jjFANFULL_IM (leftv res, leftv v) |
|
BOOLEAN | fullFan (leftv res, leftv args) |
|
int | getAmbientDimension (gfan::ZFan *zf) |
|
int | getCodimension (gfan::ZFan *zf) |
|
int | getDimension (gfan::ZFan *zf) |
|
int | getLinealityDimension (gfan::ZFan *zf) |
|
BOOLEAN | numberOfConesOfDimension (leftv res, leftv args) |
|
BOOLEAN | ncones (leftv res, leftv args) |
|
BOOLEAN | nmaxcones (leftv res, leftv args) |
|
bool | isCompatible (const gfan::ZFan *zf, const gfan::ZCone *zc) |
|
BOOLEAN | isCompatible (leftv res, leftv args) |
|
BOOLEAN | insertCone (leftv res, leftv args) |
|
bool | containsInCollection (gfan::ZFan *zf, gfan::ZCone *zc) |
|
BOOLEAN | containsInCollection (leftv res, leftv args) |
|
BOOLEAN | removeCone (leftv res, leftv args) |
|
BOOLEAN | getCone (leftv res, leftv args) |
|
BOOLEAN | getCones (leftv res, leftv args) |
|
int | isSimplicial (gfan::ZFan *zf) |
|
BOOLEAN | isPure (leftv res, leftv args) |
|
BOOLEAN | fVector (leftv res, leftv args) |
|
gfan::ZMatrix | rays (const gfan::ZFan *const zf) |
|
int | numberOfConesWithVector (gfan::ZFan *zf, gfan::ZVector *v) |
|
BOOLEAN | numberOfConesWithVector (leftv res, leftv args) |
|
BOOLEAN | fanFromString (leftv res, leftv args) |
|
BOOLEAN | fanViaCones (leftv res, leftv args) |
|
gfan::ZFan | commonRefinement (gfan::ZFan zf, gfan::ZFan zg) |
|
BOOLEAN | commonRefinement (leftv res, leftv args) |
|
BOOLEAN | bbfan_serialize (blackbox *b, void *d, si_link f) |
|
BOOLEAN | bbfan_deserialize (blackbox **b, void **d, si_link f) |
|
void | bbfan_setup (SModulFunctions *p) |
|
◆ bbfan_Assign()
Definition at line 71 of file bbfan.cc.
78 gfan::ZFan* zd = (gfan::ZFan*)
l->Data();
81 newZf =
new gfan::ZFan(0);
83 else if (r->
Typ()==
l->Typ())
87 gfan::ZFan* zd = (gfan::ZFan*)
l->Data();
90 newZf = (gfan::ZFan*) r->
CopyD();
94 int ambientDim = (int) (
long) r->
Data();
97 Werror(
"expected an int >= 0, but got %d", ambientDim);
102 gfan::ZFan* zd = (gfan::ZFan*)
l->Data();
105 newZf =
new gfan::ZFan(ambientDim);
109 Werror(
"assign Type(%d) = Type(%d) not implemented",
l->Typ(),r->
Typ());
119 l->data = (
void*) newZf;
◆ bbfan_Copy()
void* bbfan_Copy |
( |
blackbox * |
, |
|
|
void * |
d |
|
) |
| |
Definition at line 64 of file bbfan.cc.
66 gfan::ZFan* zf = (gfan::ZFan*)d;
67 gfan::ZFan* newZf =
new gfan::ZFan(*zf);
◆ bbfan_deserialize()
Definition at line 1092 of file bbfan.cc.
1103 gfan::ZFan* zf =
new gfan::ZFan(fanInString);
◆ bbfan_destroy()
void bbfan_destroy |
( |
blackbox * |
, |
|
|
void * |
d |
|
) |
| |
Definition at line 26 of file bbfan.cc.
30 gfan::ZFan* zf = (gfan::ZFan*) d;
◆ bbfan_Init()
void* bbfan_Init |
( |
blackbox * |
| ) |
|
Definition at line 21 of file bbfan.cc.
23 return (
void*)
new gfan::ZFan(0);
◆ bbfan_serialize()
Definition at line 1073 of file bbfan.cc.
1078 memset(&
l,0,
sizeof(
l));
1080 l.data=(
void*)
"fan";
1083 gfan::ZFan* zf = (gfan::ZFan*) d;
1086 fprintf(dd->
f_write,
"%d %s ",(
int)
s.size(),
s.c_str());
◆ bbfan_setup()
◆ bbfan_String()
char* bbfan_String |
( |
blackbox * |
, |
|
|
void * |
d |
|
) |
| |
Definition at line 35 of file bbfan.cc.
40 gfan::initializeCddlibIfRequired();
41 gfan::ZFan* zf = (gfan::ZFan*)d;
43 gfan::deinitializeCddlibIfRequired();
◆ commonRefinement() [1/2]
gfan::ZFan commonRefinement |
( |
gfan::ZFan |
zf, |
|
|
gfan::ZFan |
zg |
|
) |
| |
Definition at line 977 of file bbfan.cc.
979 assume(zf.getAmbientDimension() == zg.getAmbientDimension());
982 std::list<gfan::ZCone> maximalConesOfF;
983 for (
int d=0; d<=zf.getAmbientDimension(); d++)
984 for (
int i=0;
i<zf.numberOfConesOfDimension(d,0,1);
i++)
985 maximalConesOfF.push_back(zf.getCone(d,
i,0,1));
987 std::list<gfan::ZCone> maximalConesOfG;
988 for (
int d=0; d<=zg.getAmbientDimension(); d++)
989 for (
int i=0;
i<zg.numberOfConesOfDimension(d,0,1);
i++)
990 maximalConesOfG.push_back(zg.getCone(d,
i,0,1));
993 gfan::ZFan zr = gfan::ZFan(zf.getAmbientDimension());
994 for (std::list<gfan::ZCone>::iterator itf=maximalConesOfF.begin();
995 itf != maximalConesOfF.end(); itf++)
996 for (std::list<gfan::ZCone>::iterator itg=maximalConesOfG.begin();
997 itg != maximalConesOfG.end(); itg++)
998 zr.insert(intersection(*itf,*itg));
◆ commonRefinement() [2/2]
Definition at line 1003 of file bbfan.cc.
1011 gfan::initializeCddlibIfRequired();
1012 gfan::ZFan* zf = (gfan::ZFan*) u->
Data();
1013 gfan::ZFan* zg = (gfan::ZFan*)
v->Data();
1016 res->data = (
void*) zr;
1017 gfan::deinitializeCddlibIfRequired();
1021 WerrorS(
"commonRefinement: unexpected parameters");
◆ containsInCollection() [1/2]
bool containsInCollection |
( |
gfan::ZFan * |
zf, |
|
|
gfan::ZCone * |
zc |
|
) |
| |
Definition at line 437 of file bbfan.cc.
439 gfan::ZVector zv=zc->getRelativeInteriorPoint();
440 for (
int d=0; d<=zf->getAmbientDimension(); d++)
442 for (
int i=0;
i<zf->numberOfConesOfDimension(d,0,1);
i++)
444 gfan::ZCone zd = zf->getCone(d,
i,0,1);
446 if (zd.containsRelatively(zv))
448 gfan::ZCone temp = *zc;
450 return (!(zd != temp));
◆ containsInCollection() [2/2]
Definition at line 457 of file bbfan.cc.
465 gfan::initializeCddlibIfRequired();
466 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
467 gfan::ZCone* zc = (gfan::ZCone*)
v->Data();
468 if((zf->getAmbientDimension() == zc->ambientDimension()))
472 gfan::deinitializeCddlibIfRequired();
475 gfan::deinitializeCddlibIfRequired();
476 WerrorS(
"containsInCollection: mismatching ambient dimensions");
480 WerrorS(
"containsInCollection: unexpected parameters");
◆ emptyFan()
Definition at line 176 of file bbfan.cc.
182 res->data = (
void*)
new gfan::ZFan(0);
193 WerrorS(
"emptyFan: unexpected parameters");
◆ fanFromString()
Definition at line 825 of file bbfan.cc.
830 gfan::initializeCddlibIfRequired();
832 std::istringstream
s(fanInString);
833 gfan::ZFan* zf =
new gfan::ZFan(
s);
835 res->data = (
void*) zf;
836 gfan::deinitializeCddlibIfRequired();
839 WerrorS(
"fanFromString: unexpected parameters");
◆ fanViaCones()
Definition at line 843 of file bbfan.cc.
851 gfan::initializeCddlibIfRequired();
854 WerrorS(
"fanViaCones: list contains entries of wrong type");
857 gfan::ZCone* zc = (gfan::ZCone*) L->
m[0].
Data();
858 gfan::ZFan* zf =
new gfan::ZFan(zc->ambientDimension());
864 WerrorS(
"fanViaCones: entries of wrong type in list");
865 gfan::deinitializeCddlibIfRequired();
868 gfan::ZCone* zc = (gfan::ZCone*) L->
m[
i].
Data();
869 if (zc->ambientDimension() != zf->getAmbientDimension())
871 WerrorS(
"fanViaCones: inconsistent ambient dimensions amongst cones in list");
872 gfan::deinitializeCddlibIfRequired();
878 res->data = (
void*) zf;
879 gfan::deinitializeCddlibIfRequired();
883 res->data = (
void*)
new gfan::ZFan(0);
888 gfan::initializeCddlibIfRequired();
889 gfan::ZCone* zc = (gfan::ZCone*) u->
Data();
890 gfan::ZFan* zf =
new gfan::ZFan(zc->ambientDimension());
897 WerrorS(
"fanViaCones: arguments of wrong type");
898 gfan::deinitializeCddlibIfRequired();
902 gfan::ZCone* zc = (gfan::ZCone*) u->
Data();
903 if (zc->ambientDimension() != zf->getAmbientDimension())
905 WerrorS(
"fanViaCones: inconsistent ambient dimensions amongst input cones");
906 gfan::deinitializeCddlibIfRequired();
913 res->data = (
void*) zf;
914 gfan::deinitializeCddlibIfRequired();
920 res->data = (
void*)
new gfan::ZFan(0);
923 WerrorS(
"fanViaCones: unexpected parameters");
◆ fullFan()
Definition at line 228 of file bbfan.cc.
230 gfan::initializeCddlibIfRequired();
235 res->data = (
void*)
new gfan::ZFan(0);
242 WerrorS(
"fullFan: unexpected parameters");
◆ fVector()
Definition at line 749 of file bbfan.cc.
754 gfan::initializeCddlibIfRequired();
755 gfan::ZFan* zf = (gfan::ZFan*) u->
Data();
756 gfan::ZVector zv=zf->getFVector();
759 gfan::deinitializeCddlibIfRequired();
762 WerrorS(
"fVector: unexpected parameters");
◆ getAmbientDimension()
int getAmbientDimension |
( |
gfan::ZFan * |
zf | ) |
|
Definition at line 246 of file bbfan.cc.
248 return zf->getAmbientDimension();
◆ getCodimension()
int getCodimension |
( |
gfan::ZFan * |
zf | ) |
|
Definition at line 251 of file bbfan.cc.
253 return zf->getCodimension();
◆ getCone()
Definition at line 557 of file bbfan.cc.
568 gfan::initializeCddlibIfRequired();
569 gfan::ZFan* zf = (gfan::ZFan*) u->
Data();
570 int d = (int)(
long)
v->Data();
571 int i = (int)(
long)
w->Data();
577 o = (int)(
long)
x->Data();
581 m = (int)(
long)
y->Data();
586 if (((o == 0) || (o == 1)) && ((
m == 0) || (
m == 1)))
592 int ld = zf->getLinealityDimension();
598 gfan::ZCone zc = zf->getCone(d-ld,
i,oo,mm);
600 res->data = (
void*)
new gfan::ZCone(zc);
601 gfan::deinitializeCddlibIfRequired();
606 WerrorS(
"getCone: invalid dimension; no cones in this dimension");
607 gfan::deinitializeCddlibIfRequired();
613 WerrorS(
"getCone: invalid index");
614 gfan::deinitializeCddlibIfRequired();
620 WerrorS(
"getCone: invalid dimension");
621 gfan::deinitializeCddlibIfRequired();
627 WerrorS(
"getCone: invalid specifier for orbit or maximal");
628 gfan::deinitializeCddlibIfRequired();
634 WerrorS(
"getCone: unexpected parameters");
◆ getCones()
Definition at line 638 of file bbfan.cc.
646 gfan::initializeCddlibIfRequired();
647 gfan::ZFan* zf = (gfan::ZFan*) u->
Data();
648 int d = (int)(
long)
v->Data();
654 o = (int)(
long)
w->Data();
658 m = (int)(
long)
x->Data();
663 if (((o == 0) || (o == 1)) && ((
m == 0) || (
m == 1)))
669 int ld = zf->getLinealityDimension();
673 int n = zf->numberOfConesOfDimension(d-ld,oo,mm);
675 for (
int i=0;
i<n;
i++)
677 gfan::ZCone zc = zf->getCone(d-ld,
i,oo,mm);
681 res->data = (
void*) L;
682 gfan::deinitializeCddlibIfRequired();
687 WerrorS(
"getCones: invalid dimension; no cones in this dimension");
688 gfan::deinitializeCddlibIfRequired();
694 WerrorS(
"getCones: invalid dimension");
695 gfan::deinitializeCddlibIfRequired();
701 WerrorS(
"getCones: invalid specifier for orbit or maximal");
702 gfan::deinitializeCddlibIfRequired();
707 WerrorS(
"getCones: unexpected parameters");
◆ getDimension()
int getDimension |
( |
gfan::ZFan * |
zf | ) |
|
Definition at line 256 of file bbfan.cc.
258 return zf->getDimension();
◆ getLinealityDimension()
int getLinealityDimension |
( |
gfan::ZFan * |
zf | ) |
|
Definition at line 261 of file bbfan.cc.
263 return zf->getLinealityDimension();
◆ insertCone()
Definition at line 397 of file bbfan.cc.
405 gfan::initializeCddlibIfRequired();
406 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
407 gfan::ZCone* zc = (gfan::ZCone*)
v->Data();
413 n = (int)(
long)
w->Data();
419 WerrorS(
"insertCone: cone and fan not compatible");
420 gfan::deinitializeCddlibIfRequired();
429 gfan::deinitializeCddlibIfRequired();
433 WerrorS(
"insertCone: unexpected parameters");
◆ isCompatible() [1/2]
bool isCompatible |
( |
const gfan::ZFan * |
zf, |
|
|
const gfan::ZCone * |
zc |
|
) |
| |
Definition at line 356 of file bbfan.cc.
358 bool b = (zf->getAmbientDimension() == zc->ambientDimension());
361 for (
int d=0; d<=zf->getAmbientDimension(); d++)
363 for (
int i=0;
i<zf->numberOfConesOfDimension(d,0,1);
i++)
365 gfan::ZCone zd = zf->getCone(d,
i,0,1);
366 gfan::ZCone zt = gfan::intersection(*zc,zd);
368 b =
b && zd.hasFace(zt);
◆ isCompatible() [2/2]
Definition at line 375 of file bbfan.cc.
383 gfan::initializeCddlibIfRequired();
384 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
385 gfan::ZCone* zc = (gfan::ZCone*)
v->Data();
388 res->data = (
void*) (
long)
b;
389 gfan::deinitializeCddlibIfRequired();
393 WerrorS(
"isCompatible: unexpected parameters");
◆ isPure()
Definition at line 717 of file bbfan.cc.
722 gfan::initializeCddlibIfRequired();
723 gfan::ZFan* zf = (gfan::ZFan*) u->
Data();
724 int b = zf->isPure();
726 res->data = (
void*) (
long)
b;
727 gfan::deinitializeCddlibIfRequired();
730 WerrorS(
"isPure: unexpected parameters");
◆ isSimplicial()
int isSimplicial |
( |
gfan::ZFan * |
zf | ) |
|
Definition at line 711 of file bbfan.cc.
713 int i = zf->isSimplicial() ? 1 : 0;
◆ jjFANEMPTY_I()
Definition at line 146 of file bbfan.cc.
148 int ambientDim = (int)(
long)
v->Data();
151 Werror(
"expected non-negative ambient dim but got %d", ambientDim);
155 res->data = (
void*)(
new gfan::ZFan(ambientDim));
◆ jjFANEMPTY_IM()
Definition at line 159 of file bbfan.cc.
162 int ambientDim = permutations->
cols();
164 if (!gfan::Permutation::arePermutations(im))
166 Werror(
"provided bigintmat contains invalid permutations of {1, ..., %d}", ambientDim);
169 gfan::SymmetryGroup sg = gfan::SymmetryGroup(ambientDim);
170 sg.computeClosure(im);
172 res->data = (
void*)(
new gfan::ZFan(sg));
◆ jjFANFULL_I()
Definition at line 197 of file bbfan.cc.
199 int ambientDim = (int)(
long)
v->Data();
202 Werror(
"expected non-negative ambient dim but got %d", ambientDim);
207 res->data = (
void*) zf;
◆ jjFANFULL_IM()
Definition at line 210 of file bbfan.cc.
213 int ambientDim = permutations->
cols();
215 if (!gfan::Permutation::arePermutations(im))
217 Werror(
"provided bigintmat contains invalid permutations of {1, ..., %d}", ambientDim);
220 gfan::SymmetryGroup sg = gfan::SymmetryGroup(ambientDim);
221 sg.computeClosure(im);
224 res->data = (
void*) zf;
◆ ncones()
Definition at line 313 of file bbfan.cc.
318 gfan::initializeCddlibIfRequired();
319 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
320 int d = zf->getAmbientDimension();
323 for (
int i=0;
i<=d;
i++)
324 n = n + zf->numberOfConesOfDimension(
i,0,0);
327 res->data = (
void*) (
long) n;
328 gfan::deinitializeCddlibIfRequired();
331 WerrorS(
"ncones: unexpected parameters");
◆ nmaxcones()
Definition at line 335 of file bbfan.cc.
340 gfan::initializeCddlibIfRequired();
341 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
344 for (
int d=0; d<=zf->getAmbientDimension(); d++)
345 n = n + zf->numberOfConesOfDimension(d,0,1);
348 res->data = (
void*) (
long) n;
349 gfan::deinitializeCddlibIfRequired();
352 WerrorS(
"nmaxcones: unexpected parameters");
◆ numberOfConesOfDimension()
Definition at line 266 of file bbfan.cc.
280 gfan::initializeCddlibIfRequired();
281 gfan::ZFan* zf = (gfan::ZFan*) u->
Data();
282 int d = (int)(
long)
v->Data();
283 int o = (int)(
long)
w->Data();
284 int m = (int)(
long)
x->Data();
286 && ((o == 0) || (o == 1))
287 && ((
m == 0) || (
m == 1)))
291 int ld = zf->getLinealityDimension();
294 int n = zf->numberOfConesOfDimension(d-ld,oo,mm);
296 res->data = (
void*) (
long) n;
297 gfan::deinitializeCddlibIfRequired();
301 res->data = (
void*) (
long) 0;
302 gfan::deinitializeCddlibIfRequired();
309 WerrorS(
"numberOfConesOfDimension: unexpected parameters");
◆ numberOfConesWithVector() [1/2]
int numberOfConesWithVector |
( |
gfan::ZFan * |
zf, |
|
|
gfan::ZVector * |
v |
|
) |
| |
Definition at line 777 of file bbfan.cc.
780 int ambientDim = zf->getAmbientDimension();
781 for (
int i=0;
i<zf->numberOfConesOfDimension(ambientDim, 0, 0);
i++)
783 gfan::ZCone zc = zf->getCone(ambientDim,
i, 0, 0);
◆ numberOfConesWithVector() [2/2]
Definition at line 794 of file bbfan.cc.
802 gfan::initializeCddlibIfRequired();
803 gfan::ZFan* zf = (gfan::ZFan*) u->
Data();
805 int ambientDim = zf->getAmbientDimension();
806 if (ambientDim != v0->
cols())
808 WerrorS(
"numberOfConesWithVector: mismatching dimensions");
809 gfan::deinitializeCddlibIfRequired();
817 gfan::deinitializeCddlibIfRequired();
821 WerrorS(
"numberOfConesWithVector: unexpected parameters");
◆ permutationIntMatrix()
Definition at line 127 of file bbfan.cc.
133 for (
int r = 1; r <= rr; r++)
134 for (
int c = 1; c <= cc; c++)
142 gfan::IntMatrix im = gfan::IntMatrix(gfan::ZToIntMatrix(*zm));
◆ rays()
Definition at line 766 of file bbfan.cc.
768 gfan::ZMatrix
rays(0,zf->getAmbientDimension());
769 for (
int i=0;
i<zf->numberOfConesOfDimension(1,0,0);
i++)
771 gfan::ZCone zc = zf->getCone(1,
i, 0, 0);
772 rays.append(zc.extremeRays());
◆ removeCone()
Definition at line 518 of file bbfan.cc.
526 gfan::initializeCddlibIfRequired();
527 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
528 gfan::ZCone* zc = (gfan::ZCone*)
v->Data();
539 WerrorS(
"removeCone: cone not contained in fan");
540 gfan::deinitializeCddlibIfRequired();
549 gfan::deinitializeCddlibIfRequired();
553 WerrorS(
"removeCone: unexpected parameters");
◆ fanID
BOOLEAN ncones(leftv res, leftv args)
BOOLEAN emptyFan(leftv res, leftv args)
BOOLEAN numberOfConesOfDimension(leftv res, leftv args)
const CanonicalForm int const CFList const Variable & y
static BOOLEAN jjFANFULL_IM(leftv res, leftv v)
void * bbfan_Init(blackbox *)
gfan::ZMatrix rays(const gfan::ZFan *const zf)
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
bigintmat * zVectorToBigintmat(const gfan::ZVector &zv)
BOOLEAN bbfan_Assign(leftv l, leftv r)
Class used for (list of) interpreter objects.
bool isCompatible(const gfan::ZFan *zf, const gfan::ZCone *zc)
BOOLEAN getCone(leftv res, leftv args)
static BOOLEAN jjFANEMPTY_I(leftv res, leftv v)
gfan::ZFan commonRefinement(gfan::ZFan zf, gfan::ZFan zg)
BOOLEAN fullFan(leftv res, leftv args)
int s_readbytes(char *buff, int len, s_buff F)
intvec * ivCopy(const intvec *o)
int status int void * buf
BOOLEAN bbfan_deserialize(blackbox **b, void **d, si_link f)
BOOLEAN getCones(leftv res, leftv args)
BOOLEAN isPure(leftv res, leftv args)
int getAmbientDimension(gfan::ZFan *zf)
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
BOOLEAN removeCone(leftv res, leftv args)
BOOLEAN nmaxcones(leftv res, leftv args)
BOOLEAN insertCone(leftv res, leftv args)
BOOLEAN fVector(leftv res, leftv args)
BOOLEAN fanFromString(leftv res, leftv args)
static FORCE_INLINE number n_Sub(number a, number b, const coeffs r)
return the difference of 'a' and 'b', i.e., a-b
char * bbfan_String(blackbox *, void *d)
#define IMATELEM(M, I, J)
gfan::ZMatrix * bigintmatToZMatrix(const bigintmat &bim)
void * bbfan_Copy(blackbox *, void *d)
void Werror(const char *fmt,...)
void WerrorS(const char *s)
bool containsInCollection(gfan::ZFan *zf, gfan::ZCone *zc)
int numberOfConesWithVector(gfan::ZFan *zf, gfan::ZVector *v)
static BOOLEAN jjFANFULL_I(leftv res, leftv v)
BOOLEAN bbfan_serialize(blackbox *b, void *d, si_link f)
const Variable & v
< [in] a sqrfree bivariate poly
INLINE_THIS void Init(int l=0)
static gfan::IntMatrix permutationIntMatrix(const bigintmat *iv)
const CanonicalForm int s
int status int void size_t count
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
static BOOLEAN jjFANEMPTY_IM(leftv res, leftv v)
BOOLEAN fanViaCones(leftv res, leftv args)
void bbfan_destroy(blackbox *, void *d)
int setBlackboxStuff(blackbox *bb, const char *n)
define a new type