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