groebnerFan.cc File Reference

#include <misc/options.h>
#include <bbfan.h>
#include <groebnerCone.h>
#include <startingCone.h>
#include <tropicalTraversal.h>

Go to the source code of this file.

Functions
static void	setOptionRedSB ()
static void	undoSetOptionRedSB ()
gfan::ZFan *	groebnerFan (const tropicalStrategy currentStrategy)
gfan::ZFan *	groebnerFanOfPolynomial (poly g, ring r, bool onlyLowerHalfSpace=false)
BOOLEAN	groebnerFan (leftv res, leftv args)

Variables
BITSET	groebnerBitsetSave1
BITSET	groebnerBitsetSave2

Function Documentation

gfan::ZFan* groebnerFan

(

const tropicalStrategy

currentStrategy

)

Definition at line 28 of file groebnerFan.cc.

{
  groebnerCone startingCone = groebnerStartingCone(currentStrategy);
  groebnerCones groebnerFan = groebnerTraversal(startingCone);
  return toFanStar(groebnerFan);
}

BOOLEAN groebnerFan	(	leftv	res,
		leftv	args
	)

Definition at line 85 of file groebnerFan.cc.

{
  leftv u = args;
  if ((u!=NULL) && (u->Typ()==IDEAL_CMD))
  {
    ideal I = (ideal) u->CopyD();
    leftv v = u->next;

    if (v==NULL)
    {
      if (idSize(I)==1)
      {
        try
        {
          poly g = I->m[0];
          gfan::ZFan* zf = groebnerFanOfPolynomial(g,currRing);
          res->rtyp = fanID;
          res->data = (char*) zf;
          return FALSE;
        }
        catch (const std::exception& ex)
        {
          WerrorS("ERROR: "); WerrorS(ex.what()); WerrorS("\n");
          return TRUE;
        }
      }
      else
      {
        try
        {
          tropicalStrategy currentStrategy(I,currRing);
          setOptionRedSB();
          gfan::ZFan* zf = groebnerFan(currentStrategy);
          undoSetOptionRedSB();
          res->rtyp = fanID;
          res->data = (char*) zf;
          return FALSE;
        }
        catch (const std::exception& ex)
        {
          WerrorS("ERROR: "); WerrorS(ex.what()); WerrorS("\n");
          return TRUE;
        }
      }
    }
  }
  if ((u!=NULL) && (u->Typ()==POLY_CMD))
  {
    poly g = (poly) u->Data();
    leftv v = u->next;
    if (v==NULL)
    {
      try
      {
        gfan::ZFan* zf = groebnerFanOfPolynomial(g,currRing);
        res->rtyp = fanID;
        res->data = (char*) zf;
        return FALSE;
      }
      catch (const std::exception& ex)
      {
        WerrorS("ERROR: "); WerrorS(ex.what()); WerrorS("\n");
        return TRUE;
      }
    }
  }
  WerrorS("groebnerFan: unexpected parameters");
  return TRUE;
}

gfan::ZFan* groebnerFanOfPolynomial	(	poly	g,
		ring	r,
		bool	onlyLowerHalfSpace = false
	)

Definition at line 36 of file groebnerFan.cc.

{
  int n = rVar(r);

  if (g==NULL || g->next==NULL)
  {
    // if g is a term or zero, return the fan consisting of the whole weight space
    gfan::ZFan* zf = new gfan::ZFan(gfan::ZFan::fullFan(n));
    return zf;
  }
  else
  {
    gfan::ZVector lowerHalfSpaceCondition = gfan::ZVector(n);
    lowerHalfSpaceCondition[0] = -1;

    // otherwise, obtain a list of all the exponent vectors
    int* expv = (int*) omAlloc((n+1)*sizeof(int));
    gfan::ZMatrix exponents = gfan::ZMatrix(0,n);
    for (poly s=g; s; pIter(s))
    {
      p_GetExpV(s,expv,r);
      gfan::ZVector zv = intStar2ZVector(n,expv);
      exponents.appendRow(intStar2ZVector(n,expv));
    }
    omFreeSize(expv,(n+1)*sizeof(int));

    // and construct the Groebner fan
    gfan::ZFan* zf = new gfan::ZFan(n);
    int l = exponents.getHeight();
    for (int i=0; i<l; i++)
    {
      // constructs the Groebner cone such that initial form is i-th term
      gfan::ZMatrix inequalities = gfan::ZMatrix(0,n);
      if (onlyLowerHalfSpace)
        inequalities.appendRow(lowerHalfSpaceCondition);
      for (int j=0; j<l; j++)
      {
        if (i!=j)
          inequalities.appendRow(exponents[i]-exponents[j]);
      }
      gfan::ZCone zc = gfan::ZCone(inequalities,gfan::ZMatrix(0,inequalities.getWidth()));
      zc.canonicalize();
      zf->insert(zc);
    }
    return zf;
  }
}

static void setOptionRedSB ( )

static

Definition at line 14 of file groebnerFan.cc.

{
  SI_SAVE_OPT(groebnerBitsetSave1,groebnerBitsetSave2);
  si_opt_1|=Sy_bit(OPT_REDSB);
}

static void undoSetOptionRedSB ( )

static

Definition at line 23 of file groebnerFan.cc.

{
  SI_RESTORE_OPT(groebnerBitsetSave1,groebnerBitsetSave2);
}

Variable Documentation

BITSET groebnerBitsetSave1

Definition at line 9 of file groebnerFan.cc.

BITSET groebnerBitsetSave2

Definition at line 9 of file groebnerFan.cc.