On Friday, January 22, 2016 at 4:49:23 AM UTC-5, Andres Erbsen wrote: > > Hello, > > I encountered some unexpected behavior when using solve() with anonymous > symbols generated using SR.symbol(). The returned by solve are not the same > as the ones passed in (even though they look the same). Here is a minimal > example: > > x sage: x = SR.symbol(); x > symbol151 > sage: sol = solve(x==1, x, solution_dict=True)[0] > sage: x2 = sol.keys()[0]; x2 > symbol151 > sage: bool(x2 == x) > False > sage: bool(SR.symbol(str(x)) == x2) > True > sage: bool(SR.symbol(str(x)) == x) > False > > The issue also appears when solution_dict=True is not used (for example, > when trying to substitute the solutions into other expressions). > > I am guessing this is related to http://trac.sagemath.org/ticket/13655. > > I am guessing you are right. solve calls Maxima, always.
> My environment: > > $ sage --version; lsb_release -a; uname -a > SageMath Version 6.10, Release Date: 2015-12-18 > LSB Version: 1.4 > Distributor ID: Arch > Description: Arch Linux > Release: rolling > Codename: n/a > Linux ashryn 4.3.3.201601171913-1-grsec #1 SMP PREEMPT Sun Jan 17 21:26:59 > EST 2016 x86_64 GNU/Linux > > Best, > Andres > -- 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.
