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

Ways to use this method: