Hello,
I think also that there is a problem.
More simply, something like
--------------------------
var('a')
plot(a^2==3,a,1,7)
--------------------------
should work like
-----------------------------------
var('a')
plot(bool(a^2==3),a,1,7)
-----------------------------------
But the plot function doesn't support booleans.
Just try this.
--------------------------
var('a')
plot(a^2<=3,a,1,7)
--------------------------