Question: Boolean evaluation

In Maple boolean evaluation returns the values 'true' or 'false'.

Is there any canonical way of getting evalb to produce values in {0,1}? This is of some use when testing conjectures on  hudge lists of items...

Of course: you can always define a script like

###########################
evalbb:=proc(PP)
if evalb(PP)='true' then eps:=1:
else eps:=0:
fi:
eps;
end:
###########################

but I think there should be something more direct: the machine certinly uses {0,1} and not {true,false}, so running the above script you are just translating forth and back - this means wasting time (or, at least, it does not seem to be very efficient).

Please Wait...