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 WerrorS(
"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 WerrorS(
"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 #if (POLYMAKEVERSION >=214) 975 polymake::Matrix<polymake::Integer> lp = p->CallPolymakeMethod(
"LATTICE_POINTS");
976 #elif (POLYMAKEVERSION >=212) 977 polymake::Matrix<polymake::Integer> lp = p->give(
"LATTICE_POINTS");
979 #error polymake version too old 984 catch (
const std::exception& ex)
991 WerrorS(
"overflow while converting polymake::Integer to int");
995 res->
data = (
char*) iv;
998 WerrorS(
"LatticePoints: unexpected parameters");
1008 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1014 polymake::Integer nlp = p->give(
"N_LATTICE_POINTS");
1018 catch (
const std::exception& ex)
1025 WerrorS(
"overflow while converting polymake::Integer to int");
1029 res->
data = (
char*) (
long) n;
1032 WerrorS(
"nLatticePoints: unexpected parameters");
1042 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1048 polymake::Matrix<polymake::Integer> lp = p->give(
"INTERIOR_LATTICE_POINTS");
1052 catch (
const std::exception& ex)
1059 WerrorS(
"overflow while converting polymake::Integer to int");
1063 res->
data = (
char*) iv;
1066 WerrorS(
"interiorLatticePoints: unexpected parameters");
1076 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1082 polymake::Integer nlp = p->give(
"N_INTERIOR_LATTICE_POINTS");
1086 catch (
const std::exception& ex)
1093 WerrorS(
"overflow while converting polymake::Integer to int");
1097 res->
data = (
char*) (
long) n;
1100 WerrorS(
"nInteriorLatticePoints: unexpected parameters");
1110 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1116 polymake::Matrix<polymake::Integer> lp = p->give(
"BOUNDARY_LATTICE_POINTS");
1120 catch (
const std::exception& ex)
1127 WerrorS(
"overflow while converting polymake::Integer to int");
1131 res->
data = (
char*) iv;
1134 WerrorS(
"boundaryLatticePoints: unexpected parameters");
1144 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1150 polymake::Integer nlp = p->give(
"N_BOUNDARY_LATTICE_POINTS");
1154 catch (
const std::exception& ex)
1161 WerrorS(
"overflow while converting polymake::Integer to int");
1165 res->
data = (
char*) (
long) n;
1168 WerrorS(
"nBoundaryLatticePoints: unexpected parameters");
1178 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1184 #if (POLYMAKEVERSION >=214) 1185 polymake::Matrix<polymake::Integer> lp = p->CallPolymakeMethod(
"HILBERT_BASIS");
1186 #elif (POLYMAKEVERSION >=212) 1187 polymake::Matrix<polymake::Integer> lp = p->give(
"HILBERT_BASIS");
1189 #error polymake version too old 1194 catch (
const std::exception& ex)
1201 WerrorS(
"overflow while converting polymake::Integer to int");
1205 res->
data = (
char*) iv;
1208 WerrorS(
"hilbertBasis: unexpected parameters");
1218 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1224 polymake::Integer nlp = p->give(
"N_HILBERT_BASIS");
1228 catch (
const std::exception& ex)
1235 WerrorS(
"overflow while converting polymake::Integer to int");
1239 res->
data = (
char*) (
long) n;
1242 WerrorS(
"nHilbertBasis: unexpected parameters");
1255 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1256 gfan::ZCone* zq = (gfan::ZCone*)v->
Data();
1262 polymake::perl::Object pms;
1263 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1268 catch (
const std::exception& ex)
1274 res->
data = (
char*) ms;
1279 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1280 gfan::ZCone* zc = (gfan::ZCone*)v->
Data();
1281 gfan::ZCone* zq =
new gfan::ZCone(
liftUp(*zc));
1287 polymake::perl::Object pms;
1288 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1293 catch (
const std::exception& ex)
1300 res->
data = (
char*) ms;
1310 gfan::ZCone* zc = (gfan::ZCone*)u->
Data();
1311 gfan::ZCone* zp =
new gfan::ZCone(
liftUp(*zc));
1312 gfan::ZCone* zq = (gfan::ZCone*)v->
Data();
1318 polymake::perl::Object pms;
1319 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1324 catch (
const std::exception& ex)
1331 res->
data = (
char*) ms;
1337 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1338 gfan::ZCone* zq = (gfan::ZCone*)v->
Data();
1344 polymake::perl::Object pms;
1345 CallPolymakeFunction(
"minkowski_sum", *pp, *pq) >> pms;
1350 catch (
const std::exception& ex)
1356 res->
data = (
char*) ms;
1360 WerrorS(
"minkowskiSum: unexpected parameters");
1365 polymake::Matrix<polymake::Integer>
verticesOf(
const polymake::perl::Object*
p,
1366 const polymake::Set<polymake::Integer>*
s)
1368 polymake::Matrix<polymake::Integer> allrays = p->give(
"VERTICES");
1369 polymake::Matrix<polymake::Integer> wantedrays;
1371 for(polymake::Entire<polymake::Set<polymake::Integer> >::const_iterator
i=polymake::entire(*s); !
i.at_end();
i++)
1377 WerrorS(
"overflow while converting polymake::Integer to int in raysOf");
1391 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1398 polymake::perl::Object o(
"LinearProgram<Rational>");
1401 polymake::Set<polymake::Integer> mf = p->give(
"LP.MAXIMAL_FACE");
1406 catch (
const std::exception& ex)
1413 WerrorS(
"overflow while converting polymake::Integer to int");
1417 res->
data = (
char*) maxface;
1421 WerrorS(
"maximalFace: unexpected parameters");
1434 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1441 polymake::perl::Object o(
"LinearProgram<Rational>");
1444 polymake::Set<polymake::Integer> mf = p->give(
"LP.MINIMAL_FACE");
1449 catch (
const std::exception& ex)
1456 WerrorS(
"overflow while converting polymake::Integer to int");
1460 res->
data = (
char*) minface;
1464 WerrorS(
"minimalFace: unexpected parameters");
1477 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1479 if (iv->
rows()==zp->ambientDimension())
1487 polymake::perl::Object o(
"LinearProgram<Rational>");
1488 o.take(
"LINEAR_OBJECTIVE") << lo;
1490 polymake::Integer mv = p->give(
"LP.MAXIMAL_VALUE");
1494 catch (
const std::exception& ex)
1501 WerrorS(
"overflow while converting polymake::Integer to int");
1505 res->
data = (
char*) (
long)
m;
1509 WerrorS(
"maximalValue: vector is of wrong size");
1512 WerrorS(
"maximalValue: unexpected parameters");
1524 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1526 if (iv->
rows()==zp->ambientDimension())
1534 polymake::perl::Object o(
"LinearProgram<Rational>");
1535 o.take(
"LINEAR_OBJECTIVE") << lo;
1537 polymake::Integer mv = p->give(
"LP.MINIMAL_VALUE");
1541 catch (
const std::exception& ex)
1548 WerrorS(
"overflow while converting polymake::Integer to int");
1552 res->
data = (
char*) (
long)
m;
1556 WerrorS(
"minimalValue: vector is of wrong size");
1559 WerrorS(
"minimalValue: unexpected parameters");
1569 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1573 VoidCallPolymakeFunction(
"jreality",pp->CallPolymakeMethod(
"VISUAL"));
1576 catch (
const std::exception& ex)
1587 gfan::ZFan* zf = (gfan::ZFan*)u->
Data();
1591 VoidCallPolymakeFunction(
"jreality",pf->CallPolymakeMethod(
"VISUAL"));
1593 catch (
const std::exception& ex)
1602 WerrorS(
"visual: unexpected parameters");
1611 gfan::ZCone* zp = (gfan::ZCone*)u->
Data();
1612 gfan::ZFan* zf =
new gfan::ZFan(0);
1616 polymake::perl::Object pf;
1617 CallPolymakeFunction(
"normal_fan", *p) >> pf;
1621 catch (
const std::exception& ex)
1627 res->
data = (
char*) zf;
1630 WerrorS(
"normalFan: unexpected parameters");
1639 polymake::perl::Object pc(
"Cone<Rational>");
1642 pc.take(
"INPUT_RAYS") << pmhlines;
1649 pc.take(
"INPUT_LINEALITY") << pmlines;
1660 res->
data = (
char*) zc;
1663 WerrorS(
"coneViaRays: unexpected parameters");
1673 polymake::perl::Object
pp(
"Polytope<Rational>");
1680 int flag = (int) (
long) v->
Data();
1683 case 0: pp.take(
"POINTS") << pmpoints;
1684 case 1: pp.take(
"VERTICES") << pmpoints;
1685 default:
WerrorS(
"polytopeViaVertices: invalid flag");
1689 pp.take(
"POINTS") << pmpoints;
1693 res->
data = (
char*) zp;
1696 WerrorS(
"polytopeViaVertices: unexpected parameters");
1706 gfan::ZCone* zp = (gfan::ZCone*) u->
Data();
1711 polymake::Matrix<polymake::Integer> vert0 = p->give(
"VERTICES");
1714 output->
m[0].
data = (
void*) vert1;
1716 polymake::Graph<> gr=p->give(
"GRAPH.ADJACENCY");
1717 polymake::IncidenceMatrix<polymake::NonSymmetric> adj = adjacency_matrix(gr);
1720 output->
m[1].
data = (
void*) listOfEdges;
1723 catch (
const std::exception& ex)
1729 res->
data = (
void*) output;
1732 WerrorS(
"vertexEdgeGraph: unexpected parameters");
1742 gfan::ZCone* zp = (gfan::ZCone*) u->
Data();
1747 polymake::Matrix<polymake::Integer> vert0 = p->give(
"VERTICES");
1750 output->
m[0].
data = (
void*) vert1;
1752 polymake::Graph<> gr=p->give(
"GRAPH.ADJACENCY");
1753 polymake::IncidenceMatrix<polymake::NonSymmetric> adj = adjacency_matrix(gr);
1756 output->
m[1].
data = (
void*) listOfEdges;
1759 catch (
const std::exception& ex)
1765 res->
data = (
void*) output;
1768 WerrorS(
"vertexEdgeGraph: unexpected parameters");
1777 omp_set_num_threads(1);
1819 p->iiAddCproc(
"polymakeInterface.lib",
"visual",
FALSE,
visual);
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)
BOOLEAN PMminkowskiSum(leftv res, leftv args)
blackbox * getBlackboxStuff(const int t)
return the structure to the type given by t