search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

Defint unsimplified result #1562

Closed rtoy closed 2 days ago

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 19:41:18 Created by macrakis on 2003-05-06 04:19:48 Original: https://sourceforge.net/p/maxima/bugs/307

integrate(exp(-x^2-%i*2*%pi*x*s),x,minf,inf) => SQRT(%PI)*%E^(%I^2*%PI^2*s^2)

Note the unsimplified %i^2.

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 19:41:19 Created by robert_dodier on 2006-07-06 06:13:05 Original: https://sourceforge.net/p/maxima/bugs/307/#4fda

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 19:41:23 Created by rtoy on 2006-11-06 16:28:47 Original: https://sourceforge.net/p/maxima/bugs/307/#358b

Logged In: YES user_id=28849

FWIW, this is caused by the call to $ratsimp in linpower in defint.lisp. Something about it prevents simplifying %i^2 to -1.

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 19:41:26 Created by dgildea on 2007-12-15 13:47:16 Original: https://sourceforge.net/p/maxima/bugs/307/#4559

Logged In: YES user_id=1797506 Originator: NO

fixed in defint.lisp rev 1.54 - use sratsimp instead of $ratsimp.

(%i10) integrate(exp(-x^2-%i*2*%pi*x*s),x,minf,inf); (%o10) sqrt(%pi)*%e^-(%pi^2*s^2)

rtoy commented 2 days ago

Imported from SourceForge on 2024-07-04 19:41:30 Created by dgildea on 2007-12-15 13:47:16 Original: https://sourceforge.net/p/maxima/bugs/307/#23f9