polar dual of a polyhedral set
This command computes the polar dual of the polyhedral set polyset.
The dual of the cube is an octahedron
cube ≔ ExampleSets:-Cube⁡:cube_dual ≔ DualSet⁡cube:Plot⁡cube_dual
DualSet is an involution for bounded sets that include the origin, that is taking the dual of octahedron yields the original cube
cube_dual_dual ≔ DualSet⁡cube_dual:Plot⁡cube_dual_dual
The dual of the dual of a half-space, on the other hand, does not yield the original set.
p ≔ PolyhedralSet⁡x≤−1,x,y
p_dual ≔ DualSet⁡p
p_dual_dual ≔ DualSet⁡p_dual
The PolyhedralSets[DualSet] command was introduced in Maple 2015.
For more information on Maple 2015 changes, see Updates in Maple 2015.
Download Help Document