RE: Showing intermediate steps in calculations

• To: mathgroup at smc.vnet.net
• Subject: [mg29054] RE: [mg29019] Showing intermediate steps in calculations
• From: "David Park" <djmp at earthlink.net>
• Date: Sat, 26 May 2001 21:53:45 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

```Maarten,

If your father is seriously interested in studying mathematics he would
definitely like Mathematica!

It is true that Mathematica in its "normal" use does a lot of automatic
simplification which often bypasses just the points that are at issue when
proving basic theorems and understanding basic steps. But Mathematica is a
tremendously versatile and general system for symbolic manipulation and
doesn't have to be used at all in the "normal" mode.

As an example, I have been studying an introductory real analysis book. It
starts out with the axioms which characterize a field. Then one is supposed
to prove a number of simple theorems. The Mathematica operators, Plus and
Times, already have all the attributes built in to them that automatically
implement what is to be proved. The solution is simple. I just used
CirclePlus and CircleTimes instead. They have no built in attributes, do no
automatic simplification, and they look fairly nice on the page. I was able
to write all the axioms as rules and then just apply them to expressions, or
parts of expressions, to prove the theorems.

One can also use Mathematica as a mathematical word processor. Sometimes it
is easier to just type out a proof, or parts of a proof, in text cells. Of
course, it is usually more educational to get Mathematica to perform the
steps.

Another technique is to put expressions in a HoldForm which prevents
evaluation. Then it is possible to do controlled evaluations or
transformations on the expression. Ted Ersek and I have written a package,
ExpressionManipulation, available at my web site below, which facilitates
such controlled evaluation. I think that Ted also has a similar package
available on MathSource. Allan Hayes has presented an EvaluateAt routine a
number of times on MathGroup, which is useful in such controlled
evaluations.

The tutorial for the ExpressionManipulation package has a number of
examples: Step-by-step evaluation of an expression; calculating a derivative
from the definition; step-by-step differentiation of a ratio; L'Hopital's
Rule with commentary; integration by substitution; simple fraction problems.

So yes, it is definitely possible to make Mathematica work the way you want,
and to show every step you wish to show - but it involves somewhat more
effort than just throwing a switch.

David Park

> From: Maarten D. de Jong [mailto:pleez.dont at rely.on.this.address]
To: mathgroup at smc.vnet.net
>
> I am writing this message on behalf of my father, who is having
> the following
> problem. He's working through various high-school and undergraduate books
> on algebra and calculus (out of fun and interest) and he meticulously
> writes down the answers to each problem he solves. He would like
> to do this
> on his computer, but after a bit of discussion, I discovered that any of
> the main symbolic math packages available do not solve his
> problem entirely.
> As far as I know, these programs take in the problem, and write out the
> answer, without showing intermediate steps and simplifications---and it is
> precisely this that my father wants to know about. Are there
> packages which
> show these steps? Or is it just a matter of turning on an option in the
> mainstream programs?
>
> Thanks for any help you can offer,
> Maarten
>

```

• Prev by Date: Re: Can this be made cleaner and more efficient?
• Next by Date: Re: Showing intermediate steps in calculations
• Previous by thread: Re: Showing intermediate steps in calculations
• Next by thread: Can this be made cleaner and more efficient?