next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Polyhedra :: polyhedron(Cone)

polyhedron(Cone) -- converts a cone to class Polyhedron

Synopsis

Description

Every Cone is in particular a Polyhedron. polyhedron converts the cone into the same cone but of class Polyhedron.

Consider the positive orthant in QQ^3:

i1 : C = coneFromVData matrix {{1,0,0},{0,1,0},{0,0,1}}

o1 = C

o1 : Cone

If we want to consider the positive orthant not as cone but as a polyhedron we apply polyhedron:

i2 : P = polyhedron C

o2 = P

o2 : Polyhedron

Although, they are the same geometric object but of different classes, Polyhedra considers them not as equal:

i3 : P === C

o3 = false