Evaluation des schubert sur les racines ni`emes de l'unite
Vérifier que les évaluations sont linéairement indépendantes?
Pour P et Q homogènes, est-ce que P(x) = Q(x) modulo (e1,...,e_n-1) sssi
les évaluations de P et Q sur les permutés des racines n-ièmes de
l'unité sont égales?
Application pour calculer invariants secondaires et systèmes générateurs?

Prouver qu'il n'est pas possible de remplir une matrice nxn symétrique
à diagonale nulle avec les racines binomial(n,2)-ième de l'unité de
sorte que les sommes par lignes et colonnes soient nulles/

De même, peut-on remplir une matrice nxn avec les racines n^2-ièmes de
l'unité, de sorte que la somme sur chaque lignes et chaque colonnes
soit nulle?

for n from 1 to 10 do
K:=Dom::AlgebraicExtension(Dom::Rational, W^n-1):
K::Name := "Q[Wn]":
w := K(W):
print(n, _mult( ((w^op(s,1)-w^op(s,2)) $ s in combinat::subsets(n,2)))):
end_for ;
