+ The lineality of the cone of positive operators is given by the
+ corollary in my paper::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim=5)
+ sage: n = K.lattice_dim()
+ sage: pi_of_K = positive_operator_gens(K)
+ sage: L = ToricLattice(n**2)
+ sage: actual = Cone([p.list() for p in pi_of_K], lattice=L).lineality()
+ sage: expected = n**2 - K.dim()*K.dual().dim()
+ sage: actual == expected
+ True
+
+ The cone ``K`` is proper if and only if the cone of positive
+ operators on ``K`` is proper::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim=5)
+ sage: pi_of_K = positive_operator_gens(K)
+ sage: L = ToricLattice(K.lattice_dim()**2)
+ sage: pi_cone = Cone([p.list() for p in pi_of_K], lattice=L)
+ sage: K.is_proper() == pi_cone.is_proper()
+ True