[Axiom-developer] Re: [NOT :-)] Time to say good bye to Tim.

2007-07-15 Thread Martin Rubey
Sorry, I forgot to mention two things, lest somebody follows your argumentation: > If Waldek, Gaby and Bill leave entirely, what would happen? First they need > to re-establish the entire data-base for the website and create a new one. No. Ralf has already agreed to me that it would be possible t

[Axiom-developer] Re: [NOT :-)] Time to say good bye to Tim.

2007-07-15 Thread Martin Rubey
Dear William, thanks for your long reply. However, it seems to me that you missed that Tim submitted patches yesterday (and several times before) that * break the system * are not documented * and against which several people (yesterday: Ralf and myself) protested against *before* Tim commit

[Axiom-developer] Re: [NOT :-)] Time to say good bye to Tim.

2007-07-15 Thread William Sit
Dear Martin: Thanks for your trust in me and I also value your deep investment in the Axiom project and don't want to see you (or anyone else) leave. I am truly sorry that the community has split up like this, all due to my naive believe that Tim was willing to really do according to a "vote" on

[Axiom-developer] Re: Lisp representation of Union, Record, etc.

2007-07-15 Thread Stephen Wilson
Indeed, I was thinking about adding to developernotes as well. Its a personal wish that GIT was a bit more widely used, thus enabling an arbitrary number of topic branches so that we can all participate in specific efforts together. But perhaps it is not such a difficult thing, as I am not famil

Re: [Axiom-developer] Re: debugging

2007-07-15 Thread Stephen Wilson
Camm Maguire <[EMAIL PROTECTED]> writes: > Greetings! The disassemble bug we saw earlier (end of file) is due to > a redefinition of compiler::gazonk-name somewhere in your tree. (We > now have a different format for temporary file names.) > > Would it be possible to summarize any gcl lisp func

[Axiom-developer] Lisp representation of Union, Record, etc.

2007-07-15 Thread daly
As these discussions proceed I'm trying to write up the details we discover in the developer notes so other people can follow when these things come up again. I'd like make a whole section devoted to a couple interesting domains (e.g. Integer, DHMATRIX), peel them open completely, and show exactly

[Axiom-developer] Re: Lisp representation of Union, Record, etc

2007-07-15 Thread Stephen Wilson
Tim, Thanks so much for the details! In some ways, I was aware of the objects you detail, but am still working on the mental model that might actually lead so some sort of understanding. Your writeup was most helpful in that regard! [EMAIL PROTECTED] writes: [...] > )lisp (setq *miss* t) This

Re: [Axiom-developer] Re: debugging

2007-07-15 Thread Camm Maguire
Greetings! The disassemble bug we saw earlier (end of file) is due to a redefinition of compiler::gazonk-name somewhere in your tree. (We now have a different format for temporary file names.) Would it be possible to summarize any gcl lisp functions for which patching/redefinition is felt necess

[Axiom-developer] Lisp representation of Union, Record, etc

2007-07-15 Thread daly
Steven, The function |Integer| is defined in int/algebra/INT.lsp. The first time the function is executed it replaces itself in the $ConstructorCache. The real |Integer| function is called |Integer;| This function constructs the domain $ All of the function lookup for the function in Integer are

Re: [Axiom-developer] Re: 2.7 build

2007-07-15 Thread Camm Maguire
Greetings! This should be working now, though the fix could be better. Please let me know if problems persist. Take care, Stephen Wilson <[EMAIL PROTECTED]> writes: > Hello Camm, > > Stephen Wilson <[EMAIL PROTECTED]> writes: > > > Camm Maguire <[EMAIL PROTECTED]> writes: > > > > > Greetin

Re: [Axiom-developer] Unions in Spad

2007-07-15 Thread Stephen Wilson
Hello William, This is excellent! Thanks for all the work here! I am going to keep going over these issues, and do my best to think about the possible solutions. I will just mention the things which I can make a bit of sense of at the moment. William Sit <[EMAIL PROTECTED]> writes: [...] > ) i

[Axiom-developer] Lisp representation of Union, Record, etc

2007-07-15 Thread daly
William, Stephen, In the src/doc/developernotes.pamphlet (mnt/linux/doc/developernotes.dvi) you'll find a section on Axiom Internal Representation that might be of interest. Tim ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.

Re: [Axiom-developer] Unions in Spad

2007-07-15 Thread William Sit
Stephen Wilson wrote: > William Sit <[EMAIL PROTECTED]> writes: > > In summary, we need: > > > > > > (1) make a list or set of domains from SetCategory (or any category) a > > legal construction > > (2) SetAsDomain to convert a list or set of domains (or elements, or maps, > > perhaps or > > cat

Re: [Axiom-developer] Re: debugging

2007-07-15 Thread Camm Maguire
Greetings, and thanks! The problem is that the global entries to the functions returning double float etc. are not being writtin into DFLOAT.c. I'm trying to debug by reproducing the compile-file step on DFLOAT.lsp. This fails at the lisp prompt: (compile-file "DFLOAT.NRLIB/DFLOAT.lsp") ; (DEF

[Axiom-developer] Axiom community goals

2007-07-15 Thread daly
Ralf, Martin, http://lists.nongnu.org/archive/html/axiom-developer/2007-07/msg00159.html Tim ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer

[Axiom-developer] Time to say good bye to Tim.

2007-07-15 Thread Martin Rubey
Ralf Hemmecke <[EMAIL PROTECTED]> writes: > I hesitate to wish you good luck for the future, since with that policy of > ignoring other developers there is no future for Axiom. > > Have fun with your little Tim-Project. Tim, I'm leaving, too. I don't want to be part of a project anymore where I

[Axiom-developer] Literate programming thoughts

2007-07-15 Thread David Bindel
I happened upon the discussions about literate programming on this mailing list while figuring out why so many people were looking at my "dsbweb" entry on my blog. I've had some e-mail exchanges with Tim, who suggested that I might re-post our exchanges to the list. Rather than re-post without c

[Axiom-developer] Literate Programming

2007-07-15 Thread daly
The latest changeset introduces two related changes, gclweb and axiom.sty. Together these changes allow optional syntactic changes to pamphlets. These changes will completely eliminate the need to weave files since now a pamphlet file can be a valid latex file. Tangle is the only remaining comman

[Axiom-developer] Re: [Axiom-commit] SF.net SVN: axiom: [664] trunk/axiom

2007-07-15 Thread Ralf Hemmecke
ttle Tim-Project. Ralf On 07/15/2007 03:10 PM, [EMAIL PROTECTED] wrote: Revision: 664 http://svn.sourceforge.net/axiom/?rev=664&view=rev Author: daly Date: 2007-07-15 06:10:14 -0700 (Sun, 15 Jul 2007) Log Message: --- 20070715 tpd src/input/cwmmt.input format ma