How to find dimesion of a polyhedron

Specific Domains Optimization (Mathematical)
,
1

K = polyhedron(vrep([Ray([0.0,0.0,1.0])] )) let say we have K polyhedron

is there any function like dim(k) which give the dimension of k
if no how to find dimesion?

using LinearAlgebra
using Combinatorics
using Polyhedra
import CDDLib

these are the libraries I use

2

It helps if you can specify which package you are using. Many packages define polyhedrons.

1 Like
3

Polyhedra.dim() ?