axiom-math
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-math] Re: [Axiom-developer] Re: musings on notation


From: Mike Dewar
Subject: Re: [Axiom-math] Re: [Axiom-developer] Re: musings on notation
Date: Wed, 11 Aug 2004 14:47:32 +0100
User-agent: Mutt/1.4.1i

Actually Bill left ORCCA more than two years ago and after teaching in
New Zealand is back at Bath working on Web Services.  His current home
page is http://www.cs.bath.ac.uk/~wn which I see includes his PhD thesis
and the accompanying software.

Cheers, Mike.

On Wed, Aug 11, 2004 at 08:30:28AM -0400, Page, Bill wrote:
> Tim, Mike, et al.
> 
> Here is Bill Naylor's web site:
> 
>   http://www.scl.csd.uwo.ca/~bill/
> 
> I think it would be very interesting to resurrect these
> ideas on "Straight Line Programs"!
> 
> Regards,
> Bill Page.
> 
> > -----Original Message-----
> > From: Mike Dewar [mailto:address@hidden
> > Sent: Wednesday, August 11, 2004 8:20 AM
> > To: address@hidden; address@hidden
> > Cc: W Naylor
> > Subject: Re: [Axiom-math] Re: [Axiom-developer] Re: musings 
> > on notation
> > 
> > 
> > I don't know if Bill Naylor subscribes to this list, but his PhD (at
> > Bath, supervised by James Davenport) involved using straight-line
> > programs to represent polynomials in Axiom.  Just as with other
> > mathematical objects you could do arithmetic with them, perform
> > operations such as GCD computations etc., however their representation
> > was as an explicit program.  These programs were represented 
> > in Axiom as instances of domains in the usual way - if I remember
> > rightly the infrastructure he created was quite extensive.  I don't
> > know if this work really addresses Tim's original thoughts about
> > notation which started off this thread but it might be worth looking
> > at or even reviving.  
> > 
> > Mike.
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________




reply via email to

[Prev in Thread] Current Thread [Next in Thread]