"Bill Page" <[EMAIL PROTECTED]> writes:
[...]
| > First, we should not build twice. Second, if we must build
| > twice, then we must test the second version -- the one that
| > is installed.
|
| Building Axiom twice is normal practice in order to obtain
| optimized function calls in gcl.
Ahem,
"Bill Page" <[EMAIL PROTECTED]> writes:
| On November 17, 2006 9:58 PM Gaby wrote:
| > ...
| > |
| > | What components in particular were not built?
| >
| >
| > graph, sman, hyper and input.
| >
|
| These all built for me with no visible problems.
Yes. See the message I just sent.
| > | Wha
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
| "Bill Page" <[EMAIL PROTECTED]> writes:
|
| | On November 17, 2006 8:26 PM Gabriel Dos Reis
| | >
| | > [EMAIL PROTECTED] writes:
| | >
| | > | Revision: 266
| | > | http://svn.sourceforge.net/axiom/?rev=266&view=rev
| | > | Author: whe
"Bill Page" <[EMAIL PROTECTED]> writes:
| On November 17, 2006 8:26 PM Gabriel Dos Reis
| >
| > [EMAIL PROTECTED] writes:
| >
| > | Revision: 266
| > | http://svn.sourceforge.net/axiom/?rev=266&view=rev
| > | Author: whebisch
| > | Date: 2006-11-15 12:29:45 -0800 (Wed, 15 Nov 200
[EMAIL PROTECTED] writes:
| Revision: 266
| http://svn.sourceforge.net/axiom/?rev=266&view=rev
| Author: whebisch
| Date: 2006-11-15 12:29:45 -0800 (Wed, 15 Nov 2006)
|
| Log Message:
| ---
| Make preloading of databases effective
|
| Modified Paths:
| --
|
root <[EMAIL PROTECTED]> writes:
| Gentlemen,
|
| Having just returned from a business trip and being overtired
| I made a mistake and copied the wrong directory for upload.
| Please delete that copy and I'll upload a corrected version shortly.
Done. :-)
And I can wait for tomorrow, when the jet
C Y <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis wrote:
| > C Y <[EMAIL PROTECTED]> writes:
| >
| > | Indeed. The Aldor documentation is not free at all, and any attempt to
| > | define Aldor in a literate style would have to duplicate Aldor without
| > | duplicating too closely its documentati
Gentlemen,
Having just returned from a business trip and being overtired
I made a mistake and copied the wrong directory for upload.
Please delete that copy and I'll upload a corrected version shortly.
Tim
___
Axiom-developer mailing list
Axiom-develo
Gabriel Dos Reis wrote:
> C Y <[EMAIL PROTECTED]> writes:
>
> | Indeed. The Aldor documentation is not free at all, and any attempt to
> | define Aldor in a literate style would have to duplicate Aldor without
> | duplicating too closely its documentation - that's a real problem.
>
> I cannot par
Le vendredi 17 novembre 2006 à 22:29 +0100, Vanuxem Gregory a écrit :
> Le vendredi 17 novembre 2006 à 21:50 +0100, Waldek Hebisch a écrit :
> > > Hello,
> > >
> > > Here is a small patch that fixes the incorrect retrieval of some Streams
> > > from a KAF file. It replaces 'EQ' by 'EQUAL' for comp
Le vendredi 17 novembre 2006 à 21:50 +0100, Waldek Hebisch a écrit :
> > Hello,
> >
> > Here is a small patch that fixes the incorrect retrieval of some Streams
> > from a KAF file. It replaces 'EQ' by 'EQUAL' for comparisons of strings.
> > There are some other unmodified uses of EQ in this file.
I forgot,
Le vendredi 17 novembre 2006 à 21:46 +0100, Vanuxem Gregory a écrit :
[...]
> (4) -> ((1/4)=(1/4)::ANY)@Boolean
>
>(4) false
But
(8) -> (3=(3::ANY))@Boolean
(8) true
Greg
___
Axiom-developer mailing list
Axiom-developer@nong
root <[EMAIL PROTECTED]> writes:
| > | > I asked the same question some days ago (forget the typos)
| > | > http://lists.gnu.org/archive/html/axiom-developer/2006-11/msg00436.html
| > | > No other response so I'm assuming it is no longer available.
| > |
| > | Sorry, I've been away on business an
Martin Rubey <[EMAIL PROTECTED]> writes:
[...]
| > Recursive algebraic types is a redundancy :-)
|
| But I didn't say "algebraic"! I want it for any functions F, G:
The point I'm trying to make -- I suspect it must be too indirect --
is that if we have algebraic types, recursive types (whether
> Hello,
>
> Here is a small patch that fixes the incorrect retrieval of some Streams
> from a KAF file. It replaces 'EQ' by 'EQUAL' for comparisons of strings.
> There are some other unmodified uses of EQ in this file. They need
> further investigations and in particular I need to look at what I
Le vendredi 17 novembre 2006 à 13:15 -0500, Bill Page a écrit :
> On November 17, 2006 1:03 PM Vanuxem Gregory
> >
> > Le vendredi 17 novembre 2006 à 17:17 +0100, Martin Rubey a écrit :
> >
> > [...]
> >
> > > I want to get rid of
> > > that stupid ANY workaround in the series domains.
> >
> >
root wrote:
>
> http://daly.axiom-developer.org/Axiom.NAG.tgz
>
I have fetched the file. Thanks.
--
Waldek Hebisch
[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/
Peter Broadbery <[EMAIL PROTECTED]> writes:
> On Fri, 2006-11-17 at 11:36 +0100, Martin Rubey wrote:
> > Peter Broadbery <[EMAIL PROTECTED]> writes:
> >
> > > On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> >
> > > > And, as you know, in my opinion the first step in making this happen i
On Fri, 2006-11-17 at 11:36 +0100, Martin Rubey wrote:
> Peter Broadbery <[EMAIL PROTECTED]> writes:
>
> > On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
>
> > > And, as you know, in my opinion the first step in making this happen is to
> > > make the Axiom interpreter (!) understand Aldo
> | > I asked the same question some days ago (forget the typos)
> | > http://lists.gnu.org/archive/html/axiom-developer/2006-11/msg00436.html
> | > No other response so I'm assuming it is no longer available.
> |
> | Sorry, I've been away on business and unable to reach the net.
> |
> | There ar
"Bill Page" <[EMAIL PROTECTED]> writes:
> On November 17, 2006 1:03 PM Vanuxem Gregory
> >
> > Le vendredi 17 novembre 2006 à 17:17 +0100, Martin Rubey a écrit :
> >
> > [...]
> >
> > > I want to get rid of
> > > that stupid ANY workaround in the series domains.
> >
> > Get rid of ANY almost e
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> Martin Rubey <[EMAIL PROTECTED]> writes:
>
> | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> |
> | > | What are "algebraic types"?
> | >
> | > Ralf and you have been doing it in your project, I think. Basically,
> | > an algebraic type is any dat
On November 17, 2006 1:03 PM Vanuxem Gregory
>
> Le vendredi 17 novembre 2006 à 17:17 +0100, Martin Rubey a écrit :
>
> [...]
>
> > I want to get rid of
> > that stupid ANY workaround in the series domains.
>
> Get rid of ANY almost everywhere.
>
Why get rid of ANY? What is wrong with this id
On November 17, 2006 1:03 PM Ralf Hemmecke wrote:
>
> On 11/17/2006 06:17 PM, Bill Page wrote:
> ...
> > I would love to see some documentation of this work. My
> > impression is that it was largely done in a "closed" non-
> > open source manner. Was there a reason for that? Is there a
> > licens
Le vendredi 17 novembre 2006 à 17:17 +0100, Martin Rubey a écrit :
[...]
> I want to get rid of
> that stupid ANY workaround in the series domains.
Get rid of ANY almost everywhere.
Greg
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
h
On 11/17/2006 06:17 PM, Bill Page wrote:
On November 17, 2006 11:56 AM Martin Rubey wrote:
Just have a look at the WishList for some others.
Oh, I think we should drop Mupad-combinat from the wishlist.
That's done. :-)
I would love to see some documentation of this work. My
impression is th
On 11/16/2006 11:47 PM, Vanuxem Grégory wrote:
Le jeudi 16 novembre 2006 à 23:04 +0100, Ralf Hemmecke a écrit :
On 11/16/2006 10:38 PM, Vanuxem Grégory wrote:
Hello,
A small typo in the Axiom book:
--- /home/greg/TDevel/cvs/axiom/src/doc/book.pamphlet
+++ src/doc/book.pamphlet
@@ -48550,7 +
Martin Rubey <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > | What are "algebraic types"?
| >
| > Ralf and you have been doing it in your project, I think. Basically,
| > an algebraic type is any data type on can construct with sum and
| > products. Examples,
On November 17, 2006 11:56 AM Martin Rubey wrote:
> ...
> Just have a look at the WishList for some others.
>
> Oh, I think we should drop Mupad-combinat from the wishlist.
> That's done. :-)
>
I would love to see some documentation of this work. My
impression is that it was largely done in a
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | I did quite a bit of work with Aldor now (within the species project
> | together with Ralf), and I'm quite convinced of the features of this
> | language. In particular, the semantics of Aldor feel very "sound" to me,
> | i.e., Aldor usually does
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> | What are "algebraic types"?
>
> Ralf and you have been doing it in your project, I think. Basically,
> an algebraic type is any data type on can construct with sum and
> products. Examples,
>
> BinaryTree t = Nil | Node t (BinaryTree t) (Bin
Martin Rubey <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
|
| > | I did quite a bit of work with Aldor now (within the species project
| > | together with Ralf), and I'm quite convinced of the features of this
| > | language. In particular, the semantics of Aldor
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> You won't believe once I told my students to send files in plain ASCII.
I still do this. By the way, currently, I do not have umlauts when ssh'ing from
home to work. Our local support looked at it, but didn't find the reason. Very
likely, it is a probl
Hello,
Here is a small patch that fixes the incorrect retrieval of some Streams
from a KAF file. It replaces 'EQ' by 'EQUAL' for comparisons of strings.
There are some other unmodified uses of EQ in this file. They need
further investigations and in particular I need to look at what I
consider a b
On 11/17/2006 05:17 PM, Martin Rubey wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
I would very much like to be able to use any fancy character to denote the
multiplication of a monoid (not just ASCII).
I strongly disagree on this point. Any character OK, i.e., defining some
operation to b
Dear Tim,
root <[EMAIL PROTECTED]> writes:
> I'm afraid that I'm more inclined to deeply document the existing compiler
> before trying to tackle the problem of language modification. [...]
> [...] My contribution to the Aldor effort involved making Aldor work inside
> Axiom [...]
In fact, I co
> I guess it's Peter. Laurentiu says he doesn't know about the axiom
> side, but I know he knows foam. Tim, do you know about that stuff?
> Gaby, Waldek, did you dig into this connection yet?
I'm afraid that I'm more inclined to deeply document the existing
compiler before trying to tackle the pro
root <[EMAIL PROTECTED]> writes:
| > I asked the same question some days ago (forget the typos)
| > http://lists.gnu.org/archive/html/axiom-developer/2006-11/msg00436.html
| > No other response so I'm assuming it is no longer available.
|
| Sorry, I've been away on business and unable to reach th
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> I would very much like to be able to use any fancy character to denote the
> multiplication of a monoid (not just ASCII).
I strongly disagree on this point. Any character OK, i.e., defining some
operation to be infix or postfix, but please stay with ASC
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| > I've looked into FOAM, yes. But, from my perspective improved SPAD
| > should not be a clone of Aldor.
|
| Do you also consider to forget about FOAM? I guess, it is not below
| SPAD anyway.
I don't propose to forget it.
But, it is not on _my_ list o
Martin Rubey <[EMAIL PROTECTED]> writes:
| Dear Christian, Gaby, Waldek,
|
| Christian, I'm copying this to you since I think that you have a lot to say
| with respect to features and shortcomings of Aldor. I would like to ask you to
| join the discussion, time permitting.
|
| Gabriel Dos Reis <
> Tim, is there any legal reason why you did not include the htex
> directory in the open source version of Axiom?
Nope. The axiom conversion to open source took a couple years
and I never got around to handling the hypertex portions. Along
with several other tasks it is still on the todo list.
t
> I asked the same question some days ago (forget the typos)
> http://lists.gnu.org/archive/html/axiom-developer/2006-11/msg00436.html
> No other response so I'm assuming it is no longer available.
Sorry, I've been away on business and unable to reach the net.
There are still some files from the
| I think that will be an important discussion to be had as a project -
| just how compatible with Aldor we want to stay.
Probably. I would like to see a discussion about what is necessary to
support computational mathematics in Axiom, rather than how closely SPAD
should ressemble another langua
# Copyright The Numerical Algorithms Group Limited 1992-94.
#
# This is the main file for processing htex files and creating ht files
# It accepts one argument or four arguments. After processing the
# arguments, ARGC is reset to 2, if necessary.
#
# One argument case:
# - argument 1 is a ugXX.ht
I've looked into FOAM, yes.
But, from my perspective improved SPAD should not be a clone of Aldor.
Do you also consider to forget about FOAM? I guess, it is not below SPAD
anyway.
Ralf
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Dear Christian, Gaby, Waldek,
Christian, I'm copying this to you since I think that you have a lot to say
with respect to features and shortcomings of Aldor. I would like to ask you to
join the discussion, time permitting.
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> I would like to see a disc
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis wrote:
| > Explainingg why the new code is right implies one needs to understand
| > what the old code is doing and why it is wrong. In that respect, it
| > is just as important as the why of new code.
| >
|
| I would say that one of
C Y <[EMAIL PROTECTED]> writes:
| Waldek Hebisch wrote:
| > Martin Rubey wrote:
| >> C Y <[EMAIL PROTECTED]> writes:
| >>
| >>> I think we should make the decision as a project not to wait any longer
for
| >>> Aldor, and commit to improving SPAD - up until now I think there has been
| >>> hesitat
Gabriel Dos Reis wrote:
> Explainingg why the new code is right implies one needs to understand
> what the old code is doing and why it is wrong. In that respect, it
> is just as important as the why of new code.
>
I would say that one of the major sins of Axiom code is that it is
hard to say wh
Dear Waldek,
I'd just like to send you a BIG
___ _ _ __ __ _
|__ __| | | |\ \ / / | |
| | | |__ __ _ _ __ | | __ \ \_/ /__ _ _ | |
| | | '_ \ / _` | '_ \| |/ / \
Waldek Hebisch <[EMAIL PROTECTED]> writes:
| Martin Rubey wrote:
| > C Y <[EMAIL PROTECTED]> writes:
| >
| > > I think we should make the decision as a project not to wait any longer
for
| > > Aldor, and commit to improving SPAD - up until now I think there has been
| > > hesitation to commit se
Martin Rubey <[EMAIL PROTECTED]> writes:
[...]
| I guess it's Peter. Laurentiu says he doesn't know about the axiom
| side, but I know he knows foam. Tim, do you know about that stuff?
| Gaby, Waldek, did you dig into this connection yet?
I've looked into FOAM, yes.
But, from my perspective i
C Y <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis wrote:
| > C Y <[EMAIL PROTECTED]> writes:
| >
| >
| > [...]
| >
| > | I have always thought that if we are making Axiom into literate
| > | documents, they should read as such - if I am looking for the pamphlet
| > | that describes the SPAD co
Waldek Hebisch wrote:
> Martin Rubey wrote:
>> C Y <[EMAIL PROTECTED]> writes:
>>
>>> I think we should make the decision as a project not to wait any longer for
>>> Aldor, and commit to improving SPAD - up until now I think there has been
>>> hesitation to commit serious effort to SPAD due to the
Vanuxem Grégory wrote:
> I encountered the same issue with the history of Axiom in a file which
> is buggy (see
> http://wiki.axiom-developer.org/323HandlingOfTheHistoryInAFile)
>
> I reported the Library file problem too on IssueTracker.
>
I applied the patch below to wh-sandbox -- so library a
Bill Page wrote:
> On November 16, 2006 9:31 PM Waldek Hebisch wrote:
> > I put the following in 'src/hyper/Makefile.pamphlet':
> >
> > In the long term, the [[.pht]] and viewports should be
> > generated at either
> > build time or installation time using commands like:
> > \begin{verbatim}
> >
Martin Rubey wrote:
> C Y <[EMAIL PROTECTED]> writes:
>
> > I think we should make the decision as a project not to wait any longer for
> > Aldor, and commit to improving SPAD - up until now I think there has been
> > hesitation to commit serious effort to SPAD due to the possibility of Aldor
> >
Peter Broadbery <[EMAIL PROTECTED]> writes:
> On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> > And, as you know, in my opinion the first step in making this happen is to
> > make the Axiom interpreter (!) understand Aldor generated code, i.e.,
> > dependent types.
>
> This is currently
On Fri, 2006-11-17 at 11:24 +0100, Waldek Hebisch wrote:
> Peter Broadbery wrote:
> > On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> > > Peter Broadbery is currently making Aldor extend work in Axiom. That's a
> > > giant
> > > step, in fact! Unfortuantely, it seems that support for de
Peter Broadbery wrote:
> On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> > Peter Broadbery is currently making Aldor extend work in Axiom. That's a
> > giant
> > step, in fact! Unfortuantely, it seems that support for dependent types is
> > even
> > more difficult. One would have to un
On Fri, 2006-11-17 at 08:43 +0100, Martin Rubey wrote:
> C Y <[EMAIL PROTECTED]> writes:
>
> > I think we should make the decision as a project not to wait any longer for
> > Aldor, and commit to improving SPAD - up until now I think there has been
> > hesitation to commit serious effort to SPAD d
62 matches
Mail list logo
