Cone ? Cone -- compares the Cones

Synopsis

• Operator: ?

• Usage:

  b = C1 ? C2

• Inputs:
  • C1, a convex rational cone
  • C2, a convex rational cone
• Outputs:
  • b, a Boolean value, > or < or =

Description

This induces an order on Cones. C1 is greater then C2 if its ambient dimension is greater, if this is equal then if its dimension is higher and if this is equal if it has the higher ordered rays and lineality space.

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

o1 = C1

o1 : Cone

i2 : C2 = coneFromVData matrix {{1,0,1},{0,1,0},{1,1,0}}

o2 = C2

o2 : Cone

i3 : C1 ? C2

o3 = <

o3 : Keyword