#6862: Mixing of different domains for symbolic variables
-----------------------------+----------------------------------------------
Reporter: gmhossain | Owner:
Type: defect | Status: new
Priority: critical | Milestone:
Component: symbolics | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
-----------------------------+----------------------------------------------
Changes (by kcrisman):
* upstream: => N/A
Comment:
See also this closely related [http://ask.sagemath.org/question/2287/bug-
with-absolute-value-of-a-complex-variable ask.sagemath.org question],
where the following example occurs.
{{{
sage: var('a')
a
sage: b=a*a.conjugate()-a*a
sage: b
-a^2 + a*conjugate(a)
sage: simplify(b)
0
}}}
I think this is a little weird, though, since in Maxima
{{{
(%i1) domain:complex;
(%o1) complex
(%i2) -a^2+a*conjugate(a);
(%o2) 0
}}}
and Robert in the thread referenced apparently says that is not relevant
for the variables (?!?). William says that
{{{
What we need is to queue up (put in some list somewhere) all
declaration that could ever be needed, then whenever we do a Sage -->
calculus Maxima conversion, we would empty the queue if it is
nonempty. Also, if Maxima were to crash/get restarted (does that ever
happen anymore), we would need to make sure all var's get set again.
This seems very do-able.
}}}
and perhaps that could be part of the initialization process of any
variable - without actually calling Maxima at that time, of course!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6862#comment:2>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
