- sage: all([ is_permutation_invariant(rearrangement_cone(p,n))
- ....: for n in range(3, 6)
- ....: for p in range(1, n) ])
+ sage: all( is_permutation_invariant(rearrangement_cone(p,n))
+ ....: for n in xrange(3, 6)
+ ....: for p in xrange(1, n) )
+ True
+
+ As is the nonnegative orthant::
+
+ sage: set_random_seed()
+ sage: K = nonnegative_orthant(ZZ.random_element(5))
+ sage: is_permutation_invariant(K)