FullSimplify

[Rolf_Sulanke]

The procedure FullSimplify yields often excellent results in a comparatively short time. But there exist situations in which one doesn't obtain a result waiting a long time, or one gets an unsatisfactory result only.. The reason can be that necessary simplification rules are not correctly implemented. I met such situations simplifying large formulas in symbolic calculations in Möbius differential geometry, since Mathematica could not simplify some trigonometric expressions hidden in these formulas. Hoping that in future versions the simplification procedure can be improved I noticed in my notebook Simplify.nb the problematic expressions. The notebook can be downloaded from my homepage
http://www-irm.mathematik.hu-berlin.de/ ... implify.nb
Please tell me if you made similar experiences, or if you know ways to avoid such problems.
Rolf Sulanke

[Kathy_Bautista]

The procedure FullSimplify yields often excellent results in a comparatively short time. But there exist situations in which one doesn't obtain a result waiting a long time, or one gets an unsatisfactory result only.. The reason can be that necessary simplification rules are not correctly implemented. I met such situations simplifying large formulas in symbolic calculations in Möbius differential geometry, since Mathematica could not simplify some trigonometric expressions hidden in these formulas. Hoping that in future versions the simplification procedure can be improved I noticed in my notebook Simplify.nb the problematic expressions. The notebook can be downloaded from my homepage
http://www-irm.mathematik.hu-berlin.de/ ... implify.nb
Please tell me if you made similar experiences, or if you know ways to avoid such problems.
Rolf Sulanke

I have just sent you an email with a notebook containing workarounds. If anyone else is experiencing the same issue and would like a copy of this notebook, please let me know.

-Kathy

[Rolf_Sulanke]

Hello, Kathy,

Thank you very much for your kind and useful answer, which I added to the notebook Simplify.nb on my homepage.
Moreover, in this notebook you can find a new 5th example concerning a very simple limit simplification, which has not been carried out by Mathematica v. 7.0.
Unfortunately the simple examples contained in the notebook as a rule appear as parts of very large expressions which then must be analyzed manually. Thus it would be nice if in future versions of Mathematica the FullSimplify function would make such manual conversions unnecessary.
Rolf

[Rolf_Sulanke]

Unfortunately, I met another problem in using Simplify. A comparatively simple Simplify process finished very fast with the failure message "No more memory..." on a computer with 16 GB RAM, see the notebook http://www-irm.mathematik.hu-berlin.de/~sulanke/Notebooks/nomorememory.nb on my homepage http://www-irm.mathematik.hu-berlin.de/~sulanke/sulanke-MuM.html. I would appreciate it very much if other users would communicate similar experiences or hints to workarounds.