From 14571032f67138970cf702181970ecd1290f6ef2 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 19 Oct 2015 14:52:56 -0400 Subject: [PATCH] Add missing set_random_seed() to tests and fix my corollary. --- mjo/cone/cone.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py index f78c27e..e9d70e4 100644 --- a/mjo/cone/cone.py +++ b/mjo/cone/cone.py @@ -176,7 +176,8 @@ def positive_operator_gens(K): A positive operator on a cone should send its generators into the cone:: - sage: K = random_cone(max_ambient_dim = 6) + sage: set_random_seed() + sage: K = random_cone(max_ambient_dim = 5) sage: pi_of_K = positive_operator_gens(K) sage: all([K.contains(p*x) for p in pi_of_K for x in K.rays()]) True @@ -184,13 +185,15 @@ def positive_operator_gens(K): The dimension of the cone of positive operators is given by the corollary in my paper:: - sage: K = random_cone(max_ambient_dim = 6) + sage: set_random_seed() + sage: K = random_cone(max_ambient_dim = 5) sage: n = K.lattice_dim() sage: m = K.dim() sage: l = K.lineality() sage: pi_of_K = positive_operator_gens(K) - sage: actual = Cone([p.list() for p in pi_of_K]).dim() - sage: expected = n**2 - l*(n - l) - (n - m)*m + sage: L = ToricLattice(n**2) + sage: actual = Cone([p.list() for p in pi_of_K], lattice=L).dim() + sage: expected = n**2 - l*(m - l) - (n - m)*m sage: actual == expected True -- 2.44.2