#include "gfanlib/gfanlib_zfan.h"
Go to the source code of this file.
◆ groebnerFan()
Definition at line 85 of file groebnerFan.cc.
86{
89 {
92
94 {
96 {
97 try
98 {
102 res->data = (
char*)
zf;
104 }
105 catch (
const std::exception&
ex)
106 {
109 }
110 }
111 else
112 {
113 try
114 {
120 res->data = (
char*)
zf;
122 }
123 catch (
const std::exception&
ex)
124 {
127 }
128 }
129 }
130 }
132 {
133 poly
g = (poly) u->
Data();
136 {
137 try
138 {
141 res->data = (
char*)
zf;
143 }
144 catch (
const std::exception&
ex)
145 {
148 }
149 }
150 }
151 WerrorS(
"groebnerFan: unexpected parameters");
153}
Class used for (list of) interpreter objects.
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
static void setOptionRedSB()
static void undoSetOptionRedSB()
gfan::ZFan * groebnerFanOfPolynomial(poly g, ring r, bool onlyLowerHalfSpace=false)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static int idElem(const ideal F)
number of non-zero polys in F
◆ groebnerFanOfPolynomial()
Definition at line 36 of file groebnerFan.cc.
37{
39
41 {
42
45 }
46 else
47 {
50
51
55 {
59 }
61
62
65 for (
int i=0;
i<
l;
i++)
66 {
67
69 if (onlyLowerHalfSpace)
71 for (
int j=0;
j<
l;
j++)
72 {
75 }
79 }
81 }
82}
BOOLEAN inequalities(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
const CanonicalForm int s
#define omFreeSize(addr, size)
static void p_GetExpV(poly p, int *ev, const ring r)
static short rVar(const ring r)
#define rVar(r) (r->N)