ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 07 Sep 2022 17:41:09 +0200Obtaining the poset of monotone functionshttps://ask.sagemath.org/question/63925/obtaining-the-poset-of-monotone-functions/Let $P$ and $Q$ be finite posets.
Is there an easy way to obtain the poset (with the natural order) of monotone function from P to Q via Sage? Is it possible to obtain also the poset of injective (or surjective) monotone functions?
Special cases would also be interesting such as when P and Q are lattices or total orders.Tue, 06 Sep 2022 14:54:11 +0200https://ask.sagemath.org/question/63925/obtaining-the-poset-of-monotone-functions/Comment by tmonteil for <p>Let $P$ and $Q$ be finite posets.
Is there an easy way to obtain the poset (with the natural order) of monotone function from P to Q via Sage? Is it possible to obtain also the poset of injective (or surjective) monotone functions?</p>
<p>Special cases would also be interesting such as when P and Q are lattices or total orders.</p>
https://ask.sagemath.org/question/63925/obtaining-the-poset-of-monotone-functions/?comment=63948#post-id-63948Does Sage only provides a direct way to iterate over all nondecreasing (or monotone) maps between two finite posets ?Wed, 07 Sep 2022 17:41:09 +0200https://ask.sagemath.org/question/63925/obtaining-the-poset-of-monotone-functions/?comment=63948#post-id-63948Comment by FrédéricC for <p>Let $P$ and $Q$ be finite posets.
Is there an easy way to obtain the poset (with the natural order) of monotone function from P to Q via Sage? Is it possible to obtain also the poset of injective (or surjective) monotone functions?</p>
<p>Special cases would also be interesting such as when P and Q are lattices or total orders.</p>
https://ask.sagemath.org/question/63925/obtaining-the-poset-of-monotone-functions/?comment=63943#post-id-63943There is `P.intervals_poset()` for a specific case.Wed, 07 Sep 2022 11:56:03 +0200https://ask.sagemath.org/question/63925/obtaining-the-poset-of-monotone-functions/?comment=63943#post-id-63943