# NOT RUN {
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_positive(pos + zero)
is_positive(pos * neg)
is_positive(pos - neg)
is_positive(unknown)
is_negative(-pos)
is_negative(pos + neg)
is_negative(neg * zero)
is_negative(neg - pos)
# }
Run the code above in your browser using DataLab