hypothese sur une variable d'un systeme

[alb]

supposons(x,integer);
solve(2x-1=0); // liste vide
solve([2x+y=1,4x+y=2],[x,y]) // [[1/2,0]]
On ne peut pas faire d'hypothese dans ce cas ?

[alb]

ok, il suffit de demander