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 = C

o1 : Cone

i2 : rays C

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

              3        3
o2 : Matrix ZZ  <--- ZZ