Re: [Axiom-developer] database fixes

2006-10-20 Thread Gabriel Dos Reis
Waldek Hebisch <[EMAIL PROTECTED]> writes: [...] | Hmm, I do not think information from the e-mail belongs to the | document -- for example writing a paper I discard many alternatives | and failed attempts and publish only final version. IMHO information | about specific problem belongs to the Ch

Re: [Axiom-developer] database fixes

2006-10-20 Thread Gabriel Dos Reis
"Bill Page" <[EMAIL PROTECTED]> writes: [...] | It means that we *do* | publish the many alternatives and failed attempts as well as the | "final version". Very few projects ever reach the stage of a final | version. Agreed. -- Gaby ___

RE: [Axiom-developer] database fixes

2006-10-20 Thread Bill Page
On October 19, 2006 10:38 PM Waldek Hebisch wrote: > ... > Bill Page wrote: > > When you say "as a reader", I wonder what you are reading: > > the Lisp code or the dvi document that you generated from the > > pamphlet file? In terms of creating a document that can be read > > while sitting in a co

Re: [Axiom-developer] database fixes

2006-10-20 Thread Waldek Hebisch
Bill Page wrote: > > Bill Page wrote: > > > ... In a literate program the document contains the code so it > > > certainly "repeats the code" in that sense. The code illustrates > > > and implements the ideas described in the document. Code and > > > documentation are not two separate things. > > >

Re: [Axiom-developer] database fixes

2006-10-17 Thread Ralf Hemmecke
> Let us look at an example. I wrote: > > > >; Clean old data >(do-symbols (symbol) > (when (get symbol 'database) > (setf (get symbol 'database) nil))) >(setq *allconstructors* nil) > ... > > > Do you think that: >

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: | > > On Monday, October 16, 2006 8:47 PM Waldek Hebisch wrote: | > > > ... | > > > 1) ATM I can not add much value to what is already there -- | > > >I can read the code but the classic rule of documentation is | > > >"documentation should not repeat the c

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
Waldek Hebisch <[EMAIL PROTECTED]> writes: [...] | To clean old data we loop over all symbols from [[boot]] package | and reset [[boot::database]] property to [[nil]]. We also rest | [boot::*allconstructors*]] to [[nil]]. I'm asking you to include an explanation of *why* that is essential; wha

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | On Tuesday, October 17, 2006 12:09 AM Tim Daly wrote: | | > ... | > | > Waldek Hebisch wrote | > > | > > The patch I wrote changed the paphlet file. I admit that I did | > > not use dvi viewer to check formatting, but since the parts I | > > changed fo

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: [...] | Actually I agree. Your original patch was not so bad - it is | just that it did not add any explanation to the document itself. | It improved the program but did not improve the document. You very well capture the essence of my original remarks.

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
"Page, Bill" <[EMAIL PROTECTED]> writes: | On Monday, October 16, 2006 8:47 PM Waldek Hebisch wrote: | > ... | > 1) ATM I can not add much value to what is already there -- | >I can read the code but the classic rule of documentation is | >"documentation should not repeat the code"... | |

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: | > (2) please, please, document behaviour in the pamphlets; not just | > the code. | | can i get a witness! amen, amen! stand and sing, all who enter! :-0 | (couldn't resist :-) ) I would have made exactly the same request, was it a change for GCC -- whi

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
Waldek Hebisch <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | > (2) please, please, document behaviour in the pamphlets; not just | > the code. | | What do you mean by "document behaviour in the pamphlets"? Do you think | that I should split changes into chunks and annotate them

RE: [Axiom-developer] database fixes

2006-10-16 Thread Page, Bill
On Tuesday, October 17, 2006 12:09 AM Tim Daly wrote: > ... > > Waldek Hebisch wrote > > > > The patch I wrote changed the paphlet file. I admit that I did > > not use dvi viewer to check formatting, but since the parts I > > changed follow textual format using only text terminal should be > > O

Re: [Axiom-developer] database fixes

2006-10-16 Thread root
> > On Monday, October 16, 2006 8:47 PM Waldek Hebisch wrote: > > > ... > > > 1) ATM I can not add much value to what is already there -- > > >I can read the code but the classic rule of documentation is > > >"documentation should not repeat the code"... > > > > Actually this classic rule

RE: [Axiom-developer] database fixes

2006-10-16 Thread Page, Bill
> Bill Page wrote: > > ... In a literate program the document contains the code so it > > certainly "repeats the code" in that sense. The code illustrates > > and implements the ideas described in the document. Code and > > documentation are not two separate things. > > > On Monday, October 16, 20

Re: [Axiom-developer] database fixes

2006-10-16 Thread root
> 1. The main purpose of the "database" is, as I understand it, to > enable the loading of mathematical knowledge on an "as needed" basis > into Axiom rather than carry everything at once in the image? If i've > got that right I'm impressed by the power of that design, but I wonder > how much lik

Re: [Axiom-developer] database fixes

2006-10-16 Thread Waldek Hebisch
CY wrote: > 1. The main purpose of the "database" is, as I understand it, to > enable the loading of mathematical knowledge on an "as needed" basis > into Axiom rather than carry everything at once in the image? If i've > got that right I'm impressed by the power of that design, but I wonder > ho

Re: [Axiom-developer] database fixes

2006-10-16 Thread Waldek Hebisch
> On Monday, October 16, 2006 8:47 PM Waldek Hebisch wrote: > > ... > > 1) ATM I can not add much value to what is already there -- > >I can read the code but the classic rule of documentation is > >"documentation should not repeat the code"... > > Actually this classic rule of documentati

Re: [Axiom-developer] database fixes

2006-10-16 Thread C Y
--- Waldek Hebisch <[EMAIL PROTECTED]> wrote: > I am not sure if compression is obsolete: we have performance problem > with Spad compiler and databases may be part of this problem. If > we need fast reading of databases compressed version is likely to > be faster (of course there are other possib

RE: [Axiom-developer] database fixes

2006-10-16 Thread Page, Bill
On Monday, October 16, 2006 8:47 PM Waldek Hebisch wrote: > ... > 1) ATM I can not add much value to what is already there -- >I can read the code but the classic rule of documentation is >"documentation should not repeat the code"... Actually this classic rule of documentation is *not* ap

Re: [Axiom-developer] database fixes

2006-10-16 Thread Waldek Hebisch
Gabriel Dos Reis wrote: > (2) please, please, document behaviour in the pamphlets; not just > the code. What do you mean by "document behaviour in the pamphlets"? Do you think that I should split changes into chunks and annotate them separately? I would oppose that: current structure is m

Re: [Axiom-developer] database fixes

2006-10-16 Thread Waldek Hebisch
> > 2) Patch adds ability to dump uncompressed databases (easier to > >read): to get uncompressed format just set *do-not-compress-databases* > >to t > > I feel you should simply patch the databases to remove the > compression. It was only written so we could create databases > that could

Re: [Axiom-developer] database fixes

2006-10-16 Thread root
> (1) please, please, avoid *var*. Use boot::var The lisp coding convention uses *foo* as a "global" variable name so this is a proper way to name it. > (2) please, please, document behaviour in the pamphlets; not just > the code. can i get a witness! amen, amen! stand and sing, all w

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
root <[EMAIL PROTECTED]> writes: | Removing calls to these should create uncompressed databases. That sounds better. Please, document what is happening. -- Gaby ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mail

Re: [Axiom-developer] database fixes

2006-10-16 Thread Gabriel Dos Reis
Waldek Hebisch <[EMAIL PROTECTED]> writes: | Below is a patch that fixes few problems with databases: | | 1) If old database contained constructors or operations which |were removed from new database, Axiom kept using old data. |The patch cleans old data | | 2) Patch adds ability to dump

Re: [Axiom-developer] database fixes

2006-10-16 Thread root
> 2) Patch adds ability to dump uncompressed databases (easier to >read): to get uncompressed format just set *do-not-compress-databases* >to t I feel you should simply patch the databases to remove the compression. It was only written so we could create databases that could fit on one dis