#include <utility>
#include <kernel/GBEngine/kstd1.h>
#include <kernel/ideals.h>
#include <Singular/ipid.h>
#include <polys/monomials/p_polys.h>
#include <polys/monomials/ring.h>
#include <polys/prCopy.h>
#include <gfanlib/gfanlib.h>
#include <gfanlib/gfanlib_matrix.h>
#include <initial.h>
#include <tropicalStrategy.h>
#include <groebnerCone.h>
#include <callgfanlib_conversion.h>
#include <containsMonomial.h>
#include <tropicalCurves.h>
#include <bbcone.h>
Go to the source code of this file.
static bool checkOrderingAndCone |
( |
const ring |
r, |
|
|
const gfan::ZCone |
zc |
|
) |
| |
|
static |
Definition at line 32 of file groebnerCone.cc.
37 int n =
rVar(
r);
int*
w =
r->wvhdl[0];
40 v = gfan::Integer((
long)-1)*
v;
43 std::cout <<
"ERROR: weight of ordering not inside Groebner cone!" << std::endl
44 <<
"cone: " << std::endl
46 <<
"weight: " << std::endl
52 return (zc.dimension()==0);
const CanonicalForm CFMap CFMap int &both_non_zero int n
static short rVar(const ring r)
#define rVar(r) (r->N)
gfan::ZVector wvhdlEntryToZVector(const int n, const int *wvhdl0)
const Variable & v
< [in] a sqrfree bivariate poly
std::string toString(const gfan::ZCone *const c)
static bool checkPolyhedralInput |
( |
const gfan::ZCone |
zc, |
|
|
const gfan::ZVector |
p |
|
) |
| |
|
static |
static bool checkPolynomialInput |
( |
const ideal |
I, |
|
|
const ring |
r |
|
) |
| |
|
static |
Definition at line 526 of file groebnerCone.cc.
543 ideal I = (ideal) u->
CopyD();
544 number
p = (number) v->
CopyD();
557 delete interiorPoint0;
559 delete interiorPoint;
569 WerrorS(
"computeFlipDebug: unexpected parameters");
Class used for (list of) interpreter objects.
groebnerCone flipCone(const gfan::ZVector &interiorPoint, const gfan::ZVector &facetNormal) const
Given an interior point on the facet and the outer normal factor on the facet, returns the adjacent g...
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
static tropicalStrategy debugStrategy(const ideal startIdeal, number unifParameter, ring startRing)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
const Variable & v
< [in] a sqrfree bivariate poly
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
gfan::ZVector * bigintmatToZVector(const bigintmat &bim)
Definition at line 573 of file groebnerCone.cc.
584 ideal I = (ideal) u->
CopyD();
585 number
p = (number) v->
CopyD();
598 WerrorS(
"computeFlipDebug: unexpected parameters");
Class used for (list of) interpreter objects.
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
static tropicalStrategy debugStrategy(const ideal startIdeal, number unifParameter, ring startRing)
std::set< groebnerCone, groebnerCone_compare > groebnerCones
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
const Variable & v
< [in] a sqrfree bivariate poly
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
Definition at line 505 of file groebnerCone.cc.
507 if (setOfCones.size() > 0)
509 groebnerCones::iterator sigma = setOfCones.begin();
510 gfan::ZFan* zf =
new gfan::ZFan(sigma->getPolyhedralCone().ambientDimension());
511 for (; sigma!=setOfCones.end(); sigma++)
513 gfan::ZCone zc = sigma->getPolyhedralCone();
520 return new gfan::ZFan(gfan::ZFan(
currRing->N));
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition at line 602 of file groebnerCone.cc.
613 ideal I = (ideal) u->
CopyD();
614 number
p = (number) v->
CopyD();
627 WerrorS(
"computeFlipDebug: unexpected parameters");
Class used for (list of) interpreter objects.
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void WerrorS(const char *s)
static tropicalStrategy debugStrategy(const ideal startIdeal, number unifParameter, ring startRing)
std::set< groebnerCone, groebnerCone_compare > groebnerCones
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
const Variable & v
< [in] a sqrfree bivariate poly
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'