> > I think that we should use wrapper "everywhere" -- the semantics of
> > probe-file looks insane on Unix-like systems (including Windows and
> > Mac OSX). ATM wrapper should use directoryp, later we can change
> > it to accomodate other Lisps. I did not look deeply into the problem,
> > but wh
Greg,
> It's possible, this is why I did not discuss this point. There is a
> problem when a file in src/algebra/ is modified (see another mail), the
> object file is not copied in mnt/$SYS/algebra.
Changes in src/algebra should be properly copied.
However the src/algebra/Makefile works in a di
Vanuxem Grégory <[EMAIL PROTECTED]> writes:
[...]
| > Definitely I believe the Makefile should clean up the directory.
|
| It's possible, this is why I did not discuss this point. There is a
| problem when a file in src/algebra/ is modified (see another mail), the
| object file is not copied in
Le samedi 07 octobre 2006 à 20:36 +0200, Waldek Hebisch a écrit :
> Vanuxem Grégory wrote:
[...]
> > Le samedi 07 octobre 2006 ? 16:41 +0200, Waldek Hebisch a écrit :
> > > When you speak about "a lot of implications" do you mean that probe-file
> > > is used in many places or that it is used in
Le samedi 07 octobre 2006 à 20:46 +0200, Gabriel Dos Reis a écrit :
> Vanuxem Grégory <[EMAIL PROTECTED]> writes:
[...]
> | I think it's the same bug than the bug #302 . See the thread
> | "Cannot Rename The File Erlib To NRLIB" in Axiom-developer mail
> | Archives.
>
> I don't know whether th
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> | Gabriel Dos Reis wrote:
> | > Try:
> | > goodCoef(v, l, s) ==
> | > -- if k1 is part of k2 we should not express k1 in terms of k2
> | > -- (othewise we would get infinite recursion)
> | > -- below we impose a stronger conditi
Hmmm, I don't say again that it should work both ways... I got misled by
SPAD. Arrrhhh. Sorry, I did not look into the sources first time.
If I am correct then we are talking about
src/algebra/efstruc.spad.pamplet.
(Gold, Silver, and build-improvements are identical)
But there I read
goodCoef
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis wrote:
| > Try:
| > goodCoef(v, l, s) ==
| > -- if k1 is part of k2 we should not express k1 in terms of k2
| > -- (othewise we would get infinite recursion)
| > -- below we impose a stronger condition: we require
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| I wrote:
| > ATM build-improvements has problem with stamp files -- I have to romove
| > them manually. There is also problem with databases: when I changed
| > signatures of some functions I got compiler errors (Bill Page posted
| > a procedure how to
Gabriel Dos Reis wrote:
> Try:
> goodCoef(v, l, s) ==
> -- if k1 is part of k2 we should not express k1 in terms of k2
> -- (othewise we would get infinite recursion)
> -- below we impose a stronger condition: we require
> -- height(k1) to be maximal
> h:NonNegativ
I wrote:
> ATM build-improvements has problem with stamp files -- I have to romove
> them manually. There is also problem with databases: when I changed
> signatures of some functions I got compiler errors (Bill Page posted
> a procedure how to handle this, I will try it). But for the goodCoef
>
Waldek Hebisch <[EMAIL PROTECTED]> writes:
[...]
| 4) without the patch the AXIOM recurses infinitely handling the
|few integrals below (first I previosly gave in the bug report).
|With the patch the first two are correctly handled, the other
|two quickly hit into unimplemented part
[EMAIL PROTECTED] writes:
| > Waldek Hebisch <[EMAIL PROTECTED]> writes:
| >
| > | How to correctly define nested function in algebra file? I changed
| > | beggining of goodCoef (in efstruc.spad.pamphlet) to the following:
| > |
| > | goodCoef(v, l, s) ==
| > | -- if k1 is part of k2 we
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Commited on build-improvements
Thanks!
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Vanuxem Grégory <[EMAIL PROTECTED]> writes:
| Le samedi 07 octobre 2006 à 05:41 +0200, Waldek Hebisch a écrit :
| > The current rule in src/algebra/Makefile.pamphlet does not work
| > during re-make. Namely, SPAD compiler fails when NRLIB directory
| > already exists. I propose to add the followin
Vanuxem Grégory wrote:
> Le samedi 07 octobre 2006 ? 16:41 +0200, Waldek Hebisch a écrit :
> > When you speak about "a lot of implications" do you mean that probe-file
> > is used in many places or that it is used in may different ways? In the
> > first case a wrapper called axiom-probe-file woul
Below is a fix for bug 294. Some extra comments:
1) the patch correct problem in goodCoef, there are other bugs in
integrator, I will work on them separately.
2) AFAICS goodCoef is an optimization, it should be safe to return
"failed" always (but since we take different path in the other
Le samedi 07 octobre 2006 à 16:41 +0200, Waldek Hebisch a écrit :
> > Le samedi 07 octobre 2006 ? 05:41 +0200, Waldek Hebisch a écrit :
> > > The current rule in src/algebra/Makefile.pamphlet does not work
> > > during re-make. Namely, SPAD compiler fails when NRLIB directory
> > > already exists.
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> | The current rule in src/algebra/Makefile.pamphlet does not work
> | during re-make. Namely, SPAD compiler fails when NRLIB directory
> | already exists. I propose to add the following:
>
> OK for silver and build-improvements, please add a chang
> Le samedi 07 octobre 2006 ? 05:41 +0200, Waldek Hebisch a écrit :
> > The current rule in src/algebra/Makefile.pamphlet does not work
> > during re-make. Namely, SPAD compiler fails when NRLIB directory
> > already exists. I propose to add the following:
> >
> > --- pp/build-improvements/src/alg
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> | How to correctly define nested function in algebra file? I changed
> | beggining of goodCoef (in efstruc.spad.pamphlet) to the following:
> |
> | goodCoef(v, l, s) ==
> | -- if k1 is part of k2 we should not express k1 in terms of k2
> |
Le samedi 07 octobre 2006 à 05:41 +0200, Waldek Hebisch a écrit :
> The current rule in src/algebra/Makefile.pamphlet does not work
> during re-make. Namely, SPAD compiler fails when NRLIB directory
> already exists. I propose to add the following:
>
> --- pp/build-improvements/src/algebra/Makefil
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| The current rule in src/algebra/Makefile.pamphlet does not work
| during re-make. Namely, SPAD compiler fails when NRLIB directory
| already exists. I propose to add the following:
|
| --- pp/build-improvements/src/algebra/Makefile.pamphlet 2006-
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| How to correctly define nested function in algebra file? I changed
| beggining of goodCoef (in efstruc.spad.pamphlet) to the following:
|
| goodCoef(v, l, s) ==
| -- if k1 is part of k2 we should not express k1 in terms of k2
| -- (oth
Waldek Hebisch <[EMAIL PROTECTED]> writes:
[...]
| I do not know what you want to do, but I think that correctly
| handling dependencies is a must.
I know. If it is not done yet, it is because I did not have time to
get there. It is on the of things to be done. I would not mind you
beat me a
25 matches
Mail list logo
