Re: Re: More /.{I->-1} craziness

• To: mathgroup at smc.vnet.net
• Subject: [mg106247] Re: [mg106203] Re: More /.{I->-1} craziness
• From: "David Park" <djmpark at comcast.net>
• Date: Wed, 6 Jan 2010 05:59:15 -0500 (EST)
• References: <200912300915.EAA17299@smc.vnet.net> <hhhmn8\$o9t\$1@smc.vnet.net> <hhkjc4\$5ag\$1@smc.vnet.net> <hhpl4j\$9mf\$1@smc.vnet.net> <421988.1262677154744.JavaMail.root@n11>

```I don't think that it is correct to expect that a mathematical object has a
Head. Mathematica only gives us various representations of objects and
different representations have different Heads. Thus

3 + 4 I, ComplexPolar[5, ArcTan[4/3]] (in Presentations), 5 E^(I
ArcTan[4/3]), Complex[3,4]

all represent the same mathematical object but all have different Heads.
(Plus, ComplexPolar, Times, Complex).

What might be confusing is that Complex is a NUMBER and not a symbolic
expression. WRI could improve the Help for Complex by changing the first
note to:

"You can enter a complex number in the form x + I y, where x and y are
Integer, Real, Rational or Complex numbers."

"Expressions such as Complex[a,b] with Symbols are not meaningful and are
left unevaluated. Symbolic complex expressions contain Complex numbers only
as subparts."

And then, among the first examples, they might show:

"Complex expressions may contain Complex numbers as subparts and can be
manipulated with routines such as Conjugate and ComplexExpand."

x + I y
% // FullForm
ComplexExpand[Conjugate[%]]
% // FullForm

x + I y
Plus[x,Times[Complex[0,1],y]]
x - I y
Plus[x,Times[Complex[0,-1],y]]

Very few users would use Complex numbers in isolation without combining them
in symbolic expressions. So why not stand users up and point them in the
right direction instead of just saying that the Help is 'formally correct'?

For those who use Help, of course.

David Park
djmpark at comcast.net
http://home.comcast.net/~djmpark/

From: Richard Fateman [mailto:fateman at cs.berkeley.edu]

[SNIP]

Are you describing Mathematica here?   It seems to me that it is an
exception that Head[a+b*I] is Plus, but Head[3+4I] is Complex.

[SNIP]

You assume that people read the documentation. This is provably false.

RJF

```

• Prev by Date: Re: JLink error
• Next by Date: Re: Re: Financial Data - Currencies
• Previous by thread: Re: Re: More /.{I->-1} craziness
• Next by thread: Re: Re: More /.{I->-1} craziness