polyhedron -- Turn a cone into a polyhedron

Synopsis

Usage:

P = polyhedron C
Inputs:
- C, a convex rational cone,
Outputs:
- P, a convex polyhedron,

Description

Every cone is naturally a polyhedron with a single vertex, the origin, and the rays originating from the origin. This method converts a cone into a polyhedron.

i1 : C = posOrthant 2

o1 = C

o1 : Cone

i2 : rays C

o2 = | 1 0 |
     | 0 1 |

              2       2
o2 : Matrix ZZ  <-- ZZ

i3 : P = polyhedron C

o3 = P

o3 : Polyhedron

i4 : vertices P

o4 = 0

              2       1
o4 : Matrix QQ  <-- QQ

i5 : rays P

o5 = | 1 0 |
     | 0 1 |

              2       2
o5 : Matrix QQ  <-- QQ

Ways to use polyhedron :

polyhedron(Cone)

For the programmer

The object polyhedron is a method function.