Assumptions in Sage matter only when using Maxima functionality. The is_ functions query flags in the Pynac subsystem and only recently we added support for changing of domain using the assume function. There is however no positive integer domain in Pynac.
You will find that this missing ability doesn't affect Maxima functionality. Regards, -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
