Lineality space (source code)

= Lineality space
{title2=$C\cap(-C)$}

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