sage: pi_of_K = positive_operator_gens(K)
sage: all([ K.contains(P*K.random_element(QQ)) for P in pi_of_K ])
True
sage: pi_of_K = positive_operator_gens(K)
sage: all([ K.contains(P*K.random_element(QQ)) for P in pi_of_K ])
True
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: pi_cone = Cone([ g.list() for g in pi_of_K ], lattice=L)
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: pi_cone = Cone([ g.list() for g in pi_of_K ], lattice=L)
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: pi_cone = Cone([ g.list() for g in pi_of_K ], lattice=L)
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: pi_cone = Cone([ g.list() for g in pi_of_K ], lattice=L)
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: pi_cone = Cone([ g.list() for g in pi_of_K ], lattice=L)
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: pi_cone = Cone([ g.list() for g in pi_of_K ], lattice=L)
sage: n = K.lattice_dim()
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(n**2)
sage: n = K.lattice_dim()
sage: pi_of_K = positive_operator_gens(K)
sage: L = ToricLattice(n**2)
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: 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: Z_of_K = Z_transformation_gens(K)
sage: dcs = K.discrete_complementarity_set()
sage: all([(z*x).inner_product(s) <= 0 for z in Z_of_K
sage: Z_of_K = Z_transformation_gens(K)
sage: dcs = K.discrete_complementarity_set()
sage: all([(z*x).inner_product(s) <= 0 for z in Z_of_K
sage: lls = span([ vector(l.list()) for l in K.lyapunov_like_basis() ])
sage: z_cone = Cone([ z.list() for z in Z_transformation_gens(K) ])
sage: z_cone.linear_subspace() == lls
sage: lls = span([ vector(l.list()) for l in K.lyapunov_like_basis() ])
sage: z_cone = Cone([ z.list() for z in Z_transformation_gens(K) ])
sage: z_cone.linear_subspace() == lls
sage: Z_of_K = Z_transformation_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: z_cone = Cone([ z.list() for z in Z_of_K ], lattice=L)
sage: Z_of_K = Z_transformation_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: z_cone = Cone([ z.list() for z in Z_of_K ], lattice=L)
sage: pi_of_K = positive_operator_gens(K)
sage: Z_of_K = Z_transformation_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)
sage: pi_of_K = positive_operator_gens(K)
sage: Z_of_K = Z_transformation_gens(K)
sage: L = ToricLattice(K.lattice_dim()**2)