1. Forum
  2. Usenet
  3. COMP.SOFT-SYS.MATH.MAPLE

  • Oh simplify!

    From Peter Luschny@21:1/5 to All on Wed Mar 14 06:10:47 2018
    a := n -> hypergeom([-n, -n, n + 1, n + 1], [1/2, 1, 1], 1/4);

    seq(simplify(a(n)), n=0..5);
    seq(simplify((-1)^n*a(n)), n=0..5);

    1, 3, 25, 243, 2601, 29403
    1, -2, 25, -242, 2601, -29402

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From acer@21:1/5 to Peter Luschny on Wed Mar 14 09:00:03 2018
    On Wednesday, March 14, 2018 at 9:10:49 AM UTC-4, Peter Luschny wrote:
    a := n -> hypergeom([-n, -n, n + 1, n + 1], [1/2, 1, 1], 1/4);

    seq(simplify(a(n)), n=0..5);
    seq(simplify((-1)^n*a(n)), n=0..5);

    1, 3, 25, 243, 2601, 29403
    1, -2, 25, -242, 2601, -29402

    I see the following, in each release from Maple 17.00 (Feb 2013) to Maple 2017.3 (Sep 2017).

    a := n -> hypergeom([-n, -n, n + 1, n + 1], [1/2, 1, 1], 1/4):

    seq(simplify(a(n)), n=0..5);
    1, 3, 25, 243, 2601, 29403

    seq(simplify((-1)^n*a(n)), n=0..5);
    1, -3, 25, -243, 2601, -29403

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Peter Luschny@21:1/5 to All on Wed Mar 14 12:52:17 2018
    I see the following, in each release from Maple 17.00 (Feb 2013) to Maple 2017.3 (Sep 2017).
    a := n -> hypergeom([-n, -n, n + 1, n + 1], [1/2, 1, 1], 1/4): seq(simplify(a(n)), n=0..5);
    1, 3, 25, 243, 2601, 29403
    seq(simplify((-1)^n*a(n)), n=0..5);
    1, -3, 25, -243, 2601, -29403

    Good to hear. And what do earlier releases show?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From acer@21:1/5 to Peter Luschny on Wed Mar 14 13:52:19 2018
    On Wednesday, March 14, 2018 at 3:52:19 PM UTC-4, Peter Luschny wrote:
    I see the following, in each release from Maple 17.00 (Feb 2013) to Maple 2017.3 (Sep 2017).
    a := n -> hypergeom([-n, -n, n + 1, n + 1], [1/2, 1, 1], 1/4): seq(simplify(a(n)), n=0..5);
    1, 3, 25, 243, 2601, 29403
    seq(simplify((-1)^n*a(n)), n=0..5);
    1, -3, 25, -243, 2601, -29403

    Good to hear. And what do earlier releases show?

    At least Maple 9.03 and Maple 16.02 showed the results you posted.

    I'll note that in those earlier versions both convert/elementary and convert/StandardFunctions produce the desired results. That is,

    a := n -> hypergeom([-n, -n, n + 1, n + 1], [1/2, 1, 1], 1/4):

    seq(simplify(a(n)), n=0..5);
    1, 3, 25, 243, 2601, 29403

    seq(simplify((-1)^n*a(n)), n=0..5);
    1, -2, 25, -242, 2601, -29402

    seq(convert((-1)^n*a(n),elementary), n=0..5);
    1, -3, 25, -243, 2601, -29403

    seq(convert((-1)^n*a(n),StandardFunctions), n=0..5);
    1, -3, 25, -243, 2601, -29403

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)