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

[Page, Bill]

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.