[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: Page, Bill
Subject: RE: [Axiom-math] Re: [Axiom-developer] Re: musings on notation
Date: Wed, 11 Aug 2004 08:30:28 -0400

Tim, Mike, et al.

Here is Bill Naylor's web site:

I think it would be very interesting to resurrect these
ideas on "Straight Line Programs"!

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.

reply via email to

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