Can't compute VERTICES of non-pointed algebraic polyhedron

Questions and problems about using polymake go here.
mkoeppe
Posts: 17
Joined: 27 Jun 2016, 19:44

Can't compute VERTICES of non-pointed algebraic polyhedron

Postby mkoeppe » 31 Mar 2017, 18:48

You are probably aware of this, and it is probably part of what you mean in the documentation with "limited support" for polyhedra over quadratic extensions, but I thought I should report it:

Code: Select all

polytope > $p = new Polytope<QuadraticExtension>(EQUATIONS=>[[1,2,3]], INEQUALITIES=>[[1,0,0]]); polytope > $p->VERTICES; polymake: used package tosimplex Dual simplex algorithm implemented by Thomas Opfer polymake: WARNING: Recompiling application common in extension /Users/mkoeppe/.polymake/wrappers.0, please be patient... polymake: WARNING: could not compute 'VERTICES' probably because of unsatisfied preconditions: precondition : FEASIBLE ( VERTICES, LINEALITY_SPACE, CONE_DIM : CONE_AMBIENT_DIM ) precondition : COMBINATORIAL_DIM ( F_VECTOR : N_FACETS, N_RAYS, GRAPH.N_EDGES, DUAL_GRAPH.N_EDGES, COMBINATORIAL_DIM ) precondition : FULL_DIM ( LINEAR_SPAN : CONE_AMBIENT_DIM ) precondition : POINTED ( beneath_beyond.convex_hull.primal, default.triangulation.poly: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION(new).FACETS, ESSENTIALLY_GENERIC : RAYS ) precondition : COMBINATORIAL_DIM ( N_RAYS : F_VECTOR ) precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) precondition : COMBINATORIAL_DIM ( DUAL_GRAPH.ADJACENCY : HASSE_DIAGRAM.ADJACENCY, HASSE_DIAGRAM.DECORATION, HASSE_DIAGRAM.INVERSE_RANK_MAP, HASSE_DIAGRAM.TOP_NODE, HASSE_DIAGRAM.BOTTOM_NODE ) precondition : COMBINATORIAL_DIM ( F_VECTOR : F2_VECTOR ) precondition : COMBINATORIAL_DIM ( GRAPH.ADJACENCY : HASSE_DIAGRAM.ADJACENCY, HASSE_DIAGRAM.DECORATION, HASSE_DIAGRAM.INVERSE_RANK_MAP, HASSE_DIAGRAM.TOP_NODE, HASSE_DIAGRAM.BOTTOM_NODE ) precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES ) precondition : FEASIBLE ( FACETS, AFFINE_HULL, CONE_DIM : CONE_AMBIENT_DIM )

User avatar
joswig
Main Author
Posts: 280
Joined: 24 Dec 2010, 11:10

Re: Can't compute VERTICES of non-pointed algebraic polyhedron

Postby joswig » 01 Apr 2017, 16:43

Yes, we are aware. The fact is that computing convex hulls with QuadraticExtension coefficients are used, but apparently not by many. You are the first to express a demand, so I will make a ticket for your request.


Return to “Helpdesk”