From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 15 Jun 2015 17:29:00 +0000 (-0400)
Subject: Add a new test for a theorem in the improper paper.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=d27a3f72ac6b898534615de9111ace4082a4c55e;p=sage.d.git

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

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