X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Frearrangement.py;h=38b5931d6b6f48ea6ed5517e01d255b8626e03b5;hb=a4109ab945f5d3ed94207c936e60b5b187ae450b;hp=2cde6386ddefe8c2384030d7f1ab25bdd4491c58;hpb=f9d0571d553891281fd31949871e27e1f973a281;p=sage.d.git diff --git a/mjo/cone/rearrangement.py b/mjo/cone/rearrangement.py index 2cde638..38b5931 100644 --- a/mjo/cone/rearrangement.py +++ b/mjo/cone/rearrangement.py @@ -1,12 +1,4 @@ -# Sage doesn't load ~/.sage/init.sage during testing (sage -t), so we -# have to explicitly mangle our sitedir here so that "mjo.cone" -# resolves. -from os.path import abspath -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 +56,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 +126,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 """