X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Frearrangement.py;h=0bbf95bb7603bed819d4b9e91a4b148856dc464c;hb=928b7d49fda98ff105c92293b5797bb7a2b9873a;hp=fa232bc476f8b4f779a745e47b65aa2ccd2c4763;hpb=9e7945f39b71d26df4e8d50332a7d8606447c822;p=sage.d.git diff --git a/mjo/cone/rearrangement.py b/mjo/cone/rearrangement.py index fa232bc..0bbf95b 100644 --- a/mjo/cone/rearrangement.py +++ b/mjo/cone/rearrangement.py @@ -83,8 +83,8 @@ def rearrangement_cone(p,n,lattice=None): [Jeong]_ Proposition 5.2.1:: sage: all( rearrangement_cone(p,n).is_proper() - ....: for n in xrange(10) - ....: for p in xrange(1, n) ) + ....: for n in range(10) + ....: for p in range(1, n) ) True The Lyapunov rank of the rearrangement cone of order ``p`` in ``n`` @@ -92,12 +92,12 @@ def rearrangement_cone(p,n,lattice=None): by [Jeong]_ Corollary 5.2.4:: sage: all( rearrangement_cone(p,n).lyapunov_rank() == n - ....: for n in xrange(2, 10) + ....: for n in range(2, 10) ....: for p in [1, n-1] ) True sage: all( rearrangement_cone(p,n).lyapunov_rank() == 1 - ....: for n in xrange(3, 10) - ....: for p in xrange(2, n-1) ) + ....: for n in range(3, 10) + ....: for p in range(2, n-1) ) True TESTS: @@ -116,22 +116,20 @@ def rearrangement_cone(p,n,lattice=None): cone should sum to a nonnegative number (this tests that the generators really are what we think they are):: - sage: set_random_seed() sage: def _has_rearrangement_property(v,p): ....: return sum( sorted(v)[0:p] ) >= 0 sage: all( _has_rearrangement_property( ....: rearrangement_cone(p,n).random_element(), ....: p ....: ) - ....: for n in xrange(2, 10) - ....: for p in xrange(1, n-1) + ....: for n in range(2, 10) + ....: for p in range(1, n-1) ....: ) True The rearrangenent cone of order ``p`` is contained in the rearrangement cone of order ``p + 1`` by [Jeong]_ Proposition 5.2.1:: - sage: set_random_seed() sage: n = ZZ.random_element(2,10) sage: p = ZZ.random_element(1,n) sage: K1 = rearrangement_cone(p,n) @@ -143,7 +141,6 @@ def rearrangement_cone(p,n,lattice=None): rearrangement cone of order ``n - p`` when ``p`` is less than ``n``, by [Jeong]_ Proposition 5.2.1:: - sage: set_random_seed() sage: n = ZZ.random_element(2,10) sage: p = ZZ.random_element(1,n) sage: K1 = rearrangement_cone(p,n)