From MAILER-DAEMON Thu Jul 01 04:23:15 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUF3D-0002U7-1a
	for mharc-axiom-developer@gnu.org; Thu, 01 Jul 2010 04:23:15 -0400
Received: from [140.186.70.92] (port=36865 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUF39-0002RJ-Cb
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 04:23:12 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUF37-0006un-T3
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 04:23:11 -0400
Received: from trita.unife.it ([192.167.219.25]:57536)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUF37-0006uZ-KL
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 04:23:09 -0400
Received: from trita.unife.it (localhost.localdomain [127.0.0.1])
	by localhost (Email Security Appliance) with SMTP id
	8E22D101EAD7_C2C506BB
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 08:23:07 +0000 (GMT)
Received: from dns.unife.it (dns.unife.it [192.167.219.2])
	by trita.unife.it (Sophos Email Appliance) with ESMTP id
	8174F1018D96_C2C506BF
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 08:23:07 +0000 (GMT)
Received: from em243.mate.man (em243.mate.man [10.80.2.121])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by dns.unife.it (Postfix) with ESMTP id 546A072E3C
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 10:23:07 +0200 (CEST)
Date: Thu, 1 Jul 2010 10:23:00 +0200 (CEST)
From: "Fabio S." <f.stumbo@unife.it>
X-X-Sender: stumbo@localhost.localdomain
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Memory limit.
In-Reply-To: <E1OTyeh-0005kg-6c@hera.math.uni.wroc.pl>
Message-ID: <alpine.DEB.2.00.1006301722300.1895@localhost.localdomain>
References: <E1OTyeh-0005kg-6c@hera.math.uni.wroc.pl>
User-Agent: Alpine 2.00 (DEB 1167 2008-08-23)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (1)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Jul 2010 08:23:13 -0000


First of all, thanks for having isolated the question in a new thread.

Moreover, let me also say that my question arises from the fact that 
during some computations axiom aborts, after some hours, with the 
following error message

--------------
(150) ->

    >> System error:
    The storage for CONS is exhausted.
Currently, 65542 pages are allocated.
Use ALLOCATE to expand the space.
--------------


>> Using all the ram is another problem: should I post it in a new, different
>> thread?
>>
>
>>>>
>>>> What about the RAM? Is it a trivial question?
>>>> If I am not wrong, axiom uses only up to 1Gb of RAM: on modern systems this
>>>> can be a limit.
>>>>
>
> AFAIK this limitation has little to do with Axiom, it comes from GCL.
> IIRC that this is unavoidable using GCL 2.6.7. When using GCL 2.6.8
> I think it is possible to enlarge the limit.  This question came out
> few years ago and Camm Maguire (main GCL developer) gave the answer.
> Either search the list archives or try to contact Camm.
>
> --
>                              Waldek Hebisch

Before posting, I searched on the list archives.

Apart of finding a message of myself (in 2008) with the same
problem... :-(  I saw that the question is probably related to GCL but I 
couldn't realize how to solve it.
I tried

)lisp (ALLOCATE 'cons 200000 t))

changing the value in different ways but as long as I can guess from 
)lisp (room)
it doesn't increase the total amount of available RAM (i.e., maximum 
pages, which is always 262144, that is 1 Gb, if I am not wrong).

So, are you telling that I should install GCL 2.6.8 and after I would be 
able to increase it? How?

Fabio


From MAILER-DAEMON Thu Jul 01 04:37:33 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUFH3-0005a0-Ji
	for mharc-axiom-developer@gnu.org; Thu, 01 Jul 2010 04:37:33 -0400
Received: from [140.186.70.92] (port=54471 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUFH1-0005YR-8V
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 04:37:32 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUFGw-0000G5-SD
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 04:37:31 -0400
Received: from trita.unife.it ([192.167.219.25]:50054)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUFGw-0000Fm-Hh
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 04:37:26 -0400
Received: from trita.unife.it (localhost.localdomain [127.0.0.1])
	by localhost (Email Security Appliance) with SMTP id
	B608A101EAF5_C2C53C4B
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 08:37:24 +0000 (GMT)
Received: from dns.unife.it (dns.unife.it [192.167.219.2])
	by trita.unife.it (Sophos Email Appliance) with ESMTP id
	A9C621018E13_C2C53C4F
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 08:37:24 +0000 (GMT)
Received: from em243.mate.man (em243.mate.man [10.80.2.121])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by dns.unife.it (Postfix) with ESMTP id 827DF72E3D
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 10:37:24 +0200 (CEST)
Date: Thu, 1 Jul 2010 10:37:23 +0200 (CEST)
From: "Fabio S." <f.stumbo@unife.it>
X-X-Sender: stumbo@localhost.localdomain
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Compilation problem
In-Reply-To: <4C2B9117.1000409@axiom-developer.org>
Message-ID: <alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>
References: <alpine.DEB.2.00.1006291136540.1912@localhost.localdomain>
	<4C2A148D.2040604@axiom-developer.org>
	<alpine.DEB.2.00.1006301035160.1906@localhost.localdomain>
	<4C2B0E45.9040501@hemmecke.de>
	<alpine.DEB.2.00.1006301241320.1906@localhost.localdomain>
	<4C2B3F9B.30700@axiom-developer.org>
	<alpine.DEB.2.00.1006301715320.1895@localhost.localdomain>
	<4C2B61CE.3030008@axiom-developer.org>
	<alpine.DEB.2.00.1006301732590.1895@localhost.localdomain>
	<4C2B9117.1000409@axiom-developer.org>
User-Agent: Alpine 2.00 (DEB 1167 2008-08-23)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-895146394-1277973444=:1904"
X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (1)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Jul 2010 08:37:32 -0000

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--8323329-895146394-1277973444=:1904
Content-Type: TEXT/PLAIN; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: QUOTED-PRINTABLE

> I built ubuntu on a 64 bit machine and then did
> git clone http://github.com/daly/axiom.git
> cd axiom
> export AXIOM=3D`pwd`/mnt/ubuntu
> export PATH=3D$AXIOM/bin:$PATH
> make
>
> and it builds properly here.
>

I tried exactly the same as you, but the result doesn't change.

The logs are here, if they can help:

log of "make": http://dl.dropbox.com/u/7972796/make-1.log

log of "make NOISE=3D": http://dl.dropbox.com/u/7972796/make-noise-1.log

Clearly, something is wrong on my machine, but I can't realize what.

Dependencies are satisfied:

[root@em243:~]# apt-get install m4 libxpm-dev libxt-dev x-dev libx11-dev
Lettura elenco dei pacchetti... Fatto
Generazione albero delle dipendenze
Lettura informazioni sullo stato... Fatto
m4 =E8 gi=E0 alla versione pi=F9 recente.
libxpm-dev =E8 gi=E0 alla versione pi=F9 recente.
libxt-dev =E8 gi=E0 alla versione pi=F9 recente.
x-dev =E8 gi=E0 alla versione pi=F9 recente.
libx11-dev =E8 gi=E0 alla versione pi=F9 recente.
0 aggiornati, 0 installati, 0 da rimuovere e 0 non aggiornati.
[root@em243:~]# apt-get install libxext-dev gettext git-core texlive gawk=
=20
git-core
Lettura elenco dei pacchetti... Fatto
Generazione albero delle dipendenze
Lettura informazioni sullo stato... Fatto
libxext-dev =E8 gi=E0 alla versione pi=F9 recente.
gettext =E8 gi=E0 alla versione pi=F9 recente.
git-core =E8 gi=E0 alla versione pi=F9 recente.
texlive =E8 gi=E0 alla versione pi=F9 recente.
gawk =E8 gi=E0 alla versione pi=F9 recente.
git-core =E8 gi=E0 alla versione pi=F9 recente.
0 aggiornati, 0 installati, 0 da rimuovere e 0 non aggiornati.

(it is in italian, but I imagine it can be guessed)
--8323329-895146394-1277973444=:1904--


From MAILER-DAEMON Thu Jul 01 08:12:26 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUId0-0002Nn-5A
	for mharc-axiom-developer@gnu.org; Thu, 01 Jul 2010 08:12:26 -0400
Received: from [140.186.70.92] (port=43024 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUIcx-0002Mj-6u
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 08:12:24 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OUIcv-0000xA-Fe
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 08:12:23 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:51366
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OUIcv-0000wV-7I
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 08:12:21 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o61CCJ8a011354;
	Thu, 1 Jul 2010 07:12:19 -0500
Message-ID: <4C2C85B2.2090808@axiom-developer.org>
Date: Thu, 01 Jul 2010 08:10:26 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Compilation problem
References: <alpine.DEB.2.00.1006291136540.1912@localhost.localdomain>	<4C2A148D.2040604@axiom-developer.org>	<alpine.DEB.2.00.1006301035160.1906@localhost.localdomain>	<4C2B0E45.9040501@hemmecke.de>	<alpine.DEB.2.00.1006301241320.1906@localhost.localdomain>	<4C2B3F9B.30700@axiom-developer.org>	<alpine.DEB.2.00.1006301715320.1895@localhost.localdomain>	<4C2B61CE.3030008@axiom-developer.org>	<alpine.DEB.2.00.1006301732590.1895@localhost.localdomain>	<4C2B9117.1000409@axiom-developer.org>
	<alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>
In-Reply-To: <alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
X-MIME-Autoconverted: from 8bit to quoted-printable by axiom-developer.org id
	o61CCJ8a011354
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Jul 2010 12:12:24 -0000

Can you rerun the make as root?

Fabio S. wrote:
>> I built ubuntu on a 64 bit machine and then did
>> git clone http://github.com/daly/axiom.git
>> cd axiom
>> export AXIOM=3D`pwd`/mnt/ubuntu
>> export PATH=3D$AXIOM/bin:$PATH
>> make
>>
>> and it builds properly here.
>>
>
> I tried exactly the same as you, but the result doesn't change.
>
> The logs are here, if they can help:
>
> log of "make": http://dl.dropbox.com/u/7972796/make-1.log
>
> log of "make NOISE=3D": http://dl.dropbox.com/u/7972796/make-noise-1.lo=
g
>
> Clearly, something is wrong on my machine, but I can't realize what.
>
> Dependencies are satisfied:
>
> [root@em243:~]# apt-get install m4 libxpm-dev libxt-dev x-dev libx11-de=
v
> Lettura elenco dei pacchetti... Fatto
> Generazione albero delle dipendenze
> Lettura informazioni sullo stato... Fatto
> m4 =E8 gi=E0 alla versione pi=F9 recente.
> libxpm-dev =E8 gi=E0 alla versione pi=F9 recente.
> libxt-dev =E8 gi=E0 alla versione pi=F9 recente.
> x-dev =E8 gi=E0 alla versione pi=F9 recente.
> libx11-dev =E8 gi=E0 alla versione pi=F9 recente.
> 0 aggiornati, 0 installati, 0 da rimuovere e 0 non aggiornati.
> [root@em243:~]# apt-get install libxext-dev gettext git-core texlive=20
> gawk git-core
> Lettura elenco dei pacchetti... Fatto
> Generazione albero delle dipendenze
> Lettura informazioni sullo stato... Fatto
> libxext-dev =E8 gi=E0 alla versione pi=F9 recente.
> gettext =E8 gi=E0 alla versione pi=F9 recente.
> git-core =E8 gi=E0 alla versione pi=F9 recente.
> texlive =E8 gi=E0 alla versione pi=F9 recente.
> gawk =E8 gi=E0 alla versione pi=F9 recente.
> git-core =E8 gi=E0 alla versione pi=F9 recente.
> 0 aggiornati, 0 installati, 0 da rimuovere e 0 non aggiornati.
>
> (it is in italian, but I imagine it can be guessed)
> -----------------------------------------------------------------------=
-
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>  =20


From MAILER-DAEMON Thu Jul 01 12:28:52 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUMdA-0003cJ-Bo
	for mharc-axiom-developer@gnu.org; Thu, 01 Jul 2010 12:28:52 -0400
Received: from [140.186.70.92] (port=33393 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUMd3-0003YT-KD
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:28:50 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUMcw-0001lO-Rm
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:28:45 -0400
Received: from carne.unife.it ([192.167.219.26]:52565)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUMcw-0001kl-Fe
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:28:38 -0400
Received: from carne.unife.it (localhost.localdomain [127.0.0.1])
	by localhost (Email Security Appliance) with SMTP id
	5CC891A7F60F_C2CC230B
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 16:28:32 +0000 (GMT)
Received: from dns.unife.it (dns.unife.it [192.167.219.2])
	by carne.unife.it (Sophos Email Appliance) with ESMTP id
	5417F1A75A07_C2CC230F
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 16:28:32 +0000 (GMT)
Received: from em243.mate.man (em243.mate.man [10.80.2.121])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by dns.unife.it (Postfix) with ESMTP id 0386B72E3C
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 18:28:32 +0200 (CEST)
Date: Thu, 1 Jul 2010 18:28:30 +0200 (CEST)
From: "Fabio S." <f.stumbo@unife.it>
X-X-Sender: stumbo@localhost.localdomain
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Compilation problem
In-Reply-To: <4C2C85B2.2090808@axiom-developer.org>
Message-ID: <alpine.DEB.2.00.1007011823350.1904@localhost.localdomain>
References: <alpine.DEB.2.00.1006291136540.1912@localhost.localdomain>
	<4C2A148D.2040604@axiom-developer.org>
	<alpine.DEB.2.00.1006301035160.1906@localhost.localdomain>
	<4C2B0E45.9040501@hemmecke.de>
	<alpine.DEB.2.00.1006301241320.1906@localhost.localdomain>
	<4C2B3F9B.30700@axiom-developer.org>
	<alpine.DEB.2.00.1006301715320.1895@localhost.localdomain>
	<4C2B61CE.3030008@axiom-developer.org>
	<alpine.DEB.2.00.1006301732590.1895@localhost.localdomain>
	<4C2B9117.1000409@axiom-developer.org>
	<alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>
	<4C2C85B2.2090808@axiom-developer.org>
User-Agent: Alpine 2.00 (DEB 1167 2008-08-23)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (1)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Jul 2010 16:28:50 -0000

> Can you rerun the make as root?
>

Sure I can.
And I am doing it.
It is compiling and up to now, without errors.
It already passed the critical point.
Meanwhile, in another shell I started a compilation as normal user and it 
already stopped at the usual point.

As soon as the root shell will terminate I will submit the logs, if it is 
of some use.

Fabio


From MAILER-DAEMON Thu Jul 01 12:37:21 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUMlM-0007rM-T1
	for mharc-axiom-developer@gnu.org; Thu, 01 Jul 2010 12:37:21 -0400
Received: from [140.186.70.92] (port=38845 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUMlG-0007jY-Lv
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:37:19 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OUMlB-0003O9-PD
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:37:14 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:50236
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OUMlB-0003Nv-Jn
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:37:09 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o61Gb78a026357;
	Thu, 1 Jul 2010 11:37:07 -0500
Message-ID: <4C2CC3C2.8010408@axiom-developer.org>
Date: Thu, 01 Jul 2010 12:35:14 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Compilation problem
References: <alpine.DEB.2.00.1006291136540.1912@localhost.localdomain>	<4C2A148D.2040604@axiom-developer.org>	<alpine.DEB.2.00.1006301035160.1906@localhost.localdomain>	<4C2B0E45.9040501@hemmecke.de>	<alpine.DEB.2.00.1006301241320.1906@localhost.localdomain>	<4C2B3F9B.30700@axiom-developer.org>	<alpine.DEB.2.00.1006301715320.1895@localhost.localdomain>	<4C2B61CE.3030008@axiom-developer.org>	<alpine.DEB.2.00.1006301732590.1895@localhost.localdomain>	<4C2B9117.1000409@axiom-developer.org>	<alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>	<4C2C85B2.2090808@axiom-developer.org>
	<alpine.DEB.2.00.1007011823350.1904@localhost.localdomain>
In-Reply-To: <alpine.DEB.2.00.1007011823350.1904@localhost.localdomain>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Jul 2010 16:37:20 -0000

what are your ulimit settings?

ulimit -a


Fabio S. wrote:
>> Can you rerun the make as root?
>>
>
> Sure I can.
> And I am doing it.
> It is compiling and up to now, without errors.
> It already passed the critical point.
> Meanwhile, in another shell I started a compilation as normal user and 
> it already stopped at the usual point.
>
> As soon as the root shell will terminate I will submit the logs, if it 
> is of some use.
>
> Fabio
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>


From MAILER-DAEMON Thu Jul 01 12:45:03 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUMsp-0003R7-Cn
	for mharc-axiom-developer@gnu.org; Thu, 01 Jul 2010 12:45:03 -0400
Received: from [140.186.70.92] (port=50434 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUMsg-0003Jg-Uc
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:45:01 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUMsc-0004Xc-08
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:44:54 -0400
Received: from trita.unife.it ([192.167.219.25]:51693)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUMsb-0004X7-RV
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:44:49 -0400
Received: from trita.unife.it (localhost.localdomain [127.0.0.1])
	by localhost (Email Security Appliance) with SMTP id
	039C7101EAFE_C2CC600B
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 16:44:48 +0000 (GMT)
Received: from dns.unife.it (dns.unife.it [192.167.219.2])
	by trita.unife.it (Sophos Email Appliance) with ESMTP id
	E25521018DE9_C2CC5FFF
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 16:44:47 +0000 (GMT)
Received: from em243.mate.man (em243.mate.man [10.80.2.121])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by dns.unife.it (Postfix) with ESMTP id D003F72DE7
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 18:44:47 +0200 (CEST)
Date: Thu, 1 Jul 2010 18:44:46 +0200 (CEST)
From: "Fabio S." <f.stumbo@unife.it>
X-X-Sender: stumbo@localhost.localdomain
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Compilation problem
In-Reply-To: <4C2CC3C2.8010408@axiom-developer.org>
Message-ID: <alpine.DEB.2.00.1007011844150.1904@localhost.localdomain>
References: <alpine.DEB.2.00.1006291136540.1912@localhost.localdomain>
	<4C2A148D.2040604@axiom-developer.org>
	<alpine.DEB.2.00.1006301035160.1906@localhost.localdomain>
	<4C2B0E45.9040501@hemmecke.de>
	<alpine.DEB.2.00.1006301241320.1906@localhost.localdomain>
	<4C2B3F9B.30700@axiom-developer.org>
	<alpine.DEB.2.00.1006301715320.1895@localhost.localdomain>
	<4C2B61CE.3030008@axiom-developer.org>
	<alpine.DEB.2.00.1006301732590.1895@localhost.localdomain>
	<4C2B9117.1000409@axiom-developer.org>
	<alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>
	<4C2C85B2.2090808@axiom-developer.org>
	<alpine.DEB.2.00.1007011823350.1904@localhost.localdomain>
	<4C2CC3C2.8010408@axiom-developer.org>
User-Agent: Alpine 2.00 (DEB 1167 2008-08-23)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (1)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Jul 2010 16:45:01 -0000


[em243 18:43:20 axiom]$ ulimit -a
core file size          (blocks, -c) 0
data seg size           (kbytes, -d) unlimited
scheduling priority             (-e) 20
file size               (blocks, -f) unlimited
pending signals                 (-i) 16382
max locked memory       (kbytes, -l) 64
max memory size         (kbytes, -m) unlimited
open files                      (-n) 1024
pipe size            (512 bytes, -p) 8
POSIX message queues     (bytes, -q) 819200
real-time priority              (-r) 0
stack size              (kbytes, -s) 8192
cpu time               (seconds, -t) unlimited
max user processes              (-u) unlimited
virtual memory          (kbytes, -v) unlimited
file locks                      (-x) unlimited

This as user. As root it is the same.


> what are your ulimit settings?
>
> ulimit -a
>
>
> Fabio S. wrote:
>>> Can you rerun the make as root?
>>> 
>> 
>> Sure I can.
>> And I am doing it.
>> It is compiling and up to now, without errors.
>> It already passed the critical point.
>> Meanwhile, in another shell I started a compilation as normal user and it 
>> already stopped at the usual point.
>> 
>> As soon as the root shell will terminate I will submit the logs, if it is 
>> of some use.
>> 
>> Fabio
>> 
>> _______________________________________________
>> Axiom-developer mailing list
>> Axiom-developer@nongnu.org
>> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>> 
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>



From MAILER-DAEMON Thu Jul 01 12:51:16 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUMyq-0007q8-7W
	for mharc-axiom-developer@gnu.org; Thu, 01 Jul 2010 12:51:16 -0400
Received: from [140.186.70.92] (port=33868 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUMyi-0007o1-AC
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:51:14 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUMyc-0005uV-R9
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:51:08 -0400
Received: from carne.unife.it ([192.167.219.26]:61979)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUMyc-0005uL-L3
	for axiom-developer@nongnu.org; Thu, 01 Jul 2010 12:51:02 -0400
Received: from carne.unife.it (localhost.localdomain [127.0.0.1])
	by localhost (Email Security Appliance) with SMTP id
	52ADE1A7F60F_C2CC775B
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 16:51:01 +0000 (GMT)
Received: from dns.unife.it (dns.unife.it [192.167.219.2])
	by carne.unife.it (Sophos Email Appliance) with ESMTP id
	4A3361A75A1A_C2CC775F
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 16:51:01 +0000 (GMT)
Received: from em243.mate.man (em243.mate.man [10.80.2.121])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by dns.unife.it (Postfix) with ESMTP id 3460272E56
	for <axiom-developer@nongnu.org>; Thu,  1 Jul 2010 18:51:01 +0200 (CEST)
Date: Thu, 1 Jul 2010 18:50:59 +0200 (CEST)
From: "Fabio S." <f.stumbo@unife.it>
X-X-Sender: stumbo@localhost.localdomain
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Compilation problem
In-Reply-To: <4C2C85B2.2090808@axiom-developer.org>
Message-ID: <alpine.DEB.2.00.1007011847480.1904@localhost.localdomain>
References: <alpine.DEB.2.00.1006291136540.1912@localhost.localdomain>
	<4C2A148D.2040604@axiom-developer.org>
	<alpine.DEB.2.00.1006301035160.1906@localhost.localdomain>
	<4C2B0E45.9040501@hemmecke.de>
	<alpine.DEB.2.00.1006301241320.1906@localhost.localdomain>
	<4C2B3F9B.30700@axiom-developer.org>
	<alpine.DEB.2.00.1006301715320.1895@localhost.localdomain>
	<4C2B61CE.3030008@axiom-developer.org>
	<alpine.DEB.2.00.1006301732590.1895@localhost.localdomain>
	<4C2B9117.1000409@axiom-developer.org>
	<alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>
	<4C2C85B2.2090808@axiom-developer.org>
User-Agent: Alpine 2.00 (DEB 1167 2008-08-23)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (1)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Jul 2010 16:51:14 -0000

> Can you rerun the make as root?

Compilation ended. It seems ok. At least, I have the binary...

Here is the log

http://dl.dropbox.com/u/7972796/make-root.log

I am also making another test: I created a new ubuntu box in virtualbox 
and I didn't touch anything, just the minimum for compiling. I just 
started compilation there.

Fabio


From MAILER-DAEMON Fri Jul 02 06:34:37 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OUdZt-0007a1-Ap
	for mharc-axiom-developer@gnu.org; Fri, 02 Jul 2010 06:34:37 -0400
Received: from [140.186.70.92] (port=48259 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OUdZq-0007YD-Fm
	for axiom-developer@nongnu.org; Fri, 02 Jul 2010 06:34:35 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUdZn-0001W3-N5
	for axiom-developer@nongnu.org; Fri, 02 Jul 2010 06:34:32 -0400
Received: from trita.unife.it ([192.167.219.25]:64210)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <f.stumbo@unife.it>) id 1OUdZn-0001Vc-G9
	for axiom-developer@nongnu.org; Fri, 02 Jul 2010 06:34:31 -0400
Received: from trita.unife.it (localhost.localdomain [127.0.0.1])
	by localhost (Email Security Appliance) with SMTP id
	83748101E7C1_C2DC0B5B
	for <axiom-developer@nongnu.org>; Fri,  2 Jul 2010 10:34:29 +0000 (GMT)
Received: from dns.unife.it (dns.unife.it [192.167.219.2])
	by trita.unife.it (Sophos Email Appliance) with ESMTP id
	7A0671018B83_C2DC0B5F
	for <axiom-developer@nongnu.org>; Fri,  2 Jul 2010 10:34:29 +0000 (GMT)
Received: from em243.mate.man (em243.mate.man [10.80.2.121])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by dns.unife.it (Postfix) with ESMTP id 4983672E60
	for <axiom-developer@nongnu.org>; Fri,  2 Jul 2010 12:34:29 +0200 (CEST)
Date: Fri, 2 Jul 2010 12:34:25 +0200 (CEST)
From: "Fabio S." <f.stumbo@unife.it>
X-X-Sender: stumbo@localhost.localdomain
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] Compilation problem
In-Reply-To: <4C2CC3C2.8010408@axiom-developer.org>
Message-ID: <alpine.DEB.2.00.1007021226270.28515@localhost.localdomain>
References: <alpine.DEB.2.00.1006291136540.1912@localhost.localdomain>
	<4C2A148D.2040604@axiom-developer.org>
	<alpine.DEB.2.00.1006301035160.1906@localhost.localdomain>
	<4C2B0E45.9040501@hemmecke.de>
	<alpine.DEB.2.00.1006301241320.1906@localhost.localdomain>
	<4C2B3F9B.30700@axiom-developer.org>
	<alpine.DEB.2.00.1006301715320.1895@localhost.localdomain>
	<4C2B61CE.3030008@axiom-developer.org>
	<alpine.DEB.2.00.1006301732590.1895@localhost.localdomain>
	<4C2B9117.1000409@axiom-developer.org>
	<alpine.DEB.2.00.1007011025020.1904@localhost.localdomain>
	<4C2C85B2.2090808@axiom-developer.org>
	<alpine.DEB.2.00.1007011823350.1904@localhost.localdomain>
	<4C2CC3C2.8010408@axiom-developer.org>
User-Agent: Alpine 2.00 (DEB 1167 2008-08-23)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (1)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 02 Jul 2010 10:34:35 -0000


Maybe I solved my problem.
At least, I have found the cause, but not the reason.

I said that I created a new ubuntu box: it compiled there.

So the problem was in my settings.

I created a new user on my (real) machine: on the new user, it compiled.

So the problem was in my _user_ settings.

I made many tests (removing personal settings in .bashrc, .profile and so 
on).

The only thing that helped was removing my ~/.axiom.input

After removing that file, the compilation is going on: it is not yet 
finished but it has gone well past the point where it usually stops.

The content of the .axiom.input file is

-----
++ Copiare questo file nel file "axiom.input" nella propria HOME affinche'
++ axiom lo esegua in partenza
)set            quit                    unprotected
)set            functions compile       on
)set            message time            on
++)set            output                  length  137
)set            output                  length  96
)synonym        uscita                  set output algebra
++)lib /home/stumbo/Axiom_lib/OFMONOID
-----

Fabio


From MAILER-DAEMON Thu Jul 08 04:23:48 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OWmOa-0008KX-2F
	for mharc-axiom-developer@gnu.org; Thu, 08 Jul 2010 04:23:48 -0400
Received: from [140.186.70.92] (port=42149 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OWmOX-0008KN-Sa
	for axiom-developer@nongnu.org; Thu, 08 Jul 2010 04:23:46 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <sargrigory@ya.ru>) id 1OWmOW-0006Pb-FW
	for axiom-developer@nongnu.org; Thu, 08 Jul 2010 04:23:45 -0400
Received: from forward4.mail.yandex.net ([77.88.46.9]:52633)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <sargrigory@ya.ru>) id 1OWmOW-0006P6-9E
	for axiom-developer@nongnu.org; Thu, 08 Jul 2010 04:23:44 -0400
Received: from web5.yandex.ru (web5.yandex.ru [213.180.223.150])
	by forward4.mail.yandex.net (Yandex) with ESMTP id 13DF66AD88F8
	for <axiom-developer@nongnu.org>; Thu,  8 Jul 2010 12:23:41 +0400 (MSD)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail;
	t=1278577421; bh=KLJtvkPvxsBGS+bzVC6/BxgYVrYKyzwPtJcuiHLVypc=;
	h=From:To:Subject:MIME-Version:Message-Id:Date:
	Content-Transfer-Encoding:Content-Type;
	b=YLNfv5K6f8yzIgOHGTfyW98UtviUZ58o36gqlrLKm+9ONvilUHCGV2XQ8JZsycM0G
	vi7WFSuPP+dUYZjzGVyBGMq+maDV8oI1nAqj9719qpd5Fz3p8JQ1eafWl3fDRdB3pg
	8oU8tzsKbxFZ5eGOlWkGY31DWjlhObwFFUuQYF94=
Received: from localhost (localhost.localdomain [127.0.0.1])
	by web5.yandex.ru (Yandex) with ESMTP id 10E932E8059
	for <axiom-developer@nongnu.org>; Thu,  8 Jul 2010 12:23:41 +0400 (MSD)
X-Yandex-Spam: 1
X-Yandex-Front: web5.yandex.ru 
X-Yandex-TimeMark: 1278577421 
Received: from localhost (localhost [127.0.0.1]) by mail.yandex.ru with HTTP; 
	Thu, 08 Jul 2010 12:23:40 +0400
From: Grigory Sarnitskiy <sargrigory@ya.ru>
To: axiom-developer@nongnu.org
MIME-Version: 1.0
Message-Id: <147791278577420@web5.yandex.ru>
Date: Thu, 08 Jul 2010 12:23:40 +0400
X-Mailer: Yamail [ http://yandex.ru ] 5.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Subject: [Axiom-developer] Syntax highlighting.
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 08 Jul 2010 08:23:47 -0000

Hello, I wonder what text editors are capable of syntax highlighting for axiom input files.

I'm sure, even if there are no such default feature somebody here has written it for his own usage.

Ideally, I would like to find .lang file for gtkSourceView to use in gedit.


From MAILER-DAEMON Fri Jul 09 04:31:12 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OX8zH-00075D-OU
	for mharc-axiom-developer@gnu.org; Fri, 09 Jul 2010 04:31:11 -0400
Received: from [140.186.70.92] (port=36061 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OX8zE-00072j-2I
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 04:31:09 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <sargrigory@ya.ru>) id 1OX8zB-0007Pj-Se
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 04:31:07 -0400
Received: from forward15.mail.yandex.net ([95.108.130.119]:60008)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <sargrigory@ya.ru>) id 1OX8zB-0007PB-Kl
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 04:31:05 -0400
Received: from web140.yandex.ru (web140.yandex.ru [95.108.130.8])
	by forward15.mail.yandex.net (Yandex) with ESMTP id BA5BE514011D
	for <axiom-developer@nongnu.org>; Fri,  9 Jul 2010 12:30:16 +0400 (MSD)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail;
	t=1278664216; bh=GFRWmJZru3njijkOsAEZSNOsj+x2boPlRDPCdrCv9ZM=;
	h=From:To:Subject:MIME-Version:Message-Id:Date:
	Content-Transfer-Encoding:Content-Type;
	b=kFWr3NdW9eOXfpQe1T5RAiwFhq1nh+n06ws5kRMEwLTfTR1zEFj1YR5InYmGhpfWJ
	cN9Fk4+42ndo/h5U/S44a3bXMojn30DBm9Qh1EQaDfgeSH8KlaDjszHArtZoE/0z9o
	6ahXQeyddOhTSAbjbwF026NgIPmtdk06Lv0Yt0Ds=
Received: from localhost (localhost.localdomain [127.0.0.1])
	by web140.yandex.ru (Yandex) with ESMTP id B7D9C4990064
	for <axiom-developer@nongnu.org>; Fri,  9 Jul 2010 12:30:16 +0400 (MSD)
X-Yandex-Spam: 1
X-Yandex-Front: web140.yandex.ru 
X-Yandex-TimeMark: 1278664216 
Received: from localhost (localhost [127.0.0.1]) by mail.yandex.ru with HTTP; 
	Fri, 09 Jul 2010 12:30:15 +0400
From: Grigory Sarnitskiy <sargrigory@ya.ru>
To: axiom-developer@nongnu.org
MIME-Version: 1.0
Message-Id: <255991278664216@web140.yandex.ru>
Date: Fri, 09 Jul 2010 12:30:15 +0400
X-Mailer: Yamail [ http://yandex.ru ] 5.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Subject: [Axiom-developer] Understanding Axiom.
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 09 Jul 2010 08:31:10 -0000

I think I don't understand some aspects of Axiom.

Imagine I want to have a function that returns the derivative of real-valued function of one real variable, something like

Deriv  : ((Float) -> Float) -> ((Float) -> Float)

I want Deriv to handle symbolic computation, not (Deriv f) to be some numeric algorithm to return value for every point.
So may be for symbolic computation I need another type, not ((Float) -> Float) -> ((Float) -> Float) ?

What type should I use to deal symbolically with real valued functions of real valuables? I guess most natural type like (Float -> Float) won't help.


From MAILER-DAEMON Fri Jul 09 04:48:53 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OX9GP-00038c-8F
	for mharc-axiom-developer@gnu.org; Fri, 09 Jul 2010 04:48:53 -0400
Received: from [140.186.70.92] (port=52833 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OX9GJ-00037J-RS
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 04:48:50 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <martin.rubey@math.uni-hannover.de>)
	id 1OX9GI-0001mC-1y
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 04:48:47 -0400
Received: from authsmtp.rrzn.uni-hannover.de ([130.75.2.107]:42643)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <martin.rubey@math.uni-hannover.de>)
	id 1OX9GH-0001la-Mt
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 04:48:46 -0400
Received: from ada0.ifam.uni-hannover.de (ada0.ifam.uni-hannover.de
	[130.75.17.184])
	by authsmtp.rrzn.uni-hannover.de (8.14.4/8.14.4) with ESMTP id
	o698meEP021058; Fri, 9 Jul 2010 10:48:42 +0200
To: Grigory Sarnitskiy <sargrigory@ya.ru>
Subject: Re: [Axiom-developer] Understanding Axiom.
References: <255991278664216@web140.yandex.ru>
From: Martin Rubey <martin.rubey@math.uni-hannover.de>
Date: Fri, 09 Jul 2010 10:48:41 +0200
In-Reply-To: <255991278664216@web140.yandex.ru> (Grigory Sarnitskiy's message
	of "Fri\, 09 Jul 2010 12\:30\:15 +0400")
Message-ID: <d9fwzt82hi.fsf@ada0.ifam.uni-hannover.de>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-PMX-Version: 5.5.9.395186, Antispam-Engine: 2.7.2.376379,
	Antispam-Data: 2010.7.2.15115
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2)
Cc: axiom-developer@nongnu.org
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 09 Jul 2010 08:48:50 -0000

Grigory Sarnitskiy <sargrigory@ya.ru> writes:

> I think I don't understand some aspects of Axiom.
>
> Imagine I want to have a function that returns the derivative of real-valued function of one real variable, something like
>
> Deriv  : ((Float) -> Float) -> ((Float) -> Float)
>
> I want Deriv to handle symbolic computation, not (Deriv f) to be some numeric algorithm to return value for every point.
> So may be for symbolic computation I need another type, not ((Float) -> Float) -> ((Float) -> Float) ?

> What type should I use to deal symbolically with real valued functions
> of real valuables? I guess most natural type like (Float -> Float)
> won't help.

Precisely.  

There are several options, depending on your situation.  The most
general type is Expression Integer:

(1) -> ex := D(exp(x*(log x)), x)

                      x log(x)
   (1)  (log(x) + 1)%e
                                                    Type: Expression(Integer)
To evaluate at a point, use

(2) -> eval(ex, x=1)

   (2)  1
                                                    Type: Expression(Integer)
(3) -> eval(ex, x=%e)

           %e
   (3)  2%e
                                                    Type: Expression(Integer)
(4) -> eval(ex, x=y)

                      y log(y)
   (4)  (log(y) + 1)%e
                                                    Type: Expression(Integer)

Note that we are dealing here not really with functions, but rather with
"expressions" (roughly: with elements of a differential algebra).  The
main drawback of Expression Integer is that there is no reliable way to
test whether two expressions are equal (that's shown to be impossible).
Sometimes you can get by using "normalize":

(1) -> ex1 := exp(x+log x); ex2 := x*exp x;

                                                    Type: Expression(Integer)
(2) -> (ex1 = ex2)@Boolean

   (2)  false
                                                                Type: Boolean
(3) -> zero?(ex1 - ex2)

   (3)  false
                                                                Type: Boolean
(4) -> normalize(ex1) - normalize(ex2)

          log(x) + x       x
   (4)  %e           - x %e
                                                    Type: Expression(Integer)
(5) -> normalize(ex1 - ex2)

   (5)  0
                                                    Type: Expression(Integer)

If you have only rational functions, use Fraction Polynomial Integer
(short: FRAC POLY INT), where it is always possible to decide equality.

Finally, if you know that your functions are algebraic, or satisfy a
linear differential equation, or are differentially algebraic, I have
experimental code that deals with those...

I'd need more info to give a better answer.

Martin


From MAILER-DAEMON Sun Jul 11 10:14:30 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OXxIb-0000ZE-CL
	for mharc-axiom-developer@gnu.org; Sun, 11 Jul 2010 10:14:29 -0400
Received: from [140.186.70.92] (port=38286 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OXITC-0000Wo-H2
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 14:38:43 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>) id 1OXITA-0002H8-TR
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 14:38:42 -0400
Received: from mailrelay.tu-graz.ac.at ([129.27.2.202]:62156
	helo=mailrelay.tugraz.at) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>) id 1OXITA-0002Cv-I4
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 14:38:40 -0400
Received: from mail.math.tu-graz.ac.at (mail.math.tu-graz.ac.at
	[129.27.148.83]) (authenticated bits=0)
	by mailrelay2.tugraz.at (8.14.4/8.14.4) with ESMTP id o69Ic4vD008032
	(version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO);
	Fri, 9 Jul 2010 20:38:04 +0200 (CEST)
X-DKIM: Sendmail DKIM Filter v2.8.3 mailrelay2.tugraz.at o69Ic4vD008032
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=tugraz.at;
	s=mailrelay; t=1278700685; i=@math.tugraz.at;
	bh=/SexizkW0kT0fNAmi1qGJBWRJ0QJUPzFIPRSPbSyeP4=;
	h=Date:From:To:cc:Subject:In-Reply-To:Message-ID:References:
	MIME-Version:Content-Type;
	b=GYgVtpIWz+233g4xXzkc9s/ff4EqyI8NRtgQSbaOeiFFmL3I4zh05r4YEtP1sY1RZ
	zfniHI0u7/iBd/R35OtlKdLQXtSxmOSHlBTOfkQPGdj79peeenBSSNxAvOgYqc8GY1
	qH5ovYGQlAeND7zldAayupND5Vl0+rzlhDx/t+Lg=
Received: from schlumpf.math.tu-graz.ac.at ([129.27.150.29]:34756)
	by mail.math.tu-graz.ac.at with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.69) (envelope-from <lehner@math.tugraz.at>)
	id 1OXISb-0006nX-J3; Fri, 09 Jul 2010 20:38:05 +0200
Received: from lehner (helo=localhost)
	by schlumpf.math.tu-graz.ac.at with local-esmtp (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>)
	id 1OXISb-0004JT-Hz; Fri, 09 Jul 2010 20:38:05 +0200
Date: Fri, 9 Jul 2010 20:38:05 +0200 (CEST)
From: Franz Lehner <lehner@math.tugraz.at>
To: Grigory Sarnitskiy <sargrigory@ya.ru>
Subject: Re: [Axiom-developer] Syntax highlighting.
In-Reply-To: <147791278577420@web5.yandex.ru>
Message-ID: <alpine.DEB.1.10.1007092032250.16427@schlumpf.math.tu-graz.ac.at>
References: <147791278577420@web5.yandex.ru>
User-Agent: Alpine 1.10 (DEB 962 2008-03-14)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
X-Previous-Spam-Scanner: 
X-Previous-Spam-Score: 
X-Previous-Spam-Tests: 
X-SA-Exim-Connect-IP: 129.27.150.29
X-SA-Exim-Mail-From: lehner@math.tugraz.at
X-SA-Exim-Scanned: No (on mail.math.tu-graz.ac.at);
	SAEximRunCond expanded to false
X-TUG-Backscatter-control: FqMcHsbqqcXfnJn4OIe0qg
X-Scanned-By: MIMEDefang 2.70 on 129.27.10.19
X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta)
X-Mailman-Approved-At: Sun, 11 Jul 2010 10:14:27 -0400
Cc: axiom-developer@nongnu.org
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 09 Jul 2010 18:38:44 -0000

On Thu, 8 Jul 2010, Grigory Sarnitskiy wrote:
> Hello, I wonder what text editors are capable of syntax highlighting for 
> axiom input files.
I personally use Ralf's aldor-mode for emacs in one buffer for editing
  https://portal.risc.jku.at/Members/hemmecke/aldor/emacs
and Martin's emacs interface (included with fricas, don't know about axiom)
in another for executing.

regards,
Franz


From MAILER-DAEMON Sun Jul 11 10:14:30 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OXxIc-0000Za-2K
	for mharc-axiom-developer@gnu.org; Sun, 11 Jul 2010 10:14:30 -0400
Received: from [140.186.70.92] (port=48650 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OXIbm-0002dy-Kq
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 14:47:36 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>) id 1OXIbk-0003Py-Pu
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 14:47:34 -0400
Received: from mailrelay.tu-graz.ac.at ([129.27.2.202]:29489
	helo=mailrelay.tugraz.at) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>) id 1OXIbk-0003Pe-Fz
	for axiom-developer@nongnu.org; Fri, 09 Jul 2010 14:47:32 -0400
Received: from mail.math.tu-graz.ac.at (mail.math.tu-graz.ac.at
	[129.27.148.83]) (authenticated bits=0)
	by mailrelay2.tugraz.at (8.14.4/8.14.4) with ESMTP id o69IlSV2008452
	(version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO);
	Fri, 9 Jul 2010 20:47:28 +0200 (CEST)
X-DKIM: Sendmail DKIM Filter v2.8.3 mailrelay2.tugraz.at o69IlSV2008452
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=tugraz.at;
	s=mailrelay; t=1278701249; i=@math.tugraz.at;
	bh=g7LgmaXWhKIbwjIs6U2ngOkMFDDlVDXKE2uPXnVE9o4=;
	h=Date:From:To:cc:Subject:In-Reply-To:Message-ID:References:
	MIME-Version:Content-Type;
	b=Ei2sw8vS0Qhl3NLSwpzePWb3NOtL8crhpGmg4gNUhdFEVPdoYK7juMHOAz1TiRvl/
	l7E1zIug7lGVJD9fNzXGCRdLLySY/vUynkJvATCTL0iOBo3fztxwWawqcSe6ofOWcb
	ccL1amknnOzz/zFvdhqSUoqyJLIpYdaz8jIGlKLg=
Received: from schlumpf.math.tu-graz.ac.at ([129.27.150.29]:49372)
	by mail.math.tu-graz.ac.at with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.69) (envelope-from <lehner@math.tugraz.at>)
	id 1OXIbh-0006oR-EV; Fri, 09 Jul 2010 20:47:29 +0200
Received: from lehner (helo=localhost)
	by schlumpf.math.tu-graz.ac.at with local-esmtp (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>)
	id 1OXIbh-0004Kk-DL; Fri, 09 Jul 2010 20:47:29 +0200
Date: Fri, 9 Jul 2010 20:47:29 +0200 (CEST)
From: Franz Lehner <lehner@math.tugraz.at>
To: Grigory Sarnitskiy <sargrigory@ya.ru>
Subject: Re: [Axiom-developer] Understanding Axiom.
In-Reply-To: <255991278664216@web140.yandex.ru>
Message-ID: <alpine.DEB.1.10.1007092038320.16427@schlumpf.math.tu-graz.ac.at>
References: <255991278664216@web140.yandex.ru>
User-Agent: Alpine 1.10 (DEB 962 2008-03-14)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
X-Previous-Spam-Scanner: 
X-Previous-Spam-Score: 
X-Previous-Spam-Tests: 
X-SA-Exim-Connect-IP: 129.27.150.29
X-SA-Exim-Mail-From: lehner@math.tugraz.at
X-SA-Exim-Scanned: No (on mail.math.tu-graz.ac.at);
	SAEximRunCond expanded to false
X-TUG-Backscatter-control: FqMcHsbqqcXfnJn4OIe0qg
X-Scanned-By: MIMEDefang 2.70 on 129.27.10.19
X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta)
X-Mailman-Approved-At: Sun, 11 Jul 2010 10:14:28 -0400
Cc: axiom-developer@nongnu.org
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Fri, 09 Jul 2010 18:47:36 -0000

On Fri, 9 Jul 2010, Grigory Sarnitskiy wrote:
> Imagine I want to have a function that returns the derivative of real-valued function of one real variable, something like
>
> Deriv  : ((Float) -> Float) -> ((Float) -> Float)
As Martin wrote, axiom only handles derivatives of expressions.
In Leibniz' times every function was an expression, nowadays this is not 
true anymore.
In Axiom an object of type Float->Float is a function in the sense of 
programming, i.e., it takes an object of type float and returns an object 
of type float.
You can always turn an expression into a function in this sense:
(1) -> y:=sin x + 1

    (1)  sin(x) + 1
                                                     Type: Expression(Integer)
(2) -> function(y,f,x)

    (2)  f
                                                                  Type: Symbol
(3) -> f(u)
    Compiling function f with type Variable(u) -> Expression(Integer)

    (3)  sin(u) + 1
                                                     Type: Expression(Integer)
(4) -> f(1.0)
    Compiling function f with type Float -> Float

    (4)  1.8414709848 078965067
                                                                  Type: Float

regards,
Franz


From MAILER-DAEMON Mon Jul 12 18:11:47 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OYRE3-0006qc-10
	for mharc-axiom-developer@gnu.org; Mon, 12 Jul 2010 18:11:47 -0400
Received: from [140.186.70.92] (port=43728 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OYRDz-0006oI-IE
	for axiom-developer@nongnu.org; Mon, 12 Jul 2010 18:11:44 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OYRDt-0002O0-Qj
	for axiom-developer@nongnu.org; Mon, 12 Jul 2010 18:11:43 -0400
Received: from mail-gw0-f57.google.com ([74.125.83.57]:40846)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OYRDt-0002No-NY
	for axiom-developer@nongnu.org; Mon, 12 Jul 2010 18:11:37 -0400
Received: by gwaa18 with SMTP id a18so8969133gwa.22
	for <axiom-developer@nongnu.org>; Mon, 12 Jul 2010 15:11:36 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.101.179.22 with SMTP id g22mt8751611anp.46.1278972696234; Mon, 
	12 Jul 2010 15:11:36 -0700 (PDT)
Path: y11g2000yqm.googlegroups.com!not-for-mail
Newsgroups: sci.math.symbolic
Date: Mon, 12 Jul 2010 15:11:36 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: y11g2000yqm.googlegroups.com; posting-host=72.23.235.203; 
	posting-account=m2ufuQoAAAAnP4mhpj2-bRzndif0-AIg
NNTP-Posting-Host: 72.23.235.203
References: <06332613-837a-4d84-8248-020b6f86e50c@u20g2000pru.googlegroups.com>
	<e834332f-badc-4b85-ae80-e01bc43ecdd5@w31g2000yqb.googlegroups.com> 
	<ac0605f4-aeab-4538-9e23-6da9c2f372ed@s6g2000prg.googlegroups.com> 
	<4C1E381F.5CA504A5@freenet.de> <8875d8FmluU1@mid.individual.net> 
	<hvlrpo$r7v$1@speranza.aioe.org> <i0btca$ous$1@speranza.aioe.org> 
	<i0mo8t$5ab$1@speranza.aioe.org>
	<34686c2a-4288-49b3-a4c2-495a0b98b943@i16g2000prn.googlegroups.com>
	<63e9cbab-a253-4f90-af99-e65701761025@w31g2000yqb.googlegroups.com> 
	<fd7b50d6-f97c-4ea9-9e70-19e7f825623c@3g2000vbg.googlegroups.com> 
	<4C3B6DB7.9020008@cs.berkeley.edu>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.0.5) 
	Gecko/2008120122 Firefox/3.0.5,gzip(gfe)
Message-ID: <c90ad993-08fa-4887-b76d-4c66a8592b3e@y11g2000yqm.googlegroups.com>
From: TimDaly <daly@axiom-developer.org>
To: axiom-developer@nongnu.org
Cc: axiom-developer@nongnu.org
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2)
Subject: [Axiom-developer] Re: Rule-based integration
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 12 Jul 2010 22:11:45 -0000

On Jul 12, 3:32=A0pm, Richard Fateman <fate...@cs.berkeley.edu> wrote:
> There are issues in pattern matching that are fairly subtle, and may
> not be obvious to the casual reader (or programmer).
>
> For example, you may have a rule that works to integrate
>
> exp(n*x) * x^m =A0wrt x.
> Mathematica 7 gives
>
> -E^(-n x) (E^x)^n x^(1 + m) (-n x)^(-1 - m) Gamma[1 + m, -n x]
>
> now if we substitute n->0, we should get something like
>
> If m=3D-1 then log(x) =A0else x^(m+1)/(m+1)
>
> but
> mathematica gives
> -0^(-1 - m) x^(1 + m) Gamma[1 + m, 0]
> and actually, for integral of x^m, it still does not include the log
> possibilities.
>
> But back to patterns. =A0If we try to classify the pattern for
> exp(n*x)*x^m, =A0we might say that this rule applies to
> products of exponentials and powers.
>
> but perhaps it is also a rule that applies to
> products of exponentials and symbols like x, =A0where of course x^1 is a
> power, but simplified to x.
>
> or maybe it is a rule that applies just to exponentials, since x^0 is a
> power, but but simplified to 1, after which the "product" disappears
> entirely.
>
> This is all to provide a specific example of a kind of rule that may
> crop up fairly often..
>
> Consider a rule that for particular functions f,g,h =A0 like (say) exp,
> log, sin, power, ...erf, gamma, ... says how to integrate f^n*g^m*h^k ..
>
> given a particular expression to integrate, it might be missing some
> power, or even missing some function entirely. =A0This makes finding the
> right rules more difficult.
>
> The trick in assembling large numbers of rules is to make sure you don't
> have to run them all, but only that (one hopes) very small subset that
> is likely or even possible to match.
>
> I think it is great that Rubi may be adapted for free software systems.
>
> RJF

There has been some initial discussions between myself, Albert Rich,
and David Parnas about how to think about this problem.

My current thinking involves a tree-structuring of the rule patterns
where each node in the tree represents one or more pattern
tables and each edge is a function (e.g. division operation, etc).
Walking the input expression walks the tree to find applicable
patterns.
Because a pattern table can be reached from many different paths the
"tree" is actually a graph. Each table specifies an input pattern and
an output pattern and the output pattern points to another node.

So far all I have are "paper studies" using index cards as the tables.

I looked at constructing a Rete pattern match (Charles Forgy, OPS5)
but there are only a small number of rules that can be applied so
there is not much depth. I also don't know quite how to factor the
"meta rules" into a Rete network.

There are a lot of interesting questions that arise, such as the
issue of branch cuts and choice of trigonometric identities that
get applied (which can easily lead to cycles).

The problem also seems ideal for a parallel decomposition because
I can see multiple patterns applied in any situation (e.g. making
various choices for integration by parts).

Special functions are also a question... is it better to leave the
result as sin(x)/x or to choose sinc(x). The first is easier to
combine with other results but the second is shorter to represent.
Albert measures the number of leaf nodes as a measure of simplicity.
Unfortunately, "simplicity" is in the eye of the beholder. Axiom
generally deals with the simplicity issue by making different domains.
Thus in the domain of Polynomials with fractional coefficients the
"simple" form is:

(1/3)*x^2+7

but in the domain of fractions of polynomials with integer
coefficients
we see the same answer as:

(x^2+21)/3

The "simple" form depends on the domain. This raises interesting
questions for some intermediate domains to express patterns rather
than using the general "Expression(Integer)" domain. The same
"pattern table" advocated by Parnas might generate multiple results
depending on the target domain. Axiom is ideal for this but it
requires a lot of thought.


From MAILER-DAEMON Tue Jul 13 09:56:49 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OYfya-0000yE-S3
	for mharc-axiom-developer@gnu.org; Tue, 13 Jul 2010 09:56:48 -0400
Received: from [140.186.70.92] (port=33162 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OYfyV-0000rw-Km
	for axiom-developer@nongnu.org; Tue, 13 Jul 2010 09:56:45 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <Daniel.Cordeiro@imag.fr>) id 1OYfyO-0005RN-Aw
	for axiom-developer@nongnu.org; Tue, 13 Jul 2010 09:56:37 -0400
Received: from mx1.imag.fr ([129.88.30.5]:45968 helo=shiva.imag.fr)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <Daniel.Cordeiro@imag.fr>) id 1OYfyO-0005No-2O
	for axiom-developer@nongnu.org; Tue, 13 Jul 2010 09:56:36 -0400
Received: from ute3.imag.fr (ute3.imag.fr [129.88.69.153])
	by shiva.imag.fr (8.13.8/8.13.8) with ESMTP id o6DDkmnD010045
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL)
	for <axiom-developer@nongnu.org>; Tue, 13 Jul 2010 15:46:49 +0200
Received: from pampidos.imag.fr (pampidos.imag.fr [129.88.69.110])
	by ute3.imag.fr (8.13.8/8.13.8/ImagV2.1.pm) with SMTP id o6DDuD64009182
	for <axiom-developer@nongnu.org>; Tue, 13 Jul 2010 15:56:13 +0200
Received: (qmail 21277 invoked by uid 23498); 13 Jul 2010 15:43:56 +0200
Delivered-To: cordeiro-pasco2010@pampidos.imag.fr
Received: (qmail 21272 invoked by uid 23498); 13 Jul 2010 15:43:56 +0200
Date: 13 Jul 2010 15:43:56 +0200
Message-ID: <20100713134356.21271.qmail@pampidos.imag.fr>
From: Daniel de Angelis Cordeiro <Daniel.Cordeiro@imag.fr>
To: <cordeiro-pasco2010@imag.fr>
X-Mailer: mail (GNU Mailutils 2.1)
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0.1
	(shiva.imag.fr [129.88.30.5]);
	Tue, 13 Jul 2010 15:46:49 +0200 (CEST)
X-IMAG-MailScanner-Information: Please contact MI2S MIM  for more information
X-MailScanner-ID: o6DDkmnD010045
X-IMAG-MailScanner: Found to be clean
X-IMAG-MailScanner-SpamCheck: 
X-IMAG-MailScanner-From: daniel.cordeiro@imag.fr
MailScanner-NULL-Check: 1279633613.59808@9Z1f/7nInFs8/havaIYUjA
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3)
Cc: 
Subject: [Axiom-developer] PASCO 2010: Programming Challenge
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Tue, 13 Jul 2010 13:56:46 -0000

   Matrix product over multi-precision integer and gcd computation
                http://pasco2010.imag.fr/contest.html
                         21st-23rd July 2010

                   PASCO 2010 Programming Challenge
                      http://pasco2010.imag.fr/


Call for Participation
----------------------

Since the  80s and  during the  90s a lot  of parallel  algorithms was
proposed  for computer  algebra.  Thus,  30 years  after  few computer
algebra  system  are able  to  exploit  modern parallel  architectures
multi-core, cluster  and GPUs. The International  Workshop on Parallel
and Symbolic Computation (PASCO) is a series of workshops dedicated to
the promotion  and advancement of parallel algorithms  and software in
all areas of symbolic mathematical computation. The pervasive ubiquity
of  parallel  architectures  and  memory  hierarchy  has  led  to  the
emergence  of a  new quest  for parallel  mathematical  algorithms and
software capable of exploiting the various levels of parallelism: from
hardware  acceleration  technologies  (multi-core and  multi-processor
system  on  chip,  GPGPU,   FPGA)  to  cluster  and  global  computing
platforms.   To   push  up  the  limits  of   symbolic  and  algebraic
computations, beyond  the optimization of the  application itself, the
effective use of a large number  of resources -- memory and general or
specialized computing units --  is expected to enhance the performance
multi-criteria objectives:  time, energy consumption,  resource usage,
reliability.   This   year  the  PASCO  2010   workshop  organize  two
programming  challenges on  ones  of the  most fundamental  algorithms
arising in computer algebra  and providing rich opportunities for high
performance computing. The two  problems are matrix multiplication and
gcd computations. Instances of the problems are given on the web site.

The  competition   will  take  place   live  during  the   PASCO  2010
workshop. The results of the  competition will be presented as part of
the PASCO 2010 program. All participating teams will run their program
on a selected  set of the problems. The rule of  the game is available
on         the         PASCO         2010        workshop         site
[http://pasco2010.imag.fr/contest.html].   We  strongly encourage  all
developers  of parallel  program  or developers  of parallel  computer
algebra  system tools to  participate in  the competition.   Teams are
invited to send a declaration  of participation as soon as possible by
sending   a  mail  to   the  PASCO   2010  conference   organizers  at
pasco2010@imag.fr with the following information:

* The  name of  the  team  and the  contact  information (name,  email
address,  institution  or company)  of  each  team  member willing  to
participate to the  PASCO 2010 programming contest;

* The name of the contact person (interlocutor and team
representative).

Accounts will  be created on machine  to allow teams  to prepare their
competition.


Important dates
---------------

Team declaration of participation:   19 July 2010
Preparation of the team:             From 18 June until 20 July (remotely)
Final preparation day:               Wednesday 21 July 2010 at the Conference location
Face to face challenge:              Thursday 22 July 2010

Publication of the results during the Conference banquet.


From MAILER-DAEMON Sat Jul 17 08:50:29 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1Oa6qb-0003z0-Bu
	for mharc-axiom-developer@gnu.org; Sat, 17 Jul 2010 08:50:29 -0400
Received: from [140.186.70.92] (port=42236 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OZSDy-0008Cf-5R
	for axiom-developer@nongnu.org; Thu, 15 Jul 2010 13:27:55 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <vvskokov@gmail.com>) id 1OZSDx-0007E7-41
	for axiom-developer@nongnu.org; Thu, 15 Jul 2010 13:27:54 -0400
Received: from mail-ww0-f41.google.com ([74.125.82.41]:58773)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <vvskokov@gmail.com>) id 1OZSDw-0007E0-Ue
	for axiom-developer@nongnu.org; Thu, 15 Jul 2010 13:27:53 -0400
Received: by wwb34 with SMTP id 34so1836642wwb.4
	for <axiom-developer@nongnu.org>; Thu, 15 Jul 2010 10:27:51 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
	h=domainkey-signature:received:mime-version:received:from:date
	:message-id:subject:to:content-type;
	bh=Eo+i+EHq4lxXtu3XizzdPSkq6CW/dkkK5NbKi+bxSgA=;
	b=qovMFNRzptc5Wkeu6oXSmUTjmP7DzT1VLcIVfd6/rmpQXBnwcu1hqWXKkrhlSl9qWv
	Vg1Y8/xSmlf9Rym+7+Y50Tp6gF/GgnTLteC7mrHNHG/kGGQxyWCUnaxFAzv+lNobfYUJ
	qFZPklOX31OQ/dROgULWrXUjiX/vMNOV+rLS4=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=mime-version:from:date:message-id:subject:to:content-type;
	b=lSj+FsX1y2JgbehrCz+knwoSORDSAhjCdOel55FdU7fkw/TxUGWWXPf0+uFs0B93h/
	3DkGp0FolmyuGYk4VPlXu+WJPalrJ6DKs1vQaxyZljqOR9DsnZehNn/b8xY+Qbim68hh
	RA2CqTQ3GjKPGLXYdLXR20WSrTpbrfQXcyHu0=
Received: by 10.227.151.202 with SMTP id d10mr18048488wbw.226.1279214871387; 
	Thu, 15 Jul 2010 10:27:51 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.216.179.147 with HTTP; Thu, 15 Jul 2010 10:27:31 -0700 (PDT)
From: Vladimir Skokov <vvskokov@gmail.com>
Date: Thu, 15 Jul 2010 19:27:31 +0200
Message-ID: <AANLkTikk1oSiSPgjxQTOhAcEnRKiU5RFsR4274eap6i0@mail.gmail.com>
To: axiom-developer@nongnu.org
Content-Type: multipart/alternative; boundary=001485f2775c001e41048b706c4c
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2)
X-Mailman-Approved-At: Sat, 17 Jul 2010 08:50:27 -0400
Subject: [Axiom-developer] repeated series expansion
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 15 Jul 2010 17:27:55 -0000

--001485f2775c001e41048b706c4c
Content-Type: text/plain; charset=ISO-8859-1

Dear All!!!

I am new at Axiom... Could you help  me how do I do the repeated series
expansion, eg.

series( series(sin(x*cos(y)),x=0), y=0)

thank you in advance

--001485f2775c001e41048b706c4c
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Dear All!!!=A0<br>
<div><br></div><div>I am new at Axiom...=A0Could you help =A0me how do I do=
 the repeated series expansion, eg.=A0</div><div><br></div><div>series( ser=
ies(sin(x*cos(y)),x=3D0), y=3D0)</div><div><br></div><div>thank you in adva=
nce=A0</div>

<div><br></div>

--001485f2775c001e41048b706c4c--


From MAILER-DAEMON Sun Jul 18 13:07:53 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OaXLF-0002XI-5B
	for mharc-axiom-developer@gnu.org; Sun, 18 Jul 2010 13:07:53 -0400
Received: from [140.186.70.92] (port=35671 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OaXLC-0002WD-Jr
	for axiom-developer@nongnu.org; Sun, 18 Jul 2010 13:07:51 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <guillaume.yziquel@citycable.ch>) id 1OaXLB-0000CX-1F
	for axiom-developer@nongnu.org; Sun, 18 Jul 2010 13:07:50 -0400
Received: from emailfrontal2.citycable.ch ([85.218.0.121]:59932)
	by eggs.gnu.org with smtp (Exim 4.69)
	(envelope-from <guillaume.yziquel@citycable.ch>) id 1OaXLA-0000C6-Ne
	for axiom-developer@nongnu.org; Sun, 18 Jul 2010 13:07:49 -0400
Received: from [192.168.1.35] (LVelizy-156-45-9-48.w80-11.abo.wanadoo.fr
	[80.11.30.48]) (Authenticated sender: guillaume.yziquel@citycable.ch)
	by emailfrontal2.citycable.ch (Postfix) with ESMTPA id 89993C096B4;
	Sun, 18 Jul 2010 19:07:14 +0200 (CEST)
Message-ID: <4C433361.10808@citycable.ch>
Date: Sun, 18 Jul 2010 19:01:21 +0200
From: Guillaume Yziquel <guillaume.yziquel@citycable.ch>
User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090707)
MIME-Version: 1.0
To: axiom-developer@nongnu.org
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6, seldom 2.4 (older,
	4)
Subject: [Axiom-developer] Embedding Axiom as an OCaml library.
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: guillaume.yziquel@citycable.ch
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Sun, 18 Jul 2010 17:07:52 -0000

Hello.

I would appreciate embedding Axiom as an OCaml library.

Looking around in the (huge) documentation of Axiom hasn't been 
extremely fruitful to gather the information that I need.

 From what I gather, Axiom, as it is currently distributed in Debian, is 
a modified version of Lisp, with a rather specific language, namely 
spad, and various packages compiled to native code, and accessible from 
the interpreter.

I do not binding interpreters and such, but I'd appreciate informations 
on where to look for the things to bind.

I'd first be interested in importing or replicating the hierarchy to 
include at least the ring of polynomials over the field of real numbers.

How difficult does that seem to be?

All the best,

-- 
      Guillaume Yziquel


From MAILER-DAEMON Sun Jul 18 19:57:25 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OadjZ-0002rM-2o
	for mharc-axiom-developer@gnu.org; Sun, 18 Jul 2010 19:57:25 -0400
Received: from [140.186.70.92] (port=41039 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OadjW-0002rE-Iy
	for axiom-developer@nongnu.org; Sun, 18 Jul 2010 19:57:23 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OadjV-0007KZ-6l
	for axiom-developer@nongnu.org; Sun, 18 Jul 2010 19:57:22 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:36048
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OadjV-0007KS-2i
	for axiom-developer@nongnu.org; Sun, 18 Jul 2010 19:57:21 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o6INvC8a012785;
	Sun, 18 Jul 2010 18:57:14 -0500
Message-ID: <4C439548.1070309@axiom-developer.org>
Date: Sun, 18 Jul 2010 19:59:04 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: guillaume.yziquel@citycable.ch
Subject: Re: [Axiom-developer] Embedding Axiom as an OCaml library.
References: <4C433361.10808@citycable.ch>
In-Reply-To: <4C433361.10808@citycable.ch>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Cc: axiom-developer@nongnu.org
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Sun, 18 Jul 2010 23:57:23 -0000

Guillaume,

Axiom isn't structured to be used as a library.
The only place I've ever seen it embedded is in Sage.
They use pexpect to capture the Axiom input and output.

Axiom can be configured to work as a server.
Currently it will talk to a firefox browser.
The code interface is rather specific to this application.
I'm not sure if a "server mode" fits your design
but it is a good idea to have it specified.

I will give some thought to writing a specification of
this protocol and generalizing the communication.
It would be possible to construct a JSON output mode
of Axiom so it can communicate through that format.

Tim

Guillaume Yziquel wrote:
> Hello.
>
> I would appreciate embedding Axiom as an OCaml library.
>
> Looking around in the (huge) documentation of Axiom hasn't been 
> extremely fruitful to gather the information that I need.
>
> From what I gather, Axiom, as it is currently distributed in Debian, 
> is a modified version of Lisp, with a rather specific language, namely 
> spad, and various packages compiled to native code, and accessible 
> from the interpreter.
>
> I do not binding interpreters and such, but I'd appreciate 
> informations on where to look for the things to bind.
>
> I'd first be interested in importing or replicating the hierarchy to 
> include at least the ring of polynomials over the field of real numbers.
>
> How difficult does that seem to be?
>
> All the best,
>


From MAILER-DAEMON Mon Jul 19 04:17:39 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OalXf-0006HO-4D
	for mharc-axiom-developer@gnu.org; Mon, 19 Jul 2010 04:17:39 -0400
Received: from [140.186.70.92] (port=48356 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OalXc-0006GX-DD
	for axiom-developer@nongnu.org; Mon, 19 Jul 2010 04:17:37 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <martin.rubey@math.uni-hannover.de>)
	id 1OalXa-0001tC-R8
	for axiom-developer@nongnu.org; Mon, 19 Jul 2010 04:17:36 -0400
Received: from authsmtp.rrzn.uni-hannover.de ([130.75.2.107]:60417)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <martin.rubey@math.uni-hannover.de>)
	id 1OalXa-0001si-Fi
	for axiom-developer@nongnu.org; Mon, 19 Jul 2010 04:17:34 -0400
Received: from ada0.ifam.uni-hannover.de (ada0.ifam.uni-hannover.de
	[130.75.17.184])
	by authsmtp.rrzn.uni-hannover.de (8.14.4/8.14.4) with ESMTP id
	o6J8HQQ4013940; Mon, 19 Jul 2010 10:17:28 +0200
To: Tim Daly <daly@axiom-developer.org>
Subject: Re: [Axiom-developer] Embedding Axiom as an OCaml library.
References: <4C433361.10808@citycable.ch>
	<4C439548.1070309@axiom-developer.org>
From: Martin Rubey <martin.rubey@math.uni-hannover.de>
Date: Mon, 19 Jul 2010 10:17:26 +0200
In-Reply-To: <4C439548.1070309@axiom-developer.org> (Tim Daly's message of
	"Sun\, 18 Jul 2010 19\:59\:04 -0400")
Message-ID: <d9vd8blwbt.fsf@ada0.ifam.uni-hannover.de>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-PMX-Version: 5.5.9.395186, Antispam-Engine: 2.7.2.376379,
	Antispam-Data: 2010.7.2.15115
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2)
Cc: axiom-developer@nongnu.org
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 19 Jul 2010 08:17:37 -0000

Waldek once wrote some code to use FriCAS as a Lisp library.  Possibly
you get some hints there, how to do something similar for OCAML and
Axiom

Martin


From MAILER-DAEMON Wed Jul 21 13:38:16 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1ObdFI-0003Ai-2I
	for mharc-axiom-developer@gnu.org; Wed, 21 Jul 2010 13:38:16 -0400
Received: from [140.186.70.92] (port=53136 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1ObdFF-00039n-7B
	for axiom-developer@nongnu.org; Wed, 21 Jul 2010 13:38:14 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1ObdFE-000201-0D
	for axiom-developer@nongnu.org; Wed, 21 Jul 2010 13:38:13 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:57326
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1ObdFD-0001zc-F4
	for axiom-developer@nongnu.org; Wed, 21 Jul 2010 13:38:11 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o6LHc88a007334;
	Wed, 21 Jul 2010 12:38:08 -0500
Message-ID: <4C473080.3000300@axiom-developer.org>
Date: Wed, 21 Jul 2010 13:38:08 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: clojure@googlegroups.com
References: <9E80235C-B310-41B0-97F6-0D5D093E453C@gmail.com>
	<AANLkTimMxTp_u0jnmVHj5sSYCigSaYNfqIQ0KSR0tb4T@mail.gmail.com>
	<201007210854.24310.tassilo@member.fsf.org>
	<4C46EF33.9040508@axiom-developer.org>
	<E599B4AE-1E80-495C-9A81-6DF3D77BE38F@gmail.com>
In-Reply-To: <E599B4AE-1E80-495C-9A81-6DF3D77BE38F@gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Cc: 
Subject: [Axiom-developer] Re: Literate Clojure - a good lead ...
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 21 Jul 2010 17:38:14 -0000



Antony Blakey wrote:
> On 21/07/2010, at 10:29 PM, Tim Daly wrote:
>
>   
>> The PLT Scheme mechanism mentioned above is a good idea
>> but it has a niche quality to it.
>>
>> Latex is an industry standard publication language. Many
>> books and technical papers, especially in mathematics,
>> use it. Some conferences require it. All publishers support
>> it and it is widely used.
>>     
>
> Going from the PLT form to Latex is possible. Why use Latex when you can use Clojure?

The essence of literate programming is writing for humans.
My main example is "Lisp In Small Pieces" which is a full lisp with
a compiler written as a readable book. So the primary focus is the
text, not the code. "Clojure in Small Pieces" would be fantastic.

It is always possible to go from a "program documentation" language
to latex since latex is just a document markup language. The problem is
the mindset that this is "program documentation" rather than a book
for humans to read, cover to cover. Wouldn't it be nice to read a book
that, oh-by-the-way, has the actual source code not only explained but
motivated?

I've been doing literate programming in Axiom for about 10 years now.
I've looked at a couple dozen possible tools and techniques ranging from
"use good variable names makes the code self-documenting" to
"embed the code in a special purpose tool". Programmers tend to like
things that "work from the code and comments" so they don't have to
write actual prose (e.g. javadoc, doxygen, etc). However, writing for
humans requires a completely different mindset, at least in my experience.

> The essence of the PLT model is the language integration that allows symbol resolution by reusing the language mechanism for the documentation.
>   
"Language integration" is a false goal. It is technically possible to
call functions in any language from latex but unnecessary in general.
It is technically possible to generate latex from any language.

Symbol resolution is also rarely an issue in literate programs.
Your prose is intended to explain "why" a code chunks exists,
not "how" a code chunk works. If you explain the problem you
are trying to solve and the issues of various approaches you considered
then I can usually understand the solution.

Axiom has all of the function and variable definitions and uses
cross-referenced in the index. Making these references hyperlink
in the generated pdf is trivial. Again, the problem is not a question
of technology as in the PLT Scheme approach but one of mindset.

Choosing the right approach matters. It is technically possible to
write clojure code in Microsoft word but utterly painful since MSWord
does not have a programming focus. It is possible to write a book in
PLT Scheme but painful for the same reason.

If your intention is to write a literate program, which as Knuth defined it,
to be a piece of literature, use a tool designed for literature.

I want to see a chapter in a "Clojure in Small Pieces" that explains WHY
Rich chose his data structures, why immutability is important, then why
he chose to use 32-bit wide trees, THEN show me the code. In essence
I want what Rich does not currently write, which is the agony of choice,
the ecstasy of insight, and the tragedy of implementation details. Make
me weep at the beauty of the chosen solution. Literature!

Thus I advocate the primacy of latex over that of the implementation
language magic.

Tim Daly


P.S. The clojure team needs a job opening for "Senior Editor" :-)



From MAILER-DAEMON Wed Jul 21 22:37:40 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OblfI-0001s3-EV
	for mharc-axiom-developer@gnu.org; Wed, 21 Jul 2010 22:37:40 -0400
Received: from [140.186.70.92] (port=38177 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OblfE-0001p3-3J
	for axiom-developer@nongnu.org; Wed, 21 Jul 2010 22:37:37 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OblfC-0000tG-2Q
	for axiom-developer@nongnu.org; Wed, 21 Jul 2010 22:37:36 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:57458
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OblfB-0000sy-TV
	for axiom-developer@nongnu.org; Wed, 21 Jul 2010 22:37:34 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o6M2bT8a025542;
	Wed, 21 Jul 2010 21:37:31 -0500
Message-ID: <4C47AEE8.4000000@axiom-developer.org>
Date: Wed, 21 Jul 2010 22:37:28 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: clojure@googlegroups.com
References: <9E80235C-B310-41B0-97F6-0D5D093E453C@gmail.com>
	<AANLkTimMxTp_u0jnmVHj5sSYCigSaYNfqIQ0KSR0tb4T@mail.gmail.com>
	<201007210854.24310.tassilo@member.fsf.org>
	<4C46EF33.9040508@axiom-developer.org>
	<E599B4AE-1E80-495C-9A81-6DF3D77BE38F@gmail.com>
	<4C473080.3000300@axiom-developer.org>
	<6ECC38F2-174F-4215-8906-4C3CFFBF72C1@gmail.com>
In-Reply-To: <6ECC38F2-174F-4215-8906-4C3CFFBF72C1@gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Cc: 
Subject: [Axiom-developer] Re: Literate Clojure - a good lead ...
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 22 Jul 2010 02:37:38 -0000



Antony Blakey wrote:
> On 22/07/2010, at 3:08 AM, Tim Daly wrote:
>
>   
>> "Language integration" is a false goal. It is technically possible to
>> call functions in any language from latex but unnecessary in general.
>> It is technically possible to generate latex from any language.
>>     
>
> Have you read the paper? Being able to automatically embed the output of examples is a big win IMO.
>   
Yes, I read the paper. You can call external routines to generate output 
into latex
in many systems and languages. There are many such examples:

Here you can create live 3D rendering in a pdf using latex:
http://meshlabstuff.blogspot.com/2009/03/creating-interactive-3d-objects-inside.html

Here you can render images into latex
http://www.mayer.dial.pipex.com/tex.htm

Here you can create latex from javascript:
http://code.google.com/p/jstexrender/

PDF with animations from latex:
http://www.uoregon.edu/~noeckel/PDFmovie.html

Automatic latex generation from Maple:
http://www.math.tamu.edu/~boas/courses/math696/converting-Maple-code-into-LaTeX.html

And, of course, the Haskell-in-Latex:
http://yav.purely-functional.net/haskell_latex.html

I have dozens more, since I tend to collect them. Axiom can even
generate latex (or fortran or mathml or html) automatically.
The technology isn't the point, though.

The point is that you're writing a document that happens to include code.

If you were going to write a PROGRAM you wouldn't start with latex as the
primary tool even though it is turing complete and can implement scheme.
Since the GOAL of literate programming is to write a DOCUMENT,
the primary tool is one that is designed to express documents.

I would love to see Clojure embrace literate programming. I believe that
a book that explained all of the details of why Clojure chose agents, refs,
immutable data structures, the Java integration strategy and the constraints
it imposes, the choice of lazy functions, the REPL, the AOT techniques,
the use of time and state and many other choices would make most of the
questions/comments/debates on this list pointless. People could just read
a chapter on fast-arithmetic and see the choices made. And, oh-by-the-way,
the code to implement those choices is in the book.

It would also make it easier to see when and why changes need to be made
to keep up with technology. The 32 element tree structure is almost 
certainly
a function of todays cache-line sizes. What happens when the technology
moves to light-busses and the cache-line is now 4k? Will it be meaningful
to have a 4k-per-level tree structure? What are the tradeoffs and why were
they made? Rich knows.

Instead we will continue to have a stream of people who are learning Clojure
being taught "in an oral tradition" by helpful people on the mailing 
list. And we
will have limited opportunity to contribute to the core code because 
there is a
very steep learning curve to swallow all of that code when you have to guess
what the design decisions were. It is a modern day version of the 
pre-printing
press, medieval guild-worker technology.

Clojure is moving away from the "old lisp way" of doing things but it is
continuing the tradition of "tiny-little-files-in-a-file-system 
hierarchy" from
the PDP-11/40 4k-max-file-size C programming days with make-ant-lein,
stuff-on-the-path, 60s unix techniques and mindset.

Literate programming would put it all into a book and let the machine
handle the details without the programmer knowing or caring. The book
is completely unconstrained in size since you would never print it. The
namespace issue disappears since you can simply use (hidden) section
names automatically. Tutorials become test cases as well as an
opportunity to show detailed examples. References to published papers
to support the design choices would be "expected", as in any professional
piece of technical writing.

The real benefit is in the long term. Clojure could be read and taught
without pain to a whole new generation without the original authors.
It is like Clojure discovered the printing press.

Tim Daly



From MAILER-DAEMON Thu Jul 22 09:49:14 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1Obw9B-0002bs-Ni
	for mharc-axiom-developer@gnu.org; Thu, 22 Jul 2010 09:49:13 -0400
Received: from [140.186.70.92] (port=56684 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1ObNUw-0000uE-Bq
	for axiom-developer@nongnu.org; Tue, 20 Jul 2010 20:49:23 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <johneb47@optusnet.com.au>) id 1ObNUv-0000K9-Dm
	for axiom-developer@nongnu.org; Tue, 20 Jul 2010 20:49:22 -0400
Received: from mail07.syd.optusnet.com.au ([211.29.132.188]:42038)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <johneb47@optusnet.com.au>) id 1ObNUu-0000JW-SM
	for axiom-developer@nongnu.org; Tue, 20 Jul 2010 20:49:21 -0400
Received: from [192.168.1.100] (c122-107-43-27.blktn5.nsw.optusnet.com.au
	[122.107.43.27])
	by mail07.syd.optusnet.com.au (8.13.1/8.13.1) with ESMTP id
	o6L0nCR3012809
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
	for <axiom-developer@nongnu.org>; Wed, 21 Jul 2010 10:49:14 +1000
Message-ID: <4C464408.7020304@optusnet.com.au>
Date: Wed, 21 Jul 2010 10:49:12 +1000
From: John Briggs <johneb47@optusnet.com.au>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
	rv:1.9.2.4) Gecko/20100624 Lanikai/3.1
MIME-Version: 1.0
To: axiom-developer@nongnu.org
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6, seldom 2.4 (older,
	4)
X-Mailman-Approved-At: Thu, 22 Jul 2010 09:49:11 -0400
Subject: [Axiom-developer] Axiom Source from github
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 21 Jul 2010 00:49:23 -0000

  I am trying to compile axiom using the source files from github.
I have set the environment variables correctly using the generic path 
...../axiom/mnt/linux.
Because I am using the Xorg environment I had to recompile my libXpm to 
give me the static library libXpm.a and I modified Makefile.pamphlet to 
put the libXpm path to /usr/lib.

The source code seems to compile correctly but I get Failures during the 
regression testing. Is this normal?

Regards

John



From MAILER-DAEMON Thu Jul 22 17:05:58 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1Oc2xq-0003pH-2B
	for mharc-axiom-developer@gnu.org; Thu, 22 Jul 2010 17:05:58 -0400
Received: from [140.186.70.92] (port=49637 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1Oc2xn-0003ng-Cp
	for axiom-developer@nongnu.org; Thu, 22 Jul 2010 17:05:56 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1Oc2xm-0002fo-Ci
	for axiom-developer@nongnu.org; Thu, 22 Jul 2010 17:05:55 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:46793
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1Oc2xm-0002fK-86
	for axiom-developer@nongnu.org; Thu, 22 Jul 2010 17:05:54 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o6ML5n8a029491;
	Thu, 22 Jul 2010 16:05:50 -0500
Message-ID: <4C48B2AA.2030007@axiom-developer.org>
Date: Thu, 22 Jul 2010 17:05:46 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: John Briggs <johneb47@optusnet.com.au>
Subject: Re: [Axiom-developer] Axiom Source from github
References: <4C464408.7020304@optusnet.com.au>
In-Reply-To: <4C464408.7020304@optusnet.com.au>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Cc: axiom-developer@nongnu.org
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 22 Jul 2010 21:05:56 -0000

Yes, there are some "normal" failures from regression testing.
Some of the tests have random components.
I plan to move random-failing tests into their own testset.

John Briggs wrote:
>  I am trying to compile axiom using the source files from github.
> I have set the environment variables correctly using the generic path 
> ...../axiom/mnt/linux.
> Because I am using the Xorg environment I had to recompile my libXpm 
> to give me the static library libXpm.a and I modified 
> Makefile.pamphlet to put the libXpm path to /usr/lib.
>
> The source code seems to compile correctly but I get Failures during 
> the regression testing. Is this normal?
>
> Regards
>
> John
>
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>


From MAILER-DAEMON Sat Jul 24 21:00:55 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OcpaJ-0005kB-FU
	for mharc-axiom-developer@gnu.org; Sat, 24 Jul 2010 21:00:55 -0400
Received: from [140.186.70.92] (port=48265 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OcpaE-0005jL-Ou
	for axiom-developer@nongnu.org; Sat, 24 Jul 2010 21:00:53 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OcpaD-0007b2-Ed
	for axiom-developer@nongnu.org; Sat, 24 Jul 2010 21:00:50 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:45918
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OcpaD-0007as-AY
	for axiom-developer@nongnu.org; Sat, 24 Jul 2010 21:00:49 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o6P10jvi026624;
	Sat, 24 Jul 2010 20:00:46 -0500
Message-ID: <4C4B8CB6.4040103@axiom-developer.org>
Date: Sat, 24 Jul 2010 21:00:38 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: Axiom-Developer <axiom-developer@nongnu.org>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Subject: [Axiom-developer] Axiom July 2010 release
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Sun, 25 Jul 2010 01:00:53 -0000

July 2010 Release

This release concentrated on the work of Albert Rich and his Rubi pattern
matching machinery. All of his integrals from his test suite were converted
to a regression test suite. This will form a baseline for the pattern work
in future releases. David Parnas has a table-based method of specifying
programs. Axiom is trying to synthesize this work with the pattern match
work to create pattern specifications using tables. Martin Baker added
HTML output to the system. Waldek Hebisch implemented the DoubleFloat
representation routines. Martin Rubey implemented Dirichlet.

The symbolic version of the fresnel integrals was added as well as a
numeric implementation of the fresnelC and fresnelS functions. The
output of these numeric functions were validated against Pearcy's tables,
with the comparison as part of the regression tests. Further work on
numeric approximation is ongoing and expected in the next release.

These people were added to the credits list:

  Albert D. Rich, David Parnas, Martin Baker

readme
  update credits list

Makefile
  add Mandriva
  fix environment variables
  segment test set choice from command line

books/axbook.tgz
  rewrite section 8.3.2 for current output

books/bookvol0
  rewrite section 8.3.2 for current output

books/bookvol10.2
  add fresnelS, fresnelC to LFCAT
  add test and help files for all categories

books/bookvol10.3
  add CDFMAT ComplexDoubleFloatMatrix
  add CDFVEC ComplexDoubleFloatVector
  add DIR Dirichlet
  add DFMAT DoubleFloatMatrix
  add DFVEC DoubleFloatVector
  add HTMLFORM HTMLFormat
  add fresnelS, fresnelC to EXPR

books/bookvol10.4
  add EXP3D Export3D
  add GDRAW  GnuDraw
  add fresnelC, fresnelS numeric computation to DFSFUN
  add fresnelS, fresnelC symbolics to LF, COMMONOP, LIMITPS

books/bookvol10.5
  start of numeric analysis of BLAS/LAPACK
  tighten array type declarations in BLAS
  use simple-array, not simple-vector type in BLAS

books/bookvol4
  document the Makefile build process

books/bookvol5
  change )version to include *build-version* info
  add macros to support algebra
  add Albert D. Rich, David Parnas, Martin Baker to credits

books/bookvol6
  fix deleted variable from axiom script
  remove AXIOMXLROOT reference

books/bookvol7.1
  document HTMLFormat

books/bookvol8
  add 3D graphic file format table

books/bookvolbib
  Adams [AL94], Brunelli [Bru09], Burcin [ES10], Dewar [Dew94], Golub 
[GL89],
  Higham [Hig02], Householder [Hou81], Jenks [JT18], [JT18a], [JT18b], 
[JWS87],
  Lecerf [Le96], Losch [Los60], Luke [Luk169], [Luk269], Pearcey [Pea56],
  Press [PTVF95], Taivalsaari [Tai96]

src/algebra/Makefile
  add help and test for new algebra
  handle case-insensitive MAC filesystem
  remove new algebra scaffolding code

src/doc/Makefile
  cleanly latex pure latex files

src/input/Makefile add TESTSET=notests
  add derivefail, exampleagcode, hyperell, paffexample,
  rule-based algebraic integration, rule-based rational integration,
  rule-based exponential integration, rule-based hyper integration,
  rule-based inverse hyperbolic integration, rule-based log integration,
  rule-based inverse trig integration, rule-based trig integration

zips
  remove aldor.20070901.tgz

src/input
  derivefail, examplegcode, hyperell, monitortest, paffexample,
  richalgebraic000-099, richalgebraic100-199, richalgebraic200-299,
  richalgebraic300-399, richalgebraic400-461, richerror000-078,
  richexponential, richhyper000-099, richhyper100-199, richhyper100-199,
  richhyper1000-1098, richhyper200-299, richhyper300-399,
  richhyper400-499, richhyper500-599, richhyper600-699, richhyper700-799,
  richhyper800-899, richhyper900-999, richintfunc000-032,
  richinvhyper000-099, richinvhyper100-199, richinvhyper200-296,
  richinvtrig000-092, richlog000-099, richlog100-199, richlog200-299,
  richlog300-391, richrational.input, richspecfunc000-022,
  richtrig000-099, richtrig100-199, richtrig200-299, richtrig300-399,
  richtrig400-499, richtrig500-599, richtrig600-699, richtrig700-799,
  richtrig800-899, richtrig900-920

src/interp
  i-output.lisp, vmlisp.lisp HTMLFormat support code

src/share/algebra/
  browse, category, compress, interp, operation, users daase updated
  remove libaldor.al

GCL was upgraded, thanks to Camm Maquire.



From MAILER-DAEMON Mon Jul 26 10:46:40 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OdOwy-0001zy-KE
	for mharc-axiom-developer@gnu.org; Mon, 26 Jul 2010 10:46:40 -0400
Received: from [140.186.70.92] (port=34270 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OdOwY-0001y0-7B
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 10:46:37 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>) id 1OdOw2-0003Rs-Mj
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 10:46:13 -0400
Received: from mailrelay.tu-graz.ac.at ([129.27.2.202]:43665
	helo=mailrelay.tugraz.at) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>) id 1OdOw2-0003K0-9C
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 10:45:42 -0400
Received: from mail.math.tu-graz.ac.at (mail.math.tu-graz.ac.at
	[129.27.148.83]) (authenticated bits=0)
	by mailrelay2.tugraz.at (8.14.4/8.14.4) with ESMTP id o6QEj7DN014946
	(version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO)
	for <axiom-developer@nongnu.org>; Mon, 26 Jul 2010 16:45:07 +0200 (CEST)
X-DKIM: Sendmail DKIM Filter v2.8.3 mailrelay2.tugraz.at o6QEj7DN014946
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=tugraz.at;
	s=mailrelay; t=1280155508; i=@math.tugraz.at;
	bh=LzN3L1XTW7d0NetYukN6bWpvCq2JtjqbwTztXjXnpYM=;
	h=Date:From:To:Subject:Message-ID:MIME-Version:Content-Type:
	Content-ID;
	b=rYFAAPQHHZxAPSO+SIIvyrIAvjQKH7kwlrAgz827NIEQ9uz/aa1ibAWqEmQZQ+men
	9NIM5QkFW+IMuifM4ro7qAzXephcXTNFmp+RHsew95Qo1r7WOPtKHtNqncUu+yfJYQ
	bVlueyJkhtKIYUmOsWTg+JKzDU3ylzAmgrGG/984=
Received: from schlumpf.math.tu-graz.ac.at ([129.27.150.29]:38388)
	by mail.math.tu-graz.ac.at with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.69) (envelope-from <lehner@math.tugraz.at>)
	id 1OdOvT-00073S-WF
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:45:08 +0200
Received: from lehner (helo=localhost)
	by schlumpf.math.tu-graz.ac.at with local-esmtp (Exim 4.69)
	(envelope-from <lehner@math.tugraz.at>) id 1OdOvT-00071L-VU
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:45:07 +0200
Date: Mon, 26 Jul 2010 16:45:07 +0200 (CEST)
From: Franz Lehner <lehner@math.tugraz.at>
To: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] repeated series expansion
Message-ID: <alpine.DEB.1.10.1007261644490.26807@schlumpf.math.tu-graz.ac.at>
User-Agent: Alpine 1.10 (DEB 962 2008-03-14)
MIME-Version: 1.0
Content-Type: MULTIPART/Mixed; BOUNDARY="461446550-236401911-1280151206=:26059"
Content-ID: <alpine.DEB.1.10.1007261644491.26807@schlumpf.math.tu-graz.ac.at>
X-Previous-Spam-Scanner: 
X-Previous-Spam-Score: 
X-Previous-Spam-Tests: 
X-SA-Exim-Connect-IP: 129.27.150.29
X-SA-Exim-Mail-From: lehner@math.tugraz.at
X-SA-Exim-Scanned: No (on mail.math.tu-graz.ac.at);
	SAEximRunCond expanded to false
X-TUG-Backscatter-control: FqMcHsbqqcXfnJn4OIe0qg
X-Scanned-By: MIMEDefang 2.70 on 129.27.10.19
X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta)
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 26 Jul 2010 14:46:38 -0000

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--461446550-236401911-1280151206=:26059
Content-Type: TEXT/PLAIN; charset=UTF-8; format=flowed
Content-Transfer-Encoding: QUOTED-PRINTABLE
Content-ID: <alpine.DEB.1.10.1007261622121.26807@schlumpf.math.tu-graz.ac.at>

Dear Vladimir

On Thu, 15 Jul 2010, Vladimir Skokov wrote:
> Could you help =C2=A0me how do I do the repeated series expansion, eg.=C2=
=A0
sure. One way would be to first make a series in x and then
expand the coefficients:
(1) -> )set str calc 5
(1) -> z :=3D sin(x+y)

    (1)  sin(y + x)
                                                 Type: Expression(Integer)
(2) -> s1:=3Dseries(z,x=3D0)

    (2)
                         sin(y)  2   cos(y)  3   sin(y)  4   cos(y)  5
      sin(y) + cos(y)x - ------ x  - ------ x  + ------ x  + ------ x
                            2           6          24          120
    +
        sin(y)  6   cos(y)  7   sin(y)  8   cos(y)  9    sin(y)  10      11
      - ------ x  - ------ x  + ------ x  + ------ x  - ------- x   + O(x  =
)
          720        5040        40320      362880      3628800
                    Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
(3) -> s1::UPXS(UPXS(EXPR INT,y,0),x,0)

    (3)
          1  3    1   5      7         1  2    1  4      6
      y - - y  + --- y  + O(y ) + (1 - - y  + -- y  + O(y ))x
          6      120                   2      24
    +
         1      1  3    1   5      7   2      1    1  2    1   4      6   3
      (- - y + -- y  - --- y  + O(y ))x  + (- - + -- y  - --- y  + O(y ))x
         2     12      240                    6   12      144
    +
        1      1   3     1   5      7   4     1     1   2     1   4      6 =
  5
      (-- y - --- y  + ---- y  + O(y ))x  + (--- - --- y  + ---- y  + O(y )=
)x
       24     144      2880                  120   240      2880
    +
         6
      O(x )
Type:=20
UnivariatePuiseuxSeries(UnivariatePuiseuxSeries(Expression(Integer),y,0),x,=
0)

The following does not what you want:
(4) -> z::UPXS(UPXS(EXPR INT,y,0),x,0)

    (4)
                       sin(x)  2   cos(x)  3   sin(x)  4   cos(x)  5      6
    sin(x) + cos(x)y - ------ y  - ------ y  + ------ y  + ------ y  + O(y =
)
                          2           6          24          120
Type:=20
UnivariatePuiseuxSeries(UnivariatePuiseuxSeries(Expression(Integer),y,0),x,=
0)

In general, you should be careful with EXPR INT as coefficient domain:
(5) -> s:=3Dseries(sin x,x=3D0)

             1  3    1   5      7
    (5)  x - - x  + --- x  + O(x )
             6      120
                    Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
(6) -> x*s

               x  3    x   5      7
    (6)  x x - - x  + --- x  + O(x )
               6      120
                    Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
(7) -> s1:=3Ds::UPXS(Fraction Integer,x,0)

             1  3    1   5      7
    (7)  x - - x  + --- x  + O(x )
             6      120
                      Type: UnivariatePuiseuxSeries(Fraction(Integer),x,0)
(8) -> x*s1

          2   1  4    1   6      8
    (8)  x  - - x  + --- x  + O(x )
              6      120
                      Type: UnivariatePuiseuxSeries(Fraction(Integer),x,0)

The following is also too hard for the interpreter:

(9) -> sin(x+y)::UPXS(UPXS(Fraction Integer,y,0),x,0)

    Cannot convert from type Expression(Integer) to
       UnivariatePuiseuxSeries(UnivariatePuiseuxSeries(Fraction(Integer)
       ,y,0),x,0) for value
    sin(y + x)

There is also a domain MultivariateTaylorSeries,
but no corresponding 'series' command and I don't know how to create elemen=
ts.

regards,
Franz
--461446550-236401911-1280151206=:26059--


From MAILER-DAEMON Mon Jul 26 16:30:31 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OdUJj-0005WJ-JC
	for mharc-axiom-developer@gnu.org; Mon, 26 Jul 2010 16:30:31 -0400
Received: from [140.186.70.92] (port=57561 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OdUJh-0005V4-4f
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:30:30 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OdUJf-0001iy-PY
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:30:28 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:58632
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OdUJf-0001ij-HD
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:30:27 -0400
Received: from axiom-developer.org (lincoln.rosehosting.com [127.0.0.1])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o6QKUKvi028729;
	Mon, 26 Jul 2010 15:30:20 -0500
From: daly@axiom-developer.org
Received: (from daly@localhost)
	by axiom-developer.org (8.12.8/8.12.8/Submit) id o6QKUJNC028584;
	Mon, 26 Jul 2010 15:30:19 -0500
Date: Mon, 26 Jul 2010 15:30:19 -0500
Message-Id: <201007262030.o6QKUJNC028584@axiom-developer.org>
To: "Dr. Peter Thomas-Stutte" <dr.peter.thomas@t-online.de>
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] axiom graph
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 26 Jul 2010 20:30:30 -0000

See the page
http://axiom-developer.org/axiom-webiste/documentation.html
in either Volume 0 or Volume 1 for multiple examples of use
of the graphics package.

Tim


From MAILER-DAEMON Mon Jul 26 16:33:36 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OdUMi-0006bK-2c
	for mharc-axiom-developer@gnu.org; Mon, 26 Jul 2010 16:33:36 -0400
Received: from [140.186.70.92] (port=37976 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OdUMe-0006bA-P8
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:33:33 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OdUMd-00027K-Gt
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:33:32 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:60055
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <daly@axiom-developer.org>) id 1OdUMd-00027E-A8
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 16:33:31 -0400
Received: from axiom-developer.org (lincoln.rosehosting.com [127.0.0.1])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id o6QKXTvi029667;
	Mon, 26 Jul 2010 15:33:29 -0500
From: daly@axiom-developer.org
Received: (from daly@localhost)
	by axiom-developer.org (8.12.8/8.12.8/Submit) id o6QKXT5m029660;
	Mon, 26 Jul 2010 15:33:29 -0500
Date: Mon, 26 Jul 2010 15:33:29 -0500
Message-Id: <201007262033.o6QKXT5m029660@axiom-developer.org>
To: Camm Maguire <camm@maguirefamily.org>
X-detected-operating-system: by eggs.gnu.org: Linux 2.6? (barebone, rare!)
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] GCL for intel mac
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 26 Jul 2010 20:33:34 -0000

> I'm working with wine and mingw32 cross compiler at the moment with
> success.  If this is of interest I can provide some instructions.  For
> native builds, I can point you to a coworker who handles this for the
> gcl project.
> 
> Is this port important in your opinion?

Eventually. I do want to get a windows port running.
Instructions would help.

> 
> BTW, axiom-developer.com is down again, and I would love to be able to
> ensure that the windows stuff doesn't break the mac.

Sorry about that. I'm away on a business trip until friday.
My girlfriend is working until midnight.
I'll walk her thru the restart on tuesday morning.

Tim





From MAILER-DAEMON Mon Jul 26 18:59:13 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OdWdd-00032X-Oh
	for mharc-axiom-developer@gnu.org; Mon, 26 Jul 2010 18:59:13 -0400
Received: from [140.186.70.92] (port=39854 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OdWda-00032G-C2
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 18:59:11 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <camm@maguirefamily.org>) id 1OdWdV-0005a5-RM
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 18:59:10 -0400
Received: from tvwna-ip-c-172.princeton.org ([66.180.187.89]:51619
	helo=localhost.m.enhanced.com) by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <camm@maguirefamily.org>)
	id 1OdWdV-0005Zx-L5; Mon, 26 Jul 2010 18:59:05 -0400
Received: from camm by localhost.m.enhanced.com with local (Exim 4.69)
	(envelope-from <camm@maguirefamily.org>)
	id 1OdWdT-0001pF-FB; Mon, 26 Jul 2010 18:59:03 -0400
To: daly@axiom-developer.org
References: <201007262033.o6QKXT5m029660@axiom-developer.org>
From: Camm Maguire <camm@maguirefamily.org>
Date: Mon, 26 Jul 2010 18:59:03 -0400
In-Reply-To: <201007262033.o6QKXT5m029660@axiom-developer.org>
	(daly@axiom-developer.org's message of "Mon\,
	26 Jul 2010 15\:33\:29 -0500")
Message-ID: <878w4xkfyg.fsf@maguirefamily.org>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2)
Cc: axiom-developer@nongnu.org, gcl-devel@gnu.org
Subject: [Axiom-developer] Re: GCL for intel mac
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 26 Jul 2010 22:59:12 -0000

Greetings!

daly@axiom-developer.org writes:

>> I'm working with wine and mingw32 cross compiler at the moment with
>> success.  If this is of interest I can provide some instructions.  For
>> native builds, I can point you to a coworker who handles this for the
>> gcl project.
>> 
>> Is this port important in your opinion?
>
> Eventually. I do want to get a windows port running.
> Instructions would help.
>

I think this should work for both Ubuntu and Debian cross compiling:

install mingw32, mingw32-runtime, mingw32-binutils and wine.

Now there is a bug in wine which they won't fix.  system() will run a
unix process, e.g. the C compiler, but not wait for it to complete.
Therefore before beginning to run gcl, one must cd into unixport and
run the following shell script:

#!/bin/sh

cd $(dirname $0)
while true ; do
      if [ -e lckk ] ; then
      	 if ! pidof $(basename $(awk '{print $1}' lckk)); then
	     echo $(cat lckk) is done
	     rm lckk;
	 fi 
      fi
      sleep 0.1;
done &

One then applies a small patch I'm finalizing which detects running
under wine and waits on the lockfile when running system() when found.
Then it is simply

export PATH=/usr/i586-mingw32msvc/bin:$PATH
CC=/usr/bin/i586-mingw32msvc-gcc ./configure --host=mingw32 && make

Let me know if you'd like to try the patch.  If it passes all my
tests, it will be going into cvs shortly anyway.  I thought I could
get around the lockfile business, but the wine developers say this is
the best option.

We have a native windows user (Donald Winiecki) testing these binaries
separately (thanks so much!).

>> 
>> BTW, axiom-developer.com is down again, and I would love to be able to
>> ensure that the windows stuff doesn't break the mac.
>
> Sorry about that. I'm away on a business trip until friday.
> My girlfriend is working until midnight.
> I'll walk her thru the restart on tuesday morning.
>

No rush, please only do what is convenient.  Just trying to get 2.6.8
out of the way at last.  

BTW, 20100701 being uploaded into Debian this evening.

Take care,

> Tim
>
>
>
>
>
>
>

-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


From MAILER-DAEMON Wed Jul 28 09:25:06 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1Oe6d8-0000Ug-Mq
	for mharc-axiom-developer@gnu.org; Wed, 28 Jul 2010 09:25:06 -0400
Received: from [140.186.70.92] (port=35533 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OdKTX-0006UG-1c
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 06:00:03 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <dr.peter.thomas@t-online.de>) id 1OdKTR-0002cR-R3
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 05:59:58 -0400
Received: from mailout04.t-online.de ([194.25.134.18]:59046)
	by eggs.gnu.org with esmtp (Exim 4.69)
	(envelope-from <dr.peter.thomas@t-online.de>) id 1OdKTR-0002bi-Lc
	for axiom-developer@nongnu.org; Mon, 26 Jul 2010 05:59:53 -0400
Received: from fwd06.aul.t-online.de (fwd06.aul.t-online.de )
	by mailout04.t-online.de with smtp 
	id 1OdKTO-0002aP-Jv; Mon, 26 Jul 2010 11:59:50 +0200
Received: from Stefan.smallbusiness.local
	(E1pqoGZUYhdXlf72X65x5SFLVzggBldRLA0JTGGNGUrXOPeAtiHZ+IspIoBtK-2QPx@[91.36.65.162])
	by fwd06.aul.t-online.de
	with esmtp id 1OdKTK-0vgh8a0; Mon, 26 Jul 2010 11:59:46 +0200
From: "Dr. Peter Thomas-Stutte" <dr.peter.thomas@t-online.de>
To: axiom-developer@nongnu.org
Content-Type: text/plain
Date: Tue, 27 Jul 2010 11:58:58 +0200
Message-Id: <1280224738.18390.2.camel@Stefan.smallbusiness.local>
Mime-Version: 1.0
X-Mailer: Evolution 2.6.3 
Content-Transfer-Encoding: 7bit
X-ID: E1pqoGZUYhdXlf72X65x5SFLVzggBldRLA0JTGGNGUrXOPeAtiHZ+IspIoBtK-2QPx
X-TOI-MSGID: 6645df18-2506-4d05-a7ae-ebd333e24828
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3)
X-Mailman-Approved-At: Wed, 28 Jul 2010 09:25:05 -0400
Subject: [Axiom-developer] axiom graph
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: dr.peter.thomas@t-online.de
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 26 Jul 2010 10:00:04 -0000

Dear Sirs,

how can I make axiom showing the graph of a function? The command
makeViewport(v1) etc.   does not give the graph.

Sincerely

Dr. Peter Thomas-Stutte  



From MAILER-DAEMON Thu Jul 29 09:21:58 2010
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1OeT3e-0006jQ-NL
	for mharc-axiom-developer@gnu.org; Thu, 29 Jul 2010 09:21:58 -0400
Received: from [140.186.70.92] (port=45879 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1OeT3a-0006iW-Vu
	for axiom-developer@nongnu.org; Thu, 29 Jul 2010 09:21:56 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69)
	(envelope-from <fateman@cs.berkeley.edu>) id 1OeT3V-0007kb-4O
	for axiom-developer@nongnu.org; Thu, 29 Jul 2010 09:21:54 -0400
Received: from smtp127.sbc.mail.sp1.yahoo.com ([69.147.65.186]:42286)
	by eggs.gnu.org with smtp (Exim 4.69)
	(envelope-from <fateman@cs.berkeley.edu>) id 1OeT3U-0007jw-TK
	for axiom-developer@nongnu.org; Thu, 29 Jul 2010 09:21:49 -0400
Received: (qmail 61575 invoked from network); 29 Jul 2010 13:21:46 -0000
Received: from [192.168.0.3] (fateman@70.231.138.95 with plain)
	by smtp127.sbc.mail.sp1.yahoo.com with SMTP;
	29 Jul 2010 06:21:46 -0700 PDT
X-Yahoo-SMTP: fiKVhYaswBAF.Uqlln5Nht5EyoVr
X-YMail-OSG: XY.i0LIVM1kyf7cwpfNFPSikDk1osJOgzITcb08Mf3aOHgS
	24_NcinIWLOKVckWKmcWy9U.cQH8B7mh26JbgqDfi7_BuH3wEvbiR3kWsf6Y
	xXvSB.VnXKUfW7Q..eeFZqQs0Z2bElVE3ix_yegNrtkOS9r_t4vI0GAOlVAU
	XHL3umKGfRlCsvGKzzwR9scTEoUQgMTSKgeX71FEpacw_cjjThLfmA5JKDVY
	U_aosx0aXh998wKXzv.JT.trJ8mEiVbR6xinid14hdBsTtMi5DEQYuOuwi5m
	99282_2jN1GhJFnU3_v0ikB8-
X-Yahoo-Newman-Property: ymail-3
Message-ID: <4C51805B.8030009@cs.berkeley.edu>
Date: Thu, 29 Jul 2010 06:21:31 -0700
From: Richard Fateman <fateman@cs.berkeley.edu>
User-Agent: Thunderbird 2.0.0.24 (Windows/20100228)
MIME-Version: 1.0
Newsgroups: sci.math.symbolic
To: TimDaly <daly@axiom-developer.org>
References: <06332613-837a-4d84-8248-020b6f86e50c@u20g2000pru.googlegroups.com>
	<e834332f-badc-4b85-ae80-e01bc43ecdd5@w31g2000yqb.googlegroups.com>
	<ac0605f4-aeab-4538-9e23-6da9c2f372ed@s6g2000prg.googlegroups.com>
	<4C1E381F.5CA504A5@freenet.de> <8875d8FmluU1@mid.individual.net>
	<hvlrpo$r7v$1@speranza.aioe.org> <i0btca$ous$1@speranza.aioe.org>
	<i0mo8t$5ab$1@speranza.aioe.org>
	<34686c2a-4288-49b3-a4c2-495a0b98b943@i16g2000prn.googlegroups.com>
	<63e9cbab-a253-4f90-af99-e65701761025@w31g2000yqb.googlegroups.com>
	<fd7b50d6-f97c-4ea9-9e70-19e7f825623c@3g2000vbg.googlegroups.com>
	<4C3B6DB7.9020008@cs.berkeley.edu>
	<c90ad993-08fa-4887-b76d-4c66a8592b3e@y11g2000yqm.googlegroups.com>
In-Reply-To: <c90ad993-08fa-4887-b76d-4c66a8592b3e@y11g2000yqm.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: FreeBSD 6.x (1)
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] Re: Rule-based integration
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 29 Jul 2010 13:21:56 -0000

TimDaly wrote:
...


> 
> There has been some initial discussions between myself, Albert Rich,
> and David Parnas about how to think about this problem.
> 
> My current thinking involves a tree-structuring of the rule patterns
> where each node in the tree represents one or more pattern
> tables and each edge is a function (e.g. division operation, etc).
> Walking the input expression walks the tree to find applicable
> patterns.
> Because a pattern table can be reached from many different paths the
> "tree" is actually a graph. Each table specifies an input pattern and
> an output pattern and the output pattern points to another node.
>
...

Tilu would take a rule and place it several places in a tree.  As an 
overly-simplified example, consider

a*cos(x)+b.   It appears to have a head operator of "+" and so that is
where the rule would seem to fit in a tree of rules.


However, if b=0, the head operator is "*",  and so the pattern  a*cos(x) 
--> .. would also appear in the tree at "*".

But if a=1, then the rule would appear with head operator "cos".

As I recall, the head operators are not really in a tree but a hash table.

The entries in the hash table may themselves be hash tables, where the
presence or absence of some sub-operators is allowed, in order to narrow
down the number of possibly-appropriate rules.

Note that one may end up in Tilu with some number of matching rules -- 
with possibly different sets of side conditions, or maybe not. Tilu does 
not exclude the possibility of any number of applicable rules giving 
perhaps different versions of the answer.

RJF




