[Top][All Lists]
[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
________________________________________________________________________