Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

Bill: This is Part III. History, and Lazy Re-evaluation > >> Should this be a front-end browser function or a back-end Axiom > >> function. For example a function in Axiom might be able to return > >> the list of input history numbers of those commands that need to > >> be re-executed. > > > > Th

Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

Bill: To avoid really long messages and also to focus on issues separately, I'll answer yours in several less long ones. This is Part I: hyperdoc evaluations "Page, Bill" wrote: > [information on lazy-evaluation, delayed-evaluation, lazy-re-evaluation snipped] Many thanks for a quick e

Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

Bill: This is Part IV: History, 2D editing > [comments on using )history snipped] > > > What is desirable in the interpreter interface, is the ability to > > edit previous input lines in a 2D way. Mathematica allows it and > > makes it very easy to do quick exploratory computations during the

Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

Bill: This is Part II. Re-evaluation (focusing on what needs to be recomputed) and bad 2D editing in Maple > Re-evaluation is a little different. It involves a > series of operations (transactions) which have already altered the > state of the program, i.e. a series of updates. Like this: > >

RE: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

On Thursday, June 23, 2005 12:51 AM I wrote: > ... > So Axiom only has to do the following: > > (1') -> n:=3 > >(1) 3 > Type: PositiveInteger > (2') -> x:=f(n) > >(2) f(3) > Type: Expression Integer > (3'

RE: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

On Wednesday, June 22, 2005 11:55 PM Andrey G. Grozin wrote: > ... > Only the user can decide *which* consistent state [s]he wants. > Suppose there is a code fragment: > > (1) n:=1 > (2) x:=f(n) > (3) n:=2 > (4) y:=f(n) > > Do you consider the state of Axiom after it inconsistent?

RE: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

On Wed, 22 Jun 2005, Page, Bill wrote: > > This is unreasonable. The purpose to edit earlier input lines may > > also rearrange the order of execution of the lines. Only the user > > knows what order of execution is needed for his/her purpose. > I disagree. Given Axiom's history of the commands tha

[Axiom-developer] [#181 (5) -> random(0)

>> System error: random(0)] Message-ID: <[EMAIL PROTECTED]> X-Zwiki-Version: 0.36.2 X-BeenThere: [EMAIL PROTECTED] List-Id: MathAction and Axiom <[EMAIL PROTECTED]> List-Post: List-Subscribe:

[Axiom-developer] [#181 (5) -> random(0)

>> System error: random(0)] (new) Message-ID: <[EMAIL PROTECTED]> X-Zwiki-Version: 0.36.2 X-BeenThere: [EMAIL PROTECTED] List-Id: MathAction and Axiom <[EMAIL PROTECTED]> List-Post: List-Subscribe:

[Axiom-developer] [#180 bug #9216 differentiating sums with respect to a bound is wrong] (new) bug #9216 differentiating sums with respect to a bound is wrong

Changes http://page.axiom-developer.org/zope/mathaction/180Bug9216DifferentiatingSumsWithRespectToABoundIsWrong/diff -- --removed: - ++added: Compile and Test SPAD files for the functional world should be compiled in the following order:: op kl function funcpkgs manip algfunc

[Axiom-developer] [#179 differentiating sums with respect to a bound is wrong] (new) differentiating sums with respect to a bound is wrong

Changes http://page.axiom-developer.org/zope/mathaction/179DifferentiatingSumsWithRespectToABoundIsWrong/diff -- --removed: - - --removed: - ??changed: - Status:None => transferred -Example of code trigerring the bug: f:=operator 'f Status: Non

[Axiom-developer] [#180 bug #9216 differentiating sums with respect to a bound is wrong] (new) bug #9216 differentiating sums with respect to a bound is wrong

Changes http://page.axiom-developer.org/zope/mathaction/180Bug9216DifferentiatingSumsWithRespectToABoundIsWrong/diff -- --removed: - ??changed: - -Update of patch #3148 (project axiom): - - Status:None => In Progress - - -_

[Axiom-developer] [#180 bug #9216 differentiating sums with respect to a bound is wrong] (new) bug #9216 differentiating sums with respect to a bound is wrong

Changes http://page.axiom-developer.org/zope/mathaction/180Bug9216DifferentiatingSumsWithRespectToABoundIsWrong/diff -- Update of patch #3148 (project axiom): Status:None => In Progress __

[Axiom-developer] [#179 differentiating sums with respect to a bound is wrong] (new) differentiating sums with respect to a bound is wrong

Changes http://page.axiom-developer.org/zope/mathaction/179DifferentiatingSumsWithRespectToABoundIsWrong/diff -- Update of bug #9216 (project axiom): Status:None => transferred Example of code trigerring the bug: f:=operator 'f D(sum(f(i),i=a..x)

Re: [Axiom-developer] RE: More AxiomUI

Hi, Le mercredi 22 juin 2005 à 11:27 -0400, William Sit a écrit : > Martin Rubey wrote: > > Currently, the parser of the interpreter and the parser of the compiler are > > different. For example, you cannot define packages, domains or categories in > > the interpreter. > > Much I would agree with

Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

First let me give a simple definition of lazy re-evaluation. Imagine a worksheet interface, that when read from top to bottom, is *always* consistent. In Maple and Mathematica the user must remember what he has executed, and keep much information about the kernel's state in his/her head. It is v

Re: [Axiom-developer] RE: More AxiomUI

Since I'm in a hurry, only part of an answer: William Sit writes: > Martin Rubey wrote: > > Currently, the parser of the interpreter and the parser of the compiler are > > different. For example, you cannot define packages, domains or categories > > in > > the interpreter. > > Much I woul

RE: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

William, I am sorry that this is a rather long email, but I think this is an important subject that has not yet been properly dealt with in any computer algebra system. > Bill Page wrote: >> ... both Tim Daly and William Sit assure me that the old Axiom >> Hypertex browser already implements this

[Axiom-developer] Aldor/Axiom convergence

In fact, this is also a question of future direction, since I hope very much that Aldor will become *the* language for Axiom. What features of Aldor do you want to add to Axiom? I am much in favour of Martin's position. There are 3 languages... Citing from http://www.aldor.org/docs/HTML/chap1

[Axiom-developer] peta-machine

i keep muttering about the mythical "peta-machine". that is, a machine with a petabyte of disk, a terabyte of storage, a terahertz of cpu, and 10 gigabyte internet bandwidth. this is the "target machine" i've been using with the claim that it will be available in 30 years and that we need to plan

[Axiom-developer] fear mongering

> Tim, I really think you are just "fear mongering"! In fact most > of the things you mention are already possible in a browser > like Mozilla very little or no any additional Javascript coding. ok. perhaps i don't know enough about the subject and the recent advances in browsers so i'll go relea

Re: [Axiom-developer] RE: More AxiomUI

Martin Rubey wrote: > Currently, the parser of the interpreter and the parser of the compiler are > different. For example, you cannot define packages, domains or categories in > the interpreter. Much I would agree with you that the difference between the two parsers is a constant headache and cer

Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

"Page, Bill" wrote: > > On Tuesday, June 21, 2005 5:05 PM Bob McElrath > > > Kai Oliver Kaminski [EMAIL PROTECTED] wrote: > >> What kind of dependency tracking would you need? Just within a > >> single page? For multiple pages? Send me use cases, tell me what > >> you need. > > > >I've been think

Re: [Axiom-developer] how to expand trig functions ?

Dear François, I justed tried out what you wrote: Francois Maltey writes: > expand (sin (x+y)) is right, but yes. > 1/ I can't get expand (sin (2*x)) well, the documentation says that expand deals only with sums... I guess that you would like to have expand sin(n*x) use the chebyshev polyn

[Axiom-developer] [#81 French error message when building SPLTREE] I don't understand why this would be critical. I suspect that eq? is simply not (yet) implemented.

Changes http://page.axiom-developer.org/zope/mathaction/81FrenchErrorMessageWhenBuildingSPLTREE/diff -- Severity: critical => normal -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] ___ Axiom-developer mailing list

Re: [Axiom-developer] RE: More AxiomUI

Dear all, I would also think that it is a bad idea to do the dependency checking outside of axiom. By the way, axiom does it already: (1) -> f(x:INT):INT == 5 Function declaration f : Integer -> Integer has been added to workspace.

Re: [Axiom-developer] RE: More AxiomUI

Hm, an afterthought: I'm not quite sure whether what Martin Rubey thought: > I would also think that it is a bad idea to do the dependency checking > outside > of axiom. makes sense. Here a first shot at organizing the things axiom should consist of: * a compiler * an interpreter * a u

Re: [Axiom-developer] Memory leak in Axiom : mistake

OK, let's do it again. %axiom PID USER PR NI VIRT RES SHR S %CPU %MEMTIME+ COMMAND 27271 hemmecke 16 0 44072 8492 3016 S 0.0 1.7 0:00.13 AXIOMsys a:=new(1000,1000,0.0)$Matrix(SF); b:=new(1001,1001,0.0)$Matrix(SF); 27271 hemmecke 17 0 44116 21m 3060 S 0.0 4.3 0:00

RE: [Axiom-developer] Memory leak in Axiom

Hi, Le mardi 21 juin 2005 à 21:49 -0400, Page, Bill a écrit : > I wrote: > > ... > > If you repeat this process several times: > > > > 1) Open Axiom > > 2) Allocate Matrix > > 3) Close Axiom > > 4) display residual and virtural memory > > > > For example do this 5 times in a row, do you find that

[Axiom-developer] axiom book

For those who read the axiom book via xdvi $AXIOM/mnt/linux/doc/book.dvi ... You might want to add the hyperref package at the beginning of axiom--main--1--patch-40/src/doc/book.pamphlet and remake the book via cd $AXIOM; make book %-- book.pamphlet -- \documentclass{book} %\usepackage{axiom}

[Axiom-developer] RE: More AxiomUI

Dear Bill, in fact, I "knew" that what you describe below can be done. The sole purpose of my mail was to try to get things organised. I have the feeling that it is not at all clear what "we" want, and in fact, there are several different "we"s, since some of us are doing math research, some want

RE: [Axiom-developer] Memory leak in Axiom : mistake

Hi, Le mercredi 22 juin 2005 à 06:01 -0400, Page, Bill a écrit : > On Wednesday, June 22, 2005 4:56 AM Ralf Hemmecke wrote: > > > Well, there is something else. How is Axiom supposed to behave in the > > following case? (See axiom--main--1--patch-40/mnt/linux/doc/book.dvi > > Section 1.15.1) Tha

RE: [Axiom-developer] Memory leak in Axiom : mistake

On Wednesday, June 22, 2005 4:56 AM Ralf Hemmecke wrote: > Well, there is something else. How is Axiom supposed to behave in the > following case? (See axiom--main--1--patch-40/mnt/linux/doc/book.dvi > Section 1.15.1) > > --start axiom > top: >PID USER PR NI VIRT RES SHR S %CPU %MEM

Re: [Axiom-developer] Memory leak in Axiom : mistake

Well, there is something else. How is Axiom supposed to behave in the following case? (See axiom--main--1--patch-40/mnt/linux/doc/book.dvi Section 1.15.1) --start axiom top: PID USER PR NI VIRT RES SHR S %CPU %MEMTIME+ COMMAND 17381 hemmecke 16 0 44072 8492 3016 S 0.0 1.7

Re: [Axiom-developer] Memory leak in Axiom : mistake

Well, there is something else. How is Axiom supposed to behave in the following case? (See axiom--main--1--patch-40/mnt/linux/doc/book.dvi Section 1.15.1) --start axiom top: PID USER PR NI VIRT RES SHR S %CPU %MEMTIME+ COMMAND 17381 hemmecke 16 0 44072 8492 3016 S 0.0 1.7 0

[Axiom-developer] [Piecewise Functions]

Changes http://page.axiom-developer.org/zope/mathaction/PiecewiseFunctions/diff -- ??changed: -Yack!!! This is obviously wrong! $t\mapsto N(t,0,3)$ is $C^2$ continuous -and **is not constant** Despite what Axiom seems to claim here. Yack!!! This is obviously wrong! The map $$t\mapsto N(t,0,3)$$ is

[Axiom-developer] RE: axiom, browsers, and crystal

On Monday, June 20, 2005 11:48 PM Tim Daly wrote: > i agree standards are a *good thing*(TM) but standards come > after practice, not before. On the contrary, many standards have value even though they may never be put into practice. Standards (should) drive design. But standards are meant to be

[Axiom-developer] dependency tracking and back-end state

axiom has the ability to maintain independent multiple stateful sessions at the same time. i'm buried at the moment but we can talk about it later. t ___ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo