[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:
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.*

**RE: [Axiom-math] Re: [Axiom-developer] Re: musings on notation**,
*Page, Bill* **<=**