From d27a3f72ac6b898534615de9111ace4082a4c55e Mon Sep 17 00:00:00 2001 From: Michael Orlitzky 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