This command computes the linearity space for the given PolyhedralSet polyset, returning the result as a new PolyhedralSet.

The linearity space of a polyhedral set $P$ is defined as the set

which is the largest vector space contained in $P$.

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

$c≔\mathrm{ExampleSets}:-\mathrm{Cube}\left(\right)\:$$\mathrm{LinearitySpace}\left(c\right)$

$\{\begin{array}{lll}\mathrm{Coordinates}& \:& \left[x_1\,x_2\,x_3\right]\\ \mathrm{Relations}& \:& \left[x_3=0\,x_2=0\,x_1=0\right]\end{array}$

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

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