Hello, > Somebody just complained about this on gitter >> > (https://gitter.im/sagemath/cloud): >> > >> > The simplify command is completely ignoring that the variable is >> > supposed to be complex: >> > ``` >> > t = var('t', domain='complex') >> > (conjugate(t)*t).simplify() >> > ``` >> > outputs `t^2`. This seems like a bug. >> >> sage: t = var('t', domain='complex') >> sage: maxima(conjugate(t)), maxima(t) >> >> outputs (_SAGE_VAR_t, _SAGE_VAR_t) >> >> so basically conjugate(t) gets converted all wrong to maxima, or at >> least that t is complex is instantly forgotten. Hmm. >> >> > This must be longstanding, because in Sage 4.4.4, > > sage: t = var('t', domain='complex') > sage: maxima(conjugate(t)), maxima(t) > (t, t) > > Assuredly we aren't converting it properly. >
Maxima has to be told that t is complex: Maxima 5.34.1 http://maxima.sourceforge.net using Lisp ECL 12.12.1 Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) display2d: false$ domain: complex$ (%i3) conjugate(x); (%o3) x (%i4) declare(x, complex)$ (%i5) conjugate(x); (%o5) conjugate(x) We should make sure that "declare(_SAGE_VAR_t, complex)" is called when the Sage variable t is first seen by Maxima. Peter -- 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.
