Pynac doesn't simplify exp(x)*exp(2*x) to exp(3*x)

[mwhansen]

sage: exp(x)*exp(2*x)
e^(2*x)*e^x

CC: @williamstein

Component: symbolics

Author: Burcin Erocal, Mike Hansen

Reviewer: Nick Alexander, Mike Hansen

Merged: 4.0.1.rc2

Issue created by migration from https://trac.sagemath.org/ticket/6144

[burcin]

comment:1

GiNaC doesn't do this either:

> exp(x)*exp(2*x);
exp(2*x)*exp(x)

I'll try to play with the mul::eval method in pynac to do this. The main problem is doing it without compromising speed.

Cheers,

Burcin

[burcin]

Attachment: trac_6144-exp_simplify.patch.gz

[burcin]

comment:2

Attachment: trac_6144-pynac_depends.patch.gz

New pynac package here fixes the exp simplification:

http://sage.math.washington.edu/home/burcin/pynac/pynac-0.1.8.spkg

Attached patches fix doctests, and change module_list.py to rebuild the sage/symbolic/* modules if the package is updated.

This package also contains a fix for #6163, so these tickets should be merged together.

[mwhansen]

Attachment: trac_6144-review.patch.gz

[mwhansen]

comment:3

Burcin's changes look good to me. There was one doctest failure that I fixed and put in trac_6144-review.patch

[ncalexan]

comment:4

All looks good to me! I'm glad this is fixed, I updated the number field tests and was disappointed with the previous behaviour.

[mwhansen]

comment:5

Merged in 4.0.1.rc2.

[mwhansen]

Merged: 4.0.1.rc2

[mwhansen]

Author: Burcin Erocal, Mike Hansen

[mwhansen]

Reviewer: Nick Alexander, Mike Hansen