This command computes the polar dual of the polyhedral set polyset.

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

$\mathrm{cube}≔\mathrm{ExampleSets}:-\mathrm{Cube}\left(\right)\:$$\mathrm{cube\_dual}≔\mathrm{DualSet}\left(\mathrm{cube}\right)\:$$\mathrm{Plot}\left(\mathrm{cube\_dual}\right)$

$\mathrm{cube\_dual\_dual}≔\mathrm{DualSet}\left(\mathrm{cube\_dual}\right)\:$$\mathrm{Plot}\left(\mathrm{cube\_dual\_dual}\right)$

$p≔\mathrm{PolyhedralSet}\left(\left[x\le -1\right]\,\left[x\,y\right]\right)$

$p≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x\,y\right]\\ \mathrm{Relations}& \:& \left[x\le \mathrm{-1}\right]\end{array}$

$\mathrm{p\_dual}≔\mathrm{DualSet}\left(p\right)$

$\mathrm{p\_dual}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x\,y\right]\\ \mathrm{Relations}& \:& \left[y=0\,-x\le 0\right]\end{array}$

$\mathrm{p\_dual\_dual}≔\mathrm{DualSet}\left(\mathrm{p\_dual}\right)$

$\mathrm{p\_dual\_dual}≔\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x\,y\right]\\ \mathrm{Relations}& \:& \left[x\le 0\right]\end{array}$

$\mathrm{Equal}\left(p\,\mathrm{p\_dual\_dual}\right)$

$\mathrm{false}$

$\mathrm{Plot}\left(\left[p\,\mathrm{p\_dual\_dual}\right]\right)$

The PolyhedralSets[DualSet] command was introduced in Maple 2015.

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