In Maxima, the
assume() function can be used to indicate that a variable is an integer. Pynac only knows about
infinity domains. See the
domain class in
Pynac should know about all the domains supported by Maxima before the assumption interface in Sage can be changed into a unified interface to both of these symbolics backends.