Discussions about how to express conditionals



I have noticed a few threads where there are issues about Maxima's results and their domains.  The pw.mac package can handle a lot 
of these cases.  What is missing from this picture?

Rich