{ -x^5+y^5-3*y-1; 5*y^4-3; -20*x+y-z; } # barry from PoSSo # Extended Mixed volume : 20 # Number of roots : 20 # Number of real roots : 2