From MAILER-DAEMON Thu Jul 09 18:37:13 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MP2Er-00019i-Fu
	for mharc-axiom-developer@gnu.org; Thu, 09 Jul 2009 18:37:13 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MP2Ep-00019M-UF
	for axiom-developer@nongnu.org; Thu, 09 Jul 2009 18:37:11 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MP2Ek-00016H-80
	for axiom-developer@nongnu.org; Thu, 09 Jul 2009 18:37:10 -0400
Received: from [199.232.76.173] (port=39844 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MP2Ek-000163-2s
	for axiom-developer@nongnu.org; Thu, 09 Jul 2009 18:37:06 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:41507
	helo=axiom-developer.org) by monty-python.gnu.org with esmtps
	(TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60)
	(envelope-from <daly@axiom-developer.org>) id 1MP2Ej-0007hc-Po
	for axiom-developer@nongnu.org; Thu, 09 Jul 2009 18:37:05 -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 n69Mb33W002607;
	Thu, 9 Jul 2009 17:37:03 -0500
From: daly@axiom-developer.org
Received: (from daly@localhost)
	by axiom-developer.org (8.12.8/8.12.8/Submit) id n69Mb3GB002604;
	Thu, 9 Jul 2009 17:37:03 -0500
Date: Thu, 9 Jul 2009 17:37:03 -0500
Message-Id: <200907092237.n69Mb3GB002604@axiom-developer.org>
To: axiom-developer@nongnu.org
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6? (barebone, rare!)
Cc: 
Subject: [Axiom-developer] 20090709.01.tpd.patch (quat.spad move QUATCT2 to
	bookvol10.4)
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.gnu.org/pipermail/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, 09 Jul 2009 22:37:12 -0000

The quaternion code was moved from src/algebra into literate form.
Volume 10.1 Axiom Theory has a new chapter on quaternions
Volume 10.4 Axiom Packages now has QUATCT2, including a regression test 
file, a help file, and )d op examples



From MAILER-DAEMON Sat Jul 18 17:33:25 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSHX3-0006Af-O4
	for mharc-axiom-developer@gnu.org; Sat, 18 Jul 2009 17:33:25 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSHX1-00066e-QY
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 17:33:23 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSHWw-0005wX-W0
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 17:33:23 -0400
Received: from [199.232.76.173] (port=38681 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSHWw-0005wP-Ro
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 17:33:18 -0400
Received: from mailer.coconet.de ([194.173.70.11]:34529)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MSHWw-0001T2-8K
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 17:33:18 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id 48F2C29DB5
	for <axiom-developer@nongnu.org>; Sat, 18 Jul 2009 23:33:10 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Sat, 18 Jul 2009 23:33:06 +0200
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
From: Michael Becker <Michael.Becker@coconet.de>
To: axiom-developer@nongnu.org
User-Agent: KMail/1.7.1
MIME-Version: 1.0
Content-Disposition: inline
Date: Sat, 18 Jul 2009 23:33:06 +0200
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Message-ID: <200907182333.06581.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 18 Jul 2009 21:33:06.0968 (UTC)
	FILETIME=[56E18980:01CA07EF]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Subject: [Axiom-developer] nested anonymous functions
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.gnu.org/pipermail/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: Sat, 18 Jul 2009 21:33:24 -0000



    Hi,

        does axiom  really support  anonymous functions?
=20

                       AXIOM Computer Algebra System
                          Version: Axiom (May 2009)
                Timestamp: Sunday June 21, 2009 at 23:34:35
............
............

(1) ->  (y+-> y+1) 1
(1) ->
   (1)  2
                                                        Type: =
PositiveInteger
(2) ->  (x +-> ((y+-> y+x) 1)) 2
 2) ->
   >> System error:
   The variable #:G1404 is unbound.

(2) -> f =3D=3D (x +-> ((y+-> y+x) 1))
                                                                   Type: =
Void
(3) -> f 2
   Compiling function f with type PositiveInteger -> PositiveInteger

   (3)  3
                                                        Type: =
PositiveInteger


      --  Michael



-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20





From MAILER-DAEMON Sat Jul 18 19:24:49 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSJGr-0001t2-Mq
	for mharc-axiom-developer@gnu.org; Sat, 18 Jul 2009 19:24:49 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSJGp-0001sp-Up
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 19:24:47 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSJGk-0001sd-HM
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 19:24:46 -0400
Received: from [199.232.76.173] (port=37912 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSJGk-0001sa-C6
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 19:24:42 -0400
Received: from mailer.coconet.de ([194.173.70.11]:34700)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MSJGj-0000PJ-Jb
	for axiom-developer@nongnu.org; Sat, 18 Jul 2009 19:24:42 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id B6FB933C36
	for <axiom-developer@nongnu.org>; Sun, 19 Jul 2009 01:24:40 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Sun, 19 Jul 2009 01:24:36 +0200
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
From: Michael Becker <Michael.Becker@coconet.de>
To: axiom-developer@nongnu.org
User-Agent: KMail/1.7.1
MIME-Version: 1.0
Content-Disposition: inline
Date: Sun, 19 Jul 2009 01:24:36 +0200
Content-Type: Multipart/Mixed;
	boundary="Boundary-00=_0mlYK2lPzBeIVMQ"
Message-ID: <200907190124.36451.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 18 Jul 2009 23:24:36.0773 (UTC)
	FILETIME=[EA50C550:01CA07FE]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Subject: [Axiom-developer] sin(x)  drawing error
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.gnu.org/pipermail/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: Sat, 18 Jul 2009 23:24:48 -0000

This is a multi-part message in MIME format.

--Boundary-00=_0mlYK2lPzBeIVMQ
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline



    Hi,

       drawing tubeplots does not alway work as expected:

       enter=20


=20
s  :=3D create3Space()$(ThreeSpace DFLOAT)

draw(curve(x,sin(x),0),x=3D0..4,style=3D=3D"shade",tubeRadius=3D=3D0.3,tu=
bePoints=3D=3D20,space=3D=3Ds)

draw(curve(x,sin(x),1),x=3D-4..4,style=3D=3D"shade",tubeRadius=3D=3D0.3,t=
ubePoints=3D=3D20,space=3D=3Ds)

   =20
     and after some scaling and rotating you get the appended  picture.

    =20
     -- Michael


-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20



--Boundary-00=_0mlYK2lPzBeIVMQ
Content-Type: image/png;
	name="Bildschirmphoto7.png"
Content-Transfer-Encoding: base64
Content-Disposition: attachment;
	filename="Bildschirmphoto7.png"

[encoded data, 16632 characters]
AElFTkSuQmCC

--Boundary-00=_0mlYK2lPzBeIVMQ--



From MAILER-DAEMON Sun Jul 19 05:31:56 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSSkO-0007oW-4g
	for mharc-axiom-developer@gnu.org; Sun, 19 Jul 2009 05:31:56 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSSkL-0007nb-48
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 05:31:53 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSSkF-0007j9-3S
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 05:31:51 -0400
Received: from [199.232.76.173] (port=56253 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSSkE-0007iq-Sb
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 05:31:46 -0400
Received: from authsmtp.rrzn.uni-hannover.de ([130.75.2.107]:52267)
	by monty-python.gnu.org with esmtps
	(TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60)
	(envelope-from <martin.rubey@math.uni-hannover.de>)
	id 1MSSkD-00045U-NB
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 05:31: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.2/8.14.2) with ESMTP id
	n6J9VU8x013733; Sun, 19 Jul 2009 11:31:31 +0200
To: Michael Becker <Michael.Becker@coconet.de>
Subject: Re: [Axiom-developer] sin(x)  drawing error
References: <200907190124.36451.Michael.Becker@coconet.de>
From: Martin Rubey <martin.rubey@math.uni-hannover.de>
Date: Sun, 19 Jul 2009 11:31:30 +0200
In-Reply-To: <200907190124.36451.Michael.Becker@coconet.de> (Michael Becker's
	message of "Sun\, 19 Jul 2009 01\:24\:36 +0200")
Message-ID: <d9skgt2f4d.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.2.363555, Antispam-Engine: 2.6.1.350677,
	Antispam-Data: 2009.7.19.92116
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 3)
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.gnu.org/pipermail/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, 19 Jul 2009 09:31:53 -0000

Michael Becker <Michael.Becker@coconet.de> writes:

>     Hi,
>
>        drawing tubeplots does not alway work as expected:
>
>        enter 
>
>
>  
> s  := create3Space()$(ThreeSpace DFLOAT)
>
> draw(curve(x,sin(x),0),x=0..4,style=="shade",tubeRadius==0.3,tubePoints==20,space==s)
>
> draw(curve(x,sin(x),1),x=-4..4,style=="shade",tubeRadius==0.3,tubePoints==20,space==s)
>
>     
>      and after some scaling and rotating you get the appended
>      picture.

Sorry for being slow: what exactly looks wrong to you -- is it the
discontinuity that shouldn't be there?

Martin



From MAILER-DAEMON Sun Jul 19 16:59:49 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSdU5-0007fy-Bi
	for mharc-axiom-developer@gnu.org; Sun, 19 Jul 2009 16:59:49 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSdU3-0007f1-IU
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 16:59:47 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSdTy-0007cl-72
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 16:59:46 -0400
Received: from [199.232.76.173] (port=37421 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSdTy-0007ci-1J
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 16:59:42 -0400
Received: from mx20.gnu.org ([199.232.41.8]:6489)
	by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.60) (envelope-from <Michael.Becker@coconet.de>)
	id 1MSdTx-00028E-E8
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 16:59:41 -0400
Received: from mailer.coconet.de ([194.173.70.11])
	by mx20.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MSdTw-00008H-60
	for axiom-developer@nongnu.org; Sun, 19 Jul 2009 16:59:40 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id D00BD33C06
	for <axiom-developer@nongnu.org>; Sun, 19 Jul 2009 22:59:37 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Sun, 19 Jul 2009 22:59:34 +0200
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
From: Michael Becker <Michael.Becker@coconet.de>
To: axiom-developer@nongnu.org
User-Agent: KMail/1.7.1
MIME-Version: 1.0
Content-Disposition: inline
Date: Sun, 19 Jul 2009 22:59:33 +0200
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Message-ID: <200907192259.33972.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 19 Jul 2009 20:59:34.0339 (UTC)
	FILETIME=[D1AC7930:01CA08B3]
X-Detected-Operating-System: by mx20.gnu.org: GNU/Linux 2.6, seldom 2.4 (older,
	4)
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Subject: [Axiom-developer] 60 error(s) parsing
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.gnu.org/pipermail/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, 19 Jul 2009 20:59:47 -0000



    Hi,

        in Hyperdoc click on 'Browse' .
        Enter 'draw', click 'Operations' and select 'Descriptions'.


        Now enter any command in main window : eg. 1+1

        and you get=20

   ....
   ....
  Error  G: syntax error at top level
  Error  G: Improper syntax.
  Error  G: syntax error at top level
  Error  G: Improper syntax.
  Error  H: Improper syntax.
  Error  H: Improper syntax.
  Error  H: syntax error at top level
  Error  H: syntax error at top level
   60 error(s) parsing

   (4)  2
      =20
                                                 Type: PositiveInteger

                                                  =20
   Entering 'content' instead of 'draw' produces only  4 errors:         =
=20


(5) -> 1+1
  Line   1: 1+1
           ..........A.B
  Error  A: syntax error at top level
  Error  A: Improper syntax.
  Error  B: syntax error at top level
  Error  B: Improper syntax.
   4 error(s) parsing

   (5)  2
                                                        Type: =
PositiveInteger


  But there are more ways to reproduces this from hypedoc. =20

  =20
  This bug is present in all versions  of axiom.


  -- Michael


-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20





From MAILER-DAEMON Mon Jul 20 06:33:58 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSqBy-0008Ip-6j
	for mharc-axiom-developer@gnu.org; Mon, 20 Jul 2009 06:33:58 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSqBv-0008Hj-Ri
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:33:55 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSqBq-0008Fe-Hd
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:33:54 -0400
Received: from [199.232.76.173] (port=58932 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSqBq-0008FU-99
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:33:50 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:41100
	helo=axiom-developer.org) by monty-python.gnu.org with esmtps
	(TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60)
	(envelope-from <daly@axiom-developer.org>) id 1MSqBp-0000MO-9Z
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:33:49 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-19-139.zoominternet.net
	[72.23.19.139])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id n6KAXi3W009310;
	Mon, 20 Jul 2009 05:33:45 -0500
Message-ID: <4A644781.6060408@axiom-developer.org>
Date: Mon, 20 Jul 2009 06:31:29 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: Michael Becker <Michael.Becker@coconet.de>, axiom-developer@nongnu.org,
	daly <daly@axiom-developer.org>
References: <200907192259.33972.Michael.Becker@coconet.de>
In-Reply-To: <200907192259.33972.Michael.Becker@coconet.de>
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
	n6KAXi3W009310
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6? (barebone, rare!)
Cc: 
Subject: [Axiom-developer] bug number 7200 Improper syntax after browse
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.gnu.org/pipermail/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, 20 Jul 2009 10:33:56 -0000

Michael,

I can reproduce this bug. It looks like there was an error reported but
the actual error report you see is part of the parser output being re-rea=
d.
I don't know why.

This is bug number 7200

What version of Axiom are you using?
What platform are you running on?

Tim

Michael Becker wrote:
>     Hi,
>
>         in Hyperdoc click on 'Browse' .
>         Enter 'draw', click 'Operations' and select 'Descriptions'.
>
>
>         Now enter any command in main window : eg. 1+1
>
>         and you get=20
>
>    ....
>    ....
>   Error  G: syntax error at top level
>   Error  G: Improper syntax.
>   Error  G: syntax error at top level
>   Error  G: Improper syntax.
>   Error  H: Improper syntax.
>   Error  H: Improper syntax.
>   Error  H: syntax error at top level
>   Error  H: syntax error at top level
>    60 error(s) parsing
>
>    (4)  2
>       =20
>                                                  Type: PositiveInteger
>
>                                                   =20
>    Entering 'content' instead of 'draw' produces only  4 errors:       =
  =20
>
>
> (5) -> 1+1
>   Line   1: 1+1
>            ..........A.B
>   Error  A: syntax error at top level
>   Error  A: Improper syntax.
>   Error  B: syntax error at top level
>   Error  B: Improper syntax.
>    4 error(s) parsing
>
>    (5)  2
>                                                         Type: PositiveI=
nteger
>
>
>   But there are more ways to reproduces this from hypedoc. =20
>
>   =20
>   This bug is present in all versions  of axiom.
>
>
>   -- Michael
>
>
> -----------------------------------------------------------------------=
-------------=20
> Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
> gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
> Adressat dieser Email sind oder nicht autorisiert sind, diese
> f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
> diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
> zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
> Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
> verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
> diese Mail und l=F6schen sie diese anschlie=DFend.
> Vielen Dank f=FCr Ihre Kooperation.
> -----------------------------------------------------------------------=
-------------=20
> This message may contain confidential and/or privileged=20
> information. If you are not the addressee or authorized=20
> to receive this for the addressee, you must not use, copy,=20
> disclose or take any action based on this message or any=20
> information herein. If you have received this message in=20
> error, please advise the sender immediately by reply e-mail=20
> and delete this message. Thank you for your co-operation.=20
> -----------------------------------------------------------------------=
-------------=20
> We make your business move.=20
>
>
>
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>
>  =20




From MAILER-DAEMON Mon Jul 20 06:41:46 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSqJW-0006Cw-Lg
	for mharc-axiom-developer@gnu.org; Mon, 20 Jul 2009 06:41:46 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSqJV-0006Ap-AT
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:41:45 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSqJQ-00062W-CH
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:41:44 -0400
Received: from [199.232.76.173] (port=51446 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSqJQ-00062K-3S
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:41:40 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:56495
	helo=axiom-developer.org) by monty-python.gnu.org with esmtps
	(TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60)
	(envelope-from <daly@axiom-developer.org>) id 1MSqJO-000248-Ms
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:41:39 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-19-139.zoominternet.net
	[72.23.19.139])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id n6KAfa3W011510;
	Mon, 20 Jul 2009 05:41:36 -0500
Message-ID: <4A644958.2040001@axiom-developer.org>
Date: Mon, 20 Jul 2009 06:39:20 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: Michael Becker <Michael.Becker@coconet.de>
Subject: Re: [Axiom-developer] nested anonymous functions
References: <200907182333.06581.Michael.Becker@coconet.de>
In-Reply-To: <200907182333.06581.Michael.Becker@coconet.de>
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
	n6KAfa3W011510
X-detected-operating-system: by monty-python.gnu.org: GNU/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.gnu.org/pipermail/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, 20 Jul 2009 10:41:45 -0000

Michael,

Try

(x +-> ((w,y)+->y+w) (x,2)) 1

The outer function of x requires one argument
which is bound as x, and the inner function of
(x,y) requires 2, (w,y)

This does not appear to be a bug.

Tim


Michael Becker wrote:
>     Hi,
>
>         does axiom  really support  anonymous functions?
> =20
>
>                        AXIOM Computer Algebra System
>                           Version: Axiom (May 2009)
>                 Timestamp: Sunday June 21, 2009 at 23:34:35
> ............
> ............
>
> (1) ->  (y+-> y+1) 1
> (1) ->
>    (1)  2
>                                                         Type: PositiveI=
nteger
> (2) ->  (x +-> ((y+-> y+x) 1)) 2
>  2) ->
>    >> System error:
>    The variable #:G1404 is unbound.
>
> (2) -> f =3D=3D (x +-> ((y+-> y+x) 1))
>                                                                    Type=
: Void
> (3) -> f 2
>    Compiling function f with type PositiveInteger -> PositiveInteger
>
>    (3)  3
>                                                         Type: PositiveI=
nteger
>
>
>       --  Michael
>
>
>
> -----------------------------------------------------------------------=
-------------=20
> Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
> gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
> Adressat dieser Email sind oder nicht autorisiert sind, diese
> f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
> diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
> zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
> Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
> verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
> diese Mail und l=F6schen sie diese anschlie=DFend.
> Vielen Dank f=FCr Ihre Kooperation.
> -----------------------------------------------------------------------=
-------------=20
> This message may contain confidential and/or privileged=20
> information. If you are not the addressee or authorized=20
> to receive this for the addressee, you must not use, copy,=20
> disclose or take any action based on this message or any=20
> information herein. If you have received this message in=20
> error, please advise the sender immediately by reply e-mail=20
> and delete this message. Thank you for your co-operation.=20
> -----------------------------------------------------------------------=
-------------=20
> We make your business move.=20
>
>
>
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>
>  =20




From MAILER-DAEMON Mon Jul 20 06:47:15 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSqOp-0000F6-1g
	for mharc-axiom-developer@gnu.org; Mon, 20 Jul 2009 06:47:15 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSqOm-0000EO-MC
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:47:12 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSqOi-0000Dm-5q
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:47:12 -0400
Received: from [199.232.76.173] (port=48779 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSqOi-0000Dj-15
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:47:08 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:59032
	helo=axiom-developer.org) by monty-python.gnu.org with esmtps
	(TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60)
	(envelope-from <daly@axiom-developer.org>) id 1MSqOh-0003dB-GT
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 06:47:07 -0400
Received: from [192.168.1.100] (dynamic-acs-72-23-19-139.zoominternet.net
	[72.23.19.139])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id n6KAl23W014387;
	Mon, 20 Jul 2009 05:47:02 -0500
Message-ID: <4A644A9F.2010702@axiom-developer.org>
Date: Mon, 20 Jul 2009 06:44:47 -0400
From: Tim Daly <daly@axiom-developer.org>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: Michael Becker <Michael.Becker@coconet.de>
References: <200907190124.36451.Michael.Becker@coconet.de>
In-Reply-To: <200907190124.36451.Michael.Becker@coconet.de>
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
	n6KAl23W014387
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6? (barebone, rare!)
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] bug number 7201 sin(x)  drawing error
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.gnu.org/pipermail/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, 20 Jul 2009 10:47:13 -0000

Michael,

This appears to be a bug.
It has been assigned bug number 7201.

Tim


Michael Becker wrote:
>     Hi,
>
>        drawing tubeplots does not alway work as expected:
>
>        enter=20
>
>
> =20
> s  :=3D create3Space()$(ThreeSpace DFLOAT)
>
> draw(curve(x,sin(x),0),x=3D0..4,style=3D=3D"shade",tubeRadius=3D=3D0.3,=
tubePoints=3D=3D20,space=3D=3Ds)
>
> draw(curve(x,sin(x),1),x=3D-4..4,style=3D=3D"shade",tubeRadius=3D=3D0.3=
,tubePoints=3D=3D20,space=3D=3Ds)
>
>    =20
>      and after some scaling and rotating you get the appended  picture.
>
>     =20
>      -- Michael
>
>
> -----------------------------------------------------------------------=
-------------=20
> Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
> gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
> Adressat dieser Email sind oder nicht autorisiert sind, diese
> f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
> diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
> zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
> Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
> verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
> diese Mail und l=F6schen sie diese anschlie=DFend.
> Vielen Dank f=FCr Ihre Kooperation.
> -----------------------------------------------------------------------=
-------------=20
> This message may contain confidential and/or privileged=20
> information. If you are not the addressee or authorized=20
> to receive this for the addressee, you must not use, copy,=20
> disclose or take any action based on this message or any=20
> information herein. If you have received this message in=20
> error, please advise the sender immediately by reply e-mail=20
> and delete this message. Thank you for your co-operation.=20
> -----------------------------------------------------------------------=
-------------=20
> We make your business move.=20
>
>
>  =20
>
> -----------------------------------------------------------------------=
-
>
> -----------------------------------------------------------------------=
-
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>  =20




From MAILER-DAEMON Mon Jul 20 15:08:45 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MSyE9-0000Fo-5I
	for mharc-axiom-developer@gnu.org; Mon, 20 Jul 2009 15:08:45 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MSyE7-0000D0-CM
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 15:08:43 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MSyE2-0008TT-6X
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 15:08:42 -0400
Received: from [199.232.76.173] (port=42785 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MSyE1-0008Sh-M2
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 15:08:37 -0400
Received: from mailer.coconet.de ([194.173.70.11]:40079)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MSyE0-0005my-5p
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 15:08:36 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id 7172033B8D;
	Mon, 20 Jul 2009 21:08:34 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Mon, 20 Jul 2009 21:08:31 +0200
From: Michael Becker <Michael.Becker@coconet.de>
To: Tim Daly <daly@axiom-developer.org>
Date: Mon, 20 Jul 2009 21:08:30 +0200
User-Agent: KMail/1.7.1
References: <200907192259.33972.Michael.Becker@coconet.de>
	<4A644781.6060408@axiom-developer.org>
In-Reply-To: <4A644781.6060408@axiom-developer.org>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Message-Id: <200907202108.30347.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 20 Jul 2009 19:08:31.0191 (UTC)
	FILETIME=[788A8670:01CA096D]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] Re: bug number 7200 Improper syntax after browse
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.gnu.org/pipermail/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, 20 Jul 2009 19:08:43 -0000

Am Montag, 20. Juli 2009 12:31 schrieb Tim Daly:
> Michael,
>
> I can reproduce this bug. It looks like there was an error reported but
> the actual error report you see is part of the parser output being re-rea=
d.
> I don't know why.
>
> This is bug number 7200
>
> What version of Axiom are you using?
> What platform are you running on?



  Axiom:


                       AXIOM Computer Algebra System
                          Version: Axiom (May 2009)
                Timestamp: Sunday June 21, 2009 at 23:34:35


  Platform:

              SUSE Linux Enterprise Desktop 10 (i586)
    and
              SuSE Linux 9.2 (i586)

    =20
  -- Michael

>
> Tim
>
> Michael Becker wrote:
> >     Hi,
> >
> >         in Hyperdoc click on 'Browse' .
> >         Enter 'draw', click 'Operations' and select 'Descriptions'.
> >
> >
> >         Now enter any command in main window : eg. 1+1
> >
> >         and you get
> >
> >    ....
> >    ....
> >   Error  G: syntax error at top level
> >   Error  G: Improper syntax.
> >   Error  G: syntax error at top level
> >   Error  G: Improper syntax.
> >   Error  H: Improper syntax.
> >   Error  H: Improper syntax.
> >   Error  H: syntax error at top level
> >   Error  H: syntax error at top level
> >    60 error(s) parsing
> >
> >    (4)  2
> >
> >                                                  Type: PositiveInteger
> >
> >
> >    Entering 'content' instead of 'draw' produces only  4 errors:
> >
> >
> > (5) -> 1+1
> >   Line   1: 1+1
> >            ..........A.B
> >   Error  A: syntax error at top level
> >   Error  A: Improper syntax.
> >   Error  B: syntax error at top level
> >   Error  B: Improper syntax.
> >    4 error(s) parsing
> >
> >    (5)  2
> >                                                         Type:
> > PositiveInteger
> >
> >
> >   But there are more ways to reproduces this from hypedoc.
> >
> >
> >   This bug is present in all versions  of axiom.
> >
> >
> >   -- Michael
> >
> >
> > -----------------------------------------------------------------------=
=2D-
> >----------- Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
> > gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
> > Adressat dieser Email sind oder nicht autorisiert sind, diese
> > f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
> > diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
> > zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
> > Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
> > verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
> > diese Mail und l=F6schen sie diese anschlie=DFend.
> > Vielen Dank f=FCr Ihre Kooperation.
> > -----------------------------------------------------------------------=
=2D-
> >----------- This message may contain confidential and/or privileged
> > information. If you are not the addressee or authorized
> > to receive this for the addressee, you must not use, copy,
> > disclose or take any action based on this message or any
> > information herein. If you have received this message in
> > error, please advise the sender immediately by reply e-mail
> > and delete this message. Thank you for your co-operation.
> > -----------------------------------------------------------------------=
=2D-
> >----------- We make your business move.
> >
> >
> >
> >
> > _______________________________________________
> > Axiom-developer mailing list
> > Axiom-developer@nongnu.org
> > http://lists.nongnu.org/mailman/listinfo/axiom-developer






From MAILER-DAEMON Mon Jul 20 18:16:36 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MT19w-0004jl-Ju
	for mharc-axiom-developer@gnu.org; Mon, 20 Jul 2009 18:16:36 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MT19u-0004jW-Ok
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 18:16:34 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MT19q-0004iU-1j
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 18:16:34 -0400
Received: from [199.232.76.173] (port=37041 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MT19p-0004iR-Uu
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 18:16:30 -0400
Received: from mailer.coconet.de ([194.173.70.11]:40431)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MT19p-0006Gx-9n
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 18:16:29 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id 0913A33B9F;
	Tue, 21 Jul 2009 00:16:29 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Tue, 21 Jul 2009 00:16:25 +0200
From: Michael Becker <Michael.Becker@coconet.de>
To: Tim Daly <daly@axiom-developer.org>
Subject: Re: [Axiom-developer] nested anonymous functions
Date: Tue, 21 Jul 2009 00:16:25 +0200
User-Agent: KMail/1.7.1
References: <200907182333.06581.Michael.Becker@coconet.de>
	<4A644958.2040001@axiom-developer.org>
In-Reply-To: <4A644958.2040001@axiom-developer.org>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Message-Id: <200907210016.25164.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 20 Jul 2009 22:16:25.0516 (UTC)
	FILETIME=[B88FFEC0:01CA0987]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
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.gnu.org/pipermail/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, 20 Jul 2009 22:16:35 -0000


Am Montag, 20. Juli 2009 12:39 schrieb Tim Daly:
> Michael,
>
> Try
>
> (x +-> ((w,y)+->y+w) (x,2)) 1
>
> The outer function of x requires one argument
> which is bound as x, and the inner function of
> (x,y) requires 2, (w,y)
>
> This does not appear to be a bug.


 =20
  Tim,

    This was a question.=20

    According to Section 6.16:  Variables in Functions are local or global =
(in=20
workspace)
   =20
    e.g.:
(4) -> bla() =3D=3D (m:=3D3;f() =3D=3D m +3; f())
                                                                   Type: Vo=
id
(5) -> bla()
   Compiled code for f has been cleared.
   1 old definition(s) deleted for function or rule f
   Compiling function f with type PositiveInteger -> Polynomial Integer

   Compiling function bla with type () -> Polynomial Integer

   (5)  m + 3
                                                     Type: Polynomial Integ=
er

  =20

   So nested anonymous functions are not really supported.



   -- Michael

 =20


>
> Tim
>
> Michael Becker wrote:
> >     Hi,
> >
> >         does axiom  really support  anonymous functions?
> >
> >
> >                        AXIOM Computer Algebra System
> >                           Version: Axiom (May 2009)
> >                 Timestamp: Sunday June 21, 2009 at 23:34:35
> > ............
> > ............
> >
> > (1) ->  (y+-> y+1) 1
> > (1) ->
> >    (1)  2
> >                                                         Type:
> > PositiveInteger (2) ->  (x +-> ((y+-> y+x) 1)) 2
> >  2) ->
> >
> >    >> System error:
> >
> >    The variable #:G1404 is unbound.
> >
> > (2) -> f =3D=3D (x +-> ((y+-> y+x) 1))
> >                                                                    Type:
> > Void (3) -> f 2
> >    Compiling function f with type PositiveInteger -> PositiveInteger
> >
> >    (3)  3
> >                                                         Type:
> > PositiveInteger
> >
> >
> >       --  Michael
> >
> >
> >
> > -----------------------------------------------------------------------=
=2D-
> >----------- Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
> > gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
> > Adressat dieser Email sind oder nicht autorisiert sind, diese
> > f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
> > diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
> > zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
> > Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
> > verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
> > diese Mail und l=F6schen sie diese anschlie=DFend.
> > Vielen Dank f=FCr Ihre Kooperation.
> > -----------------------------------------------------------------------=
=2D-
> >----------- This message may contain confidential and/or privileged
> > information. If you are not the addressee or authorized
> > to receive this for the addressee, you must not use, copy,
> > disclose or take any action based on this message or any
> > information herein. If you have received this message in
> > error, please advise the sender immediately by reply e-mail
> > and delete this message. Thank you for your co-operation.
> > -----------------------------------------------------------------------=
=2D-
> >----------- We make your business move.
> >
> >
> >
> >
> > _______________________________________________
> > Axiom-developer mailing list
> > Axiom-developer@nongnu.org
> > http://lists.nongnu.org/mailman/listinfo/axiom-developer






From MAILER-DAEMON Mon Jul 20 23:44:57 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MT6Hh-0001ia-JY
	for mharc-axiom-developer@gnu.org; Mon, 20 Jul 2009 23:44:57 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MT6Hf-0001hH-Qo
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 23:44:55 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MT6Hb-0001d5-0R
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 23:44:55 -0400
Received: from [199.232.76.173] (port=40323 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MT6Ha-0001d2-Ul
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 23:44:50 -0400
Received: from mailer.coconet.de ([194.173.70.11]:40839)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MT6Ha-0005dW-Cm
	for axiom-developer@nongnu.org; Mon, 20 Jul 2009 23:44:50 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id 88EAD1219F
	for <axiom-developer@nongnu.org>; Tue, 21 Jul 2009 05:44:49 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Tue, 21 Jul 2009 05:44:46 +0200
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
From: Michael Becker <Michael.Becker@coconet.de>
To: axiom-developer@nongnu.org
User-Agent: KMail/1.7.1
MIME-Version: 1.0
Content-Disposition: inline
Date: Tue, 21 Jul 2009 05:44:46 +0200
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Message-ID: <200907210544.46141.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 21 Jul 2009 03:44:46.0619 (UTC)
	FILETIME=[9755BEB0:01CA09B5]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Subject: [Axiom-developer] Internal Error : Interpreter code generation
	failed for expression...
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.gnu.org/pipermail/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, 21 Jul 2009 03:44:56 -0000



    Hi,

         I have  the followin input-file


------- ma2.input -----------------------------------
fallingPower : (INT,NNI) -> INT

fallingPower (p,0) =3D=3D 1
fallingPower (p,n) =3D=3D p*fallingPower(p-1,n-1)

test0 () =3D=3D
   n : Matrix Integer
   n :=3D new(3,3,0)
   for i in 1..3 repeat _
         for j in 1..3 repeat _
         n(i,j) :=3D fallingPower(i+j,j)
   n

test1 () =3D=3D
   n : Matrix Integer
   n :=3D new(3,3,0)
   for i in 1..3 repeat _
         for j in 1..3 repeat _
         n(i,j) :=3D i+j
   n

test2 () =3D=3D
   n : Matrix Integer =20
   n :=3D new(3,3,0)
   for i in 1..3 repeat _
         for j in 1..3 repeat _
         n(i,j) :=3D fallingPower(i,j)
   n


test2()
test1()
test0()
--------------------------------------------------


 reading this in axiom gives the follwing error


--------------------------------------------------

                       AXIOM Computer Algebra System
                          Version: Axiom (May 2009)
                Timestamp: Sunday June 21, 2009 at 23:34:35
-------------------------------------------------------------------------=
----
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
-------------------------------------------------------------------------=
----

   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) ->
(1) -> )re ma2
(1) ->


fallingPower : (INT,NNI) -> INT

                                                                   Type: =
Void

fallingPower (p,0) =3D=3D 1

                                                                   Type: =
Void
fallingPower (p,n) =3D=3D p*fallingPower(p-1,n-1)

                                                                   Type: =
Void

test0 () =3D=3D
   n : Matrix Integer
   n :=3D new(3,3,0)
   for i in 1..3 repeat _
         for j in 1..3 repeat _
         n(i,j) :=3D fallingPower(i+j,j)
   n

                                                                   Type: =
Void

test1 () =3D=3D
   n : Matrix Integer
   n :=3D new(3,3,0)
   for i in 1..3 repeat _
         for j in 1..3 repeat _
         n(i,j) :=3D i+j
   n

                                                                   Type: =
Void

test2 () =3D=3D
   n : Matrix Integer
   n :=3D new(3,3,0)
   for i in 1..3 repeat _
         for j in 1..3 repeat _
         n(i,j) :=3D fallingPower(i,j)
   n

                                                                   Type: =
Void


test2()

   Loading /usr_local/axiom0509/mnt/opensuse/algebra/MATRIX.o for
      domain Matrix
   Loading /usr_local/axiom0509/mnt/opensuse/algebra/IIARRAY2.o for
      domain InnerIndexedTwoDimensionalArray
   There are no library operations named fallingPower
      Use HyperDoc Browse or issue
                            )what op fallingPower
      to learn if there is any operation containing " fallingPower " in
      its name.
   Cannot find a definition or applicable library operation named
      fallingPower with argument type(s)
                                   Integer
                                   Integer

      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.
   AXIOM will attempt to step through and interpret the code.
   Compiling function fallingPower with type (Integer,
      NonNegativeInteger) -> Integer
   Compiling function test2 with type () -> Matrix Integer
   Compiling function G1997 with type Integer -> Boolean

   Loading /usr_local/axiom0509/mnt/opensuse/algebra/MATCAT-.o for
      domain MatrixCategory&
   Loading /usr_local/axiom0509/mnt/opensuse/algebra/ARR2CAT-.o for
      domain TwoDimensionalArrayCategory&
        +1  0  0+
        |       |
   (7)  |2  2  0|
        |       |
        +3  6  6+
                                                         Type: Matrix =
Integer
test1()

   Compiling function test1 with type () -> Matrix Integer

        +2  3  4+
        |       |
   (8)  |3  4  5|
        |       |
        +4  5  6+
                                                         Type: Matrix =
Integer
test0()

   Compiling function test0 with type () -> Matrix Integer
   Loading /usr_local/axiom0509/mnt/opensuse/algebra/UPMP.o for package
      UnivariatePolynomialMultiplicationPackage
   Loading /usr_local/axiom0509/mnt/opensuse/algebra/UP.o for domain
      UnivariatePolynomial
   Internal Error
   Interpreter code generation failed for expression
      (IF (=3D |#2| 0) 1 (* |#1| (|fallingPower| (- |#1| 1) (- |#2| =
1))))



--------------------------------------------------


=20
   i can't see whats wrong with 'test0'.


    -- Michael



  ps:  same result in fricas or open-axiom.

  =20





-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20





From MAILER-DAEMON Tue Jul 21 01:48:23 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MT8D9-0006Q8-9j
	for mharc-axiom-developer@gnu.org; Tue, 21 Jul 2009 01:48:23 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MT8D7-0006KS-Pi
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 01:48:21 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MT8D3-00063p-Ix
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 01:48:21 -0400
Received: from [199.232.76.173] (port=59729 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MT8D3-000633-Dj
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 01:48:17 -0400
Received: from mo-p00-ob.rzone.de ([81.169.146.160]:8779)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <ralf@hemmecke.de>) id 1MT8D2-0005FA-ON
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 01:48:17 -0400
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; t=1248155294; l=4622;
	s=domk; d=hemmecke.de;
	h=Content-Transfer-Encoding:Content-Type:In-Reply-To:References:
	Subject:CC:To:MIME-Version:From:Date:X-RZG-CLASS-ID:X-RZG-AUTH;
	bh=7Ado0lRFAg08YsNwlxtxRhe36aE=;
	b=bh8aGBUFXoFrXK9K+V7tKru13HHZcr4DAOR4ekYQ9BKsuYUmD46+BbT63CYFL1dG/0S
	iIdalvZt4tEfqzwUn+GKsNeRkROGByUf1IhOhs60DJ0j8bufyI47Tt9rrKYHzZtFnnfQj
	+1vEAacp6+ObRshJw8Yt+xZLJ6o7vgRhSVM=
X-RZG-AUTH: :Pm0Ic2CgfvKqpyys4bXn/kzLaHTdYnTFXEqQA90LpSWk1ofrjzFiGvr7h5Q=
X-RZG-CLASS-ID: mo00
Received: from [10.0.0.1] (62-47-53-203.adsl.highway.telekom.at [62.47.53.203])
	by post.strato.de (mrclete mo26) (RZmta 18.51)
	with (DHE-RSA-AES128-SHA encrypted) ESMTP id t05afbl6L3eONR ;
	Tue, 21 Jul 2009 07:47:27 +0200 (MEST)
Message-ID: <4A65566F.2070404@hemmecke.de>
Date: Tue, 21 Jul 2009 07:47:27 +0200
From: Ralf Hemmecke <ralf@hemmecke.de>
User-Agent: Thunderbird 2.0.0.22 (X11/20090608)
MIME-Version: 1.0
To: Michael Becker <Michael.Becker@coconet.de>
Subject: Re: [Axiom-developer] Internal Error : Interpreter code generation
	failed for expression...
References: <200907210544.46141.Michael.Becker@coconet.de>
In-Reply-To: <200907210544.46141.Michael.Becker@coconet.de>
X-Sent-by-Hemmecke: ralf@hemmecke.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by monty-python.gnu.org: Solaris 10 (beta)
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.gnu.org/pipermail/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, 21 Jul 2009 05:48:22 -0000

Your "error" is in this line.

 > fallingPower (p,n) == p*fallingPower(p-1,n-1)

Axiom has no chance to figure out at compile time that n-1 is really of 
type NNI as you required in your signature

 > fallingPower : (INT,NNI) -> INT

So the best way to deal with that is to help Axiom.

The following line works for me in FriCAS.

fallingPower (p,n) == p*fallingPower(p-1,(n-1)::NNI)

Maybe you have to add "::NNI" in a few other places.

Hope that helps
Ralf


On 07/21/2009 05:44 AM, Michael Becker wrote:
> 
>     Hi,
> 
>          I have  the followin input-file
> 
> 
> ------- ma2.input -----------------------------------
> fallingPower : (INT,NNI) -> INT
> 
> fallingPower (p,0) == 1
> fallingPower (p,n) == p*fallingPower(p-1,n-1)
> 
> test0 () ==
>    n : Matrix Integer
>    n := new(3,3,0)
>    for i in 1..3 repeat _
>          for j in 1..3 repeat _
>          n(i,j) := fallingPower(i+j,j)
>    n
> 
> test1 () ==
>    n : Matrix Integer
>    n := new(3,3,0)
>    for i in 1..3 repeat _
>          for j in 1..3 repeat _
>          n(i,j) := i+j
>    n
> 
> test2 () ==
>    n : Matrix Integer  
>    n := new(3,3,0)
>    for i in 1..3 repeat _
>          for j in 1..3 repeat _
>          n(i,j) := fallingPower(i,j)
>    n
> 
> 
> test2()
> test1()
> test0()
> --------------------------------------------------
> 
> 
>  reading this in axiom gives the follwing error
> 
> 
> --------------------------------------------------
> 
>                        AXIOM Computer Algebra System
>                           Version: Axiom (May 2009)
>                 Timestamp: Sunday June 21, 2009 at 23:34:35
> -----------------------------------------------------------------------------
>    Issue )copyright to view copyright notices.
>    Issue )summary for a summary of useful system commands.
>    Issue )quit to leave AXIOM and return to shell.
> -----------------------------------------------------------------------------
> 
>    Re-reading compress.daase   Re-reading interp.daase
>    Re-reading operation.daase
>    Re-reading category.daase
>    Re-reading browse.daase
> (1) ->
> (1) -> )re ma2
> (1) ->
> 
> 
> fallingPower : (INT,NNI) -> INT
> 
>                                                                    Type: Void
> 
> fallingPower (p,0) == 1
> 
>                                                                    Type: Void
> fallingPower (p,n) == p*fallingPower(p-1,n-1)
> 
>                                                                    Type: Void
> 
> test0 () ==
>    n : Matrix Integer
>    n := new(3,3,0)
>    for i in 1..3 repeat _
>          for j in 1..3 repeat _
>          n(i,j) := fallingPower(i+j,j)
>    n
> 
>                                                                    Type: Void
> 
> test1 () ==
>    n : Matrix Integer
>    n := new(3,3,0)
>    for i in 1..3 repeat _
>          for j in 1..3 repeat _
>          n(i,j) := i+j
>    n
> 
>                                                                    Type: Void
> 
> test2 () ==
>    n : Matrix Integer
>    n := new(3,3,0)
>    for i in 1..3 repeat _
>          for j in 1..3 repeat _
>          n(i,j) := fallingPower(i,j)
>    n
> 
>                                                                    Type: Void
> 
> 
> test2()
> 
>    Loading /usr_local/axiom0509/mnt/opensuse/algebra/MATRIX.o for
>       domain Matrix
>    Loading /usr_local/axiom0509/mnt/opensuse/algebra/IIARRAY2.o for
>       domain InnerIndexedTwoDimensionalArray
>    There are no library operations named fallingPower
>       Use HyperDoc Browse or issue
>                             )what op fallingPower
>       to learn if there is any operation containing " fallingPower " in
>       its name.
>    Cannot find a definition or applicable library operation named
>       fallingPower with argument type(s)
>                                    Integer
>                                    Integer
> 
>       Perhaps you should use "@" to indicate the required return type,
>       or "$" to specify which version of the function you need.
>    AXIOM will attempt to step through and interpret the code.
>    Compiling function fallingPower with type (Integer,
>       NonNegativeInteger) -> Integer
>    Compiling function test2 with type () -> Matrix Integer
>    Compiling function G1997 with type Integer -> Boolean
> 
>    Loading /usr_local/axiom0509/mnt/opensuse/algebra/MATCAT-.o for
>       domain MatrixCategory&
>    Loading /usr_local/axiom0509/mnt/opensuse/algebra/ARR2CAT-.o for
>       domain TwoDimensionalArrayCategory&
>         +1  0  0+
>         |       |
>    (7)  |2  2  0|
>         |       |
>         +3  6  6+
>                                                          Type: Matrix Integer
> test1()
> 
>    Compiling function test1 with type () -> Matrix Integer
> 
>         +2  3  4+
>         |       |
>    (8)  |3  4  5|
>         |       |
>         +4  5  6+
>                                                          Type: Matrix Integer
> test0()
> 
>    Compiling function test0 with type () -> Matrix Integer
>    Loading /usr_local/axiom0509/mnt/opensuse/algebra/UPMP.o for package
>       UnivariatePolynomialMultiplicationPackage
>    Loading /usr_local/axiom0509/mnt/opensuse/algebra/UP.o for domain
>       UnivariatePolynomial
>    Internal Error
>    Interpreter code generation failed for expression
>       (IF (= |#2| 0) 1 (* |#1| (|fallingPower| (- |#1| 1) (- |#2| 1))))
> 
> 
> 
> --------------------------------------------------
> 
> 
>  
>    i can't see whats wrong with 'test0'.
> 
> 
>     -- Michael
> 
> 
> 
>   ps:  same result in fricas or open-axiom.



From MAILER-DAEMON Tue Jul 21 10:18:47 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MTGB4-0006oL-SC
	for mharc-axiom-developer@gnu.org; Tue, 21 Jul 2009 10:18:46 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MTGB2-0006mt-Nf
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:18:44 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MTGAx-0006jx-Om
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:18:44 -0400
Received: from [199.232.76.173] (port=49547 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MTGAx-0006jq-Ah
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:18:39 -0400
Received: from mailer.coconet.de ([194.173.70.11]:43066)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MTGAw-0002ui-Ln
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:18:39 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id A9CA833BB1;
	Tue, 21 Jul 2009 16:18:37 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Tue, 21 Jul 2009 16:18:34 +0200
From: Michael Becker <Michael.Becker@coconet.de>
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
To: "Ralf Hemmecke" <ralf@hemmecke.de>
Subject: Re: [Axiom-developer] Internal Error : Interpreter code generation
	failed for expression...
Date: Tue, 21 Jul 2009 16:18:34 +0200
User-Agent: KMail/1.7.1
References: <200907210544.46141.Michael.Becker@coconet.de>
	<4A65566F.2070404@hemmecke.de>
In-Reply-To: <4A65566F.2070404@hemmecke.de>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Message-ID: <200907211618.34263.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 21 Jul 2009 14:18:34.0000 (UTC)
	FILETIME=[216B9900:01CA0A0E]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
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.gnu.org/pipermail/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, 21 Jul 2009 14:18:45 -0000

Am Dienstag, 21. Juli 2009 07:47 schrieb Ralf Hemmecke:
> Your "error" is in this line.
>
>  > fallingPower (p,n) =3D=3D p*fallingPower(p-1,n-1)
>
> Axiom has no chance to figure out at compile time that n-1 is really =
of
> type NNI as you required in your signature
>
>  > fallingPower : (INT,NNI) -> INT
>
> So the best way to deal with that is to help Axiom.


    =20
     Ok,

        but can you explain, why  Axiom can  compile test2 ?

        the only difference is line      =20
                      n(i,j) :=3D fallingPower(i+j,j)  in test0
        and
                      n(i,j) :=3D fallingPower(i,j)  in test2=20


     Thanks, =20

        Michael               =20

>
> The following line works for me in FriCAS.
>
> fallingPower (p,n) =3D=3D p*fallingPower(p-1,(n-1)::NNI)
>
> Maybe you have to add "::NNI" in a few other places.
>
> Hope that helps
> Ralf
>
> On 07/21/2009 05:44 AM, Michael Becker wrote:
> >     Hi,
> >
> >          I have  the followin input-file
> >
> >
> > ------- ma2.input -----------------------------------
> > fallingPower : (INT,NNI) -> INT
> >
> > fallingPower (p,0) =3D=3D 1
> > fallingPower (p,n) =3D=3D p*fallingPower(p-1,n-1)
> >
> > test0 () =3D=3D
> >    n : Matrix Integer
> >    n :=3D new(3,3,0)
> >    for i in 1..3 repeat _
> >          for j in 1..3 repeat _
> >          n(i,j) :=3D fallingPower(i+j,j)
> >    n
> >
> > test1 () =3D=3D
> >    n : Matrix Integer
> >    n :=3D new(3,3,0)
> >    for i in 1..3 repeat _
> >          for j in 1..3 repeat _
> >          n(i,j) :=3D i+j
> >    n
> >
> > test2 () =3D=3D
> >    n : Matrix Integer
> >    n :=3D new(3,3,0)
> >    for i in 1..3 repeat _
> >          for j in 1..3 repeat _
> >          n(i,j) :=3D fallingPower(i,j)
> >    n
> >
> >
> > test2()
> > test1()
> > test0()
> > --------------------------------------------------
> >
> >
> >  reading this in axiom gives the follwing error
> >
> >
> > --------------------------------------------------
> >
> >                        AXIOM Computer Algebra System
> >                           Version: Axiom (May 2009)
> >                 Timestamp: Sunday June 21, 2009 at 23:34:35
> > =
-------------------------------------------------------------------------=

> >---- Issue )copyright to view copyright notices.
> >    Issue )summary for a summary of useful system commands.
> >    Issue )quit to leave AXIOM and return to shell.
> > =
-------------------------------------------------------------------------=

> >----
> >
> >    Re-reading compress.daase   Re-reading interp.daase
> >    Re-reading operation.daase
> >    Re-reading category.daase
> >    Re-reading browse.daase
> > (1) ->
> > (1) -> )re ma2
> > (1) ->
> >
> >
> > fallingPower : (INT,NNI) -> INT
> >
> >                                                                    =
Type:
> > Void
> >
> > fallingPower (p,0) =3D=3D 1
> >
> >                                                                    =
Type:
> > Void fallingPower (p,n) =3D=3D p*fallingPower(p-1,n-1)
> >
> >                                                                    =
Type:
> > Void
> >
> > test0 () =3D=3D
> >    n : Matrix Integer
> >    n :=3D new(3,3,0)
> >    for i in 1..3 repeat _
> >          for j in 1..3 repeat _
> >          n(i,j) :=3D fallingPower(i+j,j)
> >    n
> >
> >                                                                    =
Type:
> > Void
> >
> > test1 () =3D=3D
> >    n : Matrix Integer
> >    n :=3D new(3,3,0)
> >    for i in 1..3 repeat _
> >          for j in 1..3 repeat _
> >          n(i,j) :=3D i+j
> >    n
> >
> >                                                                    =
Type:
> > Void
> >
> > test2 () =3D=3D
> >    n : Matrix Integer
> >    n :=3D new(3,3,0)
> >    for i in 1..3 repeat _
> >          for j in 1..3 repeat _
> >          n(i,j) :=3D fallingPower(i,j)
> >    n
> >
> >                                                                    =
Type:
> > Void
> >
> >
> > test2()
> >
> >    Loading /usr_local/axiom0509/mnt/opensuse/algebra/MATRIX.o for
> >       domain Matrix
> >    Loading /usr_local/axiom0509/mnt/opensuse/algebra/IIARRAY2.o for
> >       domain InnerIndexedTwoDimensionalArray
> >    There are no library operations named fallingPower
> >       Use HyperDoc Browse or issue
> >                             )what op fallingPower
> >       to learn if there is any operation containing " fallingPower " =
in
> >       its name.
> >    Cannot find a definition or applicable library operation named
> >       fallingPower with argument type(s)
> >                                    Integer
> >                                    Integer
> >
> >       Perhaps you should use "@" to indicate the required return =
type,
> >       or "$" to specify which version of the function you need.
> >    AXIOM will attempt to step through and interpret the code.
> >    Compiling function fallingPower with type (Integer,
> >       NonNegativeInteger) -> Integer
> >    Compiling function test2 with type () -> Matrix Integer
> >    Compiling function G1997 with type Integer -> Boolean
> >
> >    Loading /usr_local/axiom0509/mnt/opensuse/algebra/MATCAT-.o for
> >       domain MatrixCategory&
> >    Loading /usr_local/axiom0509/mnt/opensuse/algebra/ARR2CAT-.o for
> >       domain TwoDimensionalArrayCategory&
> >         +1  0  0+
> >
> >    (7)  |2  2  0|
> >
> >         +3  6  6+
> >                                                          Type: =
Matrix
> > Integer test1()
> >
> >    Compiling function test1 with type () -> Matrix Integer
> >
> >         +2  3  4+
> >
> >    (8)  |3  4  5|
> >
> >         +4  5  6+
> >                                                          Type: =
Matrix
> > Integer test0()
> >
> >    Compiling function test0 with type () -> Matrix Integer
> >    Loading /usr_local/axiom0509/mnt/opensuse/algebra/UPMP.o for =
package
> >       UnivariatePolynomialMultiplicationPackage
> >    Loading /usr_local/axiom0509/mnt/opensuse/algebra/UP.o for domain
> >       UnivariatePolynomial
> >    Internal Error
> >    Interpreter code generation failed for expression
> >       (IF (=3D |#2| 0) 1 (* |#1| (|fallingPower| (- |#1| 1) (- |#2| =
1))))
> >
> >
> >
> > --------------------------------------------------
> >
> >
> >
> >    i can't see whats wrong with 'test0'.
> >
> >
> >     -- Michael
> >
> >
> >
> >   ps:  same result in fricas or open-axiom.





-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20





From MAILER-DAEMON Tue Jul 21 10:47:05 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MTGcT-0001WA-CL
	for mharc-axiom-developer@gnu.org; Tue, 21 Jul 2009 10:47:05 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MTGcS-0001UW-Dw
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:47:04 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MTGcN-0001CZ-Bh
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:47:03 -0400
Received: from [199.232.76.173] (port=39314 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MTGcN-0001CF-7u
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:46:59 -0400
Received: from mo-p00-ob.rzone.de ([81.169.146.162]:13213)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <ralf@hemmecke.de>) id 1MTGcM-0003x0-QJ
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 10:46:59 -0400
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; t=1248187617; l=369;
	s=domk; d=hemmecke.de;
	h=Content-Transfer-Encoding:Content-Type:In-Reply-To:References:
	Subject:CC:To:MIME-Version:From:Date:X-RZG-CLASS-ID:X-RZG-AUTH;
	bh=zGLzO7ljbxBY6BQbMAlovszjsys=;
	b=y2qnvqHefsdh0pvlcq4E6aNyvphA2i8oDptcpA/ldvZ3JNM/VhMHC3AeH8h3qoMWPBK
	mNrUkRCl1t0tPo6sEnIryfm6z+odWNvFjKUbIG1IGISbDONOxrQGUa8DmfXrFy/1VQ/F5
	wP8tW7HasWO0bKM1E+NnbK5VX0SArDqYEDw=
X-RZG-AUTH: :Pm0Ic2CgfvKqpyys4bXn/kzLaHTdYnTFXEqQA90LpSWk1ofrjzBkGsKlyV4=
X-RZG-CLASS-ID: mo00
Received: from [10.0.0.2] (62-47-45-162.adsl.highway.telekom.at [62.47.45.162])
	by post.strato.de (klopstock mo12) (RZmta 19.1)
	with (DHE-RSA-AES128-SHA encrypted) ESMTP id N01ae8l6LEYiDh ;
	Tue, 21 Jul 2009 16:46:12 +0200 (MEST)
Message-ID: <4A65D4B3.1030504@hemmecke.de>
Date: Tue, 21 Jul 2009 16:46:11 +0200
From: Ralf Hemmecke <ralf@hemmecke.de>
User-Agent: Thunderbird 2.0.0.22 (X11/20090608)
MIME-Version: 1.0
To: Michael Becker <Michael.Becker@coconet.de>
Subject: Re: [Axiom-developer] Internal Error : Interpreter code generation
	failed for expression...
References: <200907210544.46141.Michael.Becker@coconet.de>
	<4A65566F.2070404@hemmecke.de>
	<200907211618.34263.Michael.Becker@coconet.de>
In-Reply-To: <200907211618.34263.Michael.Becker@coconet.de>
X-Sent-by-Hemmecke: ralf@hemmecke.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by monty-python.gnu.org: Solaris 10 (beta)
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.gnu.org/pipermail/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, 21 Jul 2009 14:47:04 -0000

>      Ok,
> 
>         but can you explain, why  Axiom can  compile test2 ?
> 
>         the only difference is line       
>                       n(i,j) := fallingPower(i+j,j)  in test0
>         and
>                       n(i,j) := fallingPower(i,j)  in test2 

Well my guess is that because

fallingPower (p,0) == 1
fallingPower (p,n) == p*fallingPower(p-1,(n-1)::NNI)

is a recursive definition.

Otherwise, I have no idea.

Ralf



From MAILER-DAEMON Tue Jul 21 19:09:09 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MTOSL-0000Sf-M9
	for mharc-axiom-developer@gnu.org; Tue, 21 Jul 2009 19:09:09 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MTOSJ-0000SO-32
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 19:09:07 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MTOSE-0000S0-BF
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 19:09:06 -0400
Received: from [199.232.76.173] (port=38797 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MTOSE-0000Rh-47
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 19:09:02 -0400
Received: from mail-gx0-f220.google.com ([209.85.217.220]:61046)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <bill.page@newsynthesis.org>) id 1MTOSB-0001Rv-Kq
	for axiom-developer@nongnu.org; Tue, 21 Jul 2009 19:09:00 -0400
Received: by gxk20 with SMTP id 20so16326944gxk.10
	for <axiom-developer@nongnu.org>; Tue, 21 Jul 2009 16:08:58 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.150.152.17 with SMTP id z17mr596320ybd.87.1248217738054; Tue, 
	21 Jul 2009 16:08:58 -0700 (PDT)
In-Reply-To: <4A65D4B3.1030504@hemmecke.de>
References: <200907210544.46141.Michael.Becker@coconet.de>
	<4A65566F.2070404@hemmecke.de>
	<200907211618.34263.Michael.Becker@coconet.de>
	<4A65D4B3.1030504@hemmecke.de>
Date: Tue, 21 Jul 2009 19:08:57 -0400
Message-ID: <fbcd16d40907211608i2b38676ds80cb3df355fa3957@mail.gmail.com>
Subject: Re: [Axiom-developer] Internal Error : Interpreter code generation 
	failed for expression...
From: Bill Page <bill.page@newsynthesis.org>
To: Ralf Hemmecke <ralf@hemmecke.de>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2)
Cc: axiom-developer@nongnu.org, Michael Becker <Michael.Becker@coconet.de>
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.gnu.org/pipermail/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, 21 Jul 2009 23:09:07 -0000

On Tue, Jul 21, 2009 at 10:46 AM, Ralf Hemmecke wrote:
>> =A0 =A0 Ok, =A0but can you explain, why=A0Axiom can=A0compile test2 ?
>>
>> =A0 =A0 =A0 =A0the only difference is line
>> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0n(i,j) :=3D fallingPower(i+j,=
j) =A0in test0
>> =A0 =A0 =A0 =A0and
>> =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0n(i,j) :=3D fallingPower(i,j)=
 =A0in test2
>
> Well my guess is that because
>
> fallingPower (p,0) =3D=3D 1
> fallingPower (p,n) =3D=3D p*fallingPower(p-1,(n-1)::NNI)
>
> is a recursive definition.
>
> Otherwise, I have no idea.
>

There is nothing wrong with using a recursive definition for
'fallingPower'. Obviously Axiom should not fail with an "Internal
Error" in any case. That is clearly a bug.

I have no simple explanation about why test2 compiles successfully,
but notice that the domain NNI does not contain '-' as an operation,
so by writing

  fallingPower : (INT,NNI) -> INT
  fallingPower (p,n) =3D=3D p*fallingPower(p-1,n-1)

you are actually forcing the interpreter to add some hidden automatic
conversions (coercions). It must coerce 'n' to 'Integer', do the
subtraction and then convert (retract) the result back to
NonNegativeInteger. This second conversion might not be possible.
Apparently in anything but the trivial case in-lining of this function
fails and that is a bug.

You might notice that something complicated is going on even in the
case of 'test2' because of the warning:

   Compiling function G1997 with type Integer -> Boolean

But if you simply omit the declaration, e.g. comment it out

  -- fallingPower : (INT,NNI) -> INT

then you see that Axiom actually assumes (Integer,Integer) -> Integer,
 no coercions are necessary and the code generation succeeds.

Regards,
Bill Page.



From MAILER-DAEMON Wed Jul 22 15:30:48 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MThWZ-0006tE-Qp
	for mharc-axiom-developer@gnu.org; Wed, 22 Jul 2009 15:30:47 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MThWY-0006sb-1H
	for axiom-developer@nongnu.org; Wed, 22 Jul 2009 15:30:46 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MThWT-0006qz-Qo
	for axiom-developer@nongnu.org; Wed, 22 Jul 2009 15:30:45 -0400
Received: from [199.232.76.173] (port=46682 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MThWT-0006qq-M4
	for axiom-developer@nongnu.org; Wed, 22 Jul 2009 15:30:41 -0400
Received: from mailer.coconet.de ([194.173.70.11]:46816)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MThWT-00037E-4h
	for axiom-developer@nongnu.org; Wed, 22 Jul 2009 15:30:41 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id F3C1B33324
	for <axiom-developer@nongnu.org>; Wed, 22 Jul 2009 21:30:32 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Wed, 22 Jul 2009 21:30:29 +0200
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
From: Michael Becker <Michael.Becker@coconet.de>
To: axiom-developer@nongnu.org
User-Agent: KMail/1.7.1
MIME-Version: 1.0
Content-Disposition: inline
Date: Wed, 22 Jul 2009 21:30:29 +0200
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Message-ID: <200907222130.29227.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 22 Jul 2009 19:30:29.0568 (UTC)
	FILETIME=[DF2E6400:01CA0B02]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Subject: [Axiom-developer] Question:  local functions
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.gnu.org/pipermail/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, 22 Jul 2009 19:30:46 -0000



    Hi,

    =20
      are functions local to other functions supported in axiom input =
files ?




                       AXIOM Computer Algebra System
                          Version: Axiom (May 2009)
                Timestamp: Sunday June 21, 2009 at 23:34:35
-------------------------------------------------------------------------=
----
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
-------------------------------------------------------------------------=
----

   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) ->
(1) -> )re te3
(1) ->

fallingPower : (Integer,NNI) -> Integer

                                                                   Type: =
Void

f :(Integer,INT, NNI,NNI) -> Integer

                                                                   Type: =
Void
f(x,r,n,c) =3D=3D if c =3D n then r else f(x-1,r*x,n,c+1)

                                                                   Type: =
Void

fallingPower (p,n) =3D=3D f(p,n,1,0)

                                                                   Type: =
Void

gpp:(Integer,NNI) -> Integer

                                                                   Type: =
Void
gpp (p,n) =3D=3D
   local g :(Integer,Integer,INT,INT) -> Integer
   g(x,r,m,c) =3D=3D if c =3D n then r else g(x-1,r*x,m,c+1)
   g(p,1,n,0)

                                                                   Type: =
Void
(7) -> gpp(13,1)
   Compiled code for gpp has been cleared.
   Compiling function g with type (Integer,Integer,Integer,Integer) ->
      Integer
   Compiling function gpp with type (Integer,NonNegativeInteger) ->
      Integer
   There are no library operations named gpp
      Use HyperDoc Browse or issue
                                )what op gpp
      to learn if there is any operation containing " gpp " in its
      name.

   Cannot find a definition or applicable library operation named gpp
      with argument type(s)
                                   Integer
                             NonNegativeInteger

      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.
(7) -> )display val g
   Definition:
     g (x,r,m,c) =3D=3D
       if c=3D r
         then r
         else g(x - 1,r x,m,c + 1)
(7) ->                                 =20




  =20
     =20



    -- Michael







-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20





From MAILER-DAEMON Fri Jul 24 19:43:43 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MUUQQ-0006g2-VR
	for mharc-axiom-developer@gnu.org; Fri, 24 Jul 2009 19:43:43 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MUUQO-0006fk-Ir
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 19:43:40 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MUUQJ-0006fY-Kg
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 19:43:39 -0400
Received: from [199.232.76.173] (port=38352 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MUUQJ-0006fV-Eu
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 19:43:35 -0400
Received: from mailer.coconet.de ([194.173.70.11]:53139)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MUUQI-0005iL-PH
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 19:43:35 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id 27B2335B2D
	for <axiom-developer@nongnu.org>; Sat, 25 Jul 2009 01:43:26 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Sat, 25 Jul 2009 01:43:22 +0200
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
From: Michael Becker <Michael.Becker@coconet.de>
To: axiom-developer@nongnu.org
User-Agent: KMail/1.7.1
MIME-Version: 1.0
Content-Disposition: inline
Date: Sat, 25 Jul 2009 01:43:22 +0200
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Message-ID: <200907250143.22267.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 24 Jul 2009 23:43:22.0725 (UTC)
	FILETIME=[87E9E950:01CA0CB8]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Subject: [Axiom-developer] bad errormessage: There are no library operations
	named ADEF
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.gnu.org/pipermail/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, 24 Jul 2009 23:43:41 -0000



    Hi,


(1) -> (1,2)
(1) ->
   (1)  [1,2]
                                                  Type: Tuple =
PositiveInteger
(2) -> select ((1,2),0)
(2) ->
   (2)  1
                                                        Type: =
PositiveInteger
(3) -> (x +-> select(x,0)) ((1,2)::Tuple INT)
(3) ->
   (3)  1
                                                        Type: =
PositiveInteger
(4) -> ((x : (Tuple INT)):INT +-> select(x,0))  ((1,2))
   There are no library operations named ADEF
      Use HyperDoc Browse or issue
                                )what op ADEF
      to learn if there is any operation containing " ADEF " in its
      name.

   Cannot find a definition or applicable library operation named ADEF
      with argument type(s)
                               PositiveInteger
                               PositiveInteger

      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.


  =20



    -- Michael



  ps:  same result in fricas or open-axiom.

  =20








-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20





From MAILER-DAEMON Fri Jul 24 21:18:53 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MUVuX-0003AP-IX
	for mharc-axiom-developer@gnu.org; Fri, 24 Jul 2009 21:18:53 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MUVuW-0003AA-D1
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 21:18:52 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MUVuQ-00034K-PM
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 21:18:51 -0400
Received: from [199.232.76.173] (port=46587 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MUVuQ-000343-NI
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 21:18:46 -0400
Received: from mailer.coconet.de ([194.173.70.11]:53235)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <Michael.Becker@coconet.de>) id 1MUVuP-0007Jn-TU
	for axiom-developer@nongnu.org; Fri, 24 Jul 2009 21:18:46 -0400
Received: from mail-ccn.coconet.de (mail-ccn.coconet.de [172.20.0.6])
	by mailer.coconet.de (Postfix) with ESMTP id 10BE135B32
	for <axiom-developer@nongnu.org>; Sat, 25 Jul 2009 03:18:45 +0200 (CEST)
Received: from strolch.coconet.de ([172.20.40.1]) by mail-ccn.coconet.de with
	Microsoft SMTPSVC(6.0.3790.3959); Sat, 25 Jul 2009 03:18:41 +0200
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.4325
From: Michael Becker <Michael.Becker@coconet.de>
To: axiom-developer@nongnu.org
User-Agent: KMail/1.7.1
MIME-Version: 1.0
Content-Disposition: inline
Date: Sat, 25 Jul 2009 03:18:41 +0200
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Message-ID: <200907250318.41650.Michael.Becker@coconet.de>
X-OriginalArrivalTime: 25 Jul 2009 01:18:41.0964 (UTC)
	FILETIME=[D8D886C0:01CA0CC5]
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Subject: [Axiom-developer] composition of functions not supported in 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.gnu.org/pipermail/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: Sat, 25 Jul 2009 01:18:52 -0000



    Hi,

       the following shows that f(g(x)) does not always behave as =
expected.


  =20
(1) -> istr :=3D [i for i in  1..]
(1) ->
   (1)  [1,2,3,4,5,6,7,8,9,10,...]
                                                 Type: Stream =
PositiveInteger
(2) -> filterWhile ((x+-> (x ~=3D 3)),cons(9,istr))
(2) ->
   (2)  [9,1,2]
                                                 Type: Stream =
PositiveInteger
(3) -> maxIndex %
(3) ->
   (3)  3
                                                        Type: =
PositiveInteger
(4) -> maxIndex ( filterWhile ((x+-> (x ~=3D 3)),cons(9,istr)) )
 4) ->
   >> Error detected within library code:
   maxIndex: infinite stream




    -- Michael



  ps:  same result in fricas or open-axiom.

  =20









-------------------------------------------------------------------------=
-----------=20
Diese Nachricht k=F6nnte vertrauliche und/oder rechtlich
gesch=FCtzte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
f=FCr den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht f=E4lschlicherweise erhalten haben,
verst=E4ndigen Sie den Absender bitte unverz=FCglich per Antwort auf
diese Mail und l=F6schen sie diese anschlie=DFend.
Vielen Dank f=FCr Ihre Kooperation.
-------------------------------------------------------------------------=
-----------=20
This message may contain confidential and/or privileged=20
information. If you are not the addressee or authorized=20
to receive this for the addressee, you must not use, copy,=20
disclose or take any action based on this message or any=20
information herein. If you have received this message in=20
error, please advise the sender immediately by reply e-mail=20
and delete this message. Thank you for your co-operation.=20
-------------------------------------------------------------------------=
-----------=20
We make your business move.=20





From MAILER-DAEMON Sat Jul 25 00:23:20 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MUYn2-0005cS-Ds
	for mharc-axiom-developer@gnu.org; Sat, 25 Jul 2009 00:23:20 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MUYn1-0005ba-71
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:19 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MUYmw-0005Uh-I9
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:18 -0400
Received: from [199.232.76.173] (port=40892 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MUYmw-0005UO-9P
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:14 -0400
Received: from mail.sci.ccny.cuny.edu ([134.74.38.100]:51819
	helo=cgate.sci.ccny.cuny.edu)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <wyscc@sci.ccny.cuny.edu>) id 1MUYmv-0004HS-S7
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:14 -0400
Received: from [96.232.61.59] (account <wyscc@sci.ccny.cuny.edu>)
	by cgate.sci.ccny.cuny.edu (CommuniGate Pro WebUser 4.0.5)
	with HTTP id 17786381; Sat, 25 Jul 2009 00:22:52 -0400
From: "William Sit" <wyscc@sci.ccny.cuny.edu>
Subject: Re: [Axiom-developer] bad errormessage: There are no library
	operations	named ADEF
To: Michael Becker <Michael.Becker@coconet.de>,
 axiom-developer@nongnu.org
X-Mailer: CommuniGate Pro Web Mailer v.4.0.5
Date: Sat, 25 Jul 2009 00:22:52 -0400
Message-ID: <web-17786381@cgate.sci.ccny.cuny.edu>
In-Reply-To: <200907250143.22267.Michael.Becker@coconet.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"; format="flowed"
Content-Transfer-Encoding: 8bit
X-detected-operating-system: by monty-python.gnu.org: NetCache Data OnTap 5.x
Cc: 
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.gnu.org/pipermail/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: Sat, 25 Jul 2009 04:23:19 -0000

Dear Michael:

The following works, but we shouldn't have to use such 
"unnatural" transformation, since (1,2) is a Tuple object 
(or, is it, always? see below). I also agree the error 
message is bad, but that is neither news nor where the 
problem seems to lie.

((x : (Tuple INT)):INT +-> select(x,0)) ((1,2)::Tuple INT)

or simpler:

((x : (Tuple INT)):INT +-> select(x,0)) [1,2]

Axiom transcript:

(6) -> ((x:(TUPLE INT)):INT+->select(x,0)) [1,2]

   (6) 1
                                                        Type: 
PositiveInteger
(7) -> ((x:(TUPLE INT)):INT+->select(x,0)) (1,2)

   There are no library operations named ADEF
      Use HyperDoc Browse or issue
                                )what op ADEF
      to learn if there is any operation containing " ADEF 
" in its
      name.

   Cannot find a definition or applicable library 
operation named ADEF
      with argument type(s)
                               PositiveInteger
                               PositiveInteger

      Perhaps you should use "@" to indicate the required 
return type,
      or "$" to specify which version of the function you 
need.
(7) -> (1,2)

   (7) [1,2]
                                                  Type: 
Tuple PositiveInteger

(8) -> [1,2]

   (8) [1,2]
                                                   Type: 
List PositiveInteger

Note that the outputform of a tuple uses square brackets.

An examination of the code for Tuple.spad shows that a 
tuple can be input only from a "PrimitiveArray S" which 
inherits from "OneDimensionalArrayAggregate(S)". However, 
the way the Interpreter accepts tuples as input is 
inconsistent:

select((1,2),0) succeeds, but select([1,2],0) fails.

Further investigation shows that the problem has nothing 
to do with anonymous functions. It appears that the 
Interpreter treats (...) differently for unary from binary 
or higher arity functions. For unary function, the 
parenthesis is ignored, while for binary or higher arity 
functions, it is treated as delimiters for a tuple. The 
[1,2] construction forces the Interpreter to view this 
more favorably as a single argument.

This problem survives from Nag Axiom 2.3. If the 
observations above are correct, to fix it, it would would 
require the Interpreter to search by interpreting (...) 
first as a tuple, and failing that, as a single argument; 
or in the reverse order.


(1) -> f==((x:(TUPLE INT)):INT+->select(x,0))
   Function declaration f : Tuple Integer -> Integer has 
been added to
      workspace.
                                                           
       Type: Void
(2) -> )set mess bot on
(2) -> f (1,2,3) -- treated as 3 arguments, same as 
f(1,2,3)

Function Selection for f
      Arguments: (PI,PI,PI)
   -> no function f found for arguments (PI,PI,PI)
   There are no library operations named f
      Use HyperDoc Browse or issue
                                 )what op f
      to learn if there is any operation containing " f " 
in its name.

   Cannot find a definition or applicable library 
operation named f
      with argument type(s)
                               PositiveInteger
                               PositiveInteger
                               PositiveInteger

      Perhaps you should use "@" to indicate the required 
return type,
      or "$" to specify which version of the function you 
need.
(2) -> f ((1,2,3)) --treated as 3 arguments, same as 
f(1,2,3)

Function Selection for f
      Arguments: (PI,PI,PI)
   -> no function f found for arguments (PI,PI,PI)
   There are no library operations named f
      Use HyperDoc Browse or issue
                                 )what op f
      to learn if there is any operation containing " f " 
in its name.

   Cannot find a definition or applicable library 
operation named f
      with argument type(s)
                               PositiveInteger
                               PositiveInteger
                               PositiveInteger

      Perhaps you should use "@" to indicate the required 
return type,
      or "$" to specify which version of the function you 
need.
(2) -> f (1,2,3)::Tuple INT -- wrong association, still 
treated as f(1,2,3)

Function Selection for f
      Arguments: (PI,PI,PI)
   -> no function f found for arguments (PI,PI,PI)
   There are no library operations named f
      Use HyperDoc Browse or issue
                                 )what op f
      to learn if there is any operation containing " f " 
in its name.

   Cannot find a definition or applicable library 
operation named f
      with argument type(s)
                               PositiveInteger
                               PositiveInteger
                               PositiveInteger

      Perhaps you should use "@" to indicate the required 
return type,
      or "$" to specify which version of the function you 
need.
(2) -> f ((1,2,3)::Tuple INT) -- forces (1,2,3) as a 
single argument

Function Selection for f
      Arguments: TUPLE INT

Function Selection for select
      Arguments: (TUPLE INT,NNI)
      Target type: INT

[1] signature: (TUPLE INT,NNI) -> INT
      implemented: slot (Integer)$(NonNegativeInteger) 
from TUPLE INT

   Compiling function f with type Tuple Integer -> Integer

[1] signature: TUPLE INT -> INT
      implemented: local function *1;f;1;initial


   (2) 1
                                                        Type: 
PositiveInteger
(3) -> f [1,2,3] -- a simpler way to force as single 
argument

Function Selection for construct
      Arguments: (PI,PI,PI)
      Target type: TUPLE INT
   -> no function construct found for arguments (PI,PI,PI)

Function Selection for f
      Arguments: TUPLE INT

[1] signature: TUPLE INT -> INT
      implemented: local function *1;f;1;initial


   (3) 1
                                                        Type: 
PositiveInteger
(4) -> select ((1,2,3),0) -- (1,2,3) treated as first of 
two arguments

Function Selection for select
      Arguments: (TUPLE PI,NNI)

[1] signature: (TUPLE PI,NNI) -> PI
      implemented: slot 
(PositiveInteger)$(NonNegativeInteger) from TUPLE PI


   (4) 1
                                                        Type: 
PositiveInteger
(5) -> select ([1,2,3],0) -- Interpreter does not coerce 
List to Tuple in higher arity

Function Selection for select
      Arguments: (LIST PI,NNI)
   -> no function select found for arguments (LIST PI,NNI)

Function Selection for select
      Arguments: (LIST NNI,INT)
   -> no function select found for arguments (LIST 
NNI,INT)

Function Selection for select
      Arguments: (LIST INT,SINT)
   -> no function select found for arguments (LIST 
INT,SINT)

Function Selection for select
      Arguments: (LIST SINT,SINT)
   -> no function select found for arguments (LIST 
SINT,SINT)
   There are 4 exposed and 1 unexposed library operations 
named select
      having 2 argument(s) but none was determined to be 
applicable.
      Use HyperDoc Browse, or issue
                             )display op select
      to learn more about the available operations. 
Perhaps
      package-calling the operation or using coercions on 
the arguments
      will allow you to apply the operation.

   Cannot find a definition or applicable library 
operation named
      select with argument type(s)
                            List PositiveInteger
                             NonNegativeInteger

      Perhaps you should use "@" to indicate the required 
return type,
      or "$" to specify which version of the function you 
need.



William

On Sat, 25 Jul 2009 01:43:22 +0200
  Michael Becker <Michael.Becker@coconet.de> wrote:
>
>
>     Hi,
>
>
>(1) -> (1,2)
>(1) ->
>    (1)  [1,2]
>                                                   Type: 
>Tuple PositiveInteger
>(2) -> select ((1,2),0)
>(2) ->
>    (2)  1
>                                                         Type: 
>PositiveInteger
>(3) -> (x +-> select(x,0)) ((1,2)::Tuple INT)
>(3) ->
>    (3)  1
>                                                         Type: 
>PositiveInteger
>(4) -> ((x : (Tuple INT)):INT +-> select(x,0))  ((1,2))
>    There are no library operations named ADEF
>       Use HyperDoc Browse or issue
>                                 )what op ADEF
>       to learn if there is any operation containing " 
>ADEF " in its
>       name.
>
>    Cannot find a definition or applicable library 
>operation named ADEF
>       with argument type(s)
>                                PositiveInteger
>                                PositiveInteger
>
>       Perhaps you should use "@" to indicate the 
>required return type,
>       or "$" to specify which version of the function 
>you need.
>
>
>    
>
>
>
>     -- Michael
>
>
>
>   ps:  same result in fricas or open-axiom.
>
>    
>
>
>
>
>
>
>
>
>------------------------------------------------------------------------------------ 
>Diese Nachricht könnte vertrauliche und/oder rechtlich
>geschützte Informationen enthalten. Wenn Sie nicht der
>Adressat dieser Email sind oder nicht autorisiert sind, 
>diese
>für den Adressaten entgegenzunehmen, so ist es untersagt,
>diese Nachricht oder in ihr enthaltene Informationen zu 
>nutzen,
>zu kopieren, offen zu legen oder anderweitig 
>weiterzuverarbeiten.
>Sollten Sie diese Nachricht fälschlicherweise erhalten 
>haben,
>verständigen Sie den Absender bitte unverzüglich per 
>Antwort auf
>diese Mail und löschen sie diese anschließend.
>Vielen Dank für Ihre Kooperation.
>------------------------------------------------------------------------------------ 
>This message may contain confidential and/or privileged 
>information. If you are not the addressee or authorized 
>to receive this for the addressee, you must not use, 
>copy, 
>disclose or take any action based on this message or any 
>information herein. If you have received this message in 
>error, please advise the sender immediately by reply 
>e-mail 
>and delete this message. Thank you for your co-operation. 
>------------------------------------------------------------------------------------ 
>We make your business move. 
>
>
>
>
>_______________________________________________
>Axiom-developer mailing list
>Axiom-developer@nongnu.org
>http://lists.nongnu.org/mailman/listinfo/axiom-developer

William Sit, Professor Emeritus
Mathematics, City College of New York                  
Office: R6/202C Tel: 212-650-5179
Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/



From MAILER-DAEMON Sat Jul 25 00:23:32 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MUYnE-0005lT-Gr
	for mharc-axiom-developer@gnu.org; Sat, 25 Jul 2009 00:23:32 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MUYnC-0005kM-T0
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:30 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MUYn8-0005gi-KT
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:30 -0400
Received: from [199.232.76.173] (port=40893 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MUYn7-0005gT-SQ
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:25 -0400
Received: from mail.sci.ccny.cuny.edu ([134.74.38.100]:51821
	helo=cgate.sci.ccny.cuny.edu)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <wyscc@sci.ccny.cuny.edu>) id 1MUYn7-0004JI-Gj
	for axiom-developer@nongnu.org; Sat, 25 Jul 2009 00:23:25 -0400
Received: from [96.232.61.59] (account <wyscc@sci.ccny.cuny.edu>)
	by cgate.sci.ccny.cuny.edu (CommuniGate Pro WebUser 4.0.5)
	with HTTP id 17786375; Sat, 25 Jul 2009 00:23:22 -0400
From: "William Sit" <wyscc@sci.ccny.cuny.edu>
Subject: Re: [Axiom-developer] composition of functions not supported
	in axiom	???
To: Michael Becker <Michael.Becker@coconet.de>,
 axiom-developer@nongnu.org
X-Mailer: CommuniGate Pro Web Mailer v.4.0.5
Date: Sat, 25 Jul 2009 00:23:22 -0400
Message-ID: <web-17786375@cgate.sci.ccny.cuny.edu>
In-Reply-To: <200907250318.41650.Michael.Becker@coconet.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"; format="flowed"
Content-Transfer-Encoding: 8bit
X-detected-operating-system: by monty-python.gnu.org: NetCache Data OnTap 5.x
Cc: 
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.gnu.org/pipermail/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: Sat, 25 Jul 2009 04:23:31 -0000

Dear Michael:

I think this is a problem with operations on Stream 
objects, in that evaluation is not automatic (lazy 
evaluation). Thus you must explicitly request that the 
Stream be evaluated.

(11) -> maxIndex (complete filterWhile ((x+-> (x ~= 
3)),cons(9,istr)) )

   (11) 3
                                                        Type: 
PositiveInteger

William


On Sat, 25 Jul 2009 03:18:41 +0200
  Michael Becker <Michael.Becker@coconet.de> wrote:
>
>
>     Hi,
>
>        the following shows that f(g(x)) does not always 
>behave as expected.
>
>
>    
>(1) -> istr := [i for i in  1..]
>(1) ->
>    (1)  [1,2,3,4,5,6,7,8,9,10,...]
>                                                  Type: 
>Stream PositiveInteger
>(2) -> filterWhile ((x+-> (x ~= 3)),cons(9,istr))
>(2) ->
>    (2)  [9,1,2]
>                                                  Type: 
>Stream PositiveInteger
>(3) -> maxIndex %
>(3) ->
>    (3)  3
>                                                         Type: 
>PositiveInteger
>(4) -> maxIndex ( filterWhile ((x+-> (x ~= 
>3)),cons(9,istr)) )
>  4) ->
>    >> Error detected within library code:
>    maxIndex: infinite stream
>
>
>
>
>     -- Michael
>
>
>
>   ps:  same result in fricas or open-axiom.
>
>    
>
>
>
>
>
>
>
>
>
>------------------------------------------------------------------------------------ 
>Diese Nachricht könnte vertrauliche und/oder rechtlich
>geschützte Informationen enthalten. Wenn Sie nicht der
>Adressat dieser Email sind oder nicht autorisiert sind, 
>diese
>für den Adressaten entgegenzunehmen, so ist es untersagt,
>diese Nachricht oder in ihr enthaltene Informationen zu 
>nutzen,
>zu kopieren, offen zu legen oder anderweitig 
>weiterzuverarbeiten.
>Sollten Sie diese Nachricht fälschlicherweise erhalten 
>haben,
>verständigen Sie den Absender bitte unverzüglich per 
>Antwort auf
>diese Mail und löschen sie diese anschließend.
>Vielen Dank für Ihre Kooperation.
>------------------------------------------------------------------------------------ 
>This message may contain confidential and/or privileged 
>information. If you are not the addressee or authorized 
>to receive this for the addressee, you must not use, 
>copy, 
>disclose or take any action based on this message or any 
>information herein. If you have received this message in 
>error, please advise the sender immediately by reply 
>e-mail 
>and delete this message. Thank you for your co-operation. 
>------------------------------------------------------------------------------------ 
>We make your business move. 
>
>
>
>
>_______________________________________________
>Axiom-developer mailing list
>Axiom-developer@nongnu.org
>http://lists.nongnu.org/mailman/listinfo/axiom-developer

William Sit, Professor Emeritus
Mathematics, City College of New York                  
Office: R6/202C Tel: 212-650-5179
Home Page: http://scisun.sci.ccny.cuny.edu/~wyscc/



From MAILER-DAEMON Sun Jul 26 02:44:21 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MUxT3-0005R8-Ok
	for mharc-axiom-developer@gnu.org; Sun, 26 Jul 2009 02:44:21 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MUxT1-0005PI-LG
	for axiom-developer@nongnu.org; Sun, 26 Jul 2009 02:44:19 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MUxSx-0005LX-NS
	for axiom-developer@nongnu.org; Sun, 26 Jul 2009 02:44:19 -0400
Received: from [199.232.76.173] (port=41540 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MUxSx-0005LL-HM
	for axiom-developer@nongnu.org; Sun, 26 Jul 2009 02:44:15 -0400
Received: from mx20.gnu.org ([199.232.41.8]:60522)
	by monty-python.gnu.org with esmtps (TLS-1.0:RSA_AES_256_CBC_SHA1:32)
	(Exim 4.60) (envelope-from <daly@axiom-developer.org>)
	id 1MUxSw-0007PI-Vi
	for axiom-developer@nongnu.org; Sun, 26 Jul 2009 02:44:15 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]
	helo=axiom-developer.org) by mx20.gnu.org with esmtp (Exim 4.60)
	(envelope-from <daly@axiom-developer.org>) id 1MUxSv-0007k4-T2
	for axiom-developer@nongnu.org; Sun, 26 Jul 2009 02:44:14 -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 n6Q6iC3W015609;
	Sun, 26 Jul 2009 01:44:12 -0500
From: daly@axiom-developer.org
Received: (from daly@localhost)
	by axiom-developer.org (8.12.8/8.12.8/Submit) id n6Q6iBHu015604;
	Sun, 26 Jul 2009 01:44:11 -0500
Date: Sun, 26 Jul 2009 01:44:11 -0500
Message-Id: <200907260644.n6Q6iBHu015604@axiom-developer.org>
To: axiom-developer@nongnu.org
X-Detected-Operating-System: by mx20.gnu.org: GNU/Linux 2.6? (barebone, rare!)
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6,
	seldom 2.4 (older, 4)
Cc: 
Subject: [Axiom-developer] July 2009 Axiom 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.gnu.org/pipermail/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, 26 Jul 2009 06:44:19 -0000

July 26, 2009 Release Notes

The syntactic conversion from the prior #1 form to the +-> form
is complete except for the GUESS package. Both forms still work
but the #1 form is discouraged.


All algebra files from src/algebra are now in books.


Work has concentrated on the hyperdoc browser. 
  * The browser files which get autoloaded into the interpreter were
    merged and removed in preparation for being rewritten into book form.
  * Glossary files were missing from the build and were added.


Work has started on a new CATS collection of verified algebraic identities,
the tpiezas set. See http://sites.google.com/site/tpiezas


Volume 5: Axiom Interpreter
  * set message autoload now defaults to off


Volume 7 Axiom Hyperdoc
  * htsearch moved to $AXIOM/bin


Volume 10.1 Axiom Algebra Theory
  * add chapter on quaternions


Volume 10.3 Domains
  * Any now has regression and help files
  * MathMLFormat domain moved from Volume 10.4
  * TexFormat has regression and help files
  * TexFormat fix for horizontal fractions
  * Quaternion was added from src/algebra


Volume 10.4 Packages
   * IntegerNumberTheoryFunctions fix divisors regression
   * Waldek's QUATCT2 algebra was added, including a help file, 
     regression tests and command examples.


Makefile 
  * make help files in parallel
  * make xhtml pages in parallel
  * make books documentation in parallel


interpreter
  * src/interp/i-output.boot fix horizontal fractions


axiom-website
  * download.html add mandriva
  * download.html add may2009 binaries


input files
  * ffdemo.input fix steps 27, 57 due to divisors change
  * numbers.input fix random zero failure
  * spline.input explain how to compute 2D splines
  * tpiezas001.input CATS tests of algebraic identities
  * tpiezas002.input CATS tests of algebraic identities




From MAILER-DAEMON Thu Jul 30 23:00:04 2009
Received: from mailman by lists.gnu.org with archive (Exim 4.43)
	id 1MWiLk-00024l-Cy
	for mharc-axiom-developer@gnu.org; Thu, 30 Jul 2009 23:00:04 -0400
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1MWiLj-00024W-5Z
	for axiom-developer@nongnu.org; Thu, 30 Jul 2009 23:00:03 -0400
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1MWiLe-000247-M9
	for axiom-developer@nongnu.org; Thu, 30 Jul 2009 23:00:02 -0400
Received: from [199.232.76.173] (port=58518 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1MWiLe-000244-Gl
	for axiom-developer@nongnu.org; Thu, 30 Jul 2009 22:59:58 -0400
Received: from mail-yx0-f188.google.com ([209.85.210.188]:64407)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <wayo.cavazos@gmail.com>) id 1MWiLd-0007NZ-RV
	for axiom-developer@nongnu.org; Thu, 30 Jul 2009 22:59:58 -0400
Received: by yxe26 with SMTP id 26so3175859yxe.4
	for <axiom-developer@nongnu.org>; Thu, 30 Jul 2009 19:59:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
	h=domainkey-signature:received:received:message-id:date:from
	:user-agent:mime-version:to:subject:content-type
	:content-transfer-encoding;
	bh=hh86k+7z33mEzfcf/0mv+MscwIWH5d+W+NQlVK1PqTQ=;
	b=shudlpEMl8AG7S/1US2L1BtCRJxR56p21MuFlm/i1sJf14lQzLt8mXRRMwgUQjuDew
	VlpCQEDsJ1Fk6GUeQVU8NbU436L022D+a6MdNVaijxu81QFRQanC5y3WKmx9G4Kftsbz
	FfZvdDEiTHjpWZ+wgrGFLLAJkWAuZHTqJSffM=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=message-id:date:from:user-agent:mime-version:to:subject
	:content-type:content-transfer-encoding;
	b=rT6rpUHI1OcdROTEBHuaS0VEEw5dbx5gJd+qGX3Oem0JhuZzowQwQhG6oScZEOlpj+
	7oomkviBmwAjTmHrZnwmAaLu0AQZsr2lH2LEhepOJHoY7upjjsHzWbPdXu0/YRXQ5W+a
	g40a27/asWVFjXMewqA2oFTrOPRGTZHdgghGw=
Received: by 10.100.31.4 with SMTP id e4mr2576502ane.191.1249009196077;
	Thu, 30 Jul 2009 19:59:56 -0700 (PDT)
Received: from ?192.168.1.108? (c-75-72-202-174.hsd1.mn.comcast.net
	[75.72.202.174])
	by mx.google.com with ESMTPS id c23sm1896732ana.8.2009.07.30.19.59.54
	(version=SSLv3 cipher=RC4-MD5); Thu, 30 Jul 2009 19:59:55 -0700 (PDT)
Message-ID: <4A725E02.8090104@gmail.com>
Date: Thu, 30 Jul 2009 21:59:14 -0500
From: Eduardo Cavazos <wayo.cavazos@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
	rv:1.8.1.16) Gecko/20080716 SeaMonkey/1.1.11
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 monty-python.gnu.org: GNU/Linux 2.6 (newer, 2)
Subject: [Axiom-developer] build error
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.gnu.org/pipermail/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, 31 Jul 2009 03:00:03 -0000

Hi!

The build finishes on my system with the following output:

----------------------------------------------------------------------
make[4]: Entering directory `/src/axiom/int/input'
0 starting algebra regression testing
make[5]: Entering directory `/src/axiom/int/input'
make[5]: *** No rule to make target `Any.regress', needed by `all'.  Stop.
make[5]: Leaving directory `/src/axiom/int/input'
make[4]: *** [all] Error 2
make[4]: Leaving directory `/src/axiom/int/input'
make[3]: *** [regress] Error 2
make[3]: Leaving directory `/src/axiom/src/input'
make[2]: *** [inputdir] Error 2
make[2]: Leaving directory `/src/axiom/src'
make[1]: *** [srcdir] Error 2
make[1]: Leaving directory `/src/axiom'
make: *** [all] Error 2
/src/axiom #
----------------------------------------------------------------------

Any guesses?

I'm on a Linux system with gcc 4.2.2. Let me know if you need more 
particular information.

Thanks!

Ed



