Add a new test for a theorem in the improper paper.

diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py
index f4b2244c3486ad6d9ec417bdcdddcc9ffd0f2a62..e9d0f1e643e3a0d40d8a754faf551ac317e36f37 100644 (file)
--- 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