Online Help

The command MaximalElements(P) returns the set of maximal elements of the partially ordered set P.

$\mathrm{with}\left(\mathrm{PartiallyOrderedSets}\right)\:$

$\mathrm{leq}≔\mathrm{`<=`}\&colon;$

$S≔\left\{1\&comma;2\&comma;3\&comma;4\&comma;5\right\}\&colon;$$\mathrm{poset1}≔\mathrm{PartiallyOrderedSet}\left(S\&comma;\mathrm{leq}\right)$

$\mathrm{poset1}≔\mathrm{<\; a\; poset\; with\; 5\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset1}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset1}\right)$

$\left\{5\right\}$

$\mathrm{divisibility}≔\left(x\&comma;y\right)\mapsto \mathrm{irem}\left(y\&comma;x\right)=0\&colon;$$T≔\left\{3\&comma;4\&comma;5\&comma;6\&comma;7\&comma;8\&comma;9\right\}\&colon;$

$\mathrm{poset2}≔\mathrm{PartiallyOrderedSet}\left(T\&comma;\mathrm{divisibility}\right)$

$\mathrm{poset2}≔\mathrm{<\; a\; poset\; with\; 7\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset2}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset2}\right)$

$\left\{5\&comma;6\&comma;7\&comma;8\&comma;9\right\}$

$\mathrm{adjMatrix4}≔\mathrm{Matrix}\left(\left[\left[1\&comma;1\&comma;1\&comma;1\&comma;1\right]\&comma;\left[0\&comma;1\&comma;1\&comma;1\&comma;1\right]\&comma;\left[0\&comma;0\&comma;1\&comma;1\&comma;1\right]\&comma;\left[0\&comma;0\&comma;0\&comma;1\&comma;1\right]\&comma;\left[0\&comma;0\&comma;0\&comma;0\&comma;1\right]\right]\right)$

$\mathrm{adjMatrix4}≔\left[\begin{array}{ccccc}1& 1& 1& 1& 1\\ 0& 1& 1& 1& 1\\ 0& 0& 1& 1& 1\\ 0& 0& 0& 1& 1\\ 0& 0& 0& 0& 1\end{array}\right]$

$\mathrm{poset4}≔\mathrm{PartiallyOrderedSet}\left(\mathrm{convert}\left(S\&comma;'\mathrm{list}'\right)\&comma;\mathrm{adjMatrix4}\right)$

$\mathrm{poset4}≔\mathrm{<\; a\; poset\; with\; 5\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset4}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset4}\right)$

$\left\{5\right\}$

$\mathrm{adjList5}≔\mathrm{map2}\left(\mathrm{map}\&comma;\mathrm{`+`}\&comma;\mathrm{Array}\left(\left[\left\{1\&comma;4\&comma;7\right\}\&comma;\left\{2\&comma;6\right\}\&comma;\left\{3\right\}\&comma;\left\{4\right\}\&comma;\left\{5\right\}\&comma;\left\{6\right\}\&comma;\left\{7\right\}\right]\right)\&comma;2\right)$

$\mathrm{adjList5}≔\left[\begin{array}{ccccccc}\left\{3\&comma;6\&comma;9\right\}& \left\{4\&comma;8\right\}& \left\{5\right\}& \left\{6\right\}& \left\{7\right\}& \left\{8\right\}& \left\{9\right\}\end{array}\right]$

$\mathrm{poset5}≔\mathrm{PartiallyOrderedSet}\left(\mathrm{convert}\left(T\&comma;'\mathrm{list}'\right)\&comma;\mathrm{adjList5}\right)$

$\mathrm{poset5}≔\mathrm{<\; a\; poset\; with\; 7\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset5}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset5}\right)$

$\left\{5\&comma;6\&comma;7\&comma;8\&comma;9\right\}$

$G≔\mathrm{GraphTheory}:-\mathrm{Graph}\left(\mathrm{directed}\&comma;\left[1\&comma;2\&comma;3\&comma;4\&comma;5\&comma;6\right]\&comma;\left\{\left[1\&comma;1\right]\&comma;\left[1\&comma;2\right]\&comma;\left[1\&comma;3\right]\&comma;\left[1\&comma;4\right]\&comma;\left[1\&comma;5\right]\&comma;\left[1\&comma;6\right]\&comma;\left[2\&comma;2\right]\&comma;\left[2\&comma;4\right]\&comma;\left[2\&comma;6\right]\&comma;\left[3\&comma;3\right]\&comma;\left[3\&comma;5\right]\&comma;\left[3\&comma;6\right]\&comma;\left[4\&comma;4\right]\&comma;\left[4\&comma;6\right]\&comma;\left[5\&comma;5\right]\&comma;\left[5\&comma;6\right]\&comma;\left[6\&comma;6\right]\right\}\right)$

$G≔\mathrm{Graph\; 1:\; a\; directed\; graph\; with\; 6\; vertices,\; 11\; arcs,\; and\; 6\; self-loops}$

$\mathrm{poset6}≔\mathrm{PartiallyOrderedSet}\left(G\right)$

$\mathrm{poset6}≔\mathrm{<\; a\; poset\; with\; 6\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset6}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset6}\right)$

$\left\{6\right\}$

$t≔\mathrm{PolyhedralSets}:-\mathrm{ExampleSets}:-\mathrm{Octahedron}\left(\right)$

$t≔\&lcub;\begin{array}{ccc}\mathrm{Coordinates}& \&colon;& \left[x_1\&comma;x_2\&comma;x_3\right]\\ \mathrm{Relations}& \&colon;& \left[-x_1-x_2-x_3\le 1\&comma;-x_1-x_2+x_3\le 1\&comma;-x_1+x_2-x_3\le 1\&comma;-x_1+x_2+x_3\le 1\&comma;x_1-x_2-x_3\le 1\&comma;x_1-x_2+x_3\le 1\&comma;x_1+x_2-x_3\le 1\&comma;x_1+x_2+x_3\le 1\right]\end{array}$

$d≔\mathrm{PolyhedralSets}:-\mathrm{Dimension}\left(t\right)$

$d≔3$

$\mathrm{t\_faces}≔\left\{\mathrm{seq}\left(\mathrm{op}\left(\mathrm{PolyhedralSets}:-\mathrm{Faces}\left(t\&comma;\mathrm{dimension}=i\right)\right)\&comma;i=-0..d\right)\right\}\&colon;$

$\mathrm{t\_faces}≔\mathrm{t\_faces}\mathbf{union}\left\{\mathrm{PolyhedralSets}:-\mathrm{ExampleSets}:-\mathrm{EmptySet}\left(d\right)\right\}\&colon;$

$\mathrm{FL}≔\mathrm{convert}\left(\mathrm{t\_faces}\&comma;\mathrm{list}\right)\&colon;$

inclusion := proc(x,y) PolyhedralSets:-`subset`(FL[x],FL[y]) end proc:

$\mathrm{polyhedral\_poset}≔\mathrm{PartiallyOrderedSet}\left(\left\{\mathrm{seq}\left(i\&comma;i=1..\mathrm{nops}\left(\mathrm{FL}\right)\right)\right\}\&comma;\mathrm{inclusion}\right)$

$\mathrm{polyhedral\_poset}≔\mathrm{<\; a\; poset\; with\; 28\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{polyhedral\_poset}\right)$

$\mathrm{MaximalElements}\left(\mathrm{polyhedral\_poset}\right)$

$\left\{11\right\}$

$M≔\mathrm{Matrix}\left(\left[\left[1\&comma;1\&comma;1\&comma;1\&comma;1\right]\&comma;\left[0\&comma;1\&comma;1\&comma;0\&comma;1\right]\&comma;\left[0\&comma;0\&comma;1\&comma;0\&comma;1\right]\&comma;\left[0\&comma;0\&comma;0\&comma;1\&comma;1\right]\&comma;\left[0\&comma;0\&comma;0\&comma;0\&comma;1\right]\right]\right)\&colon;$

$\mathrm{poset9}≔\mathrm{PartiallyOrderedSet}\left(\left[\mathrm{seq}\left(1..5\right)\right]\&comma;M\right)$

$\mathrm{poset9}≔\mathrm{<\; a\; poset\; with\; 5\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset9}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset9}\right)$

$\left\{5\right\}$

$Z≔\left\{1\&comma;2\&comma;3\&comma;4\&comma;5\&comma;6\&comma;10\&comma;12\&comma;15\&comma;20\&comma;30\&comma;60\right\}$

$Z≔\left\{1\&comma;2\&comma;3\&comma;4\&comma;5\&comma;6\&comma;10\&comma;12\&comma;15\&comma;20\&comma;30\&comma;60\right\}$

$\mathrm{poset10}≔\mathrm{PartiallyOrderedSet}\left(Z\&comma;\mathrm{divisibility}\right)$

$\mathrm{poset10}≔\mathrm{<\; a\; poset\; with\; 12\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset10}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset10}\right)$

$\left\{60\right\}$

$\mathrm{ZZ}≔\left\{1\&comma;2\&comma;3\&comma;4\&comma;5\&comma;6\&comma;12\&comma;15\&comma;60\right\}$

$\mathrm{ZZ}≔\left\{1\&comma;2\&comma;3\&comma;4\&comma;5\&comma;6\&comma;12\&comma;15\&comma;60\right\}$

$\mathrm{poset11}≔\mathrm{PartiallyOrderedSet}\left(\mathrm{ZZ}\&comma;\mathrm{divisibility}\right)$

$\mathrm{poset11}≔\mathrm{<\; a\; poset\; with\; 9\; elements\; >}$

$\mathrm{DrawGraph}\left(\mathrm{poset11}\right)$

$\mathrm{MaximalElements}\left(\mathrm{poset11}\right)$

$\left\{60\right\}$

Richard P. Stanley: Enumerative Combinatorics 1. 1997, Cambridge Studies in Advanced Mathematics. Vol. 49. Cambridge University Press.

The PartiallyOrderedSets[MaximalElements] command was introduced in Maple 2025.

For more information on Maple 2025 changes, see Updates in Maple 2025 .