My Project  UNKNOWN_GIT_VERSION
Data Structures | Typedefs | Functions
groebnerCone.h File Reference
#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 "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 461 of file groebnerCone.cc.

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