How to find dimesion of a polyhedron

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

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

1 Like

Polyhedra.dim() ?