tropical.h File Reference

#include "Singular/ipid.h"

Go to the source code of this file.

Functions
gfan::ZCone	maximalGroebnerCone (const ideal &I, const ring &r)
gfan::ZCone	homogeneitySpace (ideal I, ring r)
void	tropical_setup (SModulFunctions *p)

Variables
int	tropicalVerboseLevel

Function Documentation

homogeneitySpace()

gfan::ZCone homogeneitySpace	(	ideal	I,
		ring	r
	)

Definition at line 19 of file tropical.cc.

{
  int n = rVar(r);
  poly g;
  int* leadexpv = (int*) omAlloc((n+1)*sizeof(int));
  int* tailexpv = (int*) omAlloc((n+1)*sizeof(int));
  gfan::ZVector leadexpw = gfan::ZVector(n);
  gfan::ZVector tailexpw = gfan::ZVector(n);
  gfan::ZMatrix equations = gfan::ZMatrix(0,n);
  for (int i=0; i<IDELEMS(I); i++)
  {
    g = (poly) I->m[i];
    if (g)
    {
      p_GetExpV(g,leadexpv,r);
      leadexpw = intStar2ZVector(n,leadexpv);
      pIter(g);
      while (g)
      {
        p_GetExpV(g,tailexpv,r);
        tailexpw = intStar2ZVector(n,tailexpv);
        equations.appendRow(leadexpw-tailexpw);
        pIter(g);
      }
    }
  }
  omFreeSize(leadexpv,(n+1)*sizeof(int));
  omFreeSize(tailexpv,(n+1)*sizeof(int));
  return gfan::ZCone(gfan::ZMatrix(0, equations.getWidth()),equations);
}

maximalGroebnerCone()

gfan::ZCone maximalGroebnerCone	(	const ideal &	I,
		const ring &	r
	)

Definition at line 291 of file tropical.cc.

{
  int n = rVar(r);
  poly g = NULL;
  int* leadexpv = (int*) omAlloc((n+1)*sizeof(int));
  int* tailexpv = (int*) omAlloc((n+1)*sizeof(int));
  gfan::ZVector leadexpw = gfan::ZVector(n);
  gfan::ZVector tailexpw = gfan::ZVector(n);
  gfan::ZMatrix inequalities = gfan::ZMatrix(0,n);
  for (int i=0; i<IDELEMS(I); i++)
  {
    g = (poly) I->m[i];
    if (g != NULL && pNext(g) != NULL)
    {
      p_GetExpV(g,leadexpv,r);
      leadexpw = intStar2ZVector(n, leadexpv);
      pIter(g);
      while (g != NULL)
      {
        p_GetExpV(g,tailexpv,r);
        tailexpw = intStar2ZVector(n, tailexpv);
        inequalities.appendRow(leadexpw-tailexpw);
        pIter(g);
      }
    }
  }
  omFreeSize(leadexpv,(n+1)*sizeof(int));
  omFreeSize(tailexpv,(n+1)*sizeof(int));
  return gfan::ZCone(inequalities,gfan::ZMatrix(0, inequalities.getWidth()));
}

tropical_setup()

void tropical_setup

(

SModulFunctions *

p

)

Definition at line 441 of file tropical.cc.

{
  p->iiAddCproc("tropical.lib","groebnerCone",FALSE,groebnerCone);
  p->iiAddCproc("tropical.lib","maximalGroebnerCone",FALSE,maximalGroebnerCone);
  p->iiAddCproc("tropical.lib","homogeneitySpace",FALSE,homogeneitySpace);
  // p->iiAddCproc("","lowerHomogeneitySpace",FALSE,lowerHomogeneitySpace);
  p->iiAddCproc("tropical.lib","initial",FALSE,initial);
  p->iiAddCproc("tropical.lib","tropicalVariety",FALSE,tropicalVariety);
  p->iiAddCproc("tropical.lib","groebnerFan",FALSE,groebnerFan);
  p->iiAddCproc("tropical.lib","groebnerComplex",FALSE,groebnerComplex);
  // p->iiAddCproc("","ppreduceInitially",FALSE,ppreduceInitially);
  // p->iiAddCproc("","ttreduceInitially",FALSE,ttreduceInitially);
}

Variable Documentation

tropicalVerboseLevel

int tropicalVerboseLevel

Definition at line 17 of file tropical.cc.