solve([2*x=2,x=1.0], x)

[niccolo]

solve([2*x=2,x=1.0], [x]) returns [[1.0]].
solve([2*x=2,x=1.0], x) returns [].

Is this a bug?

(I know I can write "1" instead of "1.0", and then I get the solution in either case. My "complaint" here is about having to write "[x]" instead of "x".)

[parisse]

There is a call to exact for polynomial systems, not for univariate solving. BTW, your system is degenerate, it should have 1 equation for 1 unknown, where does it come from?