Open
Description
There is already greedy_linear_extensions_iterator
and supergreedy_linear_extensions_iterator
in hasse_diagram.py
. Might be nice to have a wrapper function for them in the finite posets class.
CC: @fchapoton
Component: combinatorics
Issue created by migration from https://trac.sagemath.org/ticket/34933