+ In fact the same can be said of any cone. These additional tests
+ just increase our confidence that the reduction scheme works::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim=8, strictly_convex=True, solid=False)
+ sage: lyapunov_rank(K) == len(LL(K))
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim=8, strictly_convex=False, solid=True)
+ sage: lyapunov_rank(K) == len(LL(K))
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim=8, strictly_convex=False, solid=False)
+ 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
+