Hi Jonathan, Could you be more precise with what you mean with "projection"?
What is the status quo? (Please provide a minimal reproducible working example that shows the contrast along with the proposed wished change that you have in mind, otherwise we are left to guess what you mean and that is leaving the door open to a lot of misunderstanding) What is the proposed changed? What is the assumption in the mentioned doctest? For computational aid, when no vertices exists (i.e. there is a lineality space) the current implementation creates an appropriate vertex. I guess we have to deal with this eventhough the object does not have a 0-dimensional face in reality. This is to have consistency between H- and V-representations. In order to have a consistent V-representation, you need an anchor point, otherwise just having rays and lines does not determine uniquely the object. That said, if you are interested in making a vertex-graph for unbounded polyhedra, then, edges should have two vertices. One way is to ask to keep only bounded edges in the definition, and the default behavior gives the vertex graph on bounded edges. If one wants the full graph with a point at infinity that compactifies the full vertex graph, then one could do so by adding an optional parameter "unbounded=False/True". Where the default would be False and return only compact edges and True would return one more vertex "the vertex at infinity". To me this seems to be the most reasonable behavior. I don't know if this answer your question. Le vendredi 18 octobre 2019 12:09:53 UTC+2, Jonathan Kliem a écrit : > > In #28626 <https://trac.sagemath.org/ticket/28626> I want to use > `CombinatorialPolyhedron` to obtain the vertex graph of polyhedra. > > However, I seem to have a different opinion of a vertex graph than is > currently implemented in sage. > > Should the vertex graph of an unpointed polyhedron return the vertex graph > of the projection or should it be empty? > > As of now the method `vertices` returns the defining vertices, which are > the proper vertices except for unpointed polyhedra. > > I don't think this ambiguous meaning of vertex should continue for the > vertex graph. > > However the current behavior is at the moment assumed in a strange doctest > of `combinatorial_automorphism_group`. > (E.g. the order of the combinatorial automorphism group does not change > when you add lines.) > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/1adedb0a-1582-41fe-8864-b391abf7ba9e%40googlegroups.com.
