 Lineality space

The lineality space of a convex cone is its largest linear subspace, equal to $C\cap (-C)$. Every nonempty face contains it. A cone is pointed exactly when this space is zero.

// Target: mathematical-optimization.bigb