posOrthant -- generates the positive orthant in n-space

Synopsis

• Usage:

  C = posOrthant n

• Inputs:
  • n, an integer, strictly positive
• Outputs:
  • C, a convex rational cone

Description

i1 : C = posOrthant 3

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

o1 : Cone

i2 : rays C

o2 = | 1 0 0 |
     | 0 1 0 |
     | 0 0 1 |

              3       3
o2 : Matrix ZZ  <-- ZZ