sage: n = ZZ.random_element(10)
sage: K = schur_cone(n).dual()
sage: x = K.random_element()
- sage: all( x[i] >= x[i+1] for i in xrange(n-1) )
+ sage: all( x[i] >= x[i+1] for i in range(n-1) )
True
TESTS:
sage: set_random_seed()
sage: def majorized_by(x,y):
....: return (all(sum(x[0:i]) <= sum(y[0:i])
- ....: for i in xrange(x.degree()-1))
+ ....: for i in range(x.degree()-1))
....: and sum(x) == sum(y))
sage: n = ZZ.random_element(10)
sage: V = VectorSpace(QQ, n)