On Tuesday, 24 November 2015 11:12:13 UTC, Sergey Kirpichev wrote: > > > On Monday, November 23, 2015 at 3:43:02 AM UTC+3, William wrote: >> >> This definitely looks like a bug. In the meantime, a workaround is to >> use sympy: >> > > > This is not a maxima bug: > > Maxima 5.34.1 http://maxima.sourceforge.net > using Lisp GNU Common Lisp (GCL) GCL 2.6.12 (a.k.a. GCL) > 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) limit(2/5*((3/4)^m - 1)*(a0 - 1000000) + 1/5*(3*(3/4)^m + 2)*a0, m, > inf); > (%o1) 400000 >
If you first set domain to complex (and this is the setting Sage uses to call maxima), you get the same error as from Sage. See https://groups.google.com/d/msg/sage-support/rAkql0-A6cM/8zPsNUsYCAAJ > > or git version: > Maxima branch_5_37_base_186_gfa7cd4a http://maxima.sourceforge.net > using Lisp CLISP 2.49 (2010-07-07) > 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) limit(2/5*((3/4)^m - 1)*(a0 - 1000000) + 1/5*(3*(3/4)^m + 2)*a0, m, > inf); > (%o1) 400000 > > In fact, limit algorithm implementation in sympy is known to be > broken. (Hopefuly, this is fixed there: > https://github.com/skirpichev/omg/, but this is not sympy.) > > At some point, presumably sympy will be uniformly better than maxima? >> > > I think that as ex-dev of sympy I have good reasons to believe that > it's not the case.. Maxima community has less 1st year college students > but > much more knowlegeable people. > -- 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 sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
