bbfan.h File Reference

#include "kernel/mod2.h"
#include "Singular/ipid.h"
#include "gfanlib/gfanlib.h"

Go to the source code of this file.

Functions
void	bbfan_setup (SModulFunctions *p)
bool	isCompatible (const gfan::ZFan *zf, const gfan::ZCone *zc)
int	getAmbientDimension (gfan::ZFan *zf)
int	getCodimension (gfan::ZFan *zf)
int	getDimension (gfan::ZFan *zf)
int	getLinealityDimension (gfan::ZFan *zf)
int	isSimplicial (gfan::ZFan *zf)
gfan::Matrix< gfan::Integer >	rays (const gfan::ZFan *const zf)
gfan::ZFan	commonRefinement (gfan::ZFan zf, gfan::ZFan zg)

Variables
EXTERN_VAR int	fanID

Function Documentation

bbfan_setup()

void bbfan_setup

(

SModulFunctions *

p

)

Definition at line 1082 of file bbfan.cc.

{
  blackbox *b=(blackbox*)omAlloc0(sizeof(blackbox));
  // all undefined entries will be set to default in setBlackboxStuff
  // the default Print is quite usefule,
  // all other are simply error messages
  b->blackbox_destroy=bbfan_destroy;
  b->blackbox_String=bbfan_String;
  //b->blackbox_Print=blackbox_default_Print;
  b->blackbox_Init=bbfan_Init;
  b->blackbox_Copy=bbfan_Copy;
  b->blackbox_Assign=bbfan_Assign;
  b->blackbox_serialize=bbfan_serialize;
  b->blackbox_deserialize=bbfan_deserialize;
  p->iiAddCproc("gfan.lib","emptyFan",FALSE,emptyFan);
  p->iiAddCproc("gfan.lib","fullFan",FALSE,fullFan);
  /* the following functions are implemented in bbcone.cc */
  // iiAddCproc("gfan.lib","containsInSupport",FALSE,containsInSupport);
  // iiAddCproc("gfan.lib","getAmbientDimension",FALSE,getAmbientDimension);
  // iiAddCproc("gfan.lib","getCodimension",FALSE,getDimension);
  // iiAddCproc("gfan.lib","getDimension",FALSE,getDimension);
  // iiAddCproc("gfan.lib","getLinealityDimension",FALSE,getLinealityDimension);
  // iiAddCproc("gfan.lib","isSimplicial",FALSE,isSimplicial);
  /********************************************************/
  p->iiAddCproc("gfan.lib","isCompatible",FALSE,isCompatible);
  p->iiAddCproc("gfan.lib","numberOfConesOfDimension",FALSE,numberOfConesOfDimension);
  p->iiAddCproc("gfan.lib","ncones",FALSE,ncones);
  p->iiAddCproc("gfan.lib","nmaxcones",FALSE,nmaxcones);
  p->iiAddCproc("gfan.lib","insertCone",FALSE,insertCone);
  p->iiAddCproc("gfan.lib","removeCone",FALSE,removeCone);
  p->iiAddCproc("gfan.lib","getCone",FALSE,getCone);
  p->iiAddCproc("gfan.lib","getCones",FALSE,getCones);
  p->iiAddCproc("gfan.lib","isPure",FALSE,isPure);
  p->iiAddCproc("gfan.lib","fanFromString",FALSE,fanFromString);
  p->iiAddCproc("gfan.lib","fanViaCones",FALSE,fanViaCones);
  p->iiAddCproc("gfan.lib","numberOfConesWithVector",FALSE,numberOfConesWithVector);
  // iiAddCproc("gfan.lib","isComplete",FALSE,isComplete);  not working as expected, should leave this to polymake
  p->iiAddCproc("gfan.lib","fVector",FALSE,fVector);
  p->iiAddCproc("gfan.lib","containsInCollection",FALSE,containsInCollection);
  // p->iiAddCproc("gfan.lib","tropicalVariety",FALSE,tropicalVariety);
  p->iiAddCproc("gfan.lib","commonRefinement",FALSE,commonRefinement);
  // iiAddCproc("gfan.lib","grFan",FALSE,grFan);
  fanID=setBlackboxStuff(b,"fan");
  //Print("created type %d (fan)\n",fanID);
}

commonRefinement()

gfan::ZFan commonRefinement	(	gfan::ZFan	zf,
		gfan::ZFan	zg
	)

Definition at line 948 of file bbfan.cc.

{
  assume(zf.getAmbientDimension() == zg.getAmbientDimension());
 
  // gather all maximal cones of f and g
  std::list<gfan::ZCone> maximalConesOfF;
  for (int d=0; d<=zf.getAmbientDimension(); d++)
    for (int i=0; i<zf.numberOfConesOfDimension(d,0,1); i++)
      maximalConesOfF.push_back(zf.getCone(d,i,0,1));
 
  std::list<gfan::ZCone> maximalConesOfG;
  for (int d=0; d<=zg.getAmbientDimension(); d++)
    for (int i=0; i<zg.numberOfConesOfDimension(d,0,1); i++)
      maximalConesOfG.push_back(zg.getCone(d,i,0,1));
 
  // construct a new fan out of their intersections
  gfan::ZFan zr = gfan::ZFan(zf.getAmbientDimension());
  for (std::list<gfan::ZCone>::iterator itf=maximalConesOfF.begin();
       itf != maximalConesOfF.end(); itf++)
    for (std::list<gfan::ZCone>::iterator itg=maximalConesOfG.begin();
         itg != maximalConesOfG.end(); itg++)
      zr.insert(intersection(*itf,*itg));
 
  return zr;
}

getAmbientDimension()

int getAmbientDimension

(

gfan::ZFan *

zf

)

Definition at line 246 of file bbfan.cc.

{
  return zf->getAmbientDimension();
}

getCodimension()

int getCodimension

(

gfan::ZFan *

zf

)

Definition at line 251 of file bbfan.cc.

{
  return zf->getCodimension();
}

getDimension()

int getDimension

(

gfan::ZFan *

zf

)

Definition at line 256 of file bbfan.cc.

{
  return zf->getDimension();
}

getLinealityDimension()

int getLinealityDimension

(

gfan::ZFan *

zf

)

Definition at line 261 of file bbfan.cc.

{
  return zf->getLinealityDimension();
}

isCompatible()

bool isCompatible	(	const gfan::ZFan *	zf,
		const gfan::ZCone *	zc
	)

Definition at line 352 of file bbfan.cc.

{
  bool b = (zf->getAmbientDimension() == zc->ambientDimension());
  if(b)
  {
    for (int d=0; d<=zf->getAmbientDimension(); d++)
    {
      for (int i=0; i<zf->numberOfConesOfDimension(d,0,1); i++)
      {
        gfan::ZCone zd = zf->getCone(d,i,0,1);
        gfan::ZCone zt = gfan::intersection(*zc,zd);
        zt.canonicalize();
        b = b && zd.hasFace(zt);
      }
    }
  }
  return b;
}

isSimplicial()

int isSimplicial

(

gfan::ZFan *

zf

)

Definition at line 682 of file bbfan.cc.

{
  int i = zf->isSimplicial() ? 1 : 0;
  return i;
}

rays()

gfan::Matrix< gfan::Integer > rays

(

const gfan::ZFan *const

zf

)

Definition at line 737 of file bbfan.cc.

{
  gfan::ZMatrix rays(0,zf->getAmbientDimension());
  for (int i=0; i<zf->numberOfConesOfDimension(1,0,0); i++)
  {
    gfan::ZCone zc = zf->getCone(1, i, 0, 0);
    rays.append(zc.extremeRays());
  }
  return rays;
}

Variable Documentation

fanID

EXTERN_VAR int fanID

Definition at line 12 of file bbfan.h.