Data Structures | Typedefs | Functions
groebnerCone.h File Reference

implementation of the class groebnerCone More...

#include <kernel/polys.h>
#include <Singular/ipid.h>
#include <polys/monomials/ring.h>
#include <polys/simpleideals.h>
#include <kernel/ideals.h>
#include <gfanlib/gfanlib.h>
#include <set>
#include <tropicalStrategy.h>

Go to the source code of this file.

Data Structures

class  groebnerCone
 
struct  groebnerCone_compare
 

Typedefs

typedef std::set< groebnerCone, groebnerCone_comparegroebnerCones
 

Functions

gfan::ZFan * toFanStar (groebnerCones setOfCones)
 

Detailed Description

implementation of the class groebnerCone

groebnerCone is a class that encapsulates relevant (possibly redundant) information about a groebnerCone. Moreover, it contains implrementation of several highly non-trivial algorithms, such as computing its neighbours in the Groebner fan or computing its neighbours in the tropical variety.

Definition in file groebnerCone.h.

Typedef Documentation

§ groebnerCones

Definition at line 24 of file groebnerCone.h.

Function Documentation

§ toFanStar()

gfan::ZFan* toFanStar ( groebnerCones  setOfCones)

Definition at line 464 of file groebnerCone.cc.

465 {
466  if (setOfCones.size() > 0)
467  {
468  groebnerCones::iterator sigma = setOfCones.begin();
469  gfan::ZFan* zf = new gfan::ZFan(sigma->getPolyhedralCone().ambientDimension());
470  for (; sigma!=setOfCones.end(); sigma++)
471  {
472  gfan::ZCone zc = sigma->getPolyhedralCone();
473  // assume(isCompatible(zf,&zc));
474  zf->insert(zc);
475  }
476  return zf;
477  }
478  else
479  return new gfan::ZFan(gfan::ZFan(currRing->N));
480 }
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10