Opened 6 years ago

Last modified 6 years ago

#14732 closed enhancement

Realize a poset as a graph — at Version 6

Reported by: chrisjamesberg Owned by: sage-combinat
Priority: major Milestone: sage-5.11
Component: combinatorics Keywords: FindStatDays01
Cc: tscrim, VivianePons, stumpc5 Merged in:
Authors: Chris Berg Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by chrisjamesberg)

This implements a method on posets which returns the graph obtained by forgetting the orientation of the Hasse diagram.

Change History (7)

comment:1 Changed 6 years ago by chrisjamesberg

  • Keywords FindStatDays 01 added
  • Status changed from new to needs_review

comment:2 Changed 6 years ago by chrisjamesberg

  • Keywords FindStatDays01 added; FindStatDays 01 removed

comment:3 Changed 6 years ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

Looks good. Thanks.

comment:4 Changed 6 years ago by nthiery

The description could be more specific. Maybe something like "The graph obtained by forgetting the orientation of the Hasse diagram"?

Is there a strong use case (e.g. for findstat) for this feature to make it deserve a method of its own? I mean Graph(P.hasse_diagram()) is pretty explicity and short.

comment:5 Changed 6 years ago by VivianePons

Hi Nicolas,

actually there is a strong use case: in FindStat? we need the method to consider the map between posets and graphs. When people look for a stat on posets, this maps allows us to also look on graphs.

From a pure Sage point of vue, I think it is actually a nice shortcut: not everyone thinks of transforming the poset into a Hasse diagram.

comment:6 Changed 6 years ago by chrisjamesberg

  • Description modified (diff)

Changed 6 years ago by chrisjamesberg

Note: See TracTickets for help on using tickets.