I know there is a command to take all maximal chains and all cover relations of a poset. I am working with a ranked poset and I am wondering if there is a command for all saturated chains in a poset. I appreciate any help given.
I know there is a command to take all maximal chains and all cover relations of a poset. I am working with a ranked poset and I am wondering if there is a command for all saturated chains in a poset. I appreciate any help given.