 |
My Project
debian-1:4.1.1-p2+ds-4
|
#include "kernel/mod2.h"
#include "Singular/ipid.h"
#include "gfanlib/gfanlib.h"
Go to the source code of this file.
◆ bbfan_setup()
◆ commonRefinement()
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));
◆ 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();
◆ 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();
◆ isCompatible()
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);
◆ isSimplicial()
int isSimplicial |
( |
gfan::ZFan * |
zf | ) |
|
Definition at line 711 of file bbfan.cc.
713 int i = zf->isSimplicial() ? 1 : 0;
◆ rays()
gfan::Matrix<gfan::Integer> rays |
( |
const gfan::ZFan *const |
zf | ) |
|
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());
◆ fanID
BOOLEAN ncones(leftv res, leftv args)
BOOLEAN emptyFan(leftv res, leftv args)
BOOLEAN numberOfConesOfDimension(leftv res, leftv args)
void * bbfan_Init(blackbox *)
gfan::ZMatrix rays(const gfan::ZFan *const zf)
BOOLEAN bbfan_Assign(leftv l, leftv r)
bool isCompatible(const gfan::ZFan *zf, const gfan::ZCone *zc)
BOOLEAN getCone(leftv res, leftv args)
gfan::ZFan commonRefinement(gfan::ZFan zf, gfan::ZFan zg)
BOOLEAN fullFan(leftv res, leftv args)
BOOLEAN bbfan_deserialize(blackbox **b, void **d, si_link f)
BOOLEAN getCones(leftv res, leftv args)
BOOLEAN isPure(leftv res, leftv args)
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)
char * bbfan_String(blackbox *, void *d)
void * bbfan_Copy(blackbox *, void *d)
bool containsInCollection(gfan::ZFan *zf, gfan::ZCone *zc)
int numberOfConesWithVector(gfan::ZFan *zf, gfan::ZVector *v)
BOOLEAN bbfan_serialize(blackbox *b, void *d, si_link f)
BOOLEAN fanViaCones(leftv res, leftv args)
void bbfan_destroy(blackbox *, void *d)
int setBlackboxStuff(blackbox *bb, const char *n)
define a new type