sage: lyapunov_rank(K) == lyapunov_rank(K.dual())
True
-The Lyapunov rank of a cone ``K`` is the dimension of ``LL(K)``. Check
-all combinations of parameters::
+The Lyapunov rank of a cone ``K`` is the dimension of
+``K.lyapunov_like_basis()``. Check all combinations of parameters::
sage: set_random_seed()
sage: K = random_cone(max_ambient_dim=8,
....: strictly_convex=True,
....: solid=True)
- sage: lyapunov_rank(K) == len(K.LL())
+ sage: lyapunov_rank(K) == len(K.lyapunov_like_basis())
True
::
sage: K = random_cone(max_ambient_dim=8,
....: strictly_convex=True,
....: solid=False)
- sage: lyapunov_rank(K) == len(K.LL())
+ sage: lyapunov_rank(K) == len(K.lyapunov_like_basis())
True
::
sage: K = random_cone(max_ambient_dim=8,
....: strictly_convex=False,
....: solid=True)
- sage: lyapunov_rank(K) == len(K.LL())
+ sage: lyapunov_rank(K) == len(K.lyapunov_like_basis())
True
::
sage: K = random_cone(max_ambient_dim=8,
....: strictly_convex=False,
....: solid=False)
- sage: lyapunov_rank(K) == len(K.LL())
+ sage: lyapunov_rank(K) == len(K.lyapunov_like_basis())
True
"""