RE: [Axiom-developer] NOWEB

2006-05-04 Thread Page, Bill
Gaby, On Thursday, May 04, 2006 3:50 PM you wrote: > ... > Maybe there is a confusion about appreciating diverse > programming languages and appreciating the set of tools > we should use to deliver a coherent, attractive, scalable, > and maintainable project. I understand your point and actually

Re: [Axiom-developer] NOWEB

2006-05-04 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | Gaby, | | On Thursday, May 04, 2006 2:17 PM you wrote: | > ... | > Bill Page writes: | > | | > | I have installed Icon on the axiom-developer.org server and it | > | seems like a nice neat little language ... but I am sure Tim | > | will say: "Oh horro

RE: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Page, Bill
Greg, On Thursday, May 04, 2006 2:51 PM you wrote: > > Humm it seems to me that all the axiom-developer's mailing > list archives are in your mind :-)> :) You also can download the axiom-developer email archives here: ftp://lists.gnu.org/axiom-developer ;) and of course anyone can search t

[Axiom-developer] Re: Spam

2006-05-04 Thread Simon Michael
Hi guys.. I'd like to return to this (making mathaction work with latest zwiki). Bill, did you see my mail asking you to merge Bob's latest latexwiki patches ? I can do it but I think someone familiar with latexwiki will do a better job of resolving the conflicts. Chat me on #zwiki if I can sup

[Axiom-developer] Blas in axiom (was Re: Axiom trunk failure)

2006-05-04 Thread Vanuxem Grégory
Hi Tim, Le jeudi 04 mai 2006 à 00:59 -0400, root a écrit : [...] > i've joined axiom to the numerical mathematics consortium > (http://www.nmconsortium.org/FldRte/?id=72&page=Associate+Members) > because i have an interest in recovering the numerical library > facility for axiom. i have rewritte

RE: [Axiom-developer] NOWEB

2006-05-04 Thread Page, Bill
Gaby, On Thursday, May 04, 2006 2:17 PM you wrote: > ... > Bill Page writes: > | > | I have installed Icon on the axiom-developer.org server and it > | seems like a nice neat little language ... but I am sure Tim > | will say: "Oh horrors, yet another programming language!" :) > > And I will se

RE: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Vanuxem Grégory
hi Bill, Le jeudi 04 mai 2006 à 13:06 -0400, Page, Bill a écrit : [...] > Tim has already successfully (more or less) compiled hyperdoc > using Cygwin. See this thread: > > http://lists.nongnu.org/archive/html/axiom-developer/2005-12/msg00439.html > http://lists.nongnu.org/archive/html/axiom-de

Re: [Axiom-developer] NOWEB

2006-05-04 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | On Thursday, May 04, 2006 12:01 PM Ralf Hemmecke wrote: | > | > Tim, you complained about the speed of NOWEB... | > | > Here a copy from noweb-2.11/src/INSTALL... | > | > To build noweb: | > | >1) First point to compilers to be used to built the t

RE: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Page, Bill
On Thursday, May 04, 2006 12:47 PM Vanuxem Grégory wrote: > > > > GCL does not compile on Cygwin. Some portions of GCL are related > > to Cygwin but they are not maintained anymore as far as I know. > > GCL on Windows uses the MinGW/MSYS environment (so it's not > > possible to build X based appl

Re: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Vanuxem Grégory
Le jeudi 04 mai 2006 à 18:19 +0200, Vanuxem Grégory a écrit : > Hi, > > Le jeudi 04 mai 2006 à 10:29 +0200, Gabriel Dos Reis a écrit : > > [...] > > > we should just be able to type "./configure; make make install" > > and have it working. Expect that soon for Unix-like systems! > > (And I hope

RE: [Axiom-developer] NOWEB

2006-05-04 Thread Page, Bill
On Thursday, May 04, 2006 12:01 PM Ralf Hemmecke wrote: > > Tim, you complained about the speed of NOWEB... > > Here a copy from noweb-2.11/src/INSTALL... > > To build noweb: > >1) First point to compilers to be used to built the tools and > library by setting these variables in the M

RE: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Page, Bill
On Thursday, May 04, 2006 11:36 AM C Y wrote: > ... > Quick check - is there anybody now doing active development > on Axiom for Windows? I'm sure we have users there but anybody > who knows how to compile it? The procedure for compiling Axiom on Windows is here: http://wiki.axiom-developer.org/

Re: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Vanuxem Grégory
Hi, Le jeudi 04 mai 2006 à 10:29 +0200, Gabriel Dos Reis a écrit : [...] > we should just be able to type "./configure; make make install" > and have it working. Expect that soon for Unix-like systems! > (And I hope it will work for Cygwin-based systems too.) GCL does not compile on Cygwin. So

[Axiom-developer] NOWEB

2006-05-04 Thread Ralf Hemmecke
Tim, you complained about the speed of NOWEB... Here a copy from noweb-2.11/src/INSTALL... To build noweb: 1) First point to compilers to be used to built the tools and library by setting these variables in the Makefile: CC the name of an ANSI C compiler LIBSRC

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Ralf Hemmecke
In the file ' src/interp/fnewmeta.lisp.pamphlet' the text: <<' Name '>> is not really a reference to a chunk but noweb thinks it is and the standard (designed in) behavior of noweb when it finds such an "undefined chunk" is simply to omit it. This breaks the Axiom code. Maybe that is a bug,

Re: [Axiom-developer] Re: noweb / Lisp Skills

2006-05-04 Thread Gabriel Dos Reis
Martin Rubey <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > Martin has a very good summary. Many reserachers and potential | > contributors out there are not interested in learning Lisp just to be | > able to use Axiom, which already requires its own language.

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | Gaby, | | On Thursday, May 04, 2006 10:48 AM you wrote: | > ... | > I read the message saw other problems that people mentioned. I | > (mis)interpreted Ralf's statement as saying that it was a bug | > in noweb -- that is now corrected. | > | | There

RE: [Axiom-developer] Re: noweb / Lisp Skills

2006-05-04 Thread Page, Bill
On Thursday, May 04, 2006 10:47 AM Martin Rubey wrote: > ... > Things to do on the interpreter side needed for the > axiom-combinat project: > > * make it understand Aldor: > > * dependent types > * extend > * creating domains on the command line > Is what you are suggesting the same thi

[Axiom-developer] Bug in noweb-2.11

2006-05-04 Thread Ralf Hemmecke
Dear Norman, I think, I've found another bug in noweb. According to the documentation of NOWEB, it is OK if << appears unescaped on a line if there is no corresponding >> on the same line. With the following code % test.nw % stdout << "blah"; <<*>>= -- Here comes some code <<: A ->

Re: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread C Y
--- root <[EMAIL PROTECTED]> wrote: > participation is great and i've accepted almost every patch > sent to me. i'm hoping to see a drastic increase in the > number of tested patches. Tim, how is something like the Emacs mode handled? It's not properly a patch and it's far from done, but just s

Re: [Axiom-developer] Re: noweb / Lisp Skills

2006-05-04 Thread Martin Rubey
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Martin has a very good summary. Many reserachers and potential > contributors out there are not interested in learning Lisp just to be > able to use Axiom, which already requires its own language. That make > the number of people capable to maintain

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Ralf Hemmecke
On 05/04/2006 10:53 AM, Gabriel Dos Reis wrote: Ralf Hemmecke <[EMAIL PROTECTED]> writes: | Hi Bill, hello Gaby, | | Look at this... | | http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00262.html Many thanks. Obviously, there have been many talks about this noweb thingy. I ju

RE: [Axiom-developer] Re: noweb

2006-05-04 Thread Page, Bill
Gaby, On Thursday, May 04, 2006 10:48 AM you wrote: > ... > I read the message saw other problems that people mentioned. I > (mis)interpreted Ralf's statement as saying that it was a bug > in noweb -- that is now corrected. > There was a bug in noweb that was corrected in a recent version but

Re: [Axiom-developer] Re: noweb / Lisp Skills

2006-05-04 Thread Gabriel Dos Reis
Martin Rubey <[EMAIL PROTECTED]> writes: [...] | And I'm absolutely certain that I don't want to understand how noweb works. No | matter whether it is coded in Lisp, Aldor or C. Hear! Hear! Hear! Martin has a very good summary. Many reserachers and potential contributors out there are not inte

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | On Thursday, May 04, 2006 4:54 AM Gabriel Dos Reis wrote: | > | > Ralf Hemmecke writes: | > | > | | > | Look at this... | > | | http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00262.html | > | > Many thanks. | > Obviously, there have bee

[Axiom-developer] RE: Spam

2006-05-04 Thread Page, Bill
Bob, On Thursday, May 04, 2006 10:27 AM you wrote: > > By the way, I just discovered the zwiki property > max_anonymous_links which may help with some of the > spam on mathaction. I see though that mathaction is > running zwiki 0.36. It looks like this feature > was added in 0.41. > Yah, th

Re: [Axiom-developer] Re: noweb / Lisp Skills

2006-05-04 Thread Martin Rubey
C Y <[EMAIL PROTECTED]> writes: > --- root <[EMAIL PROTECTED]> wrote: > > > i'd much rather reduce the number of languages need to understand axiom > > rather than enlarge the number. some are necessary (like lisp, spad, aldor) > > but some are optional (e.g. java in the aldor merge) and more pro

[Axiom-developer] Spam

2006-05-04 Thread Bob McElrath
By the way, I just discovered the zwiki property max_anonymous_links which may help with some of the spam on mathaction. I see though that mathaction is running zwiki 0.36. It looks like this feature was added in 0.41. -- Cheers, Bob McElrath [Univ. of California at Davis, Department of Physics]

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread C Y
--- root <[EMAIL PROTECTED]> wrote: > i'd much rather reduce the number of languages need to understand > axiom rather than enlarge the number. some are necessary (like > lisp, spad, aldor) but some are optional (e.g. java in the aldor > merge) and more properly should be done using existing tools

RE: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread C Y
--- "Page, Bill" <[EMAIL PROTECTED]> wrote: > I think the developers of apt-get and yum might agree with > you. ;) But I think most developers would prefer to take care > of this themselves. > > People who want to work with Axiom without these hassles > should install the appropriate binary versi

RE: [Axiom-developer] Check for item in PATH in Emacs?

2006-05-04 Thread C Y
Cool! Thanks Bill. I actually hacked up my own version yesterday which might be a little simpler for our purposes, but I've yet to test it on Windows. I'll upload it to the wiki this morning - I THINK this version should work without trouble on Windows or Linux, but I'll feel better if it is con

Re: [Axiom-developer] downloading via BitTorrent

2006-05-04 Thread root
excellent job. i saw the launchmany and finally figured out that it was a bittorrent tool. t ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

RE: [Axiom-developer] Re: noweb

2006-05-04 Thread Page, Bill
On Thursday, May 04, 2006 4:54 AM Gabriel Dos Reis wrote: > > Ralf Hemmecke writes: > > | > | Look at this... > | http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00262.html > > Many thanks. > Obviously, there have been many talks about this noweb thingy. > I just don't understand

Re: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Gabriel Dos Reis
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: [...] | Testing for both versions of GCL are running on x86. full system build + test completed for GCL-2.6.8pre. Now launching build for GCL-2.6.7. -- Gaby ___ Axiom-developer mailing list Axiom-develope

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Gabriel Dos Reis
Ralf Hemmecke <[EMAIL PROTECTED]> writes: | Hi Bill, hello Gaby, | | Look at this... | | http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00262.html Many thanks. Obviously, there have been many talks about this noweb thingy. I just don't understand why it lingers for so long. | I

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: [...] | 2) sed and awk are NOT standard parts of a windows distribution. | again as a matter of policy we need to reduce the requirements | so we can work across a larger number of systems. ideally all | of axiom would run in common lisp and porting becomes a co

Re: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: [...] | > now i have to waste time doing a re-install of FC5. I do NOT | > want this to happen to an axiom user, at least not because they | > tried to install axiom. | | If you do not trust programs that attempt to automatically | resolve dependencies th

Re: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: [...] | most people either use axiom or they don't. very, very | few people will make changes. thus we who make changes | have a responsibility to maintain the quality of the system. I concur with that assessment. | i'm applying personal standards here but i do

Re: [Axiom-developer] Re: Axiom trunk failure

2006-05-04 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: | > Gosh, I forgot the real thing. | > It is there, real this time. | | 2 points, Thanks for the quick review. | | 1) did you test the patches? did you do a full system erase, | system checkout, system build, system test? * I have not checked in the patch s

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Ralf Hemmecke
[Norman Ramsey's awk script...] Really, this script is not so hard to understand is it? yes, it is. really. it just reads as line noise to me. for example, the variable 'uses' is not defined anywhere. nor is 'defns'. what exactly is it trying to iterate over and where does the data come from? t

Re: [Axiom-developer] Re: noweb

2006-05-04 Thread Ralf Hemmecke
Hi Bill, hello Gaby, Look at this... http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00262.html I would even say: Throw away the noweb sources, throw away this awk script and rather go to the Axiom sources and correct a usage of an undefined chunk. Why would one want to have unde