intersection -- computes the intersection of cones, and polyhedra

Synopsis

• Usage:

  P = intersection L

  C = intersection(C1,C2)

  P = intersection(P1,P2)

• Inputs:
  • L, a list, containing any of the inputs below
  • C1, a convex rational cone
  • C2, a convex rational cone
  • P1, a convex polyhedron
  • P2, a convex polyhedron
• Outputs:
  • P, a convex polyhedron
  • C, a convex rational cone

Description

If two polyhedra or two cones are inserted, then the intersection of both arguments is computed if both arguments lie in the same ambient space. If both arguments are cones then the output is again a cone. Otherwise intersection returns a polyhedron.

If intersection is called for a list L, then the list may contain a combination of the following in any order.

• Cone
• Polyhedron

i1 : C = hypercube 2

o1 = C

o1 : Polyhedron

i2 : S = simplex 2

o2 = S

o2 : Polyhedron

i3 : CS = intersection(C,S)

o3 = CS

o3 : Polyhedron