Go to the source code of this file.
◆ groebnerFan() [1/2]
Definition at line 28 of file groebnerFan.cc.
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
gfan::ZFan * toFanStar(std::set< gfan::ZCone > setOfCones)
groebnerCones groebnerTraversal(const groebnerCone startingCone)
std::set< groebnerCone, groebnerCone_compare > groebnerCones
groebnerCone groebnerStartingCone(const tropicalStrategy ¤tStrategy)
◆ groebnerFan() [2/2]
Definition at line 85 of file groebnerFan.cc.
90 ideal I = (ideal) u->
CopyD();
102 res->data = (
char*) zf;
105 catch (
const std::exception& ex)
120 res->data = (
char*) zf;
123 catch (
const std::exception& ex)
141 res->data = (
char*) zf;
144 catch (
const std::exception& ex)
151 WerrorS(
"groebnerFan: unexpected parameters");
Class used for (list of) interpreter objects.
gfan::ZFan * groebnerFan(const tropicalStrategy currentStrategy)
void WerrorS(const char *s)
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 void setOptionRedSB()
static void undoSetOptionRedSB()
int idElem(const ideal F)
count non-zero elements
gfan::ZFan * groebnerFanOfPolynomial(poly g, ring r, bool onlyLowerHalfSpace=false)
◆ groebnerFanOfPolynomial()
gfan::ZFan* groebnerFanOfPolynomial |
( |
poly |
g, |
|
|
ring |
r, |
|
|
bool |
onlyLowerHalfSpace = false |
|
) |
| |
Definition at line 36 of file groebnerFan.cc.
48 gfan::ZVector lowerHalfSpaceCondition = gfan::ZVector(n);
49 lowerHalfSpaceCondition[0] = -1;
52 int* expv = (
int*)
omAlloc((n+1)*
sizeof(int));
53 gfan::ZMatrix exponents = gfan::ZMatrix(0,n);
63 gfan::ZFan* zf =
new gfan::ZFan(n);
64 int l = exponents.getHeight();
65 for (
int i=0;
i<
l;
i++)
69 if (onlyLowerHalfSpace)
71 for (
int j=0;
j<
l;
j++)
74 inequalities.appendRow(exponents[
i].toVector()-exponents[
j].toVector());
const CanonicalForm int s
BOOLEAN fullFan(leftv res, leftv args)
static void p_GetExpV(poly p, int *ev, const ring r)
#define omFreeSize(addr, size)
static short rVar(const ring r)
#define rVar(r) (r->N)
BOOLEAN inequalities(leftv res, leftv args)
gfan::ZVector intStar2ZVector(const int d, const int *i)
◆ setOptionRedSB()
static void setOptionRedSB |
( |
| ) |
|
|
static |
Definition at line 14 of file groebnerFan.cc.
BITSET groebnerBitsetSave1
BITSET groebnerBitsetSave2
#define SI_SAVE_OPT(A, B)
◆ undoSetOptionRedSB()
static void undoSetOptionRedSB |
( |
| ) |
|
|
static |
Definition at line 23 of file groebnerFan.cc.
BITSET groebnerBitsetSave1
BITSET groebnerBitsetSave2
#define SI_RESTORE_OPT(A, B)
◆ groebnerBitsetSave1
◆ groebnerBitsetSave2