pos <- Constant(1)
neg <- Constant(-1)
zero <- Constant(0)
unknown <- Variable()
is_zero(pos)
is_zero(-zero)
is_zero(unknown)
is_zero(pos + neg)
is_nonneg(pos + zero)
is_nonneg(pos * neg)
is_nonneg(pos - neg)
is_nonneg(unknown)
is_nonpos(-pos)
is_nonpos(pos + neg)
is_nonpos(neg * zero)
is_nonpos(neg - pos)
Run the code above in your browser using DataLab