hello, > > how do I enter the assumption that some variable, say M, is an integer? > > declare(m,integer) and to forget the declaration, remove (m, integer)$ fwiw, robert dodier