Cone * Cone -- computes the direct product of two cones

• Operator: *

• Usage:

  C = C1 * C2

• Inputs:
  • C1, a convex rational cone
  • C2, a convex rational cone
• Outputs:
  • C, a convex rational cone

i1 : C1 = coneFromVData matrix {{1,2},{2,1}}

o1 = C1

o1 : Cone

i2 : C2 = coneFromVData matrix {{1}}

o2 = C2

o2 : Cone

i3 : C = C1 * C2

o3 = C

o3 : Cone

i4 : rays C

o4 = | 2 1 0 |
     | 1 2 0 |
     | 0 0 1 |

              3       3
o4 : Matrix ZZ  <-- ZZ