Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: Symbolic manipulation with Sqrt[-1] ?
Replies: 31   Last Post: Dec 10, 2009 1:16 PM

 Messages: [ Previous | Next ]
 Richard Fateman Posts: 1,343 Registered: 12/7/04
Re: Symbolic manipulation with Sqrt[-1] ?
Posted: Dec 6, 2009 4:34 PM

Nasser M. Abbasi wrote:

>
> I was wondering which CAS system is considered the "best" when it comes to
> the issue of substitution then?

The problem of substitution is the name of a 1968 paper by A.C. Hearn,
the author of the CAS Reduce.
I could not find a copy of this paper online, however.

I wrote about "ratsubst" (in Macsyma) in my thesis, published in 1971.

Some people consider that the issue of simplification with respect to
polynomial side conditions is solved by Grobner bases.

>
> Some have issues with how Mathematica does it for some cases.

That is apparent.

So, is there
> then considered a best or a canonical way to approach this whole issue
> instead of looking at as a case by case?
>

For polynomials, especially smallish ones, there probably is a canonical
way, (or a collection of them) based on Grobner bases. In general this
expressions that are possible. Personally, I think that ratsubst (in
Maxima) is a pretty good tool; other systems now have similar facilities
I think. Look for simplification with respect to polynomial side relations.

....

> And this seems to me to be as a canonical way to do this as it would be
> possible?

You haven't defined canonical. The general concept is that for a CAS
form to be canonical, two mathematically equivalent expressions must
look identical when converted to that form. FullForm is not canonical
at all. FullForm[2*Cos[x]*Sin[x]] is different from FullForm[Sin[2*x]].

If you want to learn about simplification and substitution, I suggest
you go to the library (or look on the internet) and read, instead of
relying on the responses of people who happen to spend their afternoons
writing essays on sci.math.symbolic :)

Date Subject Author
12/5/09 AES
12/5/09 Richard Fateman
12/5/09 clicliclic@freenet.de
12/5/09 AES
12/6/09 Nasser Abbasi
12/6/09 Nasser Abbasi
12/6/09 Richard Fateman
12/6/09 Mark McClure
12/6/09 Mark McClure
12/6/09 Nasser Abbasi
12/6/09 Richard Fateman
12/6/09 AES
12/6/09 Mark McClure
12/6/09 Richard Fateman
12/7/09 Nasser Abbasi
12/7/09 Richard Fateman
12/7/09 Nasser Abbasi
12/8/09 clicliclic@freenet.de
12/8/09 Jon McLoone
12/9/09 clicliclic@freenet.de
12/10/09 fateman@gmail.com
12/10/09 Dave
12/10/09 fateman@gmail.com
12/9/09 Dave
12/10/09 Dave
12/6/09 Nasser Abbasi
12/6/09 Richard Fateman
12/6/09 Axel Vogt
12/7/09 clicliclic@freenet.de
12/7/09 G. A. Edgar
12/7/09 Axel Vogt
12/7/09 acer