|
From: | Winfried Neun |
Subject: | [Axiom-developer] Re: New Version of REDUCE |
Date: | Tue, 04 Oct 2005 16:19:37 +0200 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.2) Gecko/20040805 Netscape/7.2 |
Bill, it looks as though I missed something. I remember that you got the software via ftp last time. Do you prefer the 64 bit version for AMD64 / Intel EMT or the traditional 32 bit version for Linux? Regards, Winfried Tony Hearn, You will recall I am sure, that a little more than a year ago, with your kind approval I installed Reduce on the axiom-developer server. The axiom-developer server runs the wiki-based web application that I call MathAction which provides a web-based interface for both Axiom and Reduce. Here is an updated URL for the web site: http://wiki.axiom-developer.org I have been reviewing my notes about Reduce on MathAction and I see that the version we are running is the older version 3.7. Perhaps through an oversight I apparently did not receive the updated Reduce version 3.8 package that I discussed with Winfried Neun. Would it be possible for me to obtain the newer version for linux to install on the axiom-developer server? I am especially interested in installing version 3.8 because of it's support for OpenMath. Recently I have become motivated again to look at OpenMath and MathML support in both Axiom and Reduce. Kind Regards, Bill Page.-----Original Message----- From: Winfried Neun [mailto:address@hidden] Sent: August 10, 2004 5:23 AM To: Bill Page (E-mail) Cc: 'Tony Hearn' Subject: Re: mathML, "bad(" problem, (was: Patch for rlfi) Right, You have got REDUCE 3.7. It might be useful to use a more recent patches file, but I think I will be able to distribute REDUCE 3.8 for Linux this month, perhaps you just wait for it. Winfried Page, Bill wrote:When I start Reduce I see: Loading image file :/usr/local/reduce/lisp/psl/linux/red/reduce.img REDUCE 3.7, 15-Apr-1999, patched to 14-Jun-2001 ... So I guess what Winfried gave me was really Reduce 3.7?-----Original Message----- From: Tony Hearn [mailto:address@hidden] Sent: Monday, August 09, 2004 4:02 PM To: Bill Page (E-mail) Subject: Re: mathML, "bad(" problem, (was: Patch for rlfi) You should work with Winfried on the MathML stuff --- he wrote the code (but he may be on vacation now --- it's August, after all). As far as the version is concerned, there should be a banner when you run it that tells you the version. Otherwise, youcan saylisp version!*; in REDUCE and it will tell you.-----Original Message----- From: Tony Hearn [mailto:address@hidden] Sent: July 22, 2004 6:58 PM To: Bill Page Cc: Winfried Neun; address@hidden Subject: Re: New Version of REDUCEI would like to know your opinion regarding the possibility of including a web-based interface to REDUCE in our system. Would the licensing conditions permit this?Even though there is a (relatively) modest fee charged for the distribution of REDUCE, it is "open source" in the sense that all sources are distributed with the so-called professional version. So I would certainly encourage you to develop such an interface --- there are no licensing restrictions affecting this (assuming you don't include a copy of REDUCE with your code!) Winfried Neun <address@hidden> is the one who developed the MathML interface, and he would be happy to work further with you on your interface, as would I. For starters, you probably need a copy of the software. Please tell Winfried what platform you use, and he'll supply the appropriate version. When things are working, we could put the code on the REDUCE web site, or put a pointer there to wherever you have things stored. Regards, Tony |
[Prev in Thread] | Current Thread | [Next in Thread] |