16 years later

JacquesC's picture

A search I was doing dug up this old gem, involving a discussion between Gerald Edgar and I over a Maple problem 16 years ago!

Easy challenge: improve on my solution to Gerald's problem.

History challenge: my email address shows as wmsical!jjcarett@watmath.waterloo.edu.  Can you puzzle that out?  That is really two questions, a) how is that an email address and b) what is 'wmsical' ?

At the same time, I managed to dig out the original Internet registry for Maplesoft! (search for maplesoft). 

Super-difficult history challenge: I did not come up with the name 'maplesoft', but the person who did has in fact posted on mapleprimes.  [I'll have to ask permission to post the answer if no one gets it.]

Comments

historical a

You had a UUCP link to a server that bridged to internet?

JacquesC's picture

Yep

That is a correct answer to question a.  Of course watmath.uwaterloo.edu doesn't exist anymore, it is now math.waterloo.ca.  The IBM AIX machine that as called wmsical is also long long gone - but it served as Maplesoft's main mail server for many years.

Easier by residues?

I do not know if improvement, but I would have made it otherwise, calculating
by residues:

with(IntegrationTools):
with(plots):
J := Int(1/(y^4-2*y^3+2*I*r*y^2-2*I*r*y-r^2),y=-1..1);
f:=GetIntegrand(J);
s:=singular(f,y);

= {y = (-I*r)^(1/2)}, {y = -(-I*r)^(1/2)}, {y = 1-(1-I*r)^(1/2)}, {y =<br />
1+(1-I*r)^(1/2)};<br />

Numerically:

L:=map(x->op([1,2],x),[s]);
L1:=eval(L,r=0.1);

L1 := [.2236067978-.2236067978*I, -.2236067978+.2236067978*I,
-.1246114e-2+.4993777184e-1*I, 2.001246114-.4993777184e-1*I]

And ploted:

complexplot(L1,view=[-3..3,-0.3..0.3],style=point,symbol=solidbox,color=red,axes=normal);

I choose as path on the complex plane the segment on the real axis (-1,1), the
straight lines from its end points down to +/1-I*infinity, and closed at
infinity. It encloses the first pole above, and its residue times (2*I*Pi) can
be calculated as:

f1:=factor(f);
(2*I*Pi)*residue(f1,op(s[1]));

<br />
1/2*Pi/r<br />

With a minus sign gives the value of the integral along this path made in
clockwise sense.

Now, the contribution at infinity and the half infinity stright lines is
finite and can be expanded in powers of r (easy to do).

Hence the leading contribution to J as r->0 is

<br />
-1/2*Pi/r<br />

Robert Israel's picture

assuming

All you need to do nowadays is

> int(1/(y^4-2*y^3+2*I*r*y^2-2*I*r*y-r^2),y=-1..1) assuming r > 0;

-1/8*(ln(r^2+9)*(-1+r*I)^(1/2)*I+2*arctan(3/r)*(-1+r*I)^(1/2)+4*I*arctan(2/(-1+r*I)^(1/2))-I*ln(r^2+1)*(-1+r*I)^(1/2)+2*arctan(1/r)*(-1+r*I)^(1/2))/r/(-1+r*I)^(1/2)

> map(normal, series(%,r)) assuming r > 0;

series((-1/2*Pi)*r^(-1)+(-1/8*ln(3)-1/8*I*Pi+1/2)+(3/32*Pi-3/32*I*ln(3)+5/24*I)*r+(-25/144+5/64*I*Pi+5/64*ln(3))*r^2(-1415/10368*I-35/512*Pi+35/512*I*ln(3))*r^3+(-63/1024*ln(3)-63/1024*I*Pi+12223/103680)*r^4+O(r^5),r,5)

 

JacquesC's picture

Progress

It is nice to see that Maple has improved in its core over 16 years.  Using 'assume' instead of assuming, I wonder how far back that improvement was actually made?

Robert Israel's picture

Progress

Maple V Release 4, the earliest version I have running,  gives the integral a value of -1/2/r*arctan(1/r)+1/8*(I*ln(r^2+1)*(I*r-1)^(1/2)+2*arctan(1/r)*(I*r-1)^(1/2)-I*ln(r^2+9)*(I*r-1)^(1/2)-2*arctan(3/r)*(I*r-1)^(1/2)-4*I*arctan(2/(I*r-1)^(1/2)))/r/(I*r-1)^(1/2)

without any assumptions.  But that's not really progress...

Since Maple V Release 3

That is mid 1994.

With R3 the output of the integral is quite clumsy, with  27 labels of 'ln' expressions, but  the final result is fine. With Maple V Release 4 the output of the integral already looks similar to the current one.

In R4, without assume(r>0) I get the error message:

 

Error, (in series/arctan) unable to compute series

 

In R3, without assume(r>0) the integral evaluates with  32 labels involving 'csgn' and then an error:

 

Error, (in series/csgn) no series on imaginary axis

 

occurs when trying to compute the series with the same command.

 

Super-difficult history challenge

Was the corporate name Maplesoft coined by a woman?

Dave Linder
Mathematical Software, Maplesoft

JacquesC's picture

Yes it was

That probably gives it away...

I have seen used

maplesoft as domain name since May 1994 (I guess that it is somewhat older), while Maplesoft as corporate name since March 2003. Sounds as if the latter derives from the former.

 

JacquesC's picture

maplesoft

As a domain name has been used since early 1992, as the following entry shows:

#N      .maplesoft.on.ca
#S      .CA Domain;
#O      Waterloo Maple Software Inc.
#C      Jacques Carette
#E      jjcar...@maplesoft.on.ca
#T      +1 519 747 2373
#P      Waterloo Maple Software inc., 160 Columbia Street West, Waterloo, ON, Canada N2L 3L3
#L      43 30 N / 80 30 W city
#R      Automatically generated from a .CA domain registration form
#W      regis...@cs.toronto.edu (UUCP Liaison); Sun Nov 21 01:31:04 -0500 1993
#
#       maplesoft.on.ca is a For-Profit Corporation
#
#       Produces and distributes a computer algebra
#       system called Maple.
#
#       received: Mon, 24 Feb 1992 19:00:00 -0500
#       approved: Mon, 2 Mar 1992 19:00:00 -0500
#       modified: Tue, 8 Jun 1993 20:00:00 -0400
#
# Internet forwarders:
internet-ca-gws         <.maplesoft.on.ca>(DIRECT), <maplesoft.on.ca>(DIRECT)
# UUCP forwarders:
wmsical         <.maplesoft.on.ca>(LOCAL), # by jjcar...@maplesoft.on.ca
                <maplesoft.on.ca>(LOCAL)
#uunet.ca       <.maplesoft.on.ca>(DIRECT), # by postmas...@uunet.ca
#               <maplesoft.on.ca>(DIRECT)

As a corporate name, it really did not start to take over from Waterloo Maple Software, then Waterloo Maple Inc., until roughly 2003, yes. The corporate name was indeed adopted from the domain name! Even within Maplesoft itself, very few people know who is actually responsible for coming up with the name that the company goes under. I think Dave Linder just figured it out though.

guesses

It took me 4-5 guesses, though.

Dave Linder Mathematical Software, Maplesoft

JacquesC's picture

More trivia

The name was coined by the same person who ported the old X11 plot driver for Maple V (release 1, the one just called "Maple V") to Microsoft Windows 3.0.  I was the one who did the original worksheet interface, but she did the plot driver port. 

And no, that's not a typo, this was definitely 3.0, the Windows 3.1 port did not happen until Maple V Release 2, which I also did.  3.1 was seriously better behaved as an O/S than 3.0.  At least you had a 50/50 chance of 3.1 staying 'up' if your program core dumped; in 3.0, your machine invariably went down and you had to reboot.  Made debugging much more challenging!

You are putting a lower bound

on her age. So, right or wrong it would not be much of gentleman...

But OK, chances are she is Paulina Chin.

JacquesC's picture

Nope

Not Paulina.  While she has been using Maple quite some time, she has been officially involved with Maplesoft for much less time than that.

clso's picture

Hints?

Sorry, Jacques.  I still don't get it.  Is she still working at Maplesoft?

JacquesC's picture

Yes

Ok, one more hint: is the programmer behind the modern version of the combstruct package.

clso's picture

Ok...

This hint is obvious to me.  You better ask her for permission before posting the answer!

gkokovidis's picture

Super-difficult history challenge:

My guess would be Eithne Murray, based on the combstruct hint given above.

 

Regards,
Georgios Kokovidis
Dräger Medical


JacquesC's picture

Combstruct hint

made things way too easy... 

No one has yet to fully expand out 'wmsical' though.

acer's picture

not sure

Not sure what more you might be after. Was wmsical an IBM RT running AIX 2.2, as seen here? And you gave a uucp bang path. So your mail came through utoronto? Full path was usually what, utai!watmath!wmsical or uunet!watmath!wmsical ?

acer

JacquesC's picture

Nice details

I did not remember all those details.  The email came through the University of Waterloo (we had a direct phone line), but Waterloo got most of its 'net connection through Toronto, yes.

But what I meant was that 'wmsical' is in part an acronym - of what?

English acronyms

frequently sound to me nonsensical, not being a native English speaker. This one is no exception. Hence hardly I could get it. It sounds to me something like "waterloo-maple-musical".

JacquesC's picture

WMSI

In its earliest incarnation, Maplesoft was known as 'Waterloo Maple Software Incorporated', or WMSI for short.  That can easily be pronounced 'whimsy'.  From there, it is not far to the english word whimsical.  Folding that back in, one gets wmsical. 

phonetics?

whimsical: determined by chance or impulse or whim rather than by necessity or reason.

Interesting. The words identify the personality. There should be something more than phonetics.  

clso's picture

Too many hints!

Jacques, the combstruct hint made the trivia question too easy!

Is there an interesting story behind the name "Maplesoft"?  (You may need permission to talk about this.)

JacquesC's picture

The story

We tried many different names just based on maple - maple.com, maple.on.ca, etc, all of which were already taken.  At the time, we were still "Waterloo Maple Software".  'maplesoft' had Maple in it, was a short-form for the current company name, and was a really memorable pun on 'microsoft' too.  At the time, Microsoft was a quickly growing company, not "the evil empire" yet!  People who were around at the time liked it, so that was it.

edgar's picture

Pi and the Mandelbrot Set

Here is the reason for such a strange request back then:
http://www.math.ohio-state.edu/~edgar/piand.html
---
G A Edgar

JacquesC's picture

Very cool!

The thing that really blows my mind is that this phenomenon, namely that for parabolic Julia sets, the escape rate in a neighbourhood of the landing point of a ray that goes to the Julia set at the (forward orbit of) the critical value shows up in my PhD thesis!  Basically, what I show there is that there is a relation between the speed of escape of such points (in this case, polynomial in the number of iterations) and the ``geometry'' of the Julia set (basically what kind of 'wedges' one can stick in along landing rays).  Linear wedges (in the natural coordinates) correspond to any case where there is a hyperbolic metric, corresponding to exponential escapes.  When one gets to polynomial escapes, the wedges are asymptotically narrower (think x^2 around 0), which is what one observes in the parabolic and (conjecturally) in some of the Siegel cases too [ie in the exterior of the Siegel domains, the interior parts in those cases are simple].  These Julia sets (conjecturally in my thesis, but I believe that has been proven since) correspond exactly to those where the exterior conformal map extends to a H"older continuous map on the circle.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.
}