Hi all, long time no e-mail. Going crazy here... how can one declare that a constant is not zero. I would like to do something like assume (noequal(c,0)) but is not working Thanks -- M. Sc. Juan Pablo Carbajal ----- PhD Student University of Z?rich http://ailab.ifi.uzh.ch/carbajal/