X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Frearrangement.py;h=0df1daf054ecefecafac59e09f00559e7fa1cad8;hb=090b2c77aa4bd371d66885451f9df44c6b6d818f;hp=2cde6386ddefe8c2384030d7f1ab25bdd4491c58;hpb=f9d0571d553891281fd31949871e27e1f973a281;p=sage.d.git diff --git a/mjo/cone/rearrangement.py b/mjo/cone/rearrangement.py index 2cde638..0df1daf 100644 --- a/mjo/cone/rearrangement.py +++ b/mjo/cone/rearrangement.py @@ -6,7 +6,6 @@ from site import addsitedir addsitedir(abspath('../../')) from sage.all import * -from mjo.cone.cone import lyapunov_rank, random_element def rearrangement_cone(p,n): r""" @@ -64,11 +63,11 @@ def rearrangement_cone(p,n): The Lyapunov rank of the rearrangement cone of order ``p`` in ``n`` dimensions is ``n`` for ``p == 1`` or ``p == n`` and one otherwise:: - sage: all([ lyapunov_rank(rearrangement_cone(p,n)) == n + sage: all([ rearrangement_cone(p,n).lyapunov_rank() == n ....: for n in range(2, 10) ....: for p in [1, n-1] ]) True - sage: all([ lyapunov_rank(rearrangement_cone(p,n)) == 1 + sage: all([ rearrangement_cone(p,n).lyapunov_rank() == 1 ....: for n in range(3, 10) ....: for p in range(2, n-1) ]) True @@ -134,7 +133,7 @@ def has_rearrangement_property(v, p): sage: for n in range(2,10): ....: for p in range(1, n-1): ....: K = rearrangement_cone(p,n) - ....: v = random_element(K) + ....: v = K.random_element() ....: if not has_rearrangement_property(v,p): print v """