+ The rearrangement cone of order ``p`` is linearly isomorphic to the
+ 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)
+ sage: K2 = rearrangement_cone(n-p, n)
+ sage: Mp = (1/p)*matrix.ones(QQ,n) - identity_matrix(QQ,n)
+ sage: Cone( (Mp*K2.rays()).columns() ).is_equivalent(K1)
+ True
+