dim(Cone) -- computes the dimension of a cone

• Function: dim

• Usage:

  d = dim C

• Inputs:
  • C, a convex rational cone
• Outputs:
  • d, an integer

i1 : C = posHull matrix {{2,3},{3,2}}

o1 = {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of the cone => 2
      number of facets => 2
      number of rays => 2

o1 : Cone

i2 : dim C

o2 = 2