axiom-mail
[Top][All Lists]
Advanced

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

Re: [Axiom-mail] reclos.spad


From: Mike Dewar
Subject: Re: [Axiom-mail] reclos.spad
Date: Mon, 9 Dec 2002 11:58:00 +0000

Tim,

Renaud is the author and reclos.spad should be in the sources I sent to
you. 

Cheers, Mike.

On Fri, Dec 06, 2002 at 08:16:56AM -0500, Tim Daly wrote:
> Renaud,
> 
> I don't know if you've been following the latest email threads
> from the new Axiom website (savannah.nongnu.org/projects/axiom).
> However, I'm working on the open source version of the system
> now that it has been released from NAG.
> 
> A major change that I'm working on is to convert the whole system
> to use a literate programming style. In order to do this for some
> domains in the algebra code I've been trying to find the primary
> theory sources for the algebra code. I am trying to construct some
> example domains so that other developers and future contributors
> can submit source code embedded in a literate document.
> 
> I just saw you mention reclos.spad on sci.math.symbolic.
> Can you point me at a reference for the reclos.spad code? 
> I'd like to track down the author and get permission to use
> quotes from the papers in the literate document for that domain.
> 
> Tim
> 
> 
> 
> _______________________________________________
> Axiom-mail mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/axiom-mail
> 
> _____________________________________________________________________
> This message has been checked for all known viruses by Star Internet
> delivered through the MessageLabs Virus Scanning Service. For further
> information visit http://www.star.net.uk/stats.asp or alternatively call
> Star Internet for details on the Virus Scanning Service.

_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.



reply via email to

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