..."domain:complex" is not the default for which code: Maxima or Sage?
Sage's documentation [https://doc.sagemath.org/html/en/reference/calculus/sage/calculus/var.html] states By default, var returns a complex variable. To define real or positive > variables we can specify the domain as: ... > My understanding of the implementation (although I cannot find it in the code) is that Sage sets up "domain:complex" for Maxima quite early.The fact that we can override this in the first few lines of the script (above the variable declarations) indicates to me that it happens before I get the sage prompt. (Otherwise the override would get stomped on.) On Wednesday, June 20, 2018 at 8:33:56 AM UTC-7, Nils Bruin wrote: > > On Wednesday, June 20, 2018 at 7:15:11 AM UTC-7, Richard_L wrote: >> >> Thank you! maxima_calculus.eval("domain:real;") solves my immediate >> problem. >> Of course, the underlying bug remains. >> BTW, I had heard years ago to avoid declaring sage variables with >> domain='positive', as this often triggered maxima failures. I wonder if I >> have stumbled on the same bug. >> >> well ... "domain: complex" is not the default, so that is probably less > tested, and the person(s) writing the code that deals with assumptions of > the type "x>0" will naturally not be inclined to think about how that would > interact with how `domain: complex` changes the behaviour of the system. > It doesn't surprise me they don't combine well. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
