 |
My Project
debian-1:4.1.2-p1+ds-2
|
#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 948 of file bbfan.cc.
950 assume(zf.getAmbientDimension() == zg.getAmbientDimension());
953 std::list<gfan::ZCone> maximalConesOfF;
954 for (
int d=0; d<=zf.getAmbientDimension(); d++)
955 for (
int i=0;
i<zf.numberOfConesOfDimension(d,0,1);
i++)
956 maximalConesOfF.push_back(zf.getCone(d,
i,0,1));
958 std::list<gfan::ZCone> maximalConesOfG;
959 for (
int d=0; d<=zg.getAmbientDimension(); d++)
960 for (
int i=0;
i<zg.numberOfConesOfDimension(d,0,1);
i++)
961 maximalConesOfG.push_back(zg.getCone(d,
i,0,1));
964 gfan::ZFan zr = gfan::ZFan(zf.getAmbientDimension());
965 for (std::list<gfan::ZCone>::iterator itf=maximalConesOfF.begin();
966 itf != maximalConesOfF.end(); itf++)
967 for (std::list<gfan::ZCone>::iterator itg=maximalConesOfG.begin();
968 itg != maximalConesOfG.end(); itg++)
969 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 352 of file bbfan.cc.
354 bool b = (zf->getAmbientDimension() == zc->ambientDimension());
357 for (
int d=0; d<=zf->getAmbientDimension(); d++)
359 for (
int i=0;
i<zf->numberOfConesOfDimension(d,0,1);
i++)
361 gfan::ZCone zd = zf->getCone(d,
i,0,1);
362 gfan::ZCone zt = gfan::intersection(*zc,zd);
364 b =
b && zd.hasFace(zt);
◆ isSimplicial()
int isSimplicial |
( |
gfan::ZFan * |
zf | ) |
|
Definition at line 682 of file bbfan.cc.
684 int i = zf->isSimplicial() ? 1 : 0;
◆ rays()
gfan::Matrix<gfan::Integer> rays |
( |
const gfan::ZFan *const |
zf | ) |
|
Definition at line 737 of file bbfan.cc.
739 gfan::ZMatrix
rays(0,zf->getAmbientDimension());
740 for (
int i=0;
i<zf->numberOfConesOfDimension(1,0,0);
i++)
742 gfan::ZCone zc = zf->getCone(1,
i, 0, 0);
743 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