Add support for all domains available in Maxima's assumption framework

Issue #16 new
Burcin Erocal
created an issue

In Maxima, the assume() function can be used to indicate that a variable is an integer. Pynac only knows about complex, real, positive, and infinity domains. See the domain class in ginac/flags.h.

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.

Comments (0)

  1. Log in to comment