Can't compute VERTICES of non-pointed algebraic polyhedron

Questions and problems about using polymake go here.

Moderator: Moderators

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: 193
Joined: 24 Dec 2010, 11:10
Contact:

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”

Who is online

Users browsing this forum: No registered users and 1 guest

cron