#include "gfanlib/gfanlib_zfan.h"
Go to the source code of this file.
◆ groebnerFan()
Definition at line 83 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)
133 poly
g = (poly) u->
Data();
141 res->data = (
char*) zf;
144 catch (
const std::exception& ex)
151 WerrorS(
"groebnerFan: unexpected parameters");
◆ groebnerFanOfPolynomial()
gfan::ZFan* groebnerFanOfPolynomial |
( |
poly |
g, |
|
|
ring |
r, |
|
|
bool |
onlyLowerHalfSpace = false |
|
) |
| |
Definition at line 34 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());