- sage: for n in range(2,10):
- ....: for p in range(1, n-1):
- ....: K = rearrangement_cone(p,n)
- ....: v = random_element(K)
- ....: if not has_rearrangement_property(v,p): print v
+ sage: set_random_seed()
+ sage: all( has_rearrangement_property(
+ ....: rearrangement_cone(p,n).random_element(),
+ ....: p
+ ....: )
+ ....: for n in range(2, 10)
+ ....: for p in range(1, n-1)
+ ....: )
+ True