Advanced Search

Question: Wrong `coulditbe`?

Question:Wrong `coulditbe`?

sursumCorda 1079 Maple 2024
procedure assuming evaluation
May 21 2024
2

If I understand correctly, both of 

int(RETURN(is(y::positive)), y = 0 .. x) assuming 0 <= x, x < 1;
int(RETURN(coulditbe(y = 1)), y = 0 .. x) assuming 0 < x, x < 1;

should output `not`(true). However, Maple simply returns true for the second one. 
Isn't this result incorrect? Or am I missing something?
Please Wait...