From MAILER-DAEMON Thu Oct 24 10:00:36 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VZLSm-0005kl-Lz
	for mharc-axiom-developer@gnu.org; Thu, 24 Oct 2013 10:00:36 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:44926)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <stf@unife.it>) id 1VZHMv-0004zb-Du
	for axiom-developer@nongnu.org; Thu, 24 Oct 2013 05:38:22 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <stf@unife.it>) id 1VZHMq-0002zF-3h
	for axiom-developer@nongnu.org; Thu, 24 Oct 2013 05:38:17 -0400
Received: from mail-we0-x234.google.com ([2a00:1450:400c:c03::234]:54854)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <stf@unife.it>)
	id 1VZHMp-0002yb-P4
	for axiom-developer@nongnu.org; Thu, 24 Oct 2013 05:38:12 -0400
Received: by mail-we0-f180.google.com with SMTP id q59so2013434wes.39
	for <axiom-developer@nongnu.org>; Thu, 24 Oct 2013 02:38:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unife.it; s=google;
	h=date:from:reply-to:to:subject:message-id:user-agent:organization
	:mime-version:content-type;
	bh=+Fb6VB5pWaa0lToP5CvNw2qOwW2YaAgIRWUwD32H1Ak=;
	b=dbnJLjGx/gV2j/FB0ehRUMRMUYTYq6KlAOm7OD42D5G9W5weqafZFlChJtEoz/0VPz
	ARgYc35Qrl5RihiTT2AsXqyH/2sMKBFH1bp8te08c85tYLfjwEjERfQqI+iE8G7DC99I
	xS990Mcr94dIa7KfM5SW0r9XwQF4ZSAm0bi70=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20130820;
	h=x-gm-message-state:date:from:reply-to:to:subject:message-id
	:user-agent:organization:mime-version:content-type;
	bh=+Fb6VB5pWaa0lToP5CvNw2qOwW2YaAgIRWUwD32H1Ak=;
	b=MrKyApi7GFfYrliROYikiZOlNnnmfCJjJBDgctK07nPgbmJYYuv3MiHv2gBbtuQX6i
	aMBrmDpoWslKd2pjazL7VLmZSNCwVz61TRA0UsuIV3zIf0rOK+bhQv8+usCVvbLfdWWL
	PYtiuqrzH9ZAL1IV9TyJ22utkcx+ib9swk06ZVG65SO74HS9GRY6ksclrDGcsEuJP5+I
	ddx4CITr9JRH2pekwiWho9Sf7I0bYFYwn78TB5RsFqt/atN2NPvpDKDyMQFL22kcQXZu
	gLnZWz7vOm5FaOeDbgt7q4j/XNpFzj9avZXbuqFhjv/ZBd1zUj1sQDJznoIResGO2JeF
	a36Q==
X-Gm-Message-State: ALoCoQk81b5trHgVK1TGrPze56poS4R8FEBV9PsJ/uEl87jUQVO+7n4yPsp7XXa9qam5UjEc4enq
X-Received: by 10.180.90.70 with SMTP id bu6mr1288118wib.45.1382607489539;
	Thu, 24 Oct 2013 02:38:09 -0700 (PDT)
Received: from em243.mate.man (em32.unife.it. [192.167.222.32])
	by mx.google.com with ESMTPSA id e5sm25220513wiy.2.2013.10.24.02.38.07
	for <axiom-developer@nongnu.org>
	(version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
	Thu, 24 Oct 2013 02:38:08 -0700 (PDT)
Date: Thu, 24 Oct 2013 11:38:05 +0200 (CEST)
From: "Fabio S." <stf@unife.it>
X-X-Sender: stumbo@Stumbo
To: axiom-developer@nongnu.org
Message-ID: <alpine.DEB.2.02.1310241136070.2938@Stumbo>
User-Agent: Alpine 2.02 (DEB 1266 2009-07-14)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2a00:1450:400c:c03::234
X-Mailman-Approved-At: Thu, 24 Oct 2013 10:00:35 -0400
Subject: [Axiom-developer] About finite fields
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 24 Oct 2013 09:38:22 -0000


I realized that when constructing finite fields providing a user choosen 
polynomial, Axiom doesn't check whether the used polynomial is 
irreducible or not.

For example:

(10) -> factor(x^8+x^4+x^2+x+1::PF 2)
(10) ->
            4    3       4    3    2
    (10)  (x  + x  + 1)(x  + x  + x  + x + 1)
                                Type: Factored(Polynomial(PrimeField(2)))
                                                              Time: 0 sec
(11) -> K:=FFP(PF 2,x^8+x^4+x^2+x+1)
(11) ->
    (11)  FiniteFieldExtensionByPolynomial(PrimeField(2),?^8+?^4+?^2+?+1)
                                                          Type: Domain
                                                Time: 0.01 (IN) = 0.01 sec
(12) -> size()$K
(12) ->
    (12)  256
                                                 Type: NonNegativeInteger
                                                              Time: 0 sec
(13) -> a:=index(2)$K
(13) ->
    (13)  %A
    Type: FiniteFieldExtensionByPolynomial(PrimeField(2),?^8+?^4+?^2+?+1)
                                               Time: 0.01 (OT) = 0.01 sec
(14) -> minimalPolynomial a
(14) ->
           8    4    2
    (14)  ?  + ?  + ?  + ? + 1
                          Type: SparseUnivariatePolynomial(PrimeField(2))
                                                              Time: 0 sec
(15) -> (a^4+a^3+1)*(a^4+a^3+a^2+a+1)
(15) ->
    (15)  0
    Type: FiniteFieldExtensionByPolynomial(PrimeField(2),?^8+?^4+?^2+?+1)
                                                              Time: 0 sec


I am surprised that FiniteFieldByPolynomial allows a contruction which, 
clearly, has no sense and I am wondering if this has to be considered a 
bug to be fixed.

Fabio



From MAILER-DAEMON Sun Oct 27 14:03:42 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VaUgg-0007nz-4O
	for mharc-axiom-developer@gnu.org; Sun, 27 Oct 2013 14:03:42 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:46500)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <clifton_williamson@yahoo.com>) id 1VaUgX-0007g1-CE
	for axiom-developer@nongnu.org; Sun, 27 Oct 2013 14:03:40 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <clifton_williamson@yahoo.com>) id 1VaUgN-0005vV-8C
	for axiom-developer@nongnu.org; Sun, 27 Oct 2013 14:03:33 -0400
Received: from nm34.bullet.mail.ne1.yahoo.com ([98.138.229.27]:31047)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <clifton_williamson@yahoo.com>) id 1VaUgM-0005vK-VP
	for axiom-developer@nongnu.org; Sun, 27 Oct 2013 14:03:23 -0400
Received: from [127.0.0.1] by nm34.bullet.mail.ne1.yahoo.com with NNFMP;
	27 Oct 2013 18:03:21 -0000
Received: from [98.138.90.49] by nm34.bullet.mail.ne1.yahoo.com with NNFMP;
	27 Oct 2013 18:00:21 -0000
Received: from [98.138.87.7] by tm2.bullet.mail.ne1.yahoo.com with NNFMP;
	27 Oct 2013 18:00:21 -0000
Received: from [127.0.0.1] by omp1007.mail.ne1.yahoo.com with NNFMP;
	27 Oct 2013 18:00:21 -0000
X-Yahoo-Newman-Property: ymail-4
X-Yahoo-Newman-Id: 375647.67973.bm@omp1007.mail.ne1.yahoo.com
Received: (qmail 14831 invoked by uid 60001); 27 Oct 2013 18:00:21 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024;
	t=1382896821; bh=30wukSq9VcwdSrGjwYzbmawPS+KTjqMUnFazOVnw638=;
	h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type;
	b=Juyn37q7Mfo5gx3KQOcmxoSfWyK87sBLfdg8jgHrjrp7MhfGTPD3++eMV2KPZx9RZ+oYr4ZdI1fX4WqHJU+ExW7ORy1vHl0RpOhl0dIpFCeYEWF+OG9PB4wG1KiuZ11ELOu8Sl7W2ySD3XCp5AFB6UWXjaW7W4+IpqJfvhumI/U=
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com;
	h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type;
	b=R4X5Pvx++WAfID8aPkH/ZH0+cWn3q5wUNWwWusbK3kJBr+MFAGUfpSO1N83bPLDzJWkqCTz1YT15AiKFdFDNMxj+BWI04pXOpi4oiKMdyLT+YKg5tWAxjg+brdvf5pG4QfZlIk3j7XtiNKPu7rHNhn+327fvC/GzLYqFRiFcObM=;
X-YMail-OSG: yquT3YIVM1ms5MwzlrN_.PK9KZypBES.KX9MfrbL.P4s2Yi
	QwEe5a4S39pvrR7F096ehUY9hRMecBNF982qMkMfJV5.7QGQ-
Received: from [76.102.96.141] by web122502.mail.ne1.yahoo.com via HTTP;
	Sun, 27 Oct 2013 11:00:20 PDT
X-Rocket-MIMEInfo: 002.001,
	RmFiaW8sCgpUaGUgcHJvYmxlbSB3aXRoIGhhdmluZyBBeGlvbSAiYXV0b21hdGljYWxseSIgcGVyZm9ybSBhIGlycmVkdWNpYmlsaXR5IGNoZWNrIGlzIHRoYXQgdGhlIGNoZWNrIGNvdWxkIGJlIHRpbWUgY29uc3VtaW5nLsKgIFN1cHBvc2UgeW91IGhhdmUgYSBwb2x5bm9taWFsIG9mIGhpZ2ggZGVncmVlIHdob3NlIGZhY3Rvcml6YXRpb24gdGFrZXMsIHNheSwgYSBjb3VwbGUgb2YgbWludXRlcy7CoCBXaXRoIGFuIGF1dG9tYXRpYyBpcnJlZHVjaWJpbGl0eSB0ZXN0LCBBWElPTSB3b3VsZCBmYWN0b3IgdGgBMAEBAQE-
X-Mailer: YahooMailWebService/0.8.160.587
References: <alpine.DEB.2.02.1310241136070.2938@Stumbo>
Message-ID: <1382896820.14737.YahooMailNeo@web122502.mail.ne1.yahoo.com>
Date: Sun, 27 Oct 2013 11:00:20 -0700 (PDT)
From: Clifton Williamson <clifton_williamson@yahoo.com>
To: "axiom-developer@nongnu.org" <axiom-developer@nongnu.org>
In-Reply-To: <alpine.DEB.2.02.1310241136070.2938@Stumbo>
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="-1396834546-1389193119-1382896820=:14737"
X-detected-operating-system: by eggs.gnu.org: FreeBSD 9.x
X-Received-From: 98.138.229.27
Subject: Re: [Axiom-developer] About finite fields
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: Clifton Williamson <clifton_williamson@yahoo.com>
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Sun, 27 Oct 2013 18:03:40 -0000

---1396834546-1389193119-1382896820=:14737
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable

Fabio,=0A=0AThe problem with having Axiom "automatically" perform a irreduc=
ibility check is that the check could be time consuming.=A0 Suppose you hav=
e a polynomial of high degree whose factorization takes, say, a couple of m=
inutes.=A0 With an automatic irreducibility test, AXIOM would factor the po=
lynomial every time you create the finite field, which is probably not what=
 you would want.=0A=0AClifton=0A=0A=0A=0A=0A=0AOn Thursday, October 24, 201=
3 7:00 AM, Fabio S. <stf@unife.it> wrote:=0A =0A=0AI realized that when con=
structing finite fields providing a user choosen =0Apolynomial, Axiom doesn=
't check whether the used polynomial is =0Airreducible or not.=0A=0AFor exa=
mple:=0A=0A(10) -> factor(x^8+x^4+x^2+x+1::PF 2)=0A(10) ->=0A=A0 =A0 =A0 =
=A0 =A0 =A0 4=A0 =A0 3=A0 =A0 =A0  4=A0 =A0 3=A0 =A0 2=0A=A0 =A0 (10)=A0 (x=
=A0 + x=A0 + 1)(x=A0 + x=A0 + x=A0 + x + 1)=0A=A0 =A0 =A0 =A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Type: Factored(Polynomial(PrimeField(2)=
))=0A=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Time: 0 sec=0A(11) =
-> K:=3DFFP(PF 2,x^8+x^4+x^2+x+1)=0A(11) ->=0A=A0 =A0 (11)=A0 FiniteFieldEx=
tensionByPolynomial(PrimeField(2),?^8+?^4+?^2+?+1)=0A=A0 =A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 Type: Domain=0A=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Time: 0.01 (IN) =
=3D 0.01 sec=0A(12) -> size()$K=0A(12) ->=0A=A0 =A0 (12)=A0 256=0A=A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0  Type: NonNegativeInteger=0A=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 Time: 0 sec=0A(13) -> a:=3Dindex(2)$K=0A(13) ->=0A=A0 =A0 =
(13)=A0 %A=0A=A0 =A0 Type: FiniteFieldExtensionByPolynomial(PrimeField(2),?=
^8+?^4+?^2+?+1)=0A=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0  Time: 0.01 (OT) =3D 0.01 sec=0A(14) ->=
 minimalPolynomial a=0A(14) ->=0A=A0 =A0 =A0 =A0 =A0  8=A0 =A0 4=A0 =A0 2=
=0A=A0 =A0 (14)=A0 ?=A0 + ?=A0 + ?=A0 + ? + 1=0A=A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 Type: SparseUnivariatePolynomial(PrimeField(2))=0A=
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Time: 0 sec=0A(15) -> (a^4=
+a^3+1)*(a^4+a^3+a^2+a+1)=0A(15) ->=0A=A0 =A0 (15)=A0 0=0A=A0 =A0 Type: Fin=
iteFieldExtensionByPolynomial(PrimeField(2),?^8+?^4+?^2+?+1)=0A=A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Time: 0 sec=0A=0A=0AI am surprised tha=
t FiniteFieldByPolynomial allows a contruction which, =0Aclearly, has no se=
nse and I am wondering if this has to be considered a =0Abug to be fixed.=
=0A=0AFabio=0A=0A=0A_______________________________________________=0AAxiom=
-developer mailing list=0AAxiom-developer@nongnu.org=0Ahttps://lists.nongnu=
.org/mailman/listinfo/axiom-developer
---1396834546-1389193119-1382896820=:14737
Content-Type: text/html; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable

<html><body><div style=3D"color:#000; background-color:#fff; font-family:He=
lveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;fo=
nt-size:12pt">Fabio,<br><br>The problem with having Axiom "automatically" p=
erform a irreducibility check is that the check could be time consuming.&nb=
sp; Suppose you have a polynomial of high degree whose factorization takes,=
 say, a couple of minutes.&nbsp; With an automatic irreducibility test, AXI=
OM would factor the polynomial every time you create the finite field, whic=
h is probably not what you would want.<br><br>Clifton<br><div><span><br></s=
pan></div><div style=3D"display: block;" class=3D"yahoo_quoted"> <br> <br> =
<div style=3D"font-family: HelveticaNeue, Helvetica Neue, Helvetica, Arial,=
 Lucida Grande, sans-serif; font-size: 12pt;"> <div style=3D"font-family: H=
elveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif; =
font-size: 12pt;"> <div dir=3D"ltr"> <font face=3D"Arial" size=3D"2"> On Th=
ursday,
 October 24, 2013 7:00 AM, Fabio S. &lt;stf@unife.it&gt; wrote:<br> </font>=
 </div>  <div class=3D"y_msg_container"><br>I realized that when constructi=
ng finite fields providing a user choosen <br>polynomial, Axiom doesn't che=
ck whether the used polynomial is <br>irreducible or not.<br><br>For exampl=
e:<br><br>(10) -&gt; factor(x^8+x^4+x^2+x+1::PF 2)<br>(10) -&gt;<br>&nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 4&nbsp; &nbsp; 3&nbsp; &nbsp; &nbsp;  4&=
nbsp; &nbsp; 3&nbsp; &nbsp; 2<br>&nbsp; &nbsp; (10)&nbsp; (x&nbsp; + x&nbsp=
; + 1)(x&nbsp; + x&nbsp; + x&nbsp; + x + 1)<br>&nbsp; &nbsp; &nbsp; &nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; Type: Factored(Polynomial(PrimeField(2)))<br>&nbsp; &nbsp; &nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nb=
sp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Time: 0 sec<br>(11)
 -&gt; K:=3DFFP(PF 2,x^8+x^4+x^2+x+1)<br>(11) -&gt;<br>&nbsp; &nbsp; (11)&n=
bsp; FiniteFieldExtensionByPolynomial(PrimeField(2),?^8+?^4+?^2+?+1)<br>&nb=
sp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;=
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Type: Domain<br>&nbsp; &n=
bsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; Time: 0.01 (IN) =3D 0.01 sec<br>(12) -&gt; size()$K<br>(12) -&gt;<=
br>&nbsp; &nbsp; (12)&nbsp; 256<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nb=
sp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  Type: NonNegativeInte=
ger<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbs=
p; Time: 0 sec<br>(13) -&gt; a:=3Dindex(2)$K<br>(13) -&gt;<br>&nbsp; &nbsp;=
 (13)&nbsp; %A<br>&nbsp; &nbsp; Type: FiniteFieldExtensionByPolynomial(Prim=
eField(2),?^8+?^4+?^2+?+1)<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nb=
sp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;  Time: 0.01 (OT) =3D 0.01 sec<br>(=
14) -&gt; minimalPolynomial a<br>(14) -&gt;<br>&nbsp; &nbsp; &nbsp; &nbsp; =
&nbsp;  8&nbsp; &nbsp; 4&nbsp; &nbsp; 2<br>&nbsp; &nbsp; (14)&nbsp; ?&nbsp;=
 + ?&nbsp; + ?&nbsp; + ? + 1<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Type: SparseUnivariatePolyn=
omial(PrimeField(2))<br>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &n=
bsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
 &nbsp; &nbsp; &nbsp; Time: 0 sec<br>(15) -&gt; (a^4+a^3+1)*(a^4+a^3+a^2+a+=
1)<br>(15) -&gt;<br>&nbsp; &nbsp; (15)&nbsp; 0<br>&nbsp; &nbsp; Type: Finit=
eFieldExtensionByPolynomial(PrimeField(2),?^8+?^4+?^2+?+1)<br>&nbsp; &nbsp;=
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbs=
p; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &n=
bsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Time: 0 sec<br><br><b=
r>I am surprised that FiniteFieldByPolynomial allows a contruction which, <=
br>clearly, has no sense and I am wondering if this has to be considered a =
<br>bug to be fixed.<br><br>Fabio<br><br><br>______________________________=
_________________<br>Axiom-developer mailing list<br><a ymailto=3D"mailto:A=
xiom-developer@nongnu.org" href=3D"mailto:Axiom-developer@nongnu.org">Axiom=
-developer@nongnu.org</a><br><a href=3D"https://lists.nongnu.org/mailman/li=
stinfo/axiom-developer"
 target=3D"_blank">https://lists.nongnu.org/mailman/listinfo/axiom-develope=
r</a><br><br><br></div>  </div> </div>  </div> </div></body></html>
---1396834546-1389193119-1382896820=:14737--


From MAILER-DAEMON Mon Oct 28 05:04:28 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VaikO-00017P-8d
	for mharc-axiom-developer@gnu.org; Mon, 28 Oct 2013 05:04:28 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:34483)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <stf@unife.it>) id 1VaikH-00016T-6u
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 05:04:26 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <stf@unife.it>) id 1VaikB-00067c-SI
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 05:04:21 -0400
Received: from mail-ee0-x22e.google.com ([2a00:1450:4013:c00::22e]:56911)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <stf@unife.it>)
	id 1VaikB-00067R-Hp
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 05:04:15 -0400
Received: by mail-ee0-f46.google.com with SMTP id c1so3241221eek.5
	for <axiom-developer@nongnu.org>; Mon, 28 Oct 2013 02:04:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unife.it; s=google;
	h=date:from:reply-to:to:subject:in-reply-to:message-id:references
	:user-agent:organization:mime-version:content-type;
	bh=eOWElDiZG3+Jl0lc5LmLlOGrI8bHVjh5iSwWbJONMpA=;
	b=d6komZ1Gv/zjp9lACcZGIuxmAdtpuIShLjIOLbkWgGVvLD9Vzyagyic85zBrUPv971
	tiRlMLV8gzusn97YF7vThKhijI5vP5Q+J9WSZh2AUF2rmDceBJ78FUNe4e9kiQXcuU0h
	W5lD+AMewi9em4tejIDMXzvKAeIgUrQNR0vkk=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20130820;
	h=x-gm-message-state:date:from:reply-to:to:subject:in-reply-to
	:message-id:references:user-agent:organization:mime-version
	:content-type;
	bh=eOWElDiZG3+Jl0lc5LmLlOGrI8bHVjh5iSwWbJONMpA=;
	b=RKf25bgNoO9iSXhRYSQ3yAxpNiT4BAsp5HzxyTdQ5FluJ2vKHAYJo4QIaJ8P179Hri
	lYJHGqBIqg4372xytXM75Ho3M6rgy95Hy3zrVUfqZR7zfhYLiYUXRwh4EeU1DhNGZbxY
	RsIA35dJSTCWpTN8dBr8m7RLx5HTypUEsrxNfjdErJGdpeLdjMnGalohDuSFh+m0If16
	j00O/HtSITPR2bDgaFgyEl+204gBeHetxyankLoNf8HMignBgDCNrmMfRSEMI9wqiZUY
	6rnhx9v/pDlXLWb/zxbykPS0XMuvtSvr1i0HSVLky5JDkVTiP7Xj64CX2lfRJwj7+4X3
	TgrA==
X-Gm-Message-State: ALoCoQn766QzmOTwx3Sh5MHcgdCDzVmk61q91jXOpvgH+fylT+sfAkb9fztMKqjsYsFHWbxy1pTR
X-Received: by 10.14.6.134 with SMTP id 6mr1286116een.66.1382951053232;
	Mon, 28 Oct 2013 02:04:13 -0700 (PDT)
Received: from em243.mate.man (em32.unife.it. [192.167.222.32])
	by mx.google.com with ESMTPSA id
	bn13sm54612542eeb.11.2013.10.28.02.04.11
	for <axiom-developer@nongnu.org>
	(version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
	Mon, 28 Oct 2013 02:04:12 -0700 (PDT)
Date: Mon, 28 Oct 2013 10:04:10 +0100 (CET)
From: "Fabio S." <stf@unife.it>
X-X-Sender: stumbo@Stumbo
To: axiom-developer@nongnu.org
In-Reply-To: <1382896820.14737.YahooMailNeo@web122502.mail.ne1.yahoo.com>
Message-ID: <alpine.DEB.2.02.1310280913290.3131@Stumbo>
References: <alpine.DEB.2.02.1310241136070.2938@Stumbo>
	<1382896820.14737.YahooMailNeo@web122502.mail.ne1.yahoo.com>
User-Agent: Alpine 2.02 (DEB 1266 2009-07-14)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: MULTIPART/MIXED; BOUNDARY="8323329-908482420-1382951052=:3131"
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2a00:1450:4013:c00::22e
Subject: Re: [Axiom-developer] About finite fields
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 28 Oct 2013 09:04:26 -0000

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

--8323329-908482420-1382951052=:3131
Content-Type: TEXT/PLAIN; charset=iso-8859-1; format=flowed
Content-Transfer-Encoding: QUOTED-PRINTABLE

> The problem with having Axiom "automatically" perform a irreducibility=20
> check is that the check could be time consuming.=A0 Suppose you have a=20
> polynomial of high degree whose factorization takes, say, a couple of=20
> minutes.=A0 With an automatic irreducibility test, AXIOM would factor the=
=20
> polynomial every time you create the finite field, which is probably not=
=20
> what you would want.

I didn't consider this aspect. You are right: it can be quite annoying=20
indeed.

If there is no way out from this, maybe it could be worth to stress in the=
=20
documentation this point and the fact tha the user _must_ take care of the=
=20
chosen polynomial.

Fabio
--8323329-908482420-1382951052=:3131--


From MAILER-DAEMON Mon Oct 28 05:19:56 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VaizM-0005ss-DL
	for mharc-axiom-developer@gnu.org; Mon, 28 Oct 2013 05:19:56 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:36456)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1VaizE-0005sW-Fq
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 05:19:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1Vaiz8-0001Uc-FP
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 05:19:48 -0400
Received: from mo6-p00-ob.rzone.de ([2a01:238:20a:202:5300::1]:32832)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1Vaiz8-0001UN-4E
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 05:19:42 -0400
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; t=1382951979; l=1486;
	s=domk; d=hemmecke.org;
	h=Content-Transfer-Encoding:Content-Type:In-Reply-To:References:
	Subject:To:MIME-Version:From:Date:X-RZG-CLASS-ID:X-RZG-AUTH;
	bh=4bCFIqGwBSD4OsTtZeQxmQK8ZC8=;
	b=JNown6zvIj7/E8kgqnAHMJAmr6TvdOgs4x9LdaOeAeozZ0ZZupqo2qO+Utn2LG+ih29
	hHVJ5mSCCFWb+Kn9lZ+3xG6CP1o4C+cRal8XAp1DlpV+8ZLjR2plhNJ5lycuUkDlVGgke
	+SJc43TYE7MzCil+AXkuQawGm1Cva9c9z98=
X-RZG-AUTH: :Pm0Ic2CgfvKqpyys4bXs6bamDO4KmmoRsZ13hlmoEk5RYEk+icxFp+pk/v/tAqQ=
X-RZG-CLASS-ID: mo00
Received: from [193.170.38.230] (trex.risc.uni-linz.ac.at [193.170.38.230])
	by smtp.strato.de (RZmta 32.11 AUTH)
	with (TLSv1.0:DHE-RSA-AES256-SHA encrypted) ESMTPSA id 405682p9S93ocW
	for <axiom-developer@nongnu.org>; Mon, 28 Oct 2013 10:19:39 +0100 (CET)
Message-ID: <526E2C2B.3020107@hemmecke.org>
Date: Mon, 28 Oct 2013 10:19:39 +0100
From: Ralf Hemmecke <ralf@hemmecke.org>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:24.0) Gecko/20100101 Thunderbird/24.0
MIME-Version: 1.0
To: axiom-developer@nongnu.org
References: <alpine.DEB.2.02.1310241136070.2938@Stumbo>	<1382896820.14737.YahooMailNeo@web122502.mail.ne1.yahoo.com>
	<alpine.DEB.2.02.1310280913290.3131@Stumbo>
In-Reply-To: <alpine.DEB.2.02.1310280913290.3131@Stumbo>
X-Enigmail-Version: 1.6
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2a01:238:20a:202:5300::1
Subject: Re: [Axiom-developer] About finite fields
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 28 Oct 2013 09:19:54 -0000

On 10/28/2013 10:04 AM, Fabio S. wrote:
>> The problem with having Axiom "automatically" perform a
>> irreducibility check is that the check could be time consuming.

That's true.

>> Suppose you have a polynomial of high degree whose factorization
>> takes, say, a couple of minutes.  With an automatic irreducibility
>> test, AXIOM would factor the polynomial every time you create the
>> finite field, which is probably not what you would want.

I haven't checked Axiom, but in FriCAS (I guess the documentation is
still identical to the one in Axiom) it says for
FiniteFieldExtensionByPolynomial:

  ... generated by the extension polynomial defpol which
  MUST be irreducible.

However, if the parameters given to a domain D are identical, then Axiom
should be smart enough to take the already created domain. In other
words if you have

  a: FiniteExtensionFieldByPolynomial(F, defpol) := something
  b: FiniteExtensionFieldByPolynomial(F, defpol) := something_else

then Axiom would create the extension domain only once.

OK, I haven't checked this, but this is the idea.

Of course there can be situations where
FiniteExtensionFieldByPolynomial(F, defpol) would be used in a
completely different context so that Axiom would have no chance to
realize that this domain has already been computed, then it would create
a second copy.

Best thing probably is to do

E := FiniteExtensionFieldByPolynomial(F, defpol)
a: E := ...
b: E := ...

Ralf


From MAILER-DAEMON Mon Oct 28 13:10:10 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VaqKQ-0005kn-8Z
	for mharc-axiom-developer@gnu.org; Mon, 28 Oct 2013 13:10:10 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:46076)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VaoAS-0006sr-Hr
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 10:51:53 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VaoAK-0008JO-5K
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 10:51:44 -0400
Received: from mail-ea0-x229.google.com ([2a00:1450:4013:c01::229]:45347)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VaoAJ-0008JI-Ui
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 10:51:36 -0400
Received: by mail-ea0-f169.google.com with SMTP id k11so2291959eaj.28
	for <axiom-developer@nongnu.org>; Mon, 28 Oct 2013 07:51:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=message-id:date:from:user-agent:mime-version:to:subject
	:content-type:content-transfer-encoding;
	bh=Rd1akFb0gMA5dOA68nttobzr7wYkOYAEpJvroguPrYM=;
	b=Y6fbvFjJqBlydbYStvbP9KXyDllZZRC/Fd05oM7DC1MQym6EmiHcwKdoaI3L4QS1b4
	joVOlcvR4dMexMaUrTQBU5lH5832tFvCMZC4Gx4xx0HiYkRJYEB4yu4axivXtNp7pdHK
	xnQr42dmc9tcCfqs7BOS1Mj2Y6mxTXYwyW3YEpjp5ohxcvGsM44Pb/RUJ2Zp1Q0uC4It
	VwSVh6LUyr4kCsTf4zDoI+V+50hfUgTjwtv6S9LHBhiozVLrmDVXg9vxzimfb7JYAnMV
	nqBxKqWzTBuml2J6Fdq11zVQpT0FlWNo5eHuQ4Ep4ycG9IQ8pS1hW7ITOHd6U8FnYM52
	Ua8w==
X-Received: by 10.14.122.8 with SMTP id s8mr421969eeh.106.1382971894884;
	Mon, 28 Oct 2013 07:51:34 -0700 (PDT)
Received: from [131.114.73.20] (dhcp20.dm.unipi.it. [131.114.73.20])
	by mx.google.com with ESMTPSA id z12sm58130399eev.6.2013.10.28.07.51.33
	for <axiom-developer@nongnu.org>
	(version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
	Mon, 28 Oct 2013 07:51:34 -0700 (PDT)
Message-ID: <526E79F4.4070204@gmail.com>
Date: Mon, 28 Oct 2013 15:51:32 +0100
From: matteo serventi <serventi.matteo@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:24.0) Gecko/20100101 Thunderbird/24.0
MIME-Version: 1.0
To: axiom-developer@nongnu.org
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2a00:1450:4013:c01::229
X-Mailman-Approved-At: Mon, 28 Oct 2013 13:10:07 -0400
Subject: [Axiom-developer] i can't understand this error
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 28 Oct 2013 14:51:54 -0000

Hi,
may you help me with this error?

I give these commands

Q:=FRAC INT;
vl:=[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10];
RG:= DMP(vl,Q);
FRG:=FRAC(RG)
IRG:=IDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableList vl, RG)

and i get this error

 >> System error:
     Lisps arglist maximum surpassed

These commands work if the length of vl is at most 8 but i don't know 
why and where the problem is.

Thank you
Matteo


From MAILER-DAEMON Mon Oct 28 22:44:33 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VazIH-0006ra-NZ
	for mharc-axiom-developer@gnu.org; Mon, 28 Oct 2013 22:44:33 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:34544)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VazIA-0006qX-C7
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 22:44:32 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VazI4-0008DT-7t
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 22:44:26 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:58898
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VazI4-0008DP-34
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 22:44:20 -0400
Received: from u1204 (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id r9T2iImd015033;
	Mon, 28 Oct 2013 20:44:18 -0600
Received: by u1204 (Postfix, from userid 1000)
	id DF08C68706; Mon, 28 Oct 2013 22:44:18 -0400 (EDT)
From: "Tim Daly" <daly@axiom-developer.org>
To: axiom-developer@nongnu.org, matteo serventi <serventi.matteo@gmail.com>
In-Reply-To: <mailman.82926.1382971915.10747.axiom-developer@nongnu.org>
	(axiom-developer-owner@nongnu.org)
Date: Mon, 28 Oct 2013 22:44:18 -0400
Message-ID: <87txg0iynx.fsf@axiom-developer.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x (barebone)
	[generic]
X-Received-From: 209.135.140.38
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] i can't understand this error
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Oct 2013 02:44:32 -0000

I just tried your example:

                        AXIOM Computer Algebra System 
                          Version: Axiom (May 2012)
              Timestamp: Friday September 27, 2013 at 20:12:11 
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
   Visit http://axiom-developer.org for more information
-----------------------------------------------------------------------------
 
   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) -> 
(1) -> Q:=FRAC INT;

                                                                 Type: Domain
(2) -> vl:=[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10];

            Type: List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))
(3) -> RG:=DMP(vl,Q);

                                                                 Type: Domain
(4) -> FRG:=FRAC(RG);

                                                                 Type: Domain
(5) -> IRG:=IDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableList vl,RG)

   (5)
  PolynomialIdeals(Fraction(Integer),DirectProduct(10,NonNegativeInteger),Order
  edVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]),DistributedMultivariatePolyn
  omial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(Integer)))
                                                                 Type: Domain

and it doesn't fail here. There is a join function used in Axiom which
has the potential to exceed the lisp limit for argument lists if the
join function is compiled. However, it works fine interpreted. As a 
result the join function is never compiled in Axiom. It looks like you
managed to compile that function somehow.

Tim Daly


From MAILER-DAEMON Mon Oct 28 22:58:59 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VazWF-0002TQ-Jl
	for mharc-axiom-developer@gnu.org; Mon, 28 Oct 2013 22:58:59 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:37951)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VazW7-0002SS-8e
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 22:58:58 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VazW0-0004Ey-04
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 22:58:51 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:33115
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VazVz-0004Eu-QK
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 22:58:43 -0400
Received: from u1204 (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id r9T2wemd015047;
	Mon, 28 Oct 2013 20:58:40 -0600
Received: by u1204 (Postfix, from userid 1000)
	id E4D4768706; Mon, 28 Oct 2013 22:58:40 -0400 (EDT)
From: "Tim Daly" <daly@axiom-developer.org>
To: axiom-developer@nongnu.org, borist@me.com
In-Reply-To: <mailman.83229.1383003167.10747.axiom-developer@nongnu.org>
	(axiom-developer-owner@nongnu.org)
Date: Mon, 28 Oct 2013 22:58:40 -0400
Message-ID: <87ppqoixzz.fsf@axiom-developer.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x (barebone)
	[generic]
X-Received-From: 209.135.140.38
Subject: [Axiom-developer] failures during build
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Oct 2013 02:58:58 -0000

>I have installed Axiom from Git on Linux Mint.
>It was actually quite painless until the regression tests.
>There was one test that probably took about 3 hrs and there have been quit=
e a lot of failures.
>I wasn=E2=80=99t determined to act on that so I didn=E2=80=99t take note o=
f the exact failures.
>Is there any info about what failures are expected?

By default Axiom runs a significant portion of its test suite during
build. There are tests in the suite which are known to fail and are
open bugs. This is not a sign of a problem that should affect you.

Axiom runs about 150,000 tests during build. There are another
125,000 long running tests normally skipped. You can skip all
testing by doing:

    make TESTSET=3Dnotests

If you do run the tests this is an example of what you are likely to see:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
int/input/Comparable.regress:regression result FAILED 1 of 1 stanzas file
Comparable
int/input/FileName.regress:regression result FAILED 2 of 18 stanzas file
FileName
int/input/RadicalSolvePackage.regress:regression result FAILED 6 of 21
stanzas file RadicalSolvePackage
int/input/cachedf.regress:regression result FAILED 1 of 8 stanzas file
cachedf
int/input/charlwood.regress:regression result FAILED 4 of 250 stanzas file
charlwood
int/input/clements.regress:regression result FAILED 1 of 6 stanzas file
clements
int/input/cmds.regress:regression result FAILED 2 of 20 stanzas file cmds
int/input/dop.regress:regression result FAILED 1 of 127 stanzas file dop
int/input/en.regress:regression result FAILED 1 of 7 stanzas file en
int/input/fname.regress:regression result FAILED 1 of 9 stanzas file fname
int/input/fname1.regress:regression result FAILED 2 of 18 stanzas file
fname1
int/input/grpthry.regress:regression result FAILED 8 of 68 stanzas file
grpthry
int/input/guess.regress:regression result FAILED 72 of 102 stanzas file
guess
int/input/rich11a.regress:regression result FAILED 44 of 1407 stanzas file
rich11a
int/input/rich11d.regress:regression result FAILED 2 of 1419 stanzas file
rich11d
int/input/tuplebug.regress:regression result FAILED 1 of 1 stanzas file
tuplebug
int/input/unittest1.regress:regression result FAILED 1 of 96 stanzas file
unittest1


Tim Daly


From MAILER-DAEMON Tue Oct 29 00:13:09 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1Vb0g1-0001kY-LD
	for mharc-axiom-developer@gnu.org; Tue, 29 Oct 2013 00:13:09 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:37066)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <borist@me.com>) id 1VawIZ-0001rO-I0
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 19:32:46 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <borist@me.com>) id 1VawIS-000272-A2
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 19:32:39 -0400
Received: from st11p06mm-asmtp004.mac.com ([17.172.124.249]:37779
	helo=st11p06mm-asmtp001.mac.com)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <borist@me.com>) id 1VawIS-00026n-6j
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 19:32:32 -0400
Received: from macbook.fritz.box
	(p5DDB1C7D.dip0.t-ipconnect.de [93.219.28.125]) by
	st11p06mm-asmtp001.mac.com
	(Oracle Communications Messaging Server 7u4-27.08(7.0.4.27.7) 64bit
	(built Aug
	22 2013)) with ESMTPSA id <0MVE00IV0K23CX20@st11p06mm-asmtp001.mac.com>
	for axiom-developer@nongnu.org; Mon, 28 Oct 2013 23:32:29 +0000 (GMT)
X-Proofpoint-Virus-Version: vendor=fsecure
	engine=2.50.10432:5.10.8794,1.0.431,0.0.0000
	definitions=2013-10-28_05:2013-10-28, 2013-10-28,
	1970-01-01 signatures=0
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0
	suspectscore=4 phishscore=0 adultscore=0 bulkscore=0 classifier=spam
	adjust=0
	reason=mlx scancount=1 engine=7.0.1-1308280000
	definitions=main-1310280203
From: Boris Tschirschwitz <borist@me.com>
Content-type: text/plain; charset=windows-1252
Content-transfer-encoding: quoted-printable
Message-id: <9BB40178-EE77-4164-AB20-A6279B75FAC6@me.com>
Date: Tue, 29 Oct 2013 00:32:36 +0100
To: axiom-developer@nongnu.org
MIME-version: 1.0 (Mac OS X Mail 7.0 \(1816\))
X-Mailer: Apple Mail (2.1816)
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 17.172.124.249
X-Mailman-Approved-At: Tue, 29 Oct 2013 00:13:07 -0400
Subject: [Axiom-developer] Regression tests
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Mon, 28 Oct 2013 23:32:47 -0000

Hi.

I have installed Axiom from Git on Linux Mint.
It was actually quite painless until the regression tests.
There was one test that probably took about 3 hrs and there have been =
quite a lot of failures.
I wasn=92t determined to act on that so I didn=92t take note of the =
exact failures.
Is there any info about what failures are expected?

Cheers,
Boris=


From MAILER-DAEMON Tue Oct 29 05:15:41 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1Vb5On-0008Cv-6I
	for mharc-axiom-developer@gnu.org; Tue, 29 Oct 2013 05:15:41 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:47902)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1Vb5Ok-0008Cf-3S
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 05:15:40 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1Vb5Of-0000d6-EY
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 05:15:37 -0400
Received: from mail-vb0-x231.google.com ([2607:f8b0:400c:c02::231]:57716)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1Vb5Of-0000cn-1n
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 05:15:33 -0400
Received: by mail-vb0-f49.google.com with SMTP id w20so109296vbb.36
	for <axiom-developer@nongnu.org>; Tue, 29 Oct 2013 02:15:32 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=mime-version:in-reply-to:references:date:message-id:subject:from:to
	:cc:content-type;
	bh=OcsXf7P7xrLly6CwVUNlmax4WFqhQVgGvQ+do4/poJ0=;
	b=RQhwqTIDSCjvM1XFeD1GTr9dVwye9OKEbwriAUA+xZHIMQmTUxMftsq9VG0S9wDSKI
	PAYf2C4RWsOTdPLJ3CpGOtiBF93KVoCihi11pFtSXJa1OUl5XiT9KxfAxC5uOpUfWVS5
	LqXHmcBawIDaifv3iwggqTqqhPk+ztu/3KIcQ/4v9X87pcy2mDbmvDAR3mAW91j+gHjb
	JdaGjhMxwfQRdN0nLzx++U6Ga5uAjRjBmd9PtIBa/JxJPY4gZnFsqw7NEogTot/Mjy0t
	dAJEpPxRjcNQOW+wU98BTiUJdC+Ub7i7shC9g60iQvRQH758xE8VUzT9AneYk1kHyPkD
	q6Wg==
MIME-Version: 1.0
X-Received: by 10.220.69.212 with SMTP id a20mr16260811vcj.10.1383038132521;
	Tue, 29 Oct 2013 02:15:32 -0700 (PDT)
Received: by 10.58.209.2 with HTTP; Tue, 29 Oct 2013 02:15:32 -0700 (PDT)
In-Reply-To: <87txg0iynx.fsf@axiom-developer.org>
References: <mailman.82926.1382971915.10747.axiom-developer@nongnu.org>
	<87txg0iynx.fsf@axiom-developer.org>
Date: Tue, 29 Oct 2013 10:15:32 +0100
Message-ID: <CAHaubJ0af1XYmf=cLw9UrMEWKQBf1A8DzOQNO6Uq8JQjie1z+g@mail.gmail.com>
From: Matteo Serventi <serventi.matteo@gmail.com>
To: Tim Daly <daly@axiom-developer.org>
Content-Type: multipart/alternative; boundary=047d7b3a83ac99af8004e9dda88f
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2607:f8b0:400c:c02::231
Cc: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] i can't understand this error
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Oct 2013 09:15:40 -0000

--047d7b3a83ac99af8004e9dda88f
Content-Type: text/plain; charset=ISO-8859-1

Thank you for your answers; that's all what i do:

matteo@vaio:~$ axiom
GCL (GNU Common Lisp)  2.6.7 CLtL1    Feb  1 2012 08:59:12
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
                        AXIOM Computer Algebra System
                        Version: Axiom (January 2012)
                Timestamp: Monday April 23, 2012 at 15:48:15
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
   Visit http://axiom-developer.org for more information
-----------------------------------------------------------------------------

   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) ->
(1) -> Q:=FRAC INT
(1) ->
   (1)  Fraction(Integer)
                                                                 Type:
Domain
(2) -> vl:=[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]
(2) ->
   (2)  [t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]
            Type:
List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))
(3) -> RG:= DMP(vl,Q)
(3) ->
   (3)

DistributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(I
  nteger))
                                                                 Type:
Domain
(4) -> FRG:=FRAC(RG)
(4) ->
   (4)

Fraction(DistributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],F
  raction(Integer)))
                                                                 Type:
Domain
(5) -> IRG:=IDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableList vl, RG)
(5) ->

   >> System error:
    Lisps arglist maximum surpassed

(5) ->

I don't know how to solve this problem. do you think that it may be a
problem due to ubuntu 12.04?

Thank you
Matteo


2013/10/29 Tim Daly <daly@axiom-developer.org>

> I just tried your example:
>
>                         AXIOM Computer Algebra System
>                           Version: Axiom (May 2012)
>               Timestamp: Friday September 27, 2013 at 20:12:11
>
> -----------------------------------------------------------------------------
>    Issue )copyright to view copyright notices.
>    Issue )summary for a summary of useful system commands.
>    Issue )quit to leave AXIOM and return to shell.
>    Visit http://axiom-developer.org for more information
>
> -----------------------------------------------------------------------------
>
>    Re-reading compress.daase   Re-reading interp.daase
>    Re-reading operation.daase
>    Re-reading category.daase
>    Re-reading browse.daase
> (1) ->
> (1) -> Q:=FRAC INT;
>
>                                                                  Type:
> Domain
> (2) -> vl:=[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10];
>
>             Type:
> List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))
> (3) -> RG:=DMP(vl,Q);
>
>                                                                  Type:
> Domain
> (4) -> FRG:=FRAC(RG);
>
>                                                                  Type:
> Domain
> (5) -> IRG:=IDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableList vl,RG)
>
>    (5)
>
> PolynomialIdeals(Fraction(Integer),DirectProduct(10,NonNegativeInteger),Order
>
> edVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]),DistributedMultivariatePolyn
>   omial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(Integer)))
>                                                                  Type:
> Domain
>
> and it doesn't fail here. There is a join function used in Axiom which
> has the potential to exceed the lisp limit for argument lists if the
> join function is compiled. However, it works fine interpreted. As a
> result the join function is never compiled in Axiom. It looks like you
> managed to compile that function somehow.
>
> Tim Daly
>

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

<div dir=3D"ltr">Thank you for your answers; that&#39;s all what i do:<br><=
div><br>matteo@vaio:~$ axiom<br>GCL (GNU Common Lisp)=A0 2.6.7 CLtL1=A0=A0=
=A0 Feb=A0 1 2012 08:59:12<br>Source License: LGPL(gcl,gmp), GPL(unexec,bfd=
,xgcl)<br>
Binary License:=A0 GPL due to GPL&#39;ed components: (XGCL READLINE UNEXEC)=
<br>Modifications of this banner must retain notice of a compatible license=
<br>Dedicated to the memory of W. Schelter<br><br>Use (help) to get some ba=
sic information on how to use GCL.<br>
Temporary directory for compiler files set to /tmp/<br>=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 AXIOM Computer Algebra =
System <br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0 Version: Axiom (January 2012)<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0 Timestamp: Monday April 23, 2012 at 15:48:15 <br>
---------------------------------------------------------------------------=
--<br>=A0=A0 Issue )copyright to view copyright notices.<br>=A0=A0 Issue )s=
ummary for a summary of useful system commands.<br>=A0=A0 Issue )quit to le=
ave AXIOM and return to shell.<br>
=A0=A0 Visit <a href=3D"http://axiom-developer.org">http://axiom-developer.=
org</a> for more information<br>-------------------------------------------=
----------------------------------<br>=A0<br>=A0=A0 Re-reading compress.daa=
se=A0=A0 Re-reading interp.daase<br>
=A0=A0 Re-reading operation.daase<br>=A0=A0 Re-reading category.daase<br>=
=A0=A0 Re-reading browse.daase<br>(1) -&gt; <br>(1) -&gt; Q:=3DFRAC INT <br=
>(1) -&gt; <br>=A0=A0 (1)=A0 Fraction(Integer)<br>=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0 Type: Domain<br>
(2) -&gt; vl:=3D[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]<br>(2) -&gt; <br>=A0=A0 (2=
)=A0 [t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 =
Type: List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))<br>(3) -&=
gt; RG:=3D DMP(vl,Q)<br>(3) -&gt; <br>
=A0=A0 (3)<br>=A0 DistributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t=
8,t9,t10],Fraction(I<br>=A0 nteger))<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0 Type: Domain<br>(4) -&gt; FRG:=3DFRAC(RG)<br>(4) -&gt; <br>
=A0=A0 (4)<br>=A0 Fraction(DistributedMultivariatePolynomial([t1,t2,t3,t4,t=
5,t6,t7,t8,t9,t10],F<br>=A0 raction(Integer)))<br>=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0 Type: Domain<br>(5) -&gt; IRG:=3DIDEAL(Q,DirectProduct(#=
vl,NNI),OrderedVariableList vl, RG)<br>
(5) -&gt; <br>=A0<br>=A0=A0 &gt;&gt; System error:<br>=A0=A0=A0 Lisps argli=
st maximum surpassed<br><br>(5) -&gt; <br><br></div><div>I don&#39;t know h=
ow to solve this problem. do you think that it may be a problem due to ubun=
tu 12.04?<br>
</div><div><br></div><div>Thank you<br></div><div>Matteo<br></div></div><di=
v class=3D"gmail_extra"><br><br><div class=3D"gmail_quote">2013/10/29 Tim D=
aly <span dir=3D"ltr">&lt;<a href=3D"mailto:daly@axiom-developer.org" targe=
t=3D"_blank">daly@axiom-developer.org</a>&gt;</span><br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div class=3D"HOEnZb"><div class=3D"h5">I ju=
st tried your example:<br>
<br>
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 AXIOM Computer Algebra Syst=
em<br>
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Version: Axiom (May 201=
2)<br>
=A0 =A0 =A0 =A0 =A0 =A0 =A0 Timestamp: Friday September 27, 2013 at 20:12:1=
1<br>
---------------------------------------------------------------------------=
--<br>
=A0 =A0Issue )copyright to view copyright notices.<br>
=A0 =A0Issue )summary for a summary of useful system commands.<br>
=A0 =A0Issue )quit to leave AXIOM and return to shell.<br>
=A0 =A0Visit <a href=3D"http://axiom-developer.org" target=3D"_blank">http:=
//axiom-developer.org</a> for more information<br>
---------------------------------------------------------------------------=
--<br>
<br>
=A0 =A0Re-reading compress.daase =A0 Re-reading interp.daase<br>
=A0 =A0Re-reading operation.daase<br>
=A0 =A0Re-reading category.daase<br>
=A0 =A0Re-reading browse.daase<br>
(1) -&gt;<br>
(1) -&gt; Q:=3DFRAC INT;<br>
<br>
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: Domain<br>
(2) -&gt; vl:=3D[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10];<br>
<br>
=A0 =A0 =A0 =A0 =A0 =A0 Type: List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t=
7,t8,t9,t10]))<br>
(3) -&gt; RG:=3DDMP(vl,Q);<br>
<br>
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: Domain<br>
(4) -&gt; FRG:=3DFRAC(RG);<br>
<br>
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: Domain<br>
(5) -&gt; IRG:=3DIDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableList vl,RG)<=
br>
<br>
=A0 =A0(5)<br>
=A0 PolynomialIdeals(Fraction(Integer),DirectProduct(10,NonNegativeInteger)=
,Order<br>
=A0 edVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]),DistributedMultivariat=
ePolyn<br>
=A0 omial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(Integer)))<br>
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0=
 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0Type: Domain<br>
<br>
and it doesn&#39;t fail here. There is a join function used in Axiom which<=
br>
has the potential to exceed the lisp limit for argument lists if the<br>
join function is compiled. However, it works fine interpreted. As a<br>
result the join function is never compiled in Axiom. It looks like you<br>
managed to compile that function somehow.<br>
<br>
Tim Daly<br>
</div></div></blockquote></div><br></div>

--047d7b3a83ac99af8004e9dda88f--


From MAILER-DAEMON Tue Oct 29 11:48:40 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VbBX6-0007Md-Qe
	for mharc-axiom-developer@gnu.org; Tue, 29 Oct 2013 11:48:40 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:41818)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VbBWz-0007Aa-8S
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 11:48:38 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VbBWt-0003eB-QQ
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 11:48:33 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:42239
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1VbBWt-0003e7-Le
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 11:48:27 -0400
Received: from u1204 (dynamic-acs-72-23-235-203.zoominternet.net
	[72.23.235.203])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id r9TFmOmd015939;
	Tue, 29 Oct 2013 09:48:25 -0600
Received: by u1204 (Postfix, from userid 1000)
	id 6E7CD68723; Tue, 29 Oct 2013 11:47:27 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: Matteo Serventi <serventi.matteo@gmail.com>
In-Reply-To: <CAHaubJ0af1XYmf=cLw9UrMEWKQBf1A8DzOQNO6Uq8JQjie1z+g@mail.gmail.com>
	(message from Matteo Serventi on Tue, 29 Oct 2013 10:15:32 +0100)
Date: Tue, 29 Oct 2013 11:47:26 -0400
Message-ID: <87mwls6pv5.fsf@axiom-developer.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x (barebone)
	[generic]
X-Received-From: 209.135.140.38
Cc: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] i can't understand this error
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Oct 2013 15:48:38 -0000

I use Ubuntu 12.04 so I don't think that's the problem.

Perhaps you can download the source from axiom-developer.org
and do a fresh build. All you need to do is:

git clone git://github.com/daly/axiom.git
cd axiom
export AXIOM=`pwd`/mnt/ubuntu
export PATH=$AXIOM/bin:$PATH
make TESTSET=notests

Let me know if this fails.

Tim


From MAILER-DAEMON Tue Oct 29 12:01:29 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VbBjV-0003FU-Qe
	for mharc-axiom-developer@gnu.org; Tue, 29 Oct 2013 12:01:29 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:44416)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VbBjN-00031Q-QJ
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 12:01:27 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VbBjL-0007u4-Hd
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 12:01:21 -0400
Received: from mail-vb0-x22d.google.com ([2607:f8b0:400c:c02::22d]:51551)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VbBjL-0007tw-6l
	for axiom-developer@nongnu.org; Tue, 29 Oct 2013 12:01:19 -0400
Received: by mail-vb0-f45.google.com with SMTP id p6so35010vbe.18
	for <axiom-developer@nongnu.org>; Tue, 29 Oct 2013 09:01:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=mime-version:in-reply-to:references:date:message-id:subject:from:to
	:cc:content-type;
	bh=R/XNptvkrLskRPNfJsZLIN4jVwBh71K96LjvwneS7Hs=;
	b=sqkv6p0ATsvw5M9L8frL9do+NnkMR7HyAgUEjPfqrT3IeGHL57L7BKrhnsDkuq/6/t
	47tUi9B7+UUSX+eUfE9eHzU/xUhTYf+Q/cIBKq5A/6w1pgdzZ+li25Kr6odcdoa8IsNY
	6LUNRqujEkEnjHSySzWRyZ1VLWip9h/MkdOhH8xnrxCy8PQ2Np/JaMavO4+WrSPbjHpj
	N6gXvxgHNszgldtD0vpUxU1saz8wwhXvQEa96F2wEdxXDaKqZAZ35lXC3wOm4pfDofkY
	n78yNtTy6MqEBARJXWgrf1AGJJYXwVmvJjEed/MQoGd+Xl8rsWFIoMu/ht3NEr9HmpwD
	gQwA==
MIME-Version: 1.0
X-Received: by 10.52.22.110 with SMTP id c14mr105954vdf.28.1383062478479; Tue,
	29 Oct 2013 09:01:18 -0700 (PDT)
Received: by 10.58.209.2 with HTTP; Tue, 29 Oct 2013 09:01:18 -0700 (PDT)
In-Reply-To: <87mwls6pv5.fsf@axiom-developer.org>
References: <CAHaubJ0af1XYmf=cLw9UrMEWKQBf1A8DzOQNO6Uq8JQjie1z+g@mail.gmail.com>
	<87mwls6pv5.fsf@axiom-developer.org>
Date: Tue, 29 Oct 2013 17:01:18 +0100
Message-ID: <CAHaubJ0-5s4qB=byp1E6nwn1sTxO34z80yHfXsq+BUa3rwoMxw@mail.gmail.com>
From: Matteo Serventi <serventi.matteo@gmail.com>
To: u1204 <daly@axiom-developer.org>
Content-Type: multipart/alternative; boundary=20cf307c9ad2bb65b104e9e35353
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2607:f8b0:400c:c02::22d
Cc: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] i can't understand this error
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Oct 2013 16:01:27 -0000

--20cf307c9ad2bb65b104e9e35353
Content-Type: text/plain; charset=ISO-8859-1

Thank you; i follow your suggest but it still doesn't work.

matteo@vaio:~$ git clone git://github.com/daly/axiom.git
Cloning into 'axiom'...
remote: Counting objects: 28406, done.
remote: Compressing objects: 100% (5815/5815), done.
remote: Total 28406 (delta 22742), reused 28188 (delta 22528)
Receiving objects: 100% (28406/28406), 320.57 MiB | 4.80 MiB/s, done.
Resolving deltas: 100% (22742/22742), done.
matteo@vaio:~$ cd axiom
matteo@vaio:~/axiom$ export AXIOM='pwd'/mnt/ubuntu
matteo@vaio:~/axiom$ export PATH=$AXIOM/bin:$PATH
matteo@vaio:~/axiom$ make TESTSET=notests
13 making noweb
patching file modules.c
patching file Makefile
make[1]: [install-shell] Errore 1 (ignorato)
make[1]: [install-code] Errore 1 (ignorato)
texhash: /usr/local/share/texmf: directory not writable. Skipping...
texhash: /var/lib/texmf: directory not writable. Skipping...
texhash: /var/lib/texmf: directory not writable. Skipping...
texhash: /var/lib/texmf: directory not writable. Skipping...
texhash: Done.
make[1]: [install-elisp] Errore 1 (ignorato)
0 AWK=gawk BOOKS=/home/matteo/axiom/books BUILD=full BYE=bye CC=gcc CCF=-O2
-fno-strength-reduce -Wall -D_GNU_SOURCE -DLINUXplatform -I/usr/X11/include
COMMAND=/usr/local/axiom/mnt/ubuntu/bin/axiom
DAASE=/home/matteo/axiom/src/share DESTDIR=/usr/local/axiom
DOCUMENT=/home/matteo/axiom/mnt/ubuntu/bin/document
GCLDIR=/home/matteo/axiom/lsp/gcl-2.6.8pre7 GCLOPTS=--enable-vssize=65536*2
--enable-locbfd --disable-dynsysbfd --disable-statsysbfd
--enable-maxpage=512*1024 --disable-xgcl --disable-tkconfig
GCLVERSION=gcl-2.6.8pre7 INC=/home/matteo/axiom/src/include
INT=/home/matteo/axiom/int LDF= -L/usr/X11R6/lib -L/usr/lib  -lXpm LISP=lsp
LSP=/home/matteo/axiom/lsp MNT=/home/matteo/axiom/mnt NOISE=-o
/home/matteo/axiom/obj/tmp/trace O=o OBJ=/home/matteo/axiom/obj PART=cprogs
PATCH=patch PLF=LINUXplatform RANLIB=ranlib RUNTYPE=serial
SPAD=/home/matteo/axiom/mnt/ SPADBIN=/home/matteo/axiom/mnt/ubuntu/bin
SPD=/home/matteo/axiom SRC=/home/matteo/axiom/src SRCDIRS=interpdir
sharedir algebradir etcdir clefdir docdir graphdir smandir hyperdir
browserdir inputdir SUBPART=everything SYS=ubuntu
TANGLE=/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle TAR=tar
TESTSET=notests TMP=/home/matteo/axiom/obj/tmp TOUCH=touch
UNCOMPRESS=gunzip VERSION=Axiom (May 2012)
WEAVE=/home/matteo/axiom/mnt/ubuntu/bin/lib/noweave XLIB=/usr/X11R6/lib
ZIPS=/home/matteo/axiom/zips
10 copying /home/matteo/axiom/src/scripts to
/home/matteo/axiom/mnt/ubuntu/bin
p1 making a parallel system build
1 making a ubuntu system, PART=cprogs SUBPART=everything
2 Environment AWK=gawk BOOKS=/home/matteo/axiom/books BUILD=full BYE=bye
CC=gcc CCF=-O2 -fno-strength-reduce -Wall -D_GNU_SOURCE -DLINUXplatform
-I/usr/X11/include COMMAND=/usr/local/axiom/mnt/ubuntu/bin/axiom
DAASE=/home/matteo/axiom/src/share DESTDIR=/usr/local/axiom
DOCUMENT=/home/matteo/axiom/mnt/ubuntu/bin/document
GCLDIR=/home/matteo/axiom/lsp/gcl-2.6.8pre7 GCLOPTS=--enable-vssize=65536*2
--enable-locbfd --disable-dynsysbfd --disable-statsysbfd
--enable-maxpage=512*1024 --disable-xgcl --disable-tkconfig
GCLVERSION=gcl-2.6.8pre7 INC=/home/matteo/axiom/src/include
INT=/home/matteo/axiom/int LDF= -L/usr/X11R6/lib -L/usr/lib  -lXpm LISP=lsp
LSP=/home/matteo/axiom/lsp MNT=/home/matteo/axiom/mnt NOISE=-o
/home/matteo/axiom/obj/tmp/trace O=o OBJ=/home/matteo/axiom/obj PART=cprogs
PATCH=patch PLF=LINUXplatform RANLIB=ranlib RUNTYPE=serial
SPAD=/home/matteo/axiom/mnt/ SPADBIN=/home/matteo/axiom/mnt/ubuntu/bin
SPD=/home/matteo/axiom SRC=/home/matteo/axiom/src SRCDIRS=interpdir
sharedir algebradir etcdir clefdir docdir graphdir smandir hyperdir
browserdir inputdir SUBPART=everything SYS=ubuntu
TANGLE=/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle TAR=tar
TESTSET=notests TMP=/home/matteo/axiom/obj/tmp TOUCH=touch
UNCOMPRESS=gunzip VERSION=Axiom (May 2012)
WEAVE=/home/matteo/axiom/mnt/ubuntu/bin/lib/noweave XLIB=/usr/X11R6/lib
ZIPS=/home/matteo/axiom/zips
/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1: eval:
pwd/mnt/ubuntu/bin/lib/markup: not found
/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1: eval:
pwd/mnt/ubuntu/bin/lib/nt: not found
make: *** [all] Errore 127
matteo@vaio:~/axiom$ axiom
GCL (GNU Common Lisp)  2.6.7 CLtL1    Feb  1 2012 08:59:12
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
                        AXIOM Computer Algebra System
                        Version: Axiom (January 2012)
                Timestamp: Monday April 23, 2012 at 15:48:15
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
   Visit http://axiom-developer.org for more information
-----------------------------------------------------------------------------

   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase
(1) ->
(1) -> Q:=FRAC INT
(1) ->
   (1)  Fraction(Integer)
                                                                 Type:
Domain
(2) -> vl:=[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]
(2) ->
   (2)  [t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]
            Type:
List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))
(3) -> RG:= DMP(vl,Q)
(3) ->
   (3)

DistributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(I
  nteger))
                                                                 Type:
Domain
(4) -> FRG:=FRAC(RG)
(4) ->
   (4)

Fraction(DistributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],F
  raction(Integer)))
                                                                 Type:
Domain
(5) -> IRG:=IDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableList vl, RG)
(5) ->

   >> System error:
    Lisps arglist maximum surpassed


Thank you anyway.
Matteo


2013/10/29 u1204 <daly@axiom-developer.org>

> I use Ubuntu 12.04 so I don't think that's the problem.
>
> Perhaps you can download the source from axiom-developer.org
> and do a fresh build. All you need to do is:
>
> git clone git://github.com/daly/axiom.git
> cd axiom
> export AXIOM=`pwd`/mnt/ubuntu
> export PATH=$AXIOM/bin:$PATH
> make TESTSET=notests
>
> Let me know if this fails.
>
> Tim
>

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

<div dir=3D"ltr">Thank you; i follow your suggest but it still doesn&#39;t =
work.<br><div><br>matteo@vaio:~$ git clone git://<a href=3D"http://github.c=
om/daly/axiom.git">github.com/daly/axiom.git</a><br>Cloning into &#39;axiom=
&#39;...<br>
remote: Counting objects: 28406, done.<br>remote: Compressing objects: 100%=
 (5815/5815), done.<br>remote: Total 28406 (delta 22742), reused 28188 (del=
ta 22528)<br>Receiving objects: 100% (28406/28406), 320.57 MiB | 4.80 MiB/s=
, done.<br>
Resolving deltas: 100% (22742/22742), done.<br>matteo@vaio:~$ cd axiom<br>m=
atteo@vaio:~/axiom$ export AXIOM=3D&#39;pwd&#39;/mnt/ubuntu<br>matteo@vaio:=
~/axiom$ export PATH=3D$AXIOM/bin:$PATH<br>matteo@vaio:~/axiom$ make TESTSE=
T=3Dnotests<br>
13 making noweb<br>patching file modules.c<br>patching file Makefile<br>mak=
e[1]: [install-shell] Errore 1 (ignorato)<br>make[1]: [install-code] Errore=
 1 (ignorato)<br>texhash: /usr/local/share/texmf: directory not writable. S=
kipping...<br>
texhash: /var/lib/texmf: directory not writable. Skipping...<br>texhash: /v=
ar/lib/texmf: directory not writable. Skipping...<br>texhash: /var/lib/texm=
f: directory not writable. Skipping...<br>texhash: Done.<br>make[1]: [insta=
ll-elisp] Errore 1 (ignorato)<br>
0 AWK=3Dgawk BOOKS=3D/home/matteo/axiom/books BUILD=3Dfull BYE=3Dbye CC=3Dg=
cc CCF=3D-O2 -fno-strength-reduce -Wall -D_GNU_SOURCE -DLINUXplatform -I/us=
r/X11/include COMMAND=3D/usr/local/axiom/mnt/ubuntu/bin/axiom DAASE=3D/home=
/matteo/axiom/src/share DESTDIR=3D/usr/local/axiom DOCUMENT=3D/home/matteo/=
axiom/mnt/ubuntu/bin/document GCLDIR=3D/home/matteo/axiom/lsp/gcl-2.6.8pre7=
 GCLOPTS=3D--enable-vssize=3D65536*2 --enable-locbfd --disable-dynsysbfd --=
disable-statsysbfd --enable-maxpage=3D512*1024 --disable-xgcl --disable-tkc=
onfig GCLVERSION=3Dgcl-2.6.8pre7 INC=3D/home/matteo/axiom/src/include INT=
=3D/home/matteo/axiom/int LDF=3D -L/usr/X11R6/lib -L/usr/lib=A0 -lXpm LISP=
=3Dlsp LSP=3D/home/matteo/axiom/lsp MNT=3D/home/matteo/axiom/mnt NOISE=3D-o=
 /home/matteo/axiom/obj/tmp/trace O=3Do OBJ=3D/home/matteo/axiom/obj PART=
=3Dcprogs PATCH=3Dpatch PLF=3DLINUXplatform RANLIB=3Dranlib RUNTYPE=3Dseria=
l SPAD=3D/home/matteo/axiom/mnt/ SPADBIN=3D/home/matteo/axiom/mnt/ubuntu/bi=
n SPD=3D/home/matteo/axiom SRC=3D/home/matteo/axiom/src SRCDIRS=3Dinterpdir=
 sharedir algebradir etcdir clefdir docdir graphdir smandir hyperdir browse=
rdir inputdir SUBPART=3Deverything SYS=3Dubuntu TANGLE=3D/home/matteo/axiom=
/mnt/ubuntu/bin/lib/notangle TAR=3Dtar TESTSET=3Dnotests TMP=3D/home/matteo=
/axiom/obj/tmp TOUCH=3Dtouch UNCOMPRESS=3Dgunzip VERSION=3DAxiom (May 2012)=
 WEAVE=3D/home/matteo/axiom/mnt/ubuntu/bin/lib/noweave XLIB=3D/usr/X11R6/li=
b ZIPS=3D/home/matteo/axiom/zips<br>
10 copying /home/matteo/axiom/src/scripts to /home/matteo/axiom/mnt/ubuntu/=
bin<br>p1 making a parallel system build<br>1 making a ubuntu system, PART=
=3Dcprogs SUBPART=3Deverything<br>2 Environment AWK=3Dgawk BOOKS=3D/home/ma=
tteo/axiom/books BUILD=3Dfull BYE=3Dbye CC=3Dgcc CCF=3D-O2 -fno-strength-re=
duce -Wall -D_GNU_SOURCE -DLINUXplatform -I/usr/X11/include COMMAND=3D/usr/=
local/axiom/mnt/ubuntu/bin/axiom DAASE=3D/home/matteo/axiom/src/share DESTD=
IR=3D/usr/local/axiom DOCUMENT=3D/home/matteo/axiom/mnt/ubuntu/bin/document=
 GCLDIR=3D/home/matteo/axiom/lsp/gcl-2.6.8pre7 GCLOPTS=3D--enable-vssize=3D=
65536*2 --enable-locbfd --disable-dynsysbfd --disable-statsysbfd --enable-m=
axpage=3D512*1024 --disable-xgcl --disable-tkconfig GCLVERSION=3Dgcl-2.6.8p=
re7 INC=3D/home/matteo/axiom/src/include INT=3D/home/matteo/axiom/int LDF=
=3D -L/usr/X11R6/lib -L/usr/lib=A0 -lXpm LISP=3Dlsp LSP=3D/home/matteo/axio=
m/lsp MNT=3D/home/matteo/axiom/mnt NOISE=3D-o /home/matteo/axiom/obj/tmp/tr=
ace O=3Do OBJ=3D/home/matteo/axiom/obj PART=3Dcprogs PATCH=3Dpatch PLF=3DLI=
NUXplatform RANLIB=3Dranlib RUNTYPE=3Dserial SPAD=3D/home/matteo/axiom/mnt/=
 SPADBIN=3D/home/matteo/axiom/mnt/ubuntu/bin SPD=3D/home/matteo/axiom SRC=
=3D/home/matteo/axiom/src SRCDIRS=3Dinterpdir sharedir algebradir etcdir cl=
efdir docdir graphdir smandir hyperdir browserdir inputdir SUBPART=3Deveryt=
hing SYS=3Dubuntu TANGLE=3D/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle T=
AR=3Dtar TESTSET=3Dnotests TMP=3D/home/matteo/axiom/obj/tmp TOUCH=3Dtouch U=
NCOMPRESS=3Dgunzip VERSION=3DAxiom (May 2012) WEAVE=3D/home/matteo/axiom/mn=
t/ubuntu/bin/lib/noweave XLIB=3D/usr/X11R6/lib ZIPS=3D/home/matteo/axiom/zi=
ps<br>
/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1: eval: pwd/mnt/ubuntu/bin=
/lib/markup: not found<br>/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1=
: eval: pwd/mnt/ubuntu/bin/lib/nt: not found<br>make: *** [all] Errore 127<=
br>
matteo@vaio:~/axiom$ axiom<br>GCL (GNU Common Lisp)=A0 2.6.7 CLtL1=A0=A0=A0=
 Feb=A0 1 2012 08:59:12<br>Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xg=
cl)<br>Binary License:=A0 GPL due to GPL&#39;ed components: (XGCL READLINE =
UNEXEC)<br>
Modifications of this banner must retain notice of a compatible license<br>=
Dedicated to the memory of W. Schelter<br><br>Use (help) to get some basic =
information on how to use GCL.<br>Temporary directory for compiler files se=
t to /tmp/<br>
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 AXIOM=
 Computer Algebra System <br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0 Version: Axiom (January 2012)<br>=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Timestamp: Monday April 23, 2012 at 15:48:15=
 <br>----------------------------------------------------------------------=
-------<br>
=A0=A0 Issue )copyright to view copyright notices.<br>=A0=A0 Issue )summary=
 for a summary of useful system commands.<br>=A0=A0 Issue )quit to leave AX=
IOM and return to shell.<br>=A0=A0 Visit <a href=3D"http://axiom-developer.=
org">http://axiom-developer.org</a> for more information<br>
---------------------------------------------------------------------------=
--<br>=A0<br>=A0=A0 Re-reading compress.daase=A0=A0 Re-reading interp.daase=
<br>=A0=A0 Re-reading operation.daase<br>=A0=A0 Re-reading category.daase<b=
r>=A0=A0 Re-reading browse.daase<br>
(1) -&gt; <br>(1) -&gt; Q:=3DFRAC INT <br>(1) -&gt; <br>=A0=A0 (1)=A0 Fract=
ion(Integer)<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Type: Domain<b=
r>(2) -&gt; vl:=3D[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]<br>(2) -&gt; <br>
=A0=A0 (2)=A0 [t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]<br>=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0 Type: List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))=
<br>(3) -&gt; RG:=3D DMP(vl,Q)<br>(3) -&gt; <br>=A0=A0 (3)<br>=A0 Distribut=
edMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(I<br>
=A0 nteger))<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Type: Domain<b=
r>(4) -&gt; FRG:=3DFRAC(RG)<br>(4) -&gt; <br>=A0=A0 (4)<br>=A0 Fraction(Dis=
tributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],F<br>
=A0 raction(Integer)))<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Type:=
 Domain<br>(5) -&gt; IRG:=3DIDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableL=
ist vl, RG)<br>(5) -&gt; <br>=A0<br>=A0=A0 &gt;&gt; System error:<br>
=A0=A0=A0 Lisps arglist maximum surpassed<br><br><br></div><div>Thank you a=
nyway.<br></div><div>Matteo<br></div></div><div class=3D"gmail_extra"><br><=
br><div class=3D"gmail_quote">2013/10/29 u1204 <span dir=3D"ltr">&lt;<a hre=
f=3D"mailto:daly@axiom-developer.org" target=3D"_blank">daly@axiom-develope=
r.org</a>&gt;</span><br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">I use Ubuntu 12.04 so I don&#39;t think that=
&#39;s the problem.<br>
<br>
Perhaps you can download the source from <a href=3D"http://axiom-developer.=
org" target=3D"_blank">axiom-developer.org</a><br>
and do a fresh build. All you need to do is:<br>
<br>
git clone git://<a href=3D"http://github.com/daly/axiom.git" target=3D"_bla=
nk">github.com/daly/axiom.git</a><br>
cd axiom<br>
export AXIOM=3D`pwd`/mnt/ubuntu<br>
export PATH=3D$AXIOM/bin:$PATH<br>
make TESTSET=3Dnotests<br>
<br>
Let me know if this fails.<br>
<span class=3D"HOEnZb"><font color=3D"#888888"><br>
Tim<br>
</font></span></blockquote></div><br></div>

--20cf307c9ad2bb65b104e9e35353--


From MAILER-DAEMON Wed Oct 30 14:29:20 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VbaW7-0007z1-I5
	for mharc-axiom-developer@gnu.org; Wed, 30 Oct 2013 14:29:19 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:56459)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VbaW3-0007qn-9V
	for axiom-developer@nongnu.org; Wed, 30 Oct 2013 14:29:17 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VbaW0-0005Yf-Tw
	for axiom-developer@nongnu.org; Wed, 30 Oct 2013 14:29:15 -0400
Received: from mail-vb0-x230.google.com ([2607:f8b0:400c:c02::230]:53311)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <serventi.matteo@gmail.com>) id 1VbaW0-0005YP-Nk
	for axiom-developer@nongnu.org; Wed, 30 Oct 2013 14:29:12 -0400
Received: by mail-vb0-f48.google.com with SMTP id o19so1141842vbm.7
	for <axiom-developer@nongnu.org>; Wed, 30 Oct 2013 11:29:12 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=mime-version:in-reply-to:references:date:message-id:subject:from:to
	:cc:content-type;
	bh=pNg0zGxNfsHwSUEF3yZuRChhbtE/xGqIsI7/8Dj7zYU=;
	b=Q99ohxULnLAD6JaaC7OksiDZRylo+ByaNYzd6UpowmRPAanrTZ4MTkw9BMwl45Zs7a
	tlV+npald9VpBxfObo9oDTgvwbAxO8OI54pPASQJg1/eFrv4MjKPxvKflv85itdub5ES
	2z3GRcBGCO07FWk89SOMNh//j2f57fdLN1zMuCIzphIddH+sLmZfSWnEdERpSjPp/0jq
	BUXhCvGd0Nn12YjLNUPUuU/ninvAKrY5Co+romyjNlkR9cTJhGIiEOQWW7awALWFvsJV
	TMTdXbCjK/z1Xh7GChdVhJpMEZ/hYxXuJwL5eL5OWLtsbrla1lEW9KXGBhxvt1y/hviH
	1qNA==
MIME-Version: 1.0
X-Received: by 10.52.191.162 with SMTP id gz2mr3311242vdc.26.1383157752050;
	Wed, 30 Oct 2013 11:29:12 -0700 (PDT)
Received: by 10.58.209.2 with HTTP; Wed, 30 Oct 2013 11:29:11 -0700 (PDT)
In-Reply-To: <CAHaubJ0-5s4qB=byp1E6nwn1sTxO34z80yHfXsq+BUa3rwoMxw@mail.gmail.com>
References: <CAHaubJ0af1XYmf=cLw9UrMEWKQBf1A8DzOQNO6Uq8JQjie1z+g@mail.gmail.com>
	<87mwls6pv5.fsf@axiom-developer.org>
	<CAHaubJ0-5s4qB=byp1E6nwn1sTxO34z80yHfXsq+BUa3rwoMxw@mail.gmail.com>
Date: Wed, 30 Oct 2013 19:29:11 +0100
Message-ID: <CAHaubJ0cbRf30Ua90iGjXn+FkVc79r=Z3VW13G3A+KNJcCym-w@mail.gmail.com>
From: Matteo Serventi <serventi.matteo@gmail.com>
To: u1204 <daly@axiom-developer.org>
Content-Type: multipart/alternative; boundary=001a1135fb027ac0e004e9f9827e
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2607:f8b0:400c:c02::230
Cc: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] i can't understand this error
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Wed, 30 Oct 2013 18:29:18 -0000

--001a1135fb027ac0e004e9f9827e
Content-Type: text/plain; charset=ISO-8859-1

I installed the following additive components and now it works.

Thank you

Matteo



2013/10/29 Matteo Serventi <serventi.matteo@gmail.com>

> Thank you; i follow your suggest but it still doesn't work.
>
> matteo@vaio:~$ git clone git://github.com/daly/axiom.git
> Cloning into 'axiom'...
> remote: Counting objects: 28406, done.
> remote: Compressing objects: 100% (5815/5815), done.
> remote: Total 28406 (delta 22742), reused 28188 (delta 22528)
> Receiving objects: 100% (28406/28406), 320.57 MiB | 4.80 MiB/s, done.
> Resolving deltas: 100% (22742/22742), done.
> matteo@vaio:~$ cd axiom
> matteo@vaio:~/axiom$ export AXIOM='pwd'/mnt/ubuntu
> matteo@vaio:~/axiom$ export PATH=$AXIOM/bin:$PATH
> matteo@vaio:~/axiom$ make TESTSET=notests
> 13 making noweb
> patching file modules.c
> patching file Makefile
> make[1]: [install-shell] Errore 1 (ignorato)
> make[1]: [install-code] Errore 1 (ignorato)
> texhash: /usr/local/share/texmf: directory not writable. Skipping...
> texhash: /var/lib/texmf: directory not writable. Skipping...
> texhash: /var/lib/texmf: directory not writable. Skipping...
> texhash: /var/lib/texmf: directory not writable. Skipping...
> texhash: Done.
> make[1]: [install-elisp] Errore 1 (ignorato)
> 0 AWK=gawk BOOKS=/home/matteo/axiom/books BUILD=full BYE=bye CC=gcc
> CCF=-O2 -fno-strength-reduce -Wall -D_GNU_SOURCE -DLINUXplatform
> -I/usr/X11/include COMMAND=/usr/local/axiom/mnt/ubuntu/bin/axiom
> DAASE=/home/matteo/axiom/src/share DESTDIR=/usr/local/axiom
> DOCUMENT=/home/matteo/axiom/mnt/ubuntu/bin/document
> GCLDIR=/home/matteo/axiom/lsp/gcl-2.6.8pre7 GCLOPTS=--enable-vssize=65536*2
> --enable-locbfd --disable-dynsysbfd --disable-statsysbfd
> --enable-maxpage=512*1024 --disable-xgcl --disable-tkconfig
> GCLVERSION=gcl-2.6.8pre7 INC=/home/matteo/axiom/src/include
> INT=/home/matteo/axiom/int LDF= -L/usr/X11R6/lib -L/usr/lib  -lXpm LISP=lsp
> LSP=/home/matteo/axiom/lsp MNT=/home/matteo/axiom/mnt NOISE=-o
> /home/matteo/axiom/obj/tmp/trace O=o OBJ=/home/matteo/axiom/obj PART=cprogs
> PATCH=patch PLF=LINUXplatform RANLIB=ranlib RUNTYPE=serial
> SPAD=/home/matteo/axiom/mnt/ SPADBIN=/home/matteo/axiom/mnt/ubuntu/bin
> SPD=/home/matteo/axiom SRC=/home/matteo/axiom/src SRCDIRS=interpdir
> sharedir algebradir etcdir clefdir docdir graphdir smandir hyperdir
> browserdir inputdir SUBPART=everything SYS=ubuntu
> TANGLE=/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle TAR=tar
> TESTSET=notests TMP=/home/matteo/axiom/obj/tmp TOUCH=touch
> UNCOMPRESS=gunzip VERSION=Axiom (May 2012)
> WEAVE=/home/matteo/axiom/mnt/ubuntu/bin/lib/noweave XLIB=/usr/X11R6/lib
> ZIPS=/home/matteo/axiom/zips
> 10 copying /home/matteo/axiom/src/scripts to
> /home/matteo/axiom/mnt/ubuntu/bin
> p1 making a parallel system build
> 1 making a ubuntu system, PART=cprogs SUBPART=everything
> 2 Environment AWK=gawk BOOKS=/home/matteo/axiom/books BUILD=full BYE=bye
> CC=gcc CCF=-O2 -fno-strength-reduce -Wall -D_GNU_SOURCE -DLINUXplatform
> -I/usr/X11/include COMMAND=/usr/local/axiom/mnt/ubuntu/bin/axiom
> DAASE=/home/matteo/axiom/src/share DESTDIR=/usr/local/axiom
> DOCUMENT=/home/matteo/axiom/mnt/ubuntu/bin/document
> GCLDIR=/home/matteo/axiom/lsp/gcl-2.6.8pre7 GCLOPTS=--enable-vssize=65536*2
> --enable-locbfd --disable-dynsysbfd --disable-statsysbfd
> --enable-maxpage=512*1024 --disable-xgcl --disable-tkconfig
> GCLVERSION=gcl-2.6.8pre7 INC=/home/matteo/axiom/src/include
> INT=/home/matteo/axiom/int LDF= -L/usr/X11R6/lib -L/usr/lib  -lXpm LISP=lsp
> LSP=/home/matteo/axiom/lsp MNT=/home/matteo/axiom/mnt NOISE=-o
> /home/matteo/axiom/obj/tmp/trace O=o OBJ=/home/matteo/axiom/obj PART=cprogs
> PATCH=patch PLF=LINUXplatform RANLIB=ranlib RUNTYPE=serial
> SPAD=/home/matteo/axiom/mnt/ SPADBIN=/home/matteo/axiom/mnt/ubuntu/bin
> SPD=/home/matteo/axiom SRC=/home/matteo/axiom/src SRCDIRS=interpdir
> sharedir algebradir etcdir clefdir docdir graphdir smandir hyperdir
> browserdir inputdir SUBPART=everything SYS=ubuntu
> TANGLE=/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle TAR=tar
> TESTSET=notests TMP=/home/matteo/axiom/obj/tmp TOUCH=touch
> UNCOMPRESS=gunzip VERSION=Axiom (May 2012)
> WEAVE=/home/matteo/axiom/mnt/ubuntu/bin/lib/noweave XLIB=/usr/X11R6/lib
> ZIPS=/home/matteo/axiom/zips
> /home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1: eval:
> pwd/mnt/ubuntu/bin/lib/markup: not found
> /home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1: eval:
> pwd/mnt/ubuntu/bin/lib/nt: not found
> make: *** [all] Errore 127
> matteo@vaio:~/axiom$ axiom
>
> GCL (GNU Common Lisp)  2.6.7 CLtL1    Feb  1 2012 08:59:12
> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> Binary License:  GPL due to GPL'ed components: (XGCL READLINE UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
>
> Use (help) to get some basic information on how to use GCL.
> Temporary directory for compiler files set to /tmp/
>                         AXIOM Computer Algebra System
>                         Version: Axiom (January 2012)
>                 Timestamp: Monday April 23, 2012 at 15:48:15
>
> -----------------------------------------------------------------------------
>    Issue )copyright to view copyright notices.
>    Issue )summary for a summary of useful system commands.
>    Issue )quit to leave AXIOM and return to shell.
>    Visit http://axiom-developer.org for more information
>
> -----------------------------------------------------------------------------
>
>    Re-reading compress.daase   Re-reading interp.daase
>    Re-reading operation.daase
>    Re-reading category.daase
>    Re-reading browse.daase
> (1) ->
> (1) -> Q:=FRAC INT
> (1) ->
>    (1)  Fraction(Integer)
>                                                                  Type:
> Domain
> (2) -> vl:=[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]
> (2) ->
>    (2)  [t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]
>             Type:
> List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))
> (3) -> RG:= DMP(vl,Q)
> (3) ->
>    (3)
>
> DistributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(I
>   nteger))
>                                                                  Type:
> Domain
> (4) -> FRG:=FRAC(RG)
> (4) ->
>    (4)
>
> Fraction(DistributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],F
>   raction(Integer)))
>                                                                  Type:
> Domain
> (5) -> IRG:=IDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableList vl, RG)
> (5) ->
>
>    >> System error:
>     Lisps arglist maximum surpassed
>
>
> Thank you anyway.
> Matteo
>
>
> 2013/10/29 u1204 <daly@axiom-developer.org>
>
>> I use Ubuntu 12.04 so I don't think that's the problem.
>>
>> Perhaps you can download the source from axiom-developer.org
>> and do a fresh build. All you need to do is:
>>
>> git clone git://github.com/daly/axiom.git
>> cd axiom
>> export AXIOM=`pwd`/mnt/ubuntu
>> export PATH=$AXIOM/bin:$PATH
>> make TESTSET=notests
>>
>> Let me know if this fails.
>>
>> Tim
>>
>
>

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

<div dir=3D"ltr"><div>I installed the following additive components and now=
 it works.<br><br></div><div>Thank you<br><br></div><div>Matteo</div><div><=
br></div></div><div class=3D"gmail_extra"><br><br><div class=3D"gmail_quote=
">2013/10/29 Matteo Serventi <span dir=3D"ltr">&lt;<a href=3D"mailto:serven=
ti.matteo@gmail.com" target=3D"_blank">serventi.matteo@gmail.com</a>&gt;</s=
pan><br>
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr">Thank you; i follow your su=
ggest but it still doesn&#39;t work.<br><div><br>matteo@vaio:~$ git clone g=
it://<a href=3D"http://github.com/daly/axiom.git" target=3D"_blank">github.=
com/daly/axiom.git</a><br>
Cloning into &#39;axiom&#39;...<br>
remote: Counting objects: 28406, done.<br>remote: Compressing objects: 100%=
 (5815/5815), done.<br>remote: Total 28406 (delta 22742), reused 28188 (del=
ta 22528)<br>Receiving objects: 100% (28406/28406), 320.57 MiB | 4.80 MiB/s=
, done.<br>

Resolving deltas: 100% (22742/22742), done.<br>matteo@vaio:~$ cd axiom<br>m=
atteo@vaio:~/axiom$ export AXIOM=3D&#39;pwd&#39;/mnt/ubuntu<br>matteo@vaio:=
~/axiom$ export PATH=3D$AXIOM/bin:$PATH<br>matteo@vaio:~/axiom$ make TESTSE=
T=3Dnotests<br>

13 making noweb<br>patching file modules.c<br>patching file Makefile<br>mak=
e[1]: [install-shell] Errore 1 (ignorato)<br>make[1]: [install-code] Errore=
 1 (ignorato)<br>texhash: /usr/local/share/texmf: directory not writable. S=
kipping...<br>

texhash: /var/lib/texmf: directory not writable. Skipping...<br>texhash: /v=
ar/lib/texmf: directory not writable. Skipping...<br>texhash: /var/lib/texm=
f: directory not writable. Skipping...<br>texhash: Done.<br>make[1]: [insta=
ll-elisp] Errore 1 (ignorato)<br>

0 AWK=3Dgawk BOOKS=3D/home/matteo/axiom/books BUILD=3Dfull BYE=3Dbye CC=3Dg=
cc CCF=3D-O2 -fno-strength-reduce -Wall -D_GNU_SOURCE -DLINUXplatform -I/us=
r/X11/include COMMAND=3D/usr/local/axiom/mnt/ubuntu/bin/axiom DAASE=3D/home=
/matteo/axiom/src/share DESTDIR=3D/usr/local/axiom DOCUMENT=3D/home/matteo/=
axiom/mnt/ubuntu/bin/document GCLDIR=3D/home/matteo/axiom/lsp/gcl-2.6.8pre7=
 GCLOPTS=3D--enable-vssize=3D65536*2 --enable-locbfd --disable-dynsysbfd --=
disable-statsysbfd --enable-maxpage=3D512*1024 --disable-xgcl --disable-tkc=
onfig GCLVERSION=3Dgcl-2.6.8pre7 INC=3D/home/matteo/axiom/src/include INT=
=3D/home/matteo/axiom/int LDF=3D -L/usr/X11R6/lib -L/usr/lib=A0 -lXpm LISP=
=3Dlsp LSP=3D/home/matteo/axiom/lsp MNT=3D/home/matteo/axiom/mnt NOISE=3D-o=
 /home/matteo/axiom/obj/tmp/trace O=3Do OBJ=3D/home/matteo/axiom/obj PART=
=3Dcprogs PATCH=3Dpatch PLF=3DLINUXplatform RANLIB=3Dranlib RUNTYPE=3Dseria=
l SPAD=3D/home/matteo/axiom/mnt/ SPADBIN=3D/home/matteo/axiom/mnt/ubuntu/bi=
n SPD=3D/home/matteo/axiom SRC=3D/home/matteo/axiom/src SRCDIRS=3Dinterpdir=
 sharedir algebradir etcdir clefdir docdir graphdir smandir hyperdir browse=
rdir inputdir SUBPART=3Deverything SYS=3Dubuntu TANGLE=3D/home/matteo/axiom=
/mnt/ubuntu/bin/lib/notangle TAR=3Dtar TESTSET=3Dnotests TMP=3D/home/matteo=
/axiom/obj/tmp TOUCH=3Dtouch UNCOMPRESS=3Dgunzip VERSION=3DAxiom (May 2012)=
 WEAVE=3D/home/matteo/axiom/mnt/ubuntu/bin/lib/noweave XLIB=3D/usr/X11R6/li=
b ZIPS=3D/home/matteo/axiom/zips<br>

10 copying /home/matteo/axiom/src/scripts to /home/matteo/axiom/mnt/ubuntu/=
bin<br>p1 making a parallel system build<br>1 making a ubuntu system, PART=
=3Dcprogs SUBPART=3Deverything<br>2 Environment AWK=3Dgawk BOOKS=3D/home/ma=
tteo/axiom/books BUILD=3Dfull BYE=3Dbye CC=3Dgcc CCF=3D-O2 -fno-strength-re=
duce -Wall -D_GNU_SOURCE -DLINUXplatform -I/usr/X11/include COMMAND=3D/usr/=
local/axiom/mnt/ubuntu/bin/axiom DAASE=3D/home/matteo/axiom/src/share DESTD=
IR=3D/usr/local/axiom DOCUMENT=3D/home/matteo/axiom/mnt/ubuntu/bin/document=
 GCLDIR=3D/home/matteo/axiom/lsp/gcl-2.6.8pre7 GCLOPTS=3D--enable-vssize=3D=
65536*2 --enable-locbfd --disable-dynsysbfd --disable-statsysbfd --enable-m=
axpage=3D512*1024 --disable-xgcl --disable-tkconfig GCLVERSION=3Dgcl-2.6.8p=
re7 INC=3D/home/matteo/axiom/src/include INT=3D/home/matteo/axiom/int LDF=
=3D -L/usr/X11R6/lib -L/usr/lib=A0 -lXpm LISP=3Dlsp LSP=3D/home/matteo/axio=
m/lsp MNT=3D/home/matteo/axiom/mnt NOISE=3D-o /home/matteo/axiom/obj/tmp/tr=
ace O=3Do OBJ=3D/home/matteo/axiom/obj PART=3Dcprogs PATCH=3Dpatch PLF=3DLI=
NUXplatform RANLIB=3Dranlib RUNTYPE=3Dserial SPAD=3D/home/matteo/axiom/mnt/=
 SPADBIN=3D/home/matteo/axiom/mnt/ubuntu/bin SPD=3D/home/matteo/axiom SRC=
=3D/home/matteo/axiom/src SRCDIRS=3Dinterpdir sharedir algebradir etcdir cl=
efdir docdir graphdir smandir hyperdir browserdir inputdir SUBPART=3Deveryt=
hing SYS=3Dubuntu TANGLE=3D/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle T=
AR=3Dtar TESTSET=3Dnotests TMP=3D/home/matteo/axiom/obj/tmp TOUCH=3Dtouch U=
NCOMPRESS=3Dgunzip VERSION=3DAxiom (May 2012) WEAVE=3D/home/matteo/axiom/mn=
t/ubuntu/bin/lib/noweave XLIB=3D/usr/X11R6/lib ZIPS=3D/home/matteo/axiom/zi=
ps<br>

/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1: eval: pwd/mnt/ubuntu/bin=
/lib/markup: not found<br>/home/matteo/axiom/mnt/ubuntu/bin/lib/notangle: 1=
: eval: pwd/mnt/ubuntu/bin/lib/nt: not found<br>make: *** [all] Errore 127<=
br>

matteo@vaio:~/axiom$ axiom<div><div class=3D"h5"><br>GCL (GNU Common Lisp)=
=A0 2.6.7 CLtL1=A0=A0=A0 Feb=A0 1 2012 08:59:12<br>Source License: LGPL(gcl=
,gmp), GPL(unexec,bfd,xgcl)<br>Binary License:=A0 GPL due to GPL&#39;ed com=
ponents: (XGCL READLINE UNEXEC)<br>

Modifications of this banner must retain notice of a compatible license<br>=
Dedicated to the memory of W. Schelter<br><br>Use (help) to get some basic =
information on how to use GCL.<br>Temporary directory for compiler files se=
t to /tmp/<br>

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 AXIOM=
 Computer Algebra System <br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0 Version: Axiom (January 2012)<br>=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Timestamp: Monday April 23, 2012 at 15:48:15=
 <br>----------------------------------------------------------------------=
-------<br>

=A0=A0 Issue )copyright to view copyright notices.<br>=A0=A0 Issue )summary=
 for a summary of useful system commands.<br>=A0=A0 Issue )quit to leave AX=
IOM and return to shell.<br>=A0=A0 Visit <a href=3D"http://axiom-developer.=
org" target=3D"_blank">http://axiom-developer.org</a> for more information<=
br>

---------------------------------------------------------------------------=
--<br>=A0<br>=A0=A0 Re-reading compress.daase=A0=A0 Re-reading interp.daase=
<br>=A0=A0 Re-reading operation.daase<br>=A0=A0 Re-reading category.daase<b=
r>=A0=A0 Re-reading browse.daase<br>

(1) -&gt; <br>(1) -&gt; Q:=3DFRAC INT <br>(1) -&gt; <br>=A0=A0 (1)=A0 Fract=
ion(Integer)<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Type: Domain<b=
r>(2) -&gt; vl:=3D[t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]<br>(2) -&gt; <br>

=A0=A0 (2)=A0 [t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]<br>=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0 Type: List(OrderedVariableList([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10]))=
<br>(3) -&gt; RG:=3D DMP(vl,Q)<br>(3) -&gt; <br>=A0=A0 (3)<br>=A0 Distribut=
edMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],Fraction(I<br>

=A0 nteger))<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Type: Domain<b=
r>(4) -&gt; FRG:=3DFRAC(RG)<br>(4) -&gt; <br>=A0=A0 (4)<br>=A0 Fraction(Dis=
tributedMultivariatePolynomial([t1,t2,t3,t4,t5,t6,t7,t8,t9,t10],F<br>

=A0 raction(Integer)))<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Type:=
 Domain<br>(5) -&gt; IRG:=3DIDEAL(Q,DirectProduct(#vl,NNI),OrderedVariableL=
ist vl, RG)<br>(5) -&gt; <br>=A0<br>=A0=A0 &gt;&gt; System error:<br>

=A0=A0=A0 Lisps arglist maximum surpassed<br><br><br></div></div></div><div=
>Thank you anyway.<span class=3D"HOEnZb"><font color=3D"#888888"><br></font=
></span></div><span class=3D"HOEnZb"><font color=3D"#888888"><div>Matteo<br=
></div></font></span></div>
<div class=3D"HOEnZb"><div class=3D"h5"><div class=3D"gmail_extra"><br><br>=
<div class=3D"gmail_quote">2013/10/29 u1204 <span dir=3D"ltr">&lt;<a href=
=3D"mailto:daly@axiom-developer.org" target=3D"_blank">daly@axiom-developer=
.org</a>&gt;</span><br>

<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">I use Ubuntu 12.04 so I don&#39;t think that=
&#39;s the problem.<br>
<br>
Perhaps you can download the source from <a href=3D"http://axiom-developer.=
org" target=3D"_blank">axiom-developer.org</a><br>
and do a fresh build. All you need to do is:<br>
<br>
git clone git://<a href=3D"http://github.com/daly/axiom.git" target=3D"_bla=
nk">github.com/daly/axiom.git</a><br>
cd axiom<br>
export AXIOM=3D`pwd`/mnt/ubuntu<br>
export PATH=3D$AXIOM/bin:$PATH<br>
make TESTSET=3Dnotests<br>
<br>
Let me know if this fails.<br>
<span><font color=3D"#888888"><br>
Tim<br>
</font></span></blockquote></div><br></div>
</div></div></blockquote></div><br></div>

--001a1135fb027ac0e004e9f9827e--


From MAILER-DAEMON Thu Oct 31 11:35:56 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1VbuHs-0008Tg-KT
	for mharc-axiom-developer@gnu.org; Thu, 31 Oct 2013 11:35:56 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:40489)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VbuHl-0008OR-CR
	for axiom-developer@nongnu.org; Thu, 31 Oct 2013 11:35:55 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VbuHe-0000NY-V2
	for axiom-developer@nongnu.org; Thu, 31 Oct 2013 11:35:49 -0400
Received: from vms173023pub.verizon.net ([206.46.173.23]:51523)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <camm@maguirefamily.org>) id 1VbuHe-0000NK-QQ
	for axiom-developer@nongnu.org; Thu, 31 Oct 2013 11:35:42 -0400
Received: from localhost.m.enhanced.com ([unknown] [66.180.180.58])
	by vms173023.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MVJ0062ZHYD6860@vms173023.mailsrvcs.net> for
	axiom-developer@nongnu.org; Thu, 31 Oct 2013 10:35:07 -0500 (CDT)
Received: from camm by localhost.m.enhanced.com with local (Exim 4.80)
	(envelope-from <camm@maguirefamily.org>)	id 1VbuGz-0000Jj-3J; Thu,
	31 Oct 2013 11:35:01 -0400
From: Camm Maguire <camm@maguirefamily.org>
To: u1204 <daly@axiom-developer.org>
References: <87mwls6pv5.fsf@axiom-developer.org>
Date: Thu, 31 Oct 2013 11:35:01 -0400
In-reply-to: <87mwls6pv5.fsf@axiom-developer.org>
	(daly@axiom-developer.org's	message of "Tue,
	29 Oct 2013 11:47:26 -0400")
Message-id: <87habxtpwa.fsf@maguirefamily.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
MIME-version: 1.0
Content-type: text/plain; charset=us-ascii
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.23
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] Windows
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 31 Oct 2013 15:35:55 -0000

Greetings!  Are there instructions to build just the lisp/axiom stuff,
and skip any of 1) the docs 2) clef 3) sman 4) bsd/X11 specific c code? 

I'm testing gcl 2.6.10 pre-release, and have resolved a long standing
issue on windows.  maxima and acl2 now go through natively using the
latest mingw/gcc tools.   Was hoping to test axiom as well.  The website
prescription of downloading portabile ubuntu will obviously work, but
won't stress test the windows binary compiler/loader in gcl.

I've installed texlive, and get to bsdsignal.c before crashing (which it
of course must do).

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


From MAILER-DAEMON Thu Oct 31 14:39:43 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1Vbx9j-0002JS-Do
	for mharc-axiom-developer@gnu.org; Thu, 31 Oct 2013 14:39:43 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58228)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <stf@unife.it>) id 1Vbx9c-0002Gx-BO
	for axiom-developer@nongnu.org; Thu, 31 Oct 2013 14:39:41 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <stf@unife.it>) id 1Vbx9X-0001tT-0z
	for axiom-developer@nongnu.org; Thu, 31 Oct 2013 14:39:36 -0400
Received: from mail-ee0-x22e.google.com ([2a00:1450:4013:c00::22e]:40700)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <stf@unife.it>)
	id 1Vbx9W-0001tD-Ln
	for axiom-developer@nongnu.org; Thu, 31 Oct 2013 14:39:30 -0400
Received: by mail-ee0-f46.google.com with SMTP id c1so1556185eek.19
	for <axiom-developer@nongnu.org>; Thu, 31 Oct 2013 11:39:28 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unife.it; s=google;
	h=date:from:reply-to:to:subject:message-id:user-agent:organization
	:mime-version:content-type;
	bh=vlB8amo5nC0ZujL+9H8sZ9KIMtsElu2gLV0LlnJVmZ8=;
	b=ACTkWI4vtdt2GEYzPFFtmsmbthwAELfE7nMKDmckBf9VL39XM4HVar2XhxqKWifez7
	1k15COF2nKHTWiRmErgNwD197LW5xXZWrZhYqEqVuo4REHl5QZ+vFDRAZNLz9QaeEwD3
	vKlNpz15XnNgPSbOJNVSP9RkFDS8Z3a2pN7AQ=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=1e100.net; s=20130820;
	h=x-gm-message-state:date:from:reply-to:to:subject:message-id
	:user-agent:organization:mime-version:content-type;
	bh=vlB8amo5nC0ZujL+9H8sZ9KIMtsElu2gLV0LlnJVmZ8=;
	b=EEROilEViCLHO8uAA0Fqaf1RIFqdUs7mSl+J75ceBGs++mnOChEFPTgn/2Vtu/GlSg
	N5BP6LhxGIErELEbT1sZ/kX7xc7v2gqDtrPfpL7k27258Amhs6X51f+ADL1yxB49QKn4
	SoaVIhEQWbNm4xSslb2GPA9k5e3pL2dfD6Ofe1zLUtUw1obvjzkuJWFWqd6NGkXM5B7C
	46g2Y2uW597NvAdI3LQUKrYjVMZrlaZhKLUOFToE4scKjy8tjU9oO2OBTRI5CcNQqI9Q
	XLLY+rXLCl459yogndZVafa8DQaQFsiEAW/W2AxdJdKYY+SvIIToTPcGBJ2dB6/1M+kf
	6kFg==
X-Gm-Message-State: ALoCoQlZHoABT92XYl6ofcDAvfHHA2/NDr+1xUhSwwdplAHqAKF6tdUhkW8yQeDDU/Xclawmpapu
X-Received: by 10.15.50.68 with SMTP id k44mr4634333eew.54.1383244768346;
	Thu, 31 Oct 2013 11:39:28 -0700 (PDT)
Received: from coccobill.local (net-93-144-86-195.cust.dsl.teletu.it.
	[93.144.86.195])
	by mx.google.com with ESMTPSA id h45sm11962312eeg.5.2013.10.31.11.39.26
	for <axiom-developer@nongnu.org>
	(version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
	Thu, 31 Oct 2013 11:39:27 -0700 (PDT)
Date: Thu, 31 Oct 2013 19:39:24 +0100 (CET)
From: "Fabio S." <stf@unife.it>
X-X-Sender: stumbo@coccobill
To: axiom-developer@nongnu.org
Message-ID: <alpine.DEB.2.02.1310311930030.10405@coccobill>
User-Agent: Alpine 2.02 (DEB 1266 2009-07-14)
Organization: =?ISO-8859-15?Q?Universit=E0_di_Ferrara?=
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2a00:1450:4013:c00::22e
Subject: [Axiom-developer] Editing command lines in terminal
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: axiom-developer@nongnu.org
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/axiom-developer>, 
	<mailto:axiom-developer-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/axiom-developer>
List-Post: <mailto:axiom-developer@nongnu.org>
List-Help: <mailto:axiom-developer-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/axiom-developer>,
	<mailto:axiom-developer-request@nongnu.org?subject=subscribe>
X-List-Received-Date: Thu, 31 Oct 2013 18:39:41 -0000


If I recall a previous command line via the up arrow and then I edit it, 
the line will usually be messed up.

If I start axiom with -nox it works fine but I will lose the tab 
completion.

Is there a way to have both features or do I need to choose which one is 
more useful to me?

Thanks

Fabio




