16 #include <polymake/Graph.h> 22 gfan::ZCone* zp = (gfan::ZCone*) i1->
Data();
29 gfan::ZCone* zq = (gfan::ZCone*) i2->
Data();
35 polymake::perl::Object pms;
36 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
41 catch (
const std::exception& ex)
47 res->
data = (
void*) ms;
56 int s = (int)(
long) i2->
Data();
57 gfan::ZMatrix zm = zp->extremeRays();
58 for (
int i=0;
i<zm.getHeight();
i++)
59 for (
int j=1;
j<zm.getWidth();
j++)
61 gfan::ZCone* zs =
new gfan::ZCone();
62 *zs = gfan::ZCone::givenByRays(zm,gfan::ZMatrix(0, zm.getWidth()));
64 res->
data = (
void*) zs;
73 gfan::ZCone* zq = (gfan::ZCone*) i2->
Data();
74 int d1 = zp->ambientDimension();
75 int d2 = zq->ambientDimension();
78 Werror(
"mismatching ambient dimensions");
81 gfan::ZCone* zs =
new gfan::ZCone();
82 *zs = gfan::intersection(*zp, *zq);
85 res->
data = (
void*) zs;
94 gfan::ZCone* zq = (gfan::ZCone*) i2->
Data();
95 int d1 = zp->ambientDimension();
96 int d2 = zq->ambientDimension();
99 Werror(
"mismatching ambient dimensions");
102 gfan::ZMatrix
rays = zp->extremeRays();
103 rays.append(zq->extremeRays());
104 gfan::ZMatrix lineality = zp->generatorsOfLinealitySpace();
105 lineality.append(zq->generatorsOfLinealitySpace());
106 gfan::ZCone* zs =
new gfan::ZCone();
107 *zs = gfan::ZCone::givenByRays(rays,lineality);
110 res->
data = (
void*) zs;
119 gfan::ZCone* zq = (gfan::ZCone*) i2->
Data();
122 bool b = !((*zp)!=(*zq));
124 res->
data = (
char*) (
long)
b;
205 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
210 b = p->give(
"Lattice");
213 catch (
const std::exception& ex)
219 res->
data = (
char*) (
long)
b;
222 WerrorS(
"isLatticePolytope: unexpected parameters");
232 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
237 b = p->give(
"BOUNDED");
240 catch (
const std::exception& ex)
246 res->
data = (
char*) (
long)
b;
249 WerrorS(
"isBounded: unexpected parameters");
259 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
264 b = p->give(
"REFLEXIVE");
267 catch (
const std::exception& ex)
273 res->
data = (
char*) (
long)
b;
276 WerrorS(
"isReflexive: unexpected parameters");
286 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
291 b = p->give(
"GORENSTEIN");
294 catch (
const std::exception& ex)
300 res->
data = (
char*) (
long)
b;
303 WerrorS(
"isGorenstein: unexpected parameters");
313 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
319 bool b = p->give(
"GORENSTEIN");
322 polymake::Integer pgi = p->give(
"GORENSTEIN_INDEX");
329 WerrorS(
"gorensteinIndex: input polytope not gorenstein");
333 catch (
const std::exception& ex)
340 WerrorS(
"overflow while converting polymake::Integer to int");
344 res->
data = (
char*) (
long) gi;
347 WerrorS(
"gorensteinIndex: unexpected parameters");
357 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
363 bool b = p->give(
"GORENSTEIN");
366 polymake::Vector<polymake::Integer> pgv = p->give(
"GORENSTEIN_VECTOR");
373 WerrorS(
"gorensteinVector: input polytope not gorenstein");
377 catch (
const std::exception& ex)
384 WerrorS(
"gorensteinVector: overflow in PmVectorInteger2Intvec");
388 res->
data = (
char*) gv;
391 WerrorS(
"gorensteinVector: unexpected parameters");
401 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
406 b = p->give(
"CANONICAL");
409 catch (
const std::exception& ex)
415 res->
data = (
char*) (
long)
b;
418 WerrorS(
"isCanonical: unexpected parameters");
428 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
433 b = p->give(
"TERMINAL");
436 catch (
const std::exception& ex)
442 res->
data = (
char*) (
long)
b;
445 WerrorS(
"isTerminal: unexpected parameters");
455 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
460 b = p->give(
"LATTICE_EMPTY");
463 catch (
const std::exception& ex)
469 res->
data = (
char*) (
long)
b;
472 WerrorS(
"isLatticeEmpty: unexpected parameters");
482 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
488 polymake::Integer plv = p->give(
"LATTICE_VOLUME");
492 catch (
const std::exception& ex)
499 WerrorS(
"overflow while converting polymake::Integer to int");
503 res->
data = (
char*) (
long) lv;
506 WerrorS(
"latticeVolume: unexpected parameters");
516 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
522 polymake::Integer pld = p->give(
"LATTICE_DEGREE");
526 catch (
const std::exception& ex)
533 WerrorS(
"overflow while converting polymake::Integer to int");
537 res->
data = (
char*) (
long) ld;
540 WerrorS(
"latticeDegree: unexpected parameters");
550 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
556 polymake::Integer plc = p->give(
"LATTICE_CODEGREE");
560 catch (
const std::exception& ex)
567 WerrorS(
"overflow while converting polymake::Integer to int");
571 res->
data = (
char*) (
long)
lc;
574 WerrorS(
"latticeCodegree: unexpected parameters");
584 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
590 polymake::Vector<polymake::Integer> pec = p->give(
"EHRHART_POLYNOMIAL_COEFF");
594 catch (
const std::exception& ex)
601 WerrorS(
"ehrhartPolynomialCoeff: overflow in PmVectorInteger2Intvec");
605 res->
data = (
char*) ec;
608 WerrorS(
"ehrhartPolynomialCoeff: unexpected parameters");
618 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
624 polymake::Vector<polymake::Integer> phv = p->give(
"F_VECTOR");
628 catch (
const std::exception& ex)
635 WerrorS(
"fVectorP: overflow in PmVectorInteger2Intvec");
639 res->
data = (
char*) hv;
642 WerrorS(
"fVectorP: unexpected parameters");
652 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
658 polymake::Vector<polymake::Integer> phv = p->give(
"H_VECTOR");
662 catch (
const std::exception& ex)
669 WerrorS(
"hVector: overflow in PmVectorInteger2Intvec");
673 res->
data = (
char*) hv;
676 WerrorS(
"hVector: unexpected parameters");
686 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
692 polymake::Vector<polymake::Integer> phv = p->give(
"H_STAR_VECTOR");
696 catch (
const std::exception& ex)
703 WerrorS(
"hStarVector: overflow in PmVectorInteger2Intvec");
707 res->
data = (
char*) hv;
710 WerrorS(
"hStarVector: unexpected parameters");
720 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
725 b = p->give(
"NORMAL");
728 catch (
const std::exception& ex)
734 res->
data = (
char*) (
long)
b;
737 WerrorS(
"isNormal: unexpected parameters");
747 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
753 polymake::Vector<polymake::Integer> pfw = p->give(
"FACET_WIDTHS");
757 catch (
const std::exception& ex)
764 WerrorS(
"facetWidths: overflow in PmVectorInteger2Intvec");
768 res->
data = (
char*) fw;
771 WerrorS(
"facetWidths: unexpected parameters");
781 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
787 polymake::Integer pfw = p->give(
"FACET_WIDTH");
791 catch (
const std::exception& ex)
798 WerrorS(
"overflow while converting polymake::Integer to int");
802 res->
data = (
char*) (
long) fw;
805 WerrorS(
"facetWidth: unexpected parameters");
815 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
821 polymake::Matrix<polymake::Integer> pld = p->give(
"FACET_VERTEX_LATTICE_DISTANCES");
825 catch (
const std::exception& ex)
832 WerrorS(
"overflow while converting polymake::Integer to int");
836 res->
data = (
char*) ld;
839 WerrorS(
"facetVertexLatticeDistances: unexpected parameters");
849 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
854 b = p->give(
"COMPRESSED");
857 catch (
const std::exception& ex)
863 res->
data = (
char*) (
long)
b;
866 WerrorS(
"isCompressed: unexpected parameters");
876 gfan::ZCone* zc = (gfan::ZCone*)u->
Data();
881 b = p->give(
"SMOOTH_CONE");
884 catch (
const std::exception& ex)
890 res->
data = (
char*) (
long)
b;
895 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
900 b = p->give(
"SMOOTH");
903 catch (
const std::exception& ex)
909 res->
data = (
char*) (
long)
b;
914 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
919 b = p->give(
"SMOOTH_FAN");
922 catch (
const std::exception& ex)
928 res->
data = (
char*) (
long)
b;
931 WerrorS(
"isSmooth: unexpected parameters");
941 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
946 b = p->give(
"VERY_AMPLE");
949 catch (
const std::exception& ex)
955 res->
data = (
char*) (
long)
b;
958 WerrorS(
"isVeryAmple: unexpected parameters");
968 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
974 polymake::Matrix<polymake::Integer> lp = p->give(
"LATTICE_POINTS");
978 catch (
const std::exception& ex)
985 WerrorS(
"overflow while converting polymake::Integer to int");
989 res->
data = (
char*) iv;
992 WerrorS(
"LatticePoints: unexpected parameters");
1002 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1008 polymake::Integer nlp = p->give(
"N_LATTICE_POINTS");
1012 catch (
const std::exception& ex)
1019 WerrorS(
"overflow while converting polymake::Integer to int");
1023 res->
data = (
char*) (
long) n;
1026 WerrorS(
"nLatticePoints: unexpected parameters");
1036 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1042 polymake::Matrix<polymake::Integer> lp = p->give(
"INTERIOR_LATTICE_POINTS");
1046 catch (
const std::exception& ex)
1053 WerrorS(
"overflow while converting polymake::Integer to int");
1057 res->
data = (
char*) iv;
1060 WerrorS(
"interiorLatticePoints: unexpected parameters");
1070 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1076 polymake::Integer nlp = p->give(
"N_INTERIOR_LATTICE_POINTS");
1080 catch (
const std::exception& ex)
1087 WerrorS(
"overflow while converting polymake::Integer to int");
1091 res->
data = (
char*) (
long) n;
1094 WerrorS(
"nInteriorLatticePoints: unexpected parameters");
1104 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1110 polymake::Matrix<polymake::Integer> lp = p->give(
"BOUNDARY_LATTICE_POINTS");
1114 catch (
const std::exception& ex)
1121 WerrorS(
"overflow while converting polymake::Integer to int");
1125 res->
data = (
char*) iv;
1128 WerrorS(
"boundaryLatticePoints: unexpected parameters");
1138 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1144 polymake::Integer nlp = p->give(
"N_BOUNDARY_LATTICE_POINTS");
1148 catch (
const std::exception& ex)
1155 WerrorS(
"overflow while converting polymake::Integer to int");
1159 res->
data = (
char*) (
long) n;
1162 WerrorS(
"nBoundaryLatticePoints: unexpected parameters");
1172 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1178 polymake::Matrix<polymake::Integer> lp = p->give(
"HILBERT_BASIS");
1182 catch (
const std::exception& ex)
1189 WerrorS(
"overflow while converting polymake::Integer to int");
1193 res->
data = (
char*) iv;
1196 WerrorS(
"hilbertBasis: unexpected parameters");
1206 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1212 polymake::Integer nlp = p->give(
"N_HILBERT_BASIS");
1216 catch (
const std::exception& ex)
1223 WerrorS(
"overflow while converting polymake::Integer to int");
1227 res->
data = (
char*) (
long) n;
1230 WerrorS(
"nHilbertBasis: unexpected parameters");
1243 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1244 gfan::ZCone* zq = (gfan::ZCone*)v->
Data();
1250 polymake::perl::Object pms;
1251 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1256 catch (
const std::exception& ex)
1262 res->
data = (
char*) ms;
1267 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1268 gfan::ZCone* zc = (gfan::ZCone*)v->
Data();
1269 gfan::ZCone* zq =
new gfan::ZCone(
liftUp(*zc));
1275 polymake::perl::Object pms;
1276 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1281 catch (
const std::exception& ex)
1288 res->
data = (
char*) ms;
1298 gfan::ZCone* zc = (gfan::ZCone*)u->
Data();
1299 gfan::ZCone* zp =
new gfan::ZCone(
liftUp(*zc));
1300 gfan::ZCone* zq = (gfan::ZCone*)v->
Data();
1306 polymake::perl::Object pms;
1307 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1312 catch (
const std::exception& ex)
1319 res->
data = (
char*) ms;
1325 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1326 gfan::ZCone* zq = (gfan::ZCone*)v->
Data();
1332 polymake::perl::Object pms;
1333 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1338 catch (
const std::exception& ex)
1344 res->
data = (
char*) ms;
1348 WerrorS(
"minkowskiSum: unexpected parameters");
1353 polymake::Matrix<polymake::Integer>
verticesOf(
const polymake::perl::Object*
p,
1354 const polymake::Set<polymake::Integer>*
s)
1356 polymake::Matrix<polymake::Integer> allrays = p->give(
"VERTICES");
1357 polymake::Matrix<polymake::Integer> wantedrays;
1359 for(polymake::Entire<polymake::Set<polymake::Integer> >::const_iterator
i=polymake::entire(*s); !
i.at_end();
i++)
1365 WerrorS(
"overflow while converting polymake::Integer to int in raysOf");
1379 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1386 polymake::perl::Object o(
"LinearProgram<Rational>");
1389 polymake::Set<polymake::Integer> mf = p->give(
"LP.MAXIMAL_FACE");
1394 catch (
const std::exception& ex)
1401 WerrorS(
"overflow while converting polymake::Integer to int");
1405 res->
data = (
char*) maxface;
1409 WerrorS(
"maximalFace: unexpected parameters");
1422 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1429 polymake::perl::Object o(
"LinearProgram<Rational>");
1432 polymake::Set<polymake::Integer> mf = p->give(
"LP.MINIMAL_FACE");
1437 catch (
const std::exception& ex)
1444 WerrorS(
"overflow while converting polymake::Integer to int");
1448 res->
data = (
char*) minface;
1452 WerrorS(
"minimalFace: unexpected parameters");
1465 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1467 if (iv->
rows()==zp->ambientDimension())
1475 polymake::perl::Object o(
"LinearProgram<Rational>");
1476 o.take(
"LINEAR_OBJECTIVE") << lo;
1478 polymake::Integer mv = p->give(
"LP.MAXIMAL_VALUE");
1482 catch (
const std::exception& ex)
1489 WerrorS(
"overflow while converting polymake::Integer to int");
1493 res->
data = (
char*) (
long)
m;
1497 WerrorS(
"maximalValue: vector is of wrong size");
1500 WerrorS(
"maximalValue: unexpected parameters");
1512 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1514 if (iv->
rows()==zp->ambientDimension())
1522 polymake::perl::Object o(
"LinearProgram<Rational>");
1523 o.take(
"LINEAR_OBJECTIVE") << lo;
1525 polymake::Integer mv = p->give(
"LP.MINIMAL_VALUE");
1529 catch (
const std::exception& ex)
1536 WerrorS(
"overflow while converting polymake::Integer to int");
1540 res->
data = (
char*) (
long)
m;
1544 WerrorS(
"minimalValue: vector is of wrong size");
1547 WerrorS(
"minimalValue: unexpected parameters");
1557 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1561 VoidCallPolymakeFunction(
"jreality",pp->CallPolymakeMethod(
"VISUAL"));
1564 catch (
const std::exception& ex)
1575 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
1579 VoidCallPolymakeFunction(
"jreality",pf->CallPolymakeMethod(
"VISUAL"));
1581 catch (
const std::exception& ex)
1590 WerrorS(
"visual: unexpected parameters");
1599 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1600 gfan::ZFan* zf =
new gfan::ZFan(0);
1604 polymake::perl::Object pf;
1605 CallPolymakeFunction(
"normal_fan", *p) >> pf;
1609 catch (
const std::exception& ex)
1615 res->
data = (
char*) zf;
1618 WerrorS(
"normalFan: unexpected parameters");
1627 polymake::perl::Object pc(
"Cone<Rational>");
1630 pc.take(
"INPUT_RAYS") << pmhlines;
1637 pc.take(
"INPUT_LINEALITY") << pmlines;
1648 res->
data = (
char*) zc;
1651 WerrorS(
"coneViaRays: unexpected parameters");
1661 polymake::perl::Object
pp(
"Polytope<Rational>");
1668 int flag = (int) (
long) v->
Data();
1671 case 0: pp.take(
"POINTS") << pmpoints;
1672 case 1: pp.take(
"VERTICES") << pmpoints;
1673 default:
WerrorS(
"polytopeViaVertices: invalid flag");
1677 pp.take(
"POINTS") << pmpoints;
1681 res->
data = (
char*) zp;
1684 WerrorS(
"polytopeViaVertices: unexpected parameters");
1694 gfan::ZCone* zp = (gfan::ZCone*) u->
Data();
1699 polymake::Matrix<polymake::Integer> vert0 = p->give(
"VERTICES");
1702 output->
m[0].
data = (
void*) vert1;
1704 polymake::Graph<> gr=p->give(
"GRAPH.ADJACENCY");
1705 polymake::IncidenceMatrix<polymake::NonSymmetric> adj = adjacency_matrix(gr);
1708 output->
m[1].
data = (
void*) listOfEdges;
1711 catch (
const std::exception& ex)
1717 res->
data = (
void*) output;
1720 WerrorS(
"vertexEdgeGraph: unexpected parameters");
1730 gfan::ZCone* zp = (gfan::ZCone*) u->
Data();
1735 polymake::Matrix<polymake::Integer> vert0 = p->give(
"VERTICES");
1738 output->
m[0].
data = (
void*) vert1;
1740 polymake::Graph<> gr=p->give(
"GRAPH.ADJACENCY");
1741 polymake::IncidenceMatrix<polymake::NonSymmetric> adj = adjacency_matrix(gr);
1744 output->
m[1].
data = (
void*) listOfEdges;
1747 catch (
const std::exception& ex)
1753 res->
data = (
void*) output;
1756 WerrorS(
"vertexEdgeGraph: unexpected parameters");
1765 omp_set_num_threads(1);
const CanonicalForm int s
Class used for (list of) interpreter objects.
lists PmIncidenceMatrix2ListOfIntvecs(polymake::IncidenceMatrix< polymake::NonSymmetric > *icmat)
void init_polymake_help()
gfan::ZMatrix liftUp(const gfan::ZMatrix &zm)
BOOLEAN PMisSmooth(leftv res, leftv args)
BOOLEAN PMmaximalFace(leftv res, leftv args)
BOOLEAN PMnInteriorLatticePoints(leftv res, leftv args)
lists PmAdjacencyMatrix2ListOfEdges(polymake::IncidenceMatrix< polymake::NonSymmetric > *icmat)
BOOLEAN normalFan(leftv res, leftv args)
polymake::Vector< polymake::Integer > Intvec2PmVectorInteger(const intvec *iv)
polymake::perl::Object * ZCone2PmCone(gfan::ZCone *zc)
BOOLEAN PMisCompressed(leftv res, leftv args)
polymake::perl::Object * ZPolytope2PmPolytope(gfan::ZCone *zc)
BOOLEAN PMisBounded(leftv res, leftv args)
BOOLEAN PMgorensteinVector(leftv res, leftv args)
BOOLEAN visual(leftv res, leftv args)
bigintmat * PmMatrixInteger2Bigintmat(polymake::Matrix< polymake::Integer > *mi)
static BOOLEAN bbpolytope_Op2(int op, leftv res, leftv i1, leftv i2)
static coordinates * points
gfan::ZFan * PmFan2ZFan(polymake::perl::Object *pf)
void WerrorS(const char *s)
polymake::Matrix< polymake::Integer > Intvec2PmMatrixInteger(const intvec *im)
polymake::Matrix< polymake::Integer > verticesOf(const polymake::perl::Object *p, const polymake::Set< polymake::Integer > *s)
BOOLEAN PMpolytopeViaVertices(leftv res, leftv args)
BOOLEAN PMnHilbertBasis(leftv res, leftv args)
int SI_MOD_INIT() polymake(SModulFunctions *p)
BOOLEAN PMfacetVertexLatticeDistances(leftv res, leftv args)
polymake::Main * init_polymake
intvec * PmVectorInteger2Intvec(const polymake::Vector< polymake::Integer > *vi, bool &ok)
BOOLEAN PMboundaryLatticePoints(leftv res, leftv args)
BOOLEAN PMinteriorLatticePoints(leftv res, leftv args)
gfan::ZCone * PmCone2ZCone(polymake::perl::Object *pc)
intvec * PmMatrixInteger2Intvec(polymake::Matrix< polymake::Integer > *mi, bool &ok)
BOOLEAN PMisGorenstein(leftv res, leftv args)
BOOLEAN PMhVector(leftv res, leftv args)
BOOLEAN PMlatticeCodegree(leftv res, leftv args)
BOOLEAN PMhilbertBasis(leftv res, leftv args)
BOOLEAN PMisVeryAmple(leftv res, leftv args)
BOOLEAN blackboxDefaultOp2(int op, leftv, leftv r1, leftv)
default procedure blackboxDefaultOp2, to be called as "default:" branch
BOOLEAN PMnBoundaryLatticePoints(leftv res, leftv args)
BOOLEAN vertices(leftv res, leftv args)
BOOLEAN PMlatticePoints(leftv res, leftv args)
BOOLEAN PMlatticeVolume(leftv res, leftv args)
BOOLEAN PMisTerminal(leftv res, leftv args)
BOOLEAN PMgorensteinIndex(leftv res, leftv args)
BOOLEAN PMvertexEdgeGraph(leftv res, leftv args)
polymake::perl::Object * ZFan2PmFan(gfan::ZFan *zf)
BOOLEAN PMfacetWidth(leftv res, leftv args)
BOOLEAN PMvertexAdjacencyGraph(leftv res, leftv args)
INLINE_THIS void Init(int l=0)
gfan::ZCone * PmPolytope2ZPolytope(polymake::perl::Object *pp)
const Variable & v
< [in] a sqrfree bivariate poly
BOOLEAN PMisReflexive(leftv res, leftv args)
BOOLEAN rays(leftv res, leftv args)
BOOLEAN PMminimalValue(leftv res, leftv args)
BOOLEAN PMfacetWidths(leftv res, leftv args)
BOOLEAN PMehrhartPolynomialCoeff(leftv res, leftv args)
BOOLEAN PMnLatticePoints(leftv res, leftv args)
BOOLEAN PMminimalFace(leftv res, leftv args)
BOOLEAN PMisNormal(leftv res, leftv args)
BOOLEAN PMisLatticeEmpty(leftv res, leftv args)
BOOLEAN PMlatticeDegree(leftv res, leftv args)
BOOLEAN PMisCanonical(leftv res, leftv args)
int PmInteger2Int(const polymake::Integer &pi, bool &ok)
BOOLEAN PMhStarVector(leftv res, leftv args)
BOOLEAN PMconeViaRays(leftv res, leftv args)
BOOLEAN PMmaximalValue(leftv res, leftv args)
BOOLEAN PMisLatticePolytope(leftv res, leftv args)
BOOLEAN PMfVector(leftv res, leftv args)
void Werror(const char *fmt,...)
BOOLEAN PMminkowskiSum(leftv res, leftv args)
blackbox * getBlackboxStuff(const int t)
return the structure to the type given by t