ItIsZero Definition

# Is the input zero?
# The argument is any expression. Maple makes it normal, then decides whether it is zero.

ItIsZero:=proc(a):

evalb(normal(a)=0):

end:


Definitions     Theorems