> > That seems like a bug in the _sympy_ conversion, in that it is > discarding that the variables are assumed real. > > Yeah, I believe some sympy conversions are still broken. I'm not very familiar with sympy or I would have done some exploration. See http://trac.sagemath.org/ticket/12345 and http://trac.sagemath.org/ticket/11921 for some previous examples of this. See http://trac.sagemath.org/ticket/15057, http://trac.sagemath.org/ticket/15256 and http://trac.sagemath.org/ticket/14723 (which are dups), http://trac.sagemath.org/ticket/14446 ...
It appears that the assume command with second argument a "domain" is > dangerously broken in Sage. > > It's not broken so much as just sending this to Maxima, which only uses it in very limited circumstances. And if you don't do something Maxima-related... I don't know that Ginac has an assumption framework, at least not one we use. This is a long-standing issue, as we now have some native stuff, a lot of Ginac, and some Maxima in our assume/solve/etc. - kcrisman -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
