From d27a3f72ac6b898534615de9111ace4082a4c55e Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 15 Jun 2015 13:29:00 -0400
Subject: [PATCH] Add a new test for a theorem in the improper paper.

---
 mjo/cone/cone.py | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py
index f4b2244..e9d0f1e 100644
--- a/mjo/cone/cone.py
+++ b/mjo/cone/cone.py
@@ -689,6 +689,15 @@ def lyapunov_rank(K):
         sage: lyapunov_rank(K) == len(LL(K))
         True
 
+    Test Theorem 3 in [Orlitzky/Gowda]_::
+
+        sage: set_random_seed()
+        sage: K = random_cone(max_dim=8, strictly_convex=True, solid=True)
+        sage: L = ToricLattice(K.lattice_dim() + 1)
+        sage: K = Cone([ r.list() + [0] for r in K.rays() ], lattice=L)
+        sage: lyapunov_rank(K) >= K.lattice_dim()
+        True
+
     """
     beta = 0
 
-- 
2.44.2