From MAILER-DAEMON Mon Apr 01 17:21:06 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UMmA6-0003Oj-Al
	for mharc-axiom-developer@gnu.org; Mon, 01 Apr 2013 17:21:06 -0400
Received: from eggs.gnu.org ([208.118.235.92]:48241)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <a.a.letterbox@gmail.com>) id 1UMgTJ-0005Mi-VO
	for axiom-developer@nongnu.org; Mon, 01 Apr 2013 11:16:40 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <a.a.letterbox@gmail.com>) id 1UMgTD-0005ea-BZ
	for axiom-developer@nongnu.org; Mon, 01 Apr 2013 11:16:33 -0400
Received: from mail-lb0-f176.google.com ([209.85.217.176]:44630)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <a.a.letterbox@gmail.com>) id 1UMgTD-0005e9-4E
	for axiom-developer@nongnu.org; Mon, 01 Apr 2013 11:16:27 -0400
Received: by mail-lb0-f176.google.com with SMTP id y8so2011567lbh.21
	for <axiom-developer@nongnu.org>; Mon, 01 Apr 2013 08:16:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=x-received:message-id:date:from:user-agent:mime-version:to:subject
	:content-type:content-transfer-encoding;
	bh=jD+l6d0ltwmid7ojsHDHbzDpqQ2f2V6JNXLEfBvdayA=;
	b=Y6mF5YNutpuy/oHkae5hiYkA4DveLmtOiJv0pCmqCanZPkd5/8BSlBliO+rFhkhV+Q
	Z+OmVGbfN7QAvERzH4TrO+A7NIFojFnHhjMYl039BmuK/0kbtmAb9NIwDQbLXP3SWF95
	YLqZ6hvOe2xgKPWds2xHxFfDQ85GOeDLAjbuw8xPwNjX451Qllk+argtq7KjPtsT9zx/
	4DbV0+BaHEDEWm944YrwizKvEeMIezDt93Ajqo60JJDZzp/aWkMtsK+VtXhvQNaeXhf9
	gO1mW4IwPygru59IJVPUzK5LMDnk5sUEkQ+j63hiAey69JVw5x/nShAWoJIb88X7Np5f
	4xvg==
X-Received: by 10.112.130.102 with SMTP id od6mr221982lbb.122.1364829385433;
	Mon, 01 Apr 2013 08:16:25 -0700 (PDT)
Received: from [159.93.129.186] (thpool3-186.jinr.ru. [159.93.129.186])
	by mx.google.com with ESMTPS id c7sm2470785lbe.6.2013.04.01.08.16.24
	(version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
	Mon, 01 Apr 2013 08:16:24 -0700 (PDT)
Message-ID: <5159A48A.6020903@gmail.com>
Date: Mon, 01 Apr 2013 19:15:22 +0400
From: "A.B." <a.a.letterbox@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:17.0) Gecko/20130311 Thunderbird/17.0.4
MIME-Version: 1.0
To: axiom-developer@nongnu.org
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy]
X-Received-From: 209.85.217.176
X-Mailman-Approved-At: Mon, 01 Apr 2013 17:21:04 -0400
Subject: [Axiom-developer] Higher order derivatives.
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, 01 Apr 2013 15:16:41 -0000

Hello.

I have learnt about axiom recently and now I'm trying to apply it to 
some of my current problems (numerical computations in physics).

I need to evaluate higher order derivatives of Lewis integral ( 
http://link.aps.org/doi/10.1103/PhysRev.102.537 , Appendix A, eq. 9) for 
further fortran export.

Using a straightforward approach (see -----v1 below), I run out of 
memory already on the second derivative.

Following an example from the 'Derivatives' section of the axiom book 
(sec.1.11), I can evaluate the derivative I need in a general form. (see 
----v2).
But when I substitute actual expressions for operators LiBt, LiDt and 
LiAg, I run out of memory again.

Another way (see ---v3) could be to replace derivatives of operators in 
the general form by some dummy variables, then actually define them and 
export to fortran.
This way looks promising but I do not know how to automate it, so it 
becomes impractical for derivatives of 2nd order and higher.

So, my question is: what is the best way to evaluate, for example, 5th 
derivative of 'Li' function from examples below and
export this result to fortran?

P.S: sorry for my english.

--------------- v1

)clear all

LiBt :=_
   mu * ((qx-px)^2 + (qy-py)^2 + (qz-pz)^2 + (a+b)^2 )_
   + b * ( mu^2 + qx^2 + qy^2 + qz^2 + a^2 )_
   + a * ( mu^2 + px^2 + py^2 + pz^2 + b^2 );

LiAg :=_
   ( (qx-px)^2 + (qy-py)^2 + (qz-pz)^2 + (a+b)^2 )_
   * ( qx^2 + qy^2 + qz^2 + (mu+a)^2 )_
   * ( px^2 + py^2 + pz^2 + (mu+b)^2 );

LiD := sqrt( LiBt^2 - LiAg );

Li := %pi^2 / LiD * log( (LiBt + LiD) / (LiBt - LiD) );

--Runs out of memory during computation.
dLidMudAdB := D(Li,[mu,a,b]);

----------- v2

)clear all

LiDt := operator 'LiDt
LiBt := operator 'LiBt
LiAg := operator 'LiAg

Li := (%pi^2 / LiDt(LiBt(mu,a,b),LiAg(mu,a,b)))_
     * log(_
      ( LiBt(mu,a,b) + LiDt( LiBt(mu,a,b), LiAg(mu,a,b)))_
      / ( LiBt(mu,a,b) - LiDt( LiBt(mu,a,b), LiAg(mu,a,b))) );

dLidMudAdBGeneral := D(Li,[mu,a,b]);

--Runs out of memory.
dLidMudAdBsubstBt := eval(dLidMudAdBGeneral,_
   'LiBt, (x) +-> x.1 * ( (qx-px)^2 + (qy-py)^2 + (qz-pz)^2 + (x.2+x.3)^2 )_
   + x.3 * ( x.1^2 + qx^2 + qy^2 + qz^2 + x.2^2 )_
   + x.2 * ( x.1^2 + px^2 + py^2 + pz^2 + x.3^2 ));
-- dLidMudAdBsubstAg := eval(dLidMudAdBsubstBt,_
--   'LiAg, (x) +-> ( (qx-px)^2 + (qy-py)^2 + (qz-pz)^2 + (x.2+x.3)^2 )_
--   * ( qx^2 + qy^2 + qz^2 + (x.1+x.2)^2 )_
--   * ( px^2 + py^2 + pz^2 + (x.1+x.3)^2 ));
-- dLidMudAdBsubstDt := eval(dLidMudAdBsubstAg, 'LiDt, (x) +-> 
sqrt(x.1^2 - x.2) );


----------v3

)clear all

LiDt := operator 'LiDt
LiBt := operator 'LiBt
LiAg := operator 'LiAg

Li := (%pi^2 / LiDt(LiBt(mu,a,b),LiAg(mu,a,b)))_
     * log(_
      ( LiBt(mu,a,b) + LiDt( LiBt(mu,a,b), LiAg(mu,a,b)))_
      / ( LiBt(mu,a,b) - LiDt( LiBt(mu,a,b), LiAg(mu,a,b))) )

dLidMuGeneral := D(Li,mu)

d1DRules := rule
     D(LiDt(beta,alphagamma),[beta]) == dDdB
     D(LiDt(beta,alphagamma),[alphagamma]) == dDdAg
d0DRules := rule
     LiDt(beta,alphagamma) == LiD
d1BRules := rule
     D(LiBt(mu,a,b),[mu]) == dBdMu
d0BRules := rule
     LiBt(mu,a,b) == LiB
d1AgRules := rule
     D(LiAg(mu,a,b),[mu]) == dAgdMu
d0AgRules := rule
     LiAg(mu,a,b) == LiA

dLidMuSubst := 
d0AgRules(d0BRules(d0DRules(d1AgRules(d1BRules(d1DRules(dLidMuGeneral))))))
-- Then export dLidMuSubst to fortran.
-- Then define
--   LiD := sqrt( b^2 - ag)
--   dDdB := D(LiD,b)
--   dDdA := D(LiD,ag)
-- and similar definitions for dBdMu, dAgdMu, LiB, LiA.
-- Then somehow export them.



From MAILER-DAEMON Sat Apr 13 12:41:54 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UR3WU-0002r7-Pe
	for mharc-axiom-developer@gnu.org; Sat, 13 Apr 2013 12:41:54 -0400
Received: from eggs.gnu.org ([208.118.235.92]:39101)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UR3WR-0002r1-KG
	for axiom-developer@nongnu.org; Sat, 13 Apr 2013 12:41:53 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UR3WQ-0004ki-HG
	for axiom-developer@nongnu.org; Sat, 13 Apr 2013 12:41:51 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:33012
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UR3WQ-0004kB-C9
	for axiom-developer@nongnu.org; Sat, 13 Apr 2013 12:41:50 -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 r3DGfhse025848;
	Sat, 13 Apr 2013 11:41:43 -0500
Received: by u1204 (Postfix, from userid 1000)
	id 7C47268765; Sat, 13 Apr 2013 12:41:41 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: =?utf-8?B?0JrRg9GA0L7Rh9C60LjQvSDQk9C10L3QvdCw0LTQuNC5?= <genkuro2@mail.ru>
Date: Sat, 13 Apr 2013 12:41:39 -0400
Message-ID: <8761zqmlh8.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 3.x
X-Received-From: 209.135.140.38
Cc: axiom-developer@nongnu.org
Subject: [Axiom-developer] Speed of compilation
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: Sat, 13 Apr 2013 16:41:53 -0000

=D0=9A=D1=83=D1=80=D0=BE=D1=87=D0=BA=D0=B8=D0=BD =D0=93=D0=B5=D0=BD=D0=BD=
=D0=B0=D0=B4=D0=B8=D0=B9,

Axiom does take a while to build. Let me explain why.

In general, Axiom is concentrating on Literate Programming.  The goal is
to keep Axiom alive by writing down all of the information necessary to
use, maintain, and modify it.

I was a member of the original development team at IBM. We normally
developed code, even algebra code, without any documentation and without
a test suite. As a result, when I got my own code back years later I did
not understand WHY I wrote the code. I understood WHAT it did and I knew
it was necessary because removing it broke the system.  I needed all of
my original background knowledge and experience to build Axiom as open
source.

That raised the question "How can I make Axiom live beyond the
current developers?" I believe the answer is Literate Programming.

I have the "Hawaii" test for a Literate Program.  You should be able to
give a developer a paper copy of your program, send them to Hawaii for a
2 week, all expense paid vacation, and when they return they should be
able to maintain and modify the program as well as the current
developers. To do that you need to write down WHY something exists as
well as how it works, how to use it, and how to test it. This is
especially important for the algebra since very few people are domain
experts.

To see where we'd like to be look at the book "Lisp in Small Pieces".
Christian has set the gold standard for Axiom documentation.

Axiom is now structured as a 20 volume book set.  The goal is to have
the full Axiom system source code completely embedded in the books.=20
Every time the system is modified and rebuilt, all of the books
are also rebuilt. Eventually it will be normal to require updating the
human-readable text along with every code change, just as you would with
any textbook. New algebra will require some background theory as well as
explanations for code, help text, and a test suite.

Axiom is well on the way to being fully literate. It will take many
years before anyone gets a Hawaii vacation, of course, but that is the
goal.=20

Building the documentation and running the test suites every time a
change is made means that compilation takes longer.  It currently takes
about 1 hour to build the system without tests and 2.5 hours with full
testing. Full system builds are done at every commit.

Build times only affect developers, not users. Axiom is focusing on
making it easier for end users. The )help command has many new pages.
The test suite has more documented examples. Many of the functions shown
by the )display operations command have examples of use shown in the
output. Individual domain test suites and help pages are embedded with
the source code of the domain so they are part of the documentation a
user sees in the books. A standard browser based front-end is partially
built. It will function as a web front and replace both HyperDoc and
Graphics with standard HTML5.

Writing naked code was acceptable in 1975. Machines were slow. Axiom
took about 3 weeks for a full build. Build time mattered a lot.
That is no longer true. Now Human understanding is much more important.

It is now time to raise the standards. We need to expect quality code
that is well documented (including some theory), easy to modify and
maintain, with a comprehensive test suite. Human-to-Human communication
is more important than Human-to-Machine (code).

Tim Daly




From MAILER-DAEMON Sun Apr 14 20:24:10 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1URXDO-0001p9-D4
	for mharc-axiom-developer@gnu.org; Sun, 14 Apr 2013 20:24:10 -0400
Received: from eggs.gnu.org ([208.118.235.92]:49386)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1URXDM-0001ou-1f
	for axiom-developer@nongnu.org; Sun, 14 Apr 2013 20:24:09 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1URXDL-0008OO-5M
	for axiom-developer@nongnu.org; Sun, 14 Apr 2013 20:24:07 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:34024
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1URXDK-0008NH-Vs
	for axiom-developer@nongnu.org; Sun, 14 Apr 2013 20:24:07 -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 r3F0O4se028637
	for <axiom-developer@nongnu.org>; Sun, 14 Apr 2013 19:24:04 -0500
Received: by u1204 (Postfix, from userid 1000)
	id 9D28F68759; Sun, 14 Apr 2013 20:24:03 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: axiom-developer@nongnu.org
Message-Id: <20130415002403.9D28F68759@u1204>
Date: Sun, 14 Apr 2013 20:24:03 -0400 (EDT)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x
X-Received-From: 209.135.140.38
Subject: [Axiom-developer] Sourceforge Axiom update
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, 15 Apr 2013 00:24:09 -0000

Sourceforge has changed the Axiom project to conform to their new
file structure.

If you have used git to clone Axiom you need to modify your config
file to point to the new master. 

In .git/config look for the sourceforge URL line. It now needs to read:

[remote "origin"]
  url = git://git.code.sf.net/p/axiom/code
  fetch = +refs/heads/*:refs/remotes/origin/*

cloning the code is now done with:

git clone git://git.code.sf.net/p/axiom/code axiom

Tim Daly


From MAILER-DAEMON Sat Apr 20 14:00:25 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UTc5J-0006pZ-Px
	for mharc-axiom-developer@gnu.org; Sat, 20 Apr 2013 14:00:25 -0400
Received: from eggs.gnu.org ([208.118.235.92]:38276)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UTc5H-0006p1-IE
	for axiom-developer@nongnu.org; Sat, 20 Apr 2013 14:00:24 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UTc5G-0005FC-1b
	for axiom-developer@nongnu.org; Sat, 20 Apr 2013 14:00:23 -0400
Received: from vms173001pub.verizon.net ([206.46.173.1]:62087)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UTc5F-0005Ed-Rl
	for axiom-developer@nongnu.org; Sat, 20 Apr 2013 14:00:21 -0400
Received: from [127.0.0.1] ([unknown] [72.80.111.106])
	by vms173001.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MLK009YPFB87AG1@vms173001.mailsrvcs.net> for
	axiom-developer@nongnu.org; Sat, 20 Apr 2013 12:59:44 -0500 (CDT)
Message-id: <5172D783.8030201@attglobal.net>
Date: Sat, 20 Apr 2013 13:59:31 -0400
From: Eugene Surowitz <surow@attglobal.net>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328
	Thunderbird/17.0.5
MIME-version: 1.0
To: u1204 <daly@axiom-developer.org>,
	Axiom-Developer <axiom-developer@nongnu.org>
References: <20130415002403.9D28F68759@u1204>
In-reply-to: <20130415002403.9D28F68759@u1204>
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.1
Subject: [Axiom-developer] /src/interp contains identical files 'libdb.text'
	and 'temp.text'
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: surow@attglobal.net
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: Sat, 20 Apr 2013 18:00:25 -0000

The directory /src/interp contains two files,
'libdb.text' and 'temp.text' that diff says are identical.

Is there an 'rm' missing somewhere?

Cheers, Gene




From MAILER-DAEMON Mon Apr 22 09:22:12 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUGhA-0007e7-4W
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 09:22:12 -0400
Received: from eggs.gnu.org ([208.118.235.92]:48269)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUGh6-0007aL-IR
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 09:22:11 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUGh4-0002hV-TA
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 09:22:08 -0400
Received: from vms173001pub.verizon.net ([206.46.173.1]:61949)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUGh4-0002gE-Nl
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 09:22:06 -0400
Received: from [127.0.0.1] ([unknown] [72.80.111.106])
	by vms173001.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MLN0015URRD4DU0@vms173001.mailsrvcs.net> for
	axiom-developer@nongnu.org; Mon, 22 Apr 2013 08:21:36 -0500 (CDT)
Message-id: <51753948.6090905@attglobal.net>
Date: Mon, 22 Apr 2013 09:21:12 -0400
From: Eugene Surowitz <surow@attglobal.net>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328
	Thunderbird/17.0.5
MIME-version: 1.0
To: fricas-devel@googlegroups.com, Axiom-Developer <axiom-developer@nongnu.org>
References: <20130421225444.CA7096730B@u1204>
	<CAC6x94Tt8Teas_AWbj-1SKrLVFxpfSsAO1+pKkMTjfywFSPxxA@mail.gmail.com>
In-reply-to: <CAC6x94Tt8Teas_AWbj-1SKrLVFxpfSsAO1+pKkMTjfywFSPxxA@mail.gmail.com>
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.1
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: surow@attglobal.net
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, 22 Apr 2013 13:22:11 -0000

Personally, I would very much prefer a single wiki.

I believe that users would have great difficulty in distinguishing
the various forks in a systematic way; they may not have
been the one to set up which ever variation was installed with
their working group.

Gene

On 4/21/2013 11:00 PM, Bill Page wrote:
> Tim,
>
> I have no comment concerning your trademark claims but it was certainly not my
> intention to cause any confusion. I have updated the web page to which you referred
> to indicate that it uses FriCAS.
>
> The axiom-wiki web site is currently hosted by the FriCAS project and Waldek has
> commented in an email to the FriCAS list that he does not intend that the web site be
> exclusive to FriCAS but he does not have the resources to support more than the
> FriCAS part of the the site. Since this is a wiki the contents of the site is under
> the control of the wiki user community.  If there is continued disagreement about the
> appearance and contents of the site regarding the use of the work "axiom", then the
> likely result is that the original Axiom project will no longer be represented there
> at all. But before anyone takes such steps I think it would be better to discuss it a
> little further.
>
> Regards,
> Bill Page.
>
> On 21 April 2013 18:54, Tim Daly <daly@axiom-developer.org
> <mailto:daly@axiom-developer.org>> wrote:
>
>     Bill,
>
>     You posted a note to the FriCAS mailing list about Frobenius algebras,
>     pointing to a web page on the "Axiom Wiki".
>
>     Today I received an Axiom bug report...
>         "the enumerate()$V function does not work"
>
>     So, I looked at the page pointed out in the bug report:
>     http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
>
>     It has the line:
>         gens: List M := enumerate()$V
>
>     and CLEARLY STATES THAT THIS IS AXIOM OUTPUT.
>
>     Axiom does not implement enumerate from that domain.
>
>     So I fired up a copy of FriCAS and found that it exists there.
>
>     Bill, I could forgive this "mistake" by anyone else but not you.
>     I have begged and pleaded with you to not spread confusion between
>     Axiom and the forks. I have begged and pleaded with Waldek and Gaby.
>
>     Please stop. Please. I'm begging you.
>
>     Do the professional thing, the right thing.
>     Use "Axiom" when you use Axiom.
>     Use "FriCAS" when you use FriCAS.
>     Stop using FriCAS and calling it Axiom.
>
>     Axiom is a trademark of the Axiom project, not of FriCAS or OpenAxiom.
>
>      >From the faq:
>
>     ===================================================================
>     FAQ 46: Axiom Trademark information
>     ===================================================================
>     The name "Axiom" and the Axiom-included iconic images are common
>     law trademarks of this project. The term of service applies to the
>     code distributed and compiled versions of code distributed from the
>     Axiom websites at
>     axiom-developer.org <http://axiom-developer.org>
>     savannah.nongnu.org/projects/axiom <http://savannah.nongnu.org/projects/axiom>
>     sourceforge.net/projects/axiom <http://sourceforge.net/projects/axiom>
>     github.com/daly/axiom <http://github.com/daly/axiom>
>
>
>     You are deliberately causing confusion and the result is that I
>     get bug reports that don't apply.
>
>     Please either change the page to use Axiom facilities or
>     change the page to use the name FriCAS.
>
>     Please.
>
>     Tim Daly
>
>
> --
> You received this message because you are subscribed to the Google Groups "FriCAS -
> computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> fricas-devel+unsubscribe@googlegroups.com.
> To post to this group, send email to fricas-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>



From MAILER-DAEMON Mon Apr 22 11:53:56 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUJ40-0002s8-Lb
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 11:53:56 -0400
Received: from eggs.gnu.org ([208.118.235.92]:43284)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUJ3x-0002mR-55
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 11:53:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUJ3r-0003k9-T5
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 11:53:53 -0400
Received: from mail-vb0-x235.google.com ([2607:f8b0:400c:c02::235]:49060)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUJ3r-0003jb-Oi
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 11:53:47 -0400
Received: by mail-vb0-f53.google.com with SMTP id i3so5901204vbh.26
	for <axiom-developer@nongnu.org>; Mon, 22 Apr 2013 08:53:45 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=google.com; s=20120113;
	h=mime-version:x-received:in-reply-to:references:date:message-id
	:subject:from:to:cc:content-type:x-gm-message-state;
	bh=1pONY/bEAptpWzVIODxCvN8SfVbELR/BfdpSRavhGyM=;
	b=fkOSXZarnaoPFrKB2TRk02RnnKv3KXIpg3ojWBfUqyPiICez2gTdexQluZOSL+xV3B
	3KeNJNYH/D93nE9JguUPu0DXUbFIs/00rXxeKk2tAgzGo8nWavtWdF287ox0PvKbN/IH
	JEQpopkRFseD1mQNh98+oOgi9MAZ5T98xC2m6Nzox8dOsLI4HOZmfRZBl6rA29VhxVWB
	O0UjzXbobPIUfla/Uy/mnDrO5tlQlDaidRU7QfN3cbk70gKTcNdYIftK1S70b5gTr2hk
	SMo88lQc39iz3iZrY3toVNmNnlfAoCxfW9E8n4qu8RE2cs+2WOpGyc5FttiOIcAA91so
	7/Xw==
MIME-Version: 1.0
X-Received: by 10.220.137.145 with SMTP id w17mr19609798vct.73.1366646025616; 
	Mon, 22 Apr 2013 08:53:45 -0700 (PDT)
Received: by 10.221.11.72 with HTTP; Mon, 22 Apr 2013 08:53:45 -0700 (PDT)
In-Reply-To: <51753948.6090905@attglobal.net>
References: <20130421225444.CA7096730B@u1204>
	<CAC6x94Tt8Teas_AWbj-1SKrLVFxpfSsAO1+pKkMTjfywFSPxxA@mail.gmail.com>
	<51753948.6090905@attglobal.net>
Date: Mon, 22 Apr 2013 11:53:45 -0400
Message-ID: <CAC6x94TAW9YW6vnnFKZOA1h9cM0FfQXkLF_HDZv4nFh2Xhtz4w@mail.gmail.com>
From: Bill Page <bill.page@newsynthesis.org>
To: fricas-devel <fricas-devel@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
X-Gm-Message-State: ALoCoQkCuILVDOtS4x8zE3wbKp3PgqwmfnRTf0QpHTkOd8j8EdwB2TPqctiua6b5QlqeipeI+2m+
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2607:f8b0:400c:c02::235
Cc: Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 22 Apr 2013 15:53:54 -0000

The frontpage of the website

http://axiom-wiki.newsynthesis.org

and more specifically the following linked page

http://axiom-wiki.newsynthesis.org/AboutAxiom

Refers to all three "Axiom-related" projects (plus Reduce, Maxima,
Sage although I think Waldek has already disabled support for these
"non-Axiom" systems).  It would be good to review especially these
pages to help give users the right impression.

One thing in particular on the FrontPage that stands out is:

"The Axiom Foundation is our means to promote the development and
maintenance of the open source version of Axiom through the
dispersement of donations and royalties from Axiom Gear to support
Axiom-related projects and through theAward Of Bounties."

In fact there has been no such active "foundation" for more than 5
years!  A few days ago I checked and was surprised to see that there
is a balance of about $300 US in the donation paypal account from
almost 10 years ago,  I emailed Tim Daly and suggested that he might
be best situated to use these funds. He agreed and if no one raises
any objection here I will find some way to transfer the money to him
and remove all mention of the "Axiom Foundation" from the AxiomWiki.

Bill Page.

On 22 April 2013 09:21, Eugene Surowitz <surow@attglobal.net> wrote:
> Personally, I would very much prefer a single wiki.
>
> I believe that users would have great difficulty in distinguishing
> the various forks in a systematic way; they may not have
> been the one to set up which ever variation was installed with
> their working group.
>
> Gene
>
>
> On 4/21/2013 11:00 PM, Bill Page wrote:
>>
>> Tim,
>>
>> I have no comment concerning your trademark claims but it was certainly
>> not my
>> intention to cause any confusion. I have updated the web page to which you
>> referred
>> to indicate that it uses FriCAS.
>>
>> The axiom-wiki web site is currently hosted by the FriCAS project and
>> Waldek has
>> commented in an email to the FriCAS list that he does not intend that the
>> web site be
>> exclusive to FriCAS but he does not have the resources to support more
>> than the
>> FriCAS part of the the site. Since this is a wiki the contents of the site
>> is under
>> the control of the wiki user community.  If there is continued
>> disagreement about the
>> appearance and contents of the site regarding the use of the work "axiom",
>> then the
>> likely result is that the original Axiom project will no longer be
>> represented there
>> at all. But before anyone takes such steps I think it would be better to
>> discuss it a
>> little further.
>>
>> Regards,
>> Bill Page.
>>
>> On 21 April 2013 18:54, Tim Daly <daly@axiom-developer.org
>> <mailto:daly@axiom-developer.org>> wrote:
>>
>>     Bill,
>>
>>     You posted a note to the FriCAS mailing list about Frobenius algebras,
>>     pointing to a web page on the "Axiom Wiki".
>>
>>     Today I received an Axiom bug report...
>>         "the enumerate()$V function does not work"
>>
>>     So, I looked at the page pointed out in the bug report:
>>     http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
>>
>>     It has the line:
>>         gens: List M := enumerate()$V
>>
>>     and CLEARLY STATES THAT THIS IS AXIOM OUTPUT.
>>
>>     Axiom does not implement enumerate from that domain.
>>
>>     So I fired up a copy of FriCAS and found that it exists there.
>>
>>     Bill, I could forgive this "mistake" by anyone else but not you.
>>     I have begged and pleaded with you to not spread confusion between
>>     Axiom and the forks. I have begged and pleaded with Waldek and Gaby.
>>
>>     Please stop. Please. I'm begging you.
>>
>>     Do the professional thing, the right thing.
>>     Use "Axiom" when you use Axiom.
>>     Use "FriCAS" when you use FriCAS.
>>     Stop using FriCAS and calling it Axiom.
>>
>>     Axiom is a trademark of the Axiom project, not of FriCAS or OpenAxiom.
>>
>>      >From the faq:
>>
>>     ===================================================================
>>     FAQ 46: Axiom Trademark information
>>     ===================================================================
>>     The name "Axiom" and the Axiom-included iconic images are common
>>     law trademarks of this project. The term of service applies to the
>>     code distributed and compiled versions of code distributed from the
>>     Axiom websites at
>>     axiom-developer.org <http://axiom-developer.org>
>>     savannah.nongnu.org/projects/axiom
>> <http://savannah.nongnu.org/projects/axiom>
>>     sourceforge.net/projects/axiom <http://sourceforge.net/projects/axiom>
>>     github.com/daly/axiom <http://github.com/daly/axiom>
>>
>>
>>
>>     You are deliberately causing confusion and the result is that I
>>     get bug reports that don't apply.
>>
>>     Please either change the page to use Axiom facilities or
>>     change the page to use the name FriCAS.
>>
>>     Please.
>>
>>     Tim Daly
>>
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "FriCAS -
>> computer algebra system" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to
>> fricas-devel+unsubscribe@googlegroups.com.
>> To post to this group, send email to fricas-devel@googlegroups.com.
>> Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
>> For more options, visit https://groups.google.com/groups/opt_out.
>>
>>
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to fricas-devel+unsubscribe@googlegroups.com.
> To post to this group, send email to fricas-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>


From MAILER-DAEMON Mon Apr 22 11:57:15 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUJ7D-0007OU-6e
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 11:57:15 -0400
Received: from eggs.gnu.org ([208.118.235.92]:44323)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUJ7A-0007Mr-PZ
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 11:57:14 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUJ79-0005I2-Aw
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 11:57:12 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:48500
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUJ79-0005Hn-5P
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 11:57:11 -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 r3MFv8se007422;
	Mon, 22 Apr 2013 10:57:08 -0500
Received: by u1204 (Postfix, from userid 1000)
	id 029016F6BB; Mon, 22 Apr 2013 11:57:08 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: surow@attglobal.net
In-Reply-To: <51753948.6090905@attglobal.net> (message from Eugene Surowitz on
	Mon, 22 Apr 2013 09:21:12 -0400)
Date: Mon, 22 Apr 2013 11:57:08 -0400
Message-ID: <87k3nuftij.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 3.x
X-Received-From: 209.135.140.38
Cc: fricas-devel@googlegroups.com, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 22 Apr 2013 15:57:14 -0000

Eugene,

The issue has nothing to do with the wiki. I don't care if the wiki
uses Axiom. Axiom is open source software and can be used by anyone.

The issue is using the Axiom name to label things that are not Axiom.

In this instance, the web page

     http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2

has 72 instances of the name "Axiom" on the page. However, it was not
developed using Axiom. It was developed using FriCAS. 

Nobody would accept the web page if every line was labeled 
"Mathematica". FriCAS and Mathematica are not the same thing.
You cannot run this code in Mathematica.

And you cannot run this code in Axiom.

I received a bug report because of this confusion.  I am asking people
who are mathematicians, who know how to be precise, to BE precise and
use the names properly.

SBCL is a fork of CMUCL. You never see SBCL claiming to BE CMUCL.
Jenkins is a fork of Hudson. You never see Jenkins claiming to BE Hudson.
Ubuntu is a fork of RedHat. You never see Ubuntu claiming to BE RedHat.
...

It would seem too obvious for words. Need I say more?

Tim Daly

(p.s. I cannot post to the fricas-devel mailing list so you might want
to mirror this to your fricas-devel reply)






From MAILER-DAEMON Mon Apr 22 12:44:35 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUJr1-0000lI-N6
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 12:44:35 -0400
Received: from eggs.gnu.org ([208.118.235.92]:60456)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUJqx-0000gL-Pu
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 12:44:33 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUJqs-0006vm-FT
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 12:44:31 -0400
Received: from vms173001pub.verizon.net ([206.46.173.1]:35815)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUJqs-0006vC-AD
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 12:44:26 -0400
Received: from [127.0.0.1] ([unknown] [72.80.111.106])
	by vms173001.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MLO00LAH14ZD7J2@vms173001.mailsrvcs.net> for
	axiom-developer@nongnu.org; Mon, 22 Apr 2013 11:43:59 -0500 (CDT)
Message-id: <517568C2.6070108@attglobal.net>
Date: Mon, 22 Apr 2013 12:43:46 -0400
From: Eugene Surowitz <surow@attglobal.net>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328
	Thunderbird/17.0.5
MIME-version: 1.0
To: u1204 <daly@axiom-developer.org>
References: <87k3nuftij.fsf@axiom-developer.org>
In-reply-to: <87k3nuftij.fsf@axiom-developer.org>
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.1
Cc: fricas-devel@googlegroups.com, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: surow@attglobal.net
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, 22 Apr 2013 16:44:33 -0000

Already understood and I had already mirrored my comments
to the FriCAS-devel list; just forgot to include OpenAxiom.

The issue is deeper though: An inspection of only the src/interp
source files reveals numerous references to 'axiom' or 'Axiom'.
FriCAS appears to use boot code -- I assume, without having got
around to inspecting it in more detail, that it too may contain
many such references; I haven't looked at OpenAxiom.

Cheer, Gene

On 4/22/2013 11:57 AM, u1204 wrote:
> Eugene,
>
> The issue has nothing to do with the wiki. I don't care if the wiki
> uses Axiom. Axiom is open source software and can be used by anyone.
>
> The issue is using the Axiom name to label things that are not Axiom.
>
> In this instance, the web page
>
>       http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
>
> has 72 instances of the name "Axiom" on the page. However, it was not
> developed using Axiom. It was developed using FriCAS.
>
> Nobody would accept the web page if every line was labeled
> "Mathematica". FriCAS and Mathematica are not the same thing.
> You cannot run this code in Mathematica.
>
> And you cannot run this code in Axiom.
>
> I received a bug report because of this confusion.  I am asking people
> who are mathematicians, who know how to be precise, to BE precise and
> use the names properly.
>
> SBCL is a fork of CMUCL. You never see SBCL claiming to BE CMUCL.
> Jenkins is a fork of Hudson. You never see Jenkins claiming to BE Hudson.
> Ubuntu is a fork of RedHat. You never see Ubuntu claiming to BE RedHat.
> ...
>
> It would seem too obvious for words. Need I say more?
>
> Tim Daly
>
> (p.s. I cannot post to the fricas-devel mailing list so you might want
> to mirror this to your fricas-devel reply)
>
>
>
>
>



From MAILER-DAEMON Mon Apr 22 13:42:18 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUKks-00084M-24
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 13:42:18 -0400
Received: from eggs.gnu.org ([208.118.235.92]:50600)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUKkl-0007xB-Sd
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 13:42:16 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUKkj-0005FY-GM
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 13:42:11 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:49006
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUKkj-0005FB-Bn
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 13:42:09 -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 r3MHg5se007652;
	Mon, 22 Apr 2013 12:42:07 -0500
Received: by u1204 (Postfix, from userid 1000)
	id 02BBD6F6BB; Mon, 22 Apr 2013 13:42:04 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: surow@attglobal.net
In-Reply-To: <517568C2.6070108@attglobal.net> (message from Eugene Surowitz on
	Mon, 22 Apr 2013 12:43:46 -0400)
Date: Mon, 22 Apr 2013 13:42:04 -0400
Message-ID: <87li8abgyb.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 3.x
X-Received-From: 209.135.140.38
Cc: fricas-devel@googlegroups.com, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 22 Apr 2013 17:42:16 -0000

> Already understood and I had already mirrored my comments
> to the FriCAS-devel list; just forgot to include OpenAxiom.
> 
> The issue is deeper though: An inspection of only the src/interp
> source files reveals numerous references to 'axiom' or 'Axiom'.
> FriCAS appears to use boot code -- I assume, without having got
> around to inspecting it in more detail, that it too may contain
> many such references; I haven't looked at OpenAxiom.

There is a tool called 'sed' that could fix this in a single command.
Any person who uses unix could do this in minutes.

The only thing it won't fix is the "axiom*.{png,jpg}" files.
I created those using gimp so they would have to be redone.

The "30 year horizon" image is work done by an artist for Axiom.
It shows a bayou in Lousianna. I have special permission to use it.

Using names properly is such a simple thing. 
Nobody does a search on "Bing" and labels it "Google".
So why create a page with FriCAS and label each line Axiom?

I don't understand why this is a continuing problem.

Tim Daly


From MAILER-DAEMON Mon Apr 22 13:52:43 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUKux-0008Ao-1M
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 13:52:43 -0400
Received: from eggs.gnu.org ([208.118.235.92]:53554)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUKut-00083v-7m
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 13:52:41 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUKuq-0000rO-Re
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 13:52:39 -0400
Received: from mail-vc0-f171.google.com ([209.85.220.171]:58828)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUKuq-0000r8-MK
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 13:52:36 -0400
Received: by mail-vc0-f171.google.com with SMTP id ha11so2020696vcb.2
	for <axiom-developer@nongnu.org>; Mon, 22 Apr 2013 10:52:36 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=google.com; s=20120113;
	h=mime-version:x-received:in-reply-to:references:date:message-id
	:subject:from:to:cc:content-type:x-gm-message-state;
	bh=ochWWHL7bWuIHJ9nya830WmyM9K+kmwRyM7Jqvb2zSI=;
	b=NKgaH9+vEx91ZE6cLxTKwEIlJziVQD1PotImb8nlHJqEHW3lI0ghsve8WjgY5P/Ou9
	d/2pW/m7PNInUBwN4U/Xa/zqtwAk+0ekjOUUDI8jpWj2Kv2ee6aDbUzy63lbLEoErVgu
	lawKd71lbe4dPla9fg2QtTGGLV5DwCaDdeYTZCliRNy6tb5qKYOF6r24dx9v2bqkMqlo
	4G/O57JqYj15OvzeMix+5KJoxlgOqoUNwf+dFnQgy2nfYwD/nc1nBBFSQLmz8DBYPKy+
	4i7SNXa+9uOdkXpu94bTcTgBr4Yewz+9vnjZCT2aLVeUJLZ4PzBjlcjM/uHP/iGknvCZ
	YaYw==
MIME-Version: 1.0
X-Received: by 10.58.173.36 with SMTP id bh4mr5893709vec.9.1366653155934; Mon,
	22 Apr 2013 10:52:35 -0700 (PDT)
Received: by 10.221.11.72 with HTTP; Mon, 22 Apr 2013 10:52:35 -0700 (PDT)
In-Reply-To: <87li8abgyb.fsf@axiom-developer.org>
References: <517568C2.6070108@attglobal.net>
	<87li8abgyb.fsf@axiom-developer.org>
Date: Mon, 22 Apr 2013 13:52:35 -0400
Message-ID: <CAC6x94RMz+EKeGsn8sJNhD-SzN1mRBAV7gYBXYdNYsZRsSev=Q@mail.gmail.com>
From: Bill Page <bill.page@newsynthesis.org>
To: u1204 <daly@axiom-developer.org>
Content-Type: text/plain; charset=ISO-8859-1
X-Gm-Message-State: ALoCoQlIgHCl7W5FipgsLlMGaEUSS7n++W6GoyW6ih+X0CqA2b3lvOEpWiFaSpHF5SX8A/f5cFQu
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy]
X-Received-From: 209.85.220.171
Cc: fricas-devel <fricas-devel@googlegroups.com>,
	Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 22 Apr 2013 17:52:41 -0000

On 22 April 2013 13:42, u1204 <daly@axiom-developer.org> wrote:
>> Already understood and I had already mirrored my comments
>> to the FriCAS-devel list; just forgot to include OpenAxiom.
>>
>> The issue is deeper though: An inspection of only the src/interp
>> source files reveals numerous references to 'axiom' or 'Axiom'.
>> FriCAS appears to use boot code -- I assume, without having got
>> around to inspecting it in more detail, that it too may contain
>> many such references; I haven't looked at OpenAxiom.
>
> There is a tool called 'sed' that could fix this in a single command.
> Any person who uses unix could do this in minutes.
>
> The only thing it won't fix is the "axiom*.{png,jpg}" files.
> I created those using gimp so they would have to be redone.
>
> The "30 year horizon" image is work done by an artist for Axiom.
> It shows a bayou in Lousianna. I have special permission to use it.
>
> Using names properly is such a simple thing.
> Nobody does a search on "Bing" and labels it "Google".
> So why create a page with FriCAS and label each line Axiom?
>
> I don't understand why this is a continuing problem.
>
> Tim Daly
>
> _______________________________________________
> Axiom-developer mailing list
> Axiom-developer@nongnu.org
> https://lists.nongnu.org/mailman/listinfo/axiom-developer


From MAILER-DAEMON Mon Apr 22 14:08:37 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UULAL-0002fm-BE
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 14:08:37 -0400
Received: from eggs.gnu.org ([208.118.235.92]:59214)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UULAJ-0002dH-Fl
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 14:08:36 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UULAI-0007Wz-CT
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 14:08:35 -0400
Received: from mail-vb0-x235.google.com ([2607:f8b0:400c:c02::235]:42656)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UULAI-0007Wp-8Z
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 14:08:34 -0400
Received: by mail-vb0-f53.google.com with SMTP id i3so6048668vbh.26
	for <axiom-developer@nongnu.org>; Mon, 22 Apr 2013 11:08:33 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=google.com; s=20120113;
	h=mime-version:x-received:in-reply-to:references:date:message-id
	:subject:from:to:cc:content-type:x-gm-message-state;
	bh=9nvqKxVhZLPX+pF+t5sfQGqV7mbjsWeJjHqoAR0ZKcI=;
	b=U7TIV7Tp2dzeRZ1AGyyKLtc1hhzaNj+8bSD17mgEhCl9UTS1PyWg+5FjBNxydlwsxr
	z1VKxL1nrEbAgR4ykXB2sagToTRuNpJu31fc+qlQHmVHs1L7SXOO6raBrcdIl8jr3r31
	2QKBZInAjY83pxAthpG3VABxAHEaS7z3BWGPjE85ilFdRnNwQCCwUa+3zf87WY8oqX/3
	bCiIN+YTYr/Asqiv4MqnrwQeb8hCO4XIFeybeQ6S6gkndcQWatzm4hcJ9NxE89w0RBUk
	PsYf5qS5wJjYzMX7fBr4BZ7LuOjdH2Gx2/WR/qsThVNXHzbvJ8lU2nZ/WKMNkh/LFQ4N
	zXbg==
MIME-Version: 1.0
X-Received: by 10.52.75.8 with SMTP id y8mr16934663vdv.2.1366654113750; Mon,
	22 Apr 2013 11:08:33 -0700 (PDT)
Received: by 10.221.11.72 with HTTP; Mon, 22 Apr 2013 11:08:33 -0700 (PDT)
In-Reply-To: <CAC6x94RMz+EKeGsn8sJNhD-SzN1mRBAV7gYBXYdNYsZRsSev=Q@mail.gmail.com>
References: <517568C2.6070108@attglobal.net>
	<87li8abgyb.fsf@axiom-developer.org>
	<CAC6x94RMz+EKeGsn8sJNhD-SzN1mRBAV7gYBXYdNYsZRsSev=Q@mail.gmail.com>
Date: Mon, 22 Apr 2013 14:08:33 -0400
Message-ID: <CAC6x94RFnFZPNL-OUhDaKkXOwpbc5wh8e9WYYCprN8DSjBdsLA@mail.gmail.com>
From: Bill Page <bill.page@newsynthesis.org>
To: u1204 <daly@axiom-developer.org>
Content-Type: text/plain; charset=ISO-8859-1
X-Gm-Message-State: ALoCoQnpNygTrWCFSw0Q5gnbe01x3KSXgvVYXsZ4DCT3Eiz1yocwoKbKl0Xo9qopsdfTCA8MAvp2
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
	(bad octet value).
X-Received-From: 2607:f8b0:400c:c02::235
Cc: fricas-devel <fricas-devel@googlegroups.com>,
	Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 22 Apr 2013 18:08:36 -0000

I am sorry, but changing variable names inside source code because of
a project fork seems incorrect to me.  I think it would be both wrong
and even more confusing if FriCAS and OpenAxiom tried to give the
impression that they had no relation to each other and no relation at
all to the original Axiom project when they still share between 75% to
90% of the same code, the user languages are nearly (but not exactly)
identical and for the most part they produce the same results.


From MAILER-DAEMON Mon Apr 22 15:42:40 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUMdM-0001OG-Uy
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 15:42:40 -0400
Received: from eggs.gnu.org ([208.118.235.92]:58502)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUMdK-0001Nj-S4
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 15:42:39 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUMdJ-0001NK-EJ
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 15:42:38 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:58689
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUMdJ-0001N0-9o
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 15:42:37 -0400
Received: from u1204 (nmd.sbx10052.pittspa.wayport.net [98.98.216.230])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id r3MJgXse007809;
	Mon, 22 Apr 2013 14:42:33 -0500
Received: by u1204 (Postfix, from userid 1000)
	id EB86C6F35E; Mon, 22 Apr 2013 15:42:31 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: Bill Page <bill.page@newsynthesis.org>
In-Reply-To: <CAC6x94RFnFZPNL-OUhDaKkXOwpbc5wh8e9WYYCprN8DSjBdsLA@mail.gmail.com>
	(message from Bill Page on Mon, 22 Apr 2013 14:08:33 -0400)
Date: Mon, 22 Apr 2013 15:42:31 -0400
Message-ID: <87zjwqfj2w.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 3.x
X-Received-From: 209.135.140.38
Cc: fricas-devel@googlegroups.com, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 22 Apr 2013 19:42:40 -0000

>I am sorry, but changing variable names inside source code because of
>a project fork seems incorrect to me.  I think it would be both wrong
>and even more confusing if FriCAS and OpenAxiom tried to give the
>impression that they had no relation to each other and no relation at
>all to the original Axiom project when they still share between 75% to
>90% of the same code, the user languages are nearly (but not exactly)
>identical and for the most part they produce the same results.

Most common lisps share a large percentage of the CMUCL code because
most of the source code is common lisp and other lisps just copy it.

Indeed, SBCL shares 90% of the CMUCL code, including low level code
since it is a fork.

Considering they all implement the same standard, all the common 
lisps have identical results. 

SBCL never posts code or results and uses the name "CMUCL".
GCL never posts code or results under the CMUCL name.
CLISP never posts code or results under the CMUCL name.

As for the 75% to 90% of the code being shared, you'll notice that Boot
no longer exists in Axiom. I have hand-authored most of the replacement
code and expect it all to be rewritten by the end of the year.  So I've
written tens of thousands of lines of code that is not shared. A large
portion of the code in the interpreter (Volume 5) and the compiler 
(Volume 9) is code I rewrote from the Boot version. Even the algebra
syntax is not shared anymore. Waldek changed the meaning of primitives
like ^, symbol-creation, etc.

Code from one system will not even parse in the other.
Code you wrote on that page won't run in Axiom.

It is "wrong and confusing" to use the name Axiom when it is not Axiom.
Please stop.

Tim 


From MAILER-DAEMON Mon Apr 22 19:58:50 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUQdG-0003rR-Jc
	for mharc-axiom-developer@gnu.org; Mon, 22 Apr 2013 19:58:50 -0400
Received: from eggs.gnu.org ([208.118.235.92]:38730)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUQdD-0003qg-SB
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 19:58:49 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUQdC-0000kZ-TN
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 19:58:47 -0400
Received: from vms173011pub.verizon.net ([206.46.173.11]:55572)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUQdC-0000kV-OS
	for axiom-developer@nongnu.org; Mon, 22 Apr 2013 19:58:46 -0400
Received: from [127.0.0.1] ([unknown] [72.80.111.106])
	by vms173011.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MLO00A3IL92T6A4@vms173011.mailsrvcs.net> for
	axiom-developer@nongnu.org; Mon, 22 Apr 2013 18:58:15 -0500 (CDT)
Message-id: <5175CE95.60300@attglobal.net>
Date: Mon, 22 Apr 2013 19:58:13 -0400
From: Eugene Surowitz <surow@attglobal.net>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328
	Thunderbird/17.0.5
MIME-version: 1.0
To: u1204 <daly@axiom-developer.org>,
	Axiom-Developer <axiom-developer@nongnu.org>,
	fricas-devel <fricas-devel@googlegroups.com>
References: <87li8abgyb.fsf@axiom-developer.org>
In-reply-to: <87li8abgyb.fsf@axiom-developer.org>
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.11
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: surow@attglobal.net
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, 22 Apr 2013 23:58:49 -0000

I have known about 'sed' for a long time;
but have had enough experience with global
change mechanisms to avoid them like the plague.

Cheers, Gene

On 4/22/2013 1:42 PM, u1204 wrote:
>> Already understood and I had already mirrored my comments
>> to the FriCAS-devel list; just forgot to include OpenAxiom.
>>
>> The issue is deeper though: An inspection of only the src/interp
>> source files reveals numerous references to 'axiom' or 'Axiom'.
>> FriCAS appears to use boot code -- I assume, without having got
>> around to inspecting it in more detail, that it too may contain
>> many such references; I haven't looked at OpenAxiom.
>
> There is a tool called 'sed' that could fix this in a single command.
> Any person who uses unix could do this in minutes.
>
> The only thing it won't fix is the "axiom*.{png,jpg}" files.
> I created those using gimp so they would have to be redone.
>
> The "30 year horizon" image is work done by an artist for Axiom.
> It shows a bayou in Lousianna. I have special permission to use it.
>
> Using names properly is such a simple thing.
> Nobody does a search on "Bing" and labels it "Google".
> So why create a page with FriCAS and label each line Axiom?
>
> I don't understand why this is a continuing problem.
>
> Tim Daly
>
>



From MAILER-DAEMON Tue Apr 23 12:01:38 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUff0-0007qd-7M
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 12:01:38 -0400
Received: from eggs.gnu.org ([208.118.235.92]:48282)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUfew-0007k2-Bh
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:01:35 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUfeu-0007qG-DF
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:01:34 -0400
Received: from math.uni.wroc.pl ([156.17.86.1]:48859
	helo=hera.math.uni.wroc.pl) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUfeu-0007ni-67
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:01:32 -0400
Received: from hebisch by hera.math.uni.wroc.pl with local (Exim 4.72)
	(envelope-from <hebisch@math.uni.wroc.pl>)
	id 1UUfe0-0000aO-5t; Tue, 23 Apr 2013 18:00:36 +0200
Message-Id: <E1UUfe0-0000aO-5t@hera.math.uni.wroc.pl>
To: fricas-devel@googlegroups.com
Date: Tue, 23 Apr 2013 18:00:36 +0200 (CEST)
In-Reply-To: <517568C2.6070108@attglobal.net>
X-Mailer: ELM [version 2.5 PL8]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
From: Waldek Hebisch <hebisch@math.uni.wroc.pl>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x
X-Received-From: 156.17.86.1
Cc: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 16:01:36 -0000

Eugene Surowitz wrote:
> 
> The issue is deeper though: An inspection of only the src/interp
> source files reveals numerous references to 'axiom' or 'Axiom'.
> FriCAS appears to use boot code -- I assume, without having got
> around to inspecting it in more detail, that it too may contain
> many such references; I haven't looked at OpenAxiom.
> 

The issue is deeper than you think.  If you examined hits in
more detail you will note that most references falls into
two categories:

- historical or obsolete material
- names which part of user/external interface

Obsolete material eventually will be deleted.  User interfaces
may change but this is slow process to minimize negative
impact on the users.  I am not in the business of rewriting
history so I will still call NAG product Axiom and not FriCAS.
As long as Aldor is in use 'axiomxl' and similar names in the
Aldor interface will stay.

-- 
                              Waldek Hebisch
hebisch@math.uni.wroc.pl 


From MAILER-DAEMON Tue Apr 23 12:08:51 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUflz-0003Ks-87
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 12:08:51 -0400
Received: from eggs.gnu.org ([208.118.235.92]:51252)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUflu-0003Is-TZ
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:08:48 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUflt-0002Jp-Ib
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:08:46 -0400
Received: from math.uni.wroc.pl ([156.17.86.1]:48881
	helo=hera.math.uni.wroc.pl) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUflt-0002JD-A8
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:08:45 -0400
Received: from hebisch by hera.math.uni.wroc.pl with local (Exim 4.72)
	(envelope-from <hebisch@math.uni.wroc.pl>)
	id 1UUfl4-0000dp-G9; Tue, 23 Apr 2013 18:07:54 +0200
Message-Id: <E1UUfl4-0000dp-G9@hera.math.uni.wroc.pl>
To: fricas-devel@googlegroups.com
Date: Tue, 23 Apr 2013 18:07:54 +0200 (CEST)
In-Reply-To: <51753948.6090905@attglobal.net>
X-Mailer: ELM [version 2.5 PL8]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
From: Waldek Hebisch <hebisch@math.uni.wroc.pl>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x
X-Received-From: 156.17.86.1
Cc: Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 16:08:49 -0000

Eugene Surowitz wrote:
> 
> Personally, I would very much prefer a single wiki.
> 
> I believe that users would have great difficulty in distinguishing
> the various forks in a systematic way; they may not have
> been the one to set up which ever variation was installed with
> their working group.

I am not sure how the two sentences above fit together.  Do
you mean that there should be a single wiki for all forks
and no attempt to distinguish them?

-- 
                              Waldek Hebisch
hebisch@math.uni.wroc.pl 


From MAILER-DAEMON Tue Apr 23 12:17:40 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUfuW-0007jv-B4
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 12:17:40 -0400
Received: from eggs.gnu.org ([208.118.235.92]:54450)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1UUfuJ-0007U8-Ov
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:17:38 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1UUfuB-0005ee-L3
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:17:27 -0400
Received: from mo6-p00-ob.rzone.de ([2a01:238:20a:202:5300::1]:60225)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ralf@hemmecke.org>) id 1UUfuB-0005dB-DE
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:17:19 -0400
X-RZG-AUTH: :Pm0Ic2CgfvKqpyys4bXs6bamDO4KmmoRsZ13hlmoEk5Wa1Qkj9VBsNaBE83J
X-RZG-CLASS-ID: mo00
Received: from [192.168.1.2]
	(62-47-49-150.adsl.highway.telekom.at [62.47.49.150])
	by smtp.strato.de (jored mo42) (RZmta 31.27 DYNA|AUTH)
	with ESMTPA id J03fcdp3NFQRib ; Tue, 23 Apr 2013 18:17:16 +0200 (CEST)
Message-ID: <5176B40C.2080202@hemmecke.org>
Date: Tue, 23 Apr 2013 18:17:16 +0200
From: Ralf Hemmecke <ralf@hemmecke.org>
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
	rv:17.0) Gecko/20130329 Thunderbird/17.0.5
MIME-Version: 1.0
To: fricas-devel@googlegroups.com, axiom-dev <axiom-developer@nongnu.org>
References: <E1UUfe0-0000aO-5t@hera.math.uni.wroc.pl>
In-Reply-To: <E1UUfe0-0000aO-5t@hera.math.uni.wroc.pl>
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] [fricas-devel] Re: trademarks
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, 23 Apr 2013 16:17:39 -0000

I think Tim would already be happy, if we modify the

<div id="axiomlabel" align="right">axiom</div>

that appears on every outputbox of

http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
(and every such box on such generated output) into "fricas".

I don't care if fricas-devel get's more bug reports in this way.

That would be a simple change in some script and probably Bill knows
exactly where this has to be done.

That would stop such needless discussion.

We are in the unfortunate situation of having 3 systems that are
terribly similar but not equal. Would be nice if we converged, but I
don't see this to happen in the near future. So it's only fair if people
are made aware of the differences of the systems.

If we continue to support Axiom and OpenAxiom on
http://axiom-wiki.newsynthesis.org then there should (maybe) a link to
http://axiom-wiki.newsynthesis.org/PanAxiom on every single wiki page.

Personally, I don't care much about non-FriCAS, i.e. not supporting
Axiom and OpenAxiom on the AxiomWiki anymore would be OK for me, but
then I'd prefer to rename it to FriCASWiki and change the URL accordingly.

Ralf


From MAILER-DAEMON Tue Apr 23 12:56:50 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUgWQ-0006dY-OL
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 12:56:50 -0400
Received: from eggs.gnu.org ([208.118.235.92]:38426)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUgWK-0006Um-A2
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:56:48 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUgWJ-0003lx-2z
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:56:44 -0400
Received: from vms173001pub.verizon.net ([206.46.173.1]:52922)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UUgWI-0003lP-VL
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 12:56:43 -0400
Received: from [127.0.0.1] ([unknown] [72.80.111.106])
	by vms173001.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MLP0051AWD5M2E1@vms173001.mailsrvcs.net> for
	axiom-developer@nongnu.org; Tue, 23 Apr 2013 11:55:56 -0500 (CDT)
Message-id: <5176BD18.8010901@attglobal.net>
Date: Tue, 23 Apr 2013 12:55:52 -0400
From: Eugene Surowitz <surow@attglobal.net>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328
	Thunderbird/17.0.5
MIME-version: 1.0
To: fricas-devel@googlegroups.com,
	Axiom-Developer <axiom-developer@nongnu.org>,
	Gabriel Dos Reis <open-axiom-devel@lists.sf.net>
References: <E1UUfl4-0000dp-G9@hera.math.uni.wroc.pl>
In-reply-to: <E1UUfl4-0000dp-G9@hera.math.uni.wroc.pl>
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.1
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: surow@attglobal.net
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, 23 Apr 2013 16:56:48 -0000

One Wiki with a clear indication which variant
is being exercised and auto-direction to the
appropriate list for comments and bug reports.

Cheers, Gene

On 4/23/2013 12:07 PM, Waldek Hebisch wrote:
> Eugene Surowitz wrote:
>>
>> Personally, I would very much prefer a single wiki.
>>
>> I believe that users would have great difficulty in distinguishing
>> the various forks in a systematic way; they may not have
>> been the one to set up which ever variation was installed with
>> their working group.
>
> I am not sure how the two sentences above fit together.  Do
> you mean that there should be a single wiki for all forks
> and no attempt to distinguish them?
>



From MAILER-DAEMON Tue Apr 23 14:02:21 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUhXp-0003ty-0k
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 14:02:21 -0400
Received: from eggs.gnu.org ([208.118.235.92]:58705)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUhXm-0003te-5d
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 14:02:19 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUhXk-0003Cs-Dv
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 14:02:18 -0400
Received: from math.uni.wroc.pl ([156.17.86.1]:49108
	helo=hera.math.uni.wroc.pl) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUhXk-0003Ch-6d
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 14:02:16 -0400
Received: from hebisch by hera.math.uni.wroc.pl with local (Exim 4.72)
	(envelope-from <hebisch@math.uni.wroc.pl>)
	id 1UUhWo-00028J-54; Tue, 23 Apr 2013 20:01:18 +0200
Message-Id: <E1UUhWo-00028J-54@hera.math.uni.wroc.pl>
To: fricas-devel@googlegroups.com
Date: Tue, 23 Apr 2013 20:01:18 +0200 (CEST)
In-Reply-To: <5176B40C.2080202@hemmecke.org>
X-Mailer: ELM [version 2.5 PL8]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
From: Waldek Hebisch <hebisch@math.uni.wroc.pl>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x
X-Received-From: 156.17.86.1
Cc: axiom-dev <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 18:02:19 -0000

> 
> I think Tim would already be happy, if we modify the
> 
> <div id="axiomlabel" align="right">axiom</div>
> 
> that appears on every outputbox of
> 
> http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
> (and every such box on such generated output) into "fricas".
> 
> I don't care if fricas-devel get's more bug reports in this way.
> 
> That would be a simple change in some script and probably Bill knows
> exactly where this has to be done.

I have done such modification.  With little extra effort we should be
able to put correct label (depending on which flavor is run).
The change takes effect only one somebody trigger page refresh
(in particular when page is modified).

-- 
                              Waldek Hebisch
hebisch@math.uni.wroc.pl 


From MAILER-DAEMON Tue Apr 23 15:23:50 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUiog-0007cT-5y
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 15:23:50 -0400
Received: from eggs.gnu.org ([208.118.235.92]:55681)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUioc-0007aQ-1v
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 15:23:47 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUioZ-0008RM-VG
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 15:23:45 -0400
Received: from hera.math.uni.wroc.pl ([156.17.86.1]:49290)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <hebisch@math.uni.wroc.pl>) id 1UUioZ-0008Qu-OO
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 15:23:43 -0400
Received: from hebisch by hera.math.uni.wroc.pl with local (Exim 4.72)
	(envelope-from <hebisch@math.uni.wroc.pl>)
	id 1UUinY-0002Q3-B2; Tue, 23 Apr 2013 21:22:40 +0200
Message-Id: <E1UUinY-0002Q3-B2@hera.math.uni.wroc.pl>
To: fricas-devel@googlegroups.com
Date: Tue, 23 Apr 2013 21:22:40 +0200 (CEST)
In-Reply-To: <CAC6x94TAW9YW6vnnFKZOA1h9cM0FfQXkLF_HDZv4nFh2Xhtz4w@mail.gmail.com>
X-Mailer: ELM [version 2.5 PL8]
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
From: Waldek Hebisch <hebisch@math.uni.wroc.pl>
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x
X-Received-From: 156.17.86.1
Cc: Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 19:23:47 -0000

Bill Page wrote:
> 
> The frontpage of the website
> 
> http://axiom-wiki.newsynthesis.org
> 
> and more specifically the following linked page
> 
> http://axiom-wiki.newsynthesis.org/AboutAxiom
> 
> Refers to all three "Axiom-related" projects (plus Reduce, Maxima,
> Sage although I think Waldek has already disabled support for these
> "non-Axiom" systems).  It would be good to review especially these
> pages to help give users the right impression.

ATM Reduce should work OK.  I think we could restore Maxima with
reasonable effort.  However, I am affraid that Sage would require
much more resources to keep is up to date and IMHO keeping obsolete
version makes no sense.

> One thing in particular on the FrontPage that stands out is:
> 
> "The Axiom Foundation ...

I am for transerring money to Tim and deleting reference.
However there are several other pages which are hopelessly
obsolete.  I am not sure if we should just delete them
or create "obsolete" part of wiki where such pages would
be kept frozen as a document of the past.

Coming back to front page: in Thank You part there is popup
saying that Sage hosts the VM, which is no longer true...
I doubt that CAISS is giving any support to wiki or any
of Axiom flavours.  I would rather keep thanks somewhere,
but IMHO it would be better to move them to separate page
(or maybe to "frozen" old front page).

Also, I think it would be reasonable to change name to
FriCAS Wiki and change logo (currently all pages show
Axiom logo).

-- 
                              Waldek Hebisch
hebisch@math.uni.wroc.pl 


From MAILER-DAEMON Tue Apr 23 16:37:23 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUjxr-0007Xa-95
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 16:37:23 -0400
Received: from eggs.gnu.org ([208.118.235.92]:46519)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUjxo-0007X7-8g
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 16:37:22 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUjxm-0000Hj-JQ
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 16:37:20 -0400
Received: from mail-vc0-f174.google.com ([209.85.220.174]:35585)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UUjxm-0000HR-GB
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 16:37:18 -0400
Received: by mail-vc0-f174.google.com with SMTP id kw10so1106247vcb.33
	for <axiom-developer@nongnu.org>; Tue, 23 Apr 2013 13:37:16 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=google.com; s=20120113;
	h=mime-version:x-received:in-reply-to:references:date:message-id
	:subject:from:to:cc:content-type:x-gm-message-state;
	bh=fY9H7cTHMdGc4tIZD9FHgOxfRGy4DpDmKmqI3QjtBuU=;
	b=OhGVkozaQoOt3eDvZu66ZBHoHZbPQ+yb4fK1Oby1psHg5ic1mTOc2YoXkjaEi83KmM
	/YeXiQA6PFKzGvN7Sus3/t8ITPCrkrThPEVKFHU9ZX2gFx9WC+502QzwU+x5e5nBZEhH
	SwsypmKbcwoI0WUEUUUyfAQRHTsnUBjrX/B8BLgmTHhxAbJJJ/GJWOJ26V+sDv+2zLDF
	kneH0bbpDT16AhwXX1ogmS7ThtKilgtD5RqZ51ehi+++WmAFOGUBfQc8ra8VOKL0tOvF
	Lb3PcKqTs49CRhjV3bRtWp4Ykcs9VVv5Y1kxTJM7vhpOJYo2pefs4lhH34i3vczAZWFQ
	BXrg==
MIME-Version: 1.0
X-Received: by 10.220.88.145 with SMTP id a17mr23570462vcm.66.1366749436669;
	Tue, 23 Apr 2013 13:37:16 -0700 (PDT)
Received: by 10.220.115.148 with HTTP; Tue, 23 Apr 2013 13:37:16 -0700 (PDT)
In-Reply-To: <E1UUinY-0002Q3-B2@hera.math.uni.wroc.pl>
References: <CAC6x94TAW9YW6vnnFKZOA1h9cM0FfQXkLF_HDZv4nFh2Xhtz4w@mail.gmail.com>
	<E1UUinY-0002Q3-B2@hera.math.uni.wroc.pl>
Date: Tue, 23 Apr 2013 16:37:16 -0400
Message-ID: <CAC6x94Shb8gyq+zkyR2RKS-qpJOhJtRG2RgzEKF1-er=mM-N1w@mail.gmail.com>
From: Bill Page <bill.page@newsynthesis.org>
To: fricas-devel <fricas-devel@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
X-Gm-Message-State: ALoCoQk21Gdv6YI7aTeb91F9L4pnjlImICHUe+FtBIcMf1GMN7MYT75Ok1Fafia8d2mcLk6XnNRk
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy]
X-Received-From: 209.85.220.174
Cc: Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 20:37:22 -0000

On 23 April 2013 15:22, Waldek Hebisch <hebisch@math.uni.wroc.pl> wrote:
> Bill Page wrote:
>>
>> The frontpage of the website
>>
>> http://axiom-wiki.newsynthesis.org
>>
>> and more specifically the following linked page
>>
>> http://axiom-wiki.newsynthesis.org/AboutAxiom
>>
>> Refers to all three "Axiom-related" projects (plus Reduce, Maxima,
>> Sage although I think Waldek has already disabled support for these
>> "non-Axiom" systems).  It would be good to review especially these
>> pages to help give users the right impression.
>
> ATM Reduce should work OK.  I think we could restore Maxima with
> reasonable effort.  However, I am affraid that Sage would require
> much more resources to keep is up to date and IMHO keeping obsolete
> version makes no sense.
>

Great.  I still think it is nice to have both Reduce and Maxima.  Sage
has it's own web support so really we shouldn't worry much about that.

>> One thing in particular on the FrontPage that stands out is:
>>
>> "The Axiom Foundation ...
>
> I am for transerring money to Tim and deleting reference.

OK.

> However there are several other pages which are hopelessly
> obsolete.  I am not sure if we should just delete them
> or create "obsolete" part of wiki where such pages would
> be kept frozen as a document of the past.

I do not care much about keeping old documents from the past.  It is
much more important to get on with updating the contents.

> Coming back to front page: in Thank You part there is popup
> saying that Sage hosts the VM, which is no longer true...

Delete.

> I doubt that CAISS is giving any support to wiki or any
> of Axiom flavours.

Right.

>  I would rather keep thanks somewhere,
> but IMHO it would be better to move them to separate page
> (or maybe to "frozen" old front page).
>

Separate page.

> Also, I think it would be reasonable to change name to
> FriCAS Wiki and change logo (currently all pages show
> Axiom logo).
>

Yes, pick a nice new logo.

Regards,
Bill Page.


From MAILER-DAEMON Tue Apr 23 17:27:33 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUkkP-000122-Nr
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 17:27:33 -0400
Received: from eggs.gnu.org ([208.118.235.92]:43511)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gabrielgvincent@gmail.com>) id 1UUiBF-0004bD-Lk
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 14:43:08 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <gabrielgvincent@gmail.com>) id 1UUiBC-0001O9-By
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 14:43:05 -0400
Received: from mail-qe0-f49.google.com ([209.85.128.49]:56113)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gabrielgvincent@gmail.com>) id 1UUiBC-0001Nq-8A
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 14:43:02 -0400
Received: by mail-qe0-f49.google.com with SMTP id 6so635899qeb.8
	for <axiom-developer@nongnu.org>; Tue, 23 Apr 2013 11:43:01 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
	h=x-received:from:content-type:content-transfer-encoding:subject
	:message-id:date:to:mime-version:x-mailer;
	bh=wK1nyPcUj/m+Wcq5olOpok6zo44AREU8jCaq3U3FUJc=;
	b=cA6kErmxBv3/dFBJbhCTcjgyJoVokvdDg1E2tJbudyYJuXlusadCU5XeLcvZkXVdri
	dYHLt0oRM0vFakg0zh08aioLguVxfTeRk2/wa2FYDAwHLati9ekKN17Y5NtwTk2FSSYr
	dLCBAOohea+fvHmcQWUIvib6Fg0LXqNmQX7MzeVwFw7c8PZ60OmZtj6gEzZbQnyBPsZc
	NfprcTC0rz8PxR9xbP6+T3YslfiwKBVVE8U3W0Jr8GpIWhqA+mFnVLH5j6m56RSEmzHb
	Ea6FmDVTOUCXUUlNDwW7P5j8zqPcBOGaP9FFnEI0eu56iQeokiCJlvtYmfCoKyaVCD+I
	gGNw==
X-Received: by 10.224.192.196 with SMTP id dr4mr26610001qab.80.1366742581290; 
	Tue, 23 Apr 2013 11:43:01 -0700 (PDT)
Received: from [192.168.1.104] ([177.142.206.92])
	by mx.google.com with ESMTPSA id h5sm102790qai.9.2013.04.23.11.42.59
	for <axiom-developer@nongnu.org>
	(version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
	Tue, 23 Apr 2013 11:43:00 -0700 (PDT)
From: Gabriel Gino Vincent <gabrielgvincent@gmail.com>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Message-Id: <881B22D3-5CC9-4506-88C2-2EE244D6A650@vincent.es>
Date: Tue, 23 Apr 2013 15:42:59 -0300
To: axiom-developer@nongnu.org
Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\))
X-Mailer: Apple Mail (2.1503)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy]
X-Received-From: 209.85.128.49
X-Mailman-Approved-At: Tue, 23 Apr 2013 17:27:31 -0400
Subject: [Axiom-developer] Axiom For Mac
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, 23 Apr 2013 18:43:08 -0000

Hello,

In Axiom's website there's a tutorial on how to install Axiom on a Mac. =
I've tried a lot, but still can't. I tried to download it from Github =
and follow the suggested steps, but I'm never able to go beyond the make =
command. I have Xcode properly installed.
Isn't there a compatible version of Axiom for Mac? If not, could I have =
some instructions on how to compile it so it can run on a Mac?

Regards

Gabriel Vincent=


From MAILER-DAEMON Tue Apr 23 19:14:36 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUmQ0-0004T7-JG
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 19:14:36 -0400
Received: from eggs.gnu.org ([208.118.235.92]:59667)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmPw-0004SF-S9
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:14:35 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmPv-0004OR-P3
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:14:32 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:36608
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmPv-0004Lu-JL
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:14:31 -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 r3NNERse010859;
	Tue, 23 Apr 2013 18:14:27 -0500
Received: by u1204 (Postfix, from userid 1000)
	id 77CC66AD5E; Tue, 23 Apr 2013 19:14:29 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: Ralf Hemmecke <ralf@hemmecke.org>
In-Reply-To: <5176B40C.2080202@hemmecke.org> (message from Ralf Hemmecke on
	Tue, 23 Apr 2013 18:17:16 +0200)
Date: Tue, 23 Apr 2013 19:14:29 -0400
Message-ID: <8761zcrga2.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 3.x
X-Received-From: 209.135.140.38
Cc: fricas-devel@googlegroups.com, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 23:14:35 -0000

Ralf,

>We are in the unfortunate situation of having 3 systems that are
>terribly similar but not equal. Would be nice if we converged, but I
>don't see this to happen in the near future. So it's only fair if people
>are made aware of the differences of the systems.

You'll notice that I have made an effort to pick up some of the changes
from FriCAS. For instance, the Type output form now includes parens for
InputForm parsing. I've also picked up some of the algebra changes as
I become aware of them. For instance, enumerate now exists, the MAMA
package exists, U8Matrix, U16Matrix, and U32Matrix as well as the
U{8,16,32}Vector domains exist.

However, changes that diverge from the Jenks book, such as the change
to the semantics of ^, are not likely to happen.

FriCAS has not picked up the work on PackageForAlgebraicFunctionField,
for instance. Nor has it picked up AxiomServer and its corresponding
browser front-end machinery so the new browser-based hyperdoc/graphics
won't work there. There are dozens of new test case files in src/input.
Code examples are shown on ")d op foo" for operation foo which I think
is a good idea for users. There is a help file for all algebra.
Volume 8.1 has dozens of graphics examples, all of which should work
in FriCAS. A lot of this effort is aimed at the end user.

Noweb is disappearing. The pamphlet files are now pure latex so 
there is no need for a "weave" step. Pamphlet files are a native
format so you can )tangle from the command line.

I don't believe that the systems will ever converge. 
We have different and incompatible project goals.

I would prefer that we at least tried to keep the algebra aligned.
We all have a common interest in that. I try to achieve that when
I find algebra incompatibilities. I do wish the algebra had better
documentation though. It can be hard to guess what the slattern()
function does if you're not a domain expert. Why bother keeping
the pamphlet file format if there are no words?

Tim



From MAILER-DAEMON Tue Apr 23 19:15:59 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUmRL-0005wd-De
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 19:15:59 -0400
Received: from eggs.gnu.org ([208.118.235.92]:60017)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmRH-0005uW-4x
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:15:58 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmRF-00051R-TF
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:15:54 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:37462
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmRF-00051F-H9
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:15:53 -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 r3NNFmse010871;
	Tue, 23 Apr 2013 18:15:48 -0500
Received: by u1204 (Postfix, from userid 1000)
	id 241076AD5E; Tue, 23 Apr 2013 19:15:51 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: Waldek Hebisch <hebisch@math.uni.wroc.pl>
In-Reply-To: <E1UUhWo-00028J-54@hera.math.uni.wroc.pl> (message from Waldek
	Hebisch on Tue, 23 Apr 2013 20:01:18 +0200 (CEST))
Date: Tue, 23 Apr 2013 19:15:51 -0400
Message-ID: <8738ugrg7s.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 3.x
X-Received-From: 209.135.140.38
Cc: fricas-devel@googlegroups.com, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 23:15:58 -0000

>> I think Tim would already be happy, if we modify the
>> 
>> <div id="axiomlabel" align="right">axiom</div>
>> 
>> that appears on every outputbox of
>> 
>> http://axiom-wiki.newsynthesis.org/SandBoxObserverAsIdempotent2
>> (and every such box on such generated output) into "fricas".
>> 
>> I don't care if fricas-devel get's more bug reports in this way.
>> 
>> That would be a simple change in some script and probably Bill knows
>> exactly where this has to be done.
>
>I have done such modification.  With little extra effort we should be
>able to put correct label (depending on which flavor is run).
>The change takes effect only one somebody trigger page refresh
>(in particular when page is modified).

Thank you.

Tim


From MAILER-DAEMON Tue Apr 23 19:21:58 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UUmX8-0006qN-61
	for mharc-axiom-developer@gnu.org; Tue, 23 Apr 2013 19:21:58 -0400
Received: from eggs.gnu.org ([208.118.235.92]:33152)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmX6-0006qC-4W
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:21:57 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmX1-0006gj-Ps
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:21:56 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:41209
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UUmX1-0006ge-JR
	for axiom-developer@nongnu.org; Tue, 23 Apr 2013 19:21:51 -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 r3NNLkse010888;
	Tue, 23 Apr 2013 18:21:47 -0500
Received: by u1204 (Postfix, from userid 1000)
	id B57366AD5E; Tue, 23 Apr 2013 19:21:48 -0400 (EDT)
From: u1204 <daly@axiom-developer.org>
To: Waldek Hebisch <hebisch@math.uni.wroc.pl>
In-Reply-To: <E1UUinY-0002Q3-B2@hera.math.uni.wroc.pl> (message from Waldek
	Hebisch on Tue, 23 Apr 2013 21:22:40 +0200 (CEST))
Date: Tue, 23 Apr 2013 19:21:48 -0400
Message-ID: <87wqrsq1df.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 3.x
X-Received-From: 209.135.140.38
Cc: fricas-devel@googlegroups.com, axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 23 Apr 2013 23:21:57 -0000

Feel free to delete the CAISS thank-you information.
They get thanked on the Axiom home page.

I have no opinion about changing anything on the Wiki provided
that any use of "Axiom" actually refers to the Axiom project.

I see you've already taken steps to make it clear what system
is used. Thank you for that.

Tim 


From MAILER-DAEMON Thu Apr 25 11:08:09 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UVNmL-0003tV-Fv
	for mharc-axiom-developer@gnu.org; Thu, 25 Apr 2013 11:08:09 -0400
Received: from eggs.gnu.org ([208.118.235.92]:49386)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gdr@cs.tamu.edu>) id 1UVNmI-0003p5-7l
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 11:08:07 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <gdr@cs.tamu.edu>) id 1UVNmH-0005NB-1I
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 11:08:06 -0400
Received: from smtp.cs.tamu.edu ([128.194.138.107]:52617)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gdr@cs.tamu.edu>) id 1UVNmG-0005Ld-St
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 11:08:04 -0400
Received: from gauss.cs.tamu.edu (gauss.cs.tamu.edu [128.194.136.74])
	by smtp.cs.tamu.edu (Postfix) with ESMTP id 72CE79337;
	Thu, 25 Apr 2013 10:08:00 -0500 (CDT)
Received: from gauss.cs.tamu.edu (localhost [IPv6:::1])
	by gauss.cs.tamu.edu (Postfix) with ESMTP id 1A11414C131;
	Thu, 25 Apr 2013 10:08:00 -0500 (CDT)
From: Gabriel Dos Reis <gdr@cs.tamu.edu>
To: fricas-devel@googlegroups.com
In-Reply-To: <517568C2.6070108@attglobal.net> (Eugene Surowitz's message of
	"Mon, 22 Apr 2013 12:43:46 -0400")
Organization: Texas A&M University
References: <87k3nuftij.fsf@axiom-developer.org>
	<517568C2.6070108@attglobal.net>
Sender: gdr@cs.tamu.edu
Date: Thu, 25 Apr 2013 10:08:00 -0500
Message-ID: <878v46bqcv.fsf@gauss.cs.tamu.edu>
Lines: 14
MIME-Version: 1.0
Content-Type: text/plain
X-detected-operating-system: by eggs.gnu.org: Solaris 10
X-Received-From: 128.194.138.107
Cc: axiom-developer@nongnu.org
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 25 Apr 2013 15:08:07 -0000

Eugene Surowitz <surow@attglobal.net> writes:

[...]

| The issue is deeper though: An inspection of only the src/interp
| source files reveals numerous references to 'axiom' or 'Axiom'.
| FriCAS appears to use boot code -- I assume, without having got
| around to inspecting it in more detail, that it too may contain
| many such references; I haven't looked at OpenAxiom.

I think OpenAxiom changed AXIOM to OpenAxiom.  
Or course, it makes no sense to ask people not to use axiom as variable names.

-- Gaby


From MAILER-DAEMON Thu Apr 25 11:25:17 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UVO2v-00009y-HF
	for mharc-axiom-developer@gnu.org; Thu, 25 Apr 2013 11:25:17 -0400
Received: from eggs.gnu.org ([208.118.235.92]:58111)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gdr@cs.tamu.edu>) id 1UVO2o-00007y-Iu
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 11:25:16 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <gdr@cs.tamu.edu>) id 1UVO2m-0004lS-Mn
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 11:25:10 -0400
Received: from mailhost.cs.tamu.edu ([128.194.138.107]:52769
	helo=smtp.cs.tamu.edu) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <gdr@cs.tamu.edu>) id 1UVO2m-0004kd-Fw
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 11:25:08 -0400
Received: from gauss.cs.tamu.edu (gauss.cs.tamu.edu [128.194.136.74])
	by smtp.cs.tamu.edu (Postfix) with ESMTP id F00D894EE;
	Thu, 25 Apr 2013 10:25:06 -0500 (CDT)
Received: from gauss.cs.tamu.edu (localhost [IPv6:::1])
	by gauss.cs.tamu.edu (Postfix) with ESMTP id 85AE114C131;
	Thu, 25 Apr 2013 10:25:06 -0500 (CDT)
From: Gabriel Dos Reis <gdr@cs.tamu.edu>
To: fricas-devel@googlegroups.com
In-Reply-To: <E1UUinY-0002Q3-B2@hera.math.uni.wroc.pl> (Waldek Hebisch's
	message of "Tue, 23 Apr 2013 21:22:40 +0200 (CEST)")
Organization: Texas A&M University
References: <E1UUinY-0002Q3-B2@hera.math.uni.wroc.pl>
Sender: gdr@cs.tamu.edu
Date: Thu, 25 Apr 2013 10:25:06 -0500
Message-ID: <8761zaaazx.fsf@gauss.cs.tamu.edu>
Lines: 12
MIME-Version: 1.0
Content-Type: text/plain
X-detected-operating-system: by eggs.gnu.org: Solaris 10
X-Received-From: 128.194.138.107
Cc: Axiom-Developer <axiom-developer@nongnu.org>
Subject: Re: [Axiom-developer] [fricas-devel] Re: trademarks
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, 25 Apr 2013 15:25:16 -0000

Waldek Hebisch <hebisch@math.uni.wroc.pl> writes:

[...]

| Also, I think it would be reasonable to change name to
| FriCAS Wiki and change logo (currently all pages show
| Axiom logo).

this goes back to a question I asked some time ago.  Glad to see it has
found a more definitive answer.

-- Gaby


From MAILER-DAEMON Thu Apr 25 16:09:55 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UVSUN-0006sx-CR
	for mharc-axiom-developer@gnu.org; Thu, 25 Apr 2013 16:09:55 -0400
Received: from eggs.gnu.org ([208.118.235.92]:55295)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UVSUH-0006ny-9g
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 16:09:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UVSUC-0005gQ-Dg
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 16:09:49 -0400
Received: from vms173011pub.verizon.net ([206.46.173.11]:46853)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UVSUC-0005g6-8W
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 16:09:44 -0400
Received: from [127.0.0.1] ([unknown] [72.80.111.106])
	by vms173011.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MLT00N2GUL52ON2@vms173011.mailsrvcs.net> for
	axiom-developer@nongnu.org; Thu, 25 Apr 2013 15:08:58 -0500 (CDT)
Message-id: <51798D19.5060002@attglobal.net>
Date: Thu, 25 Apr 2013 16:07:53 -0400
From: Eugene Surowitz <surow@attglobal.net>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328
	Thunderbird/17.0.5
MIME-version: 1.0
To: fricas-devel@googlegroups.com,
	Gabriel Dos Reis <open-axiom-devel@lists.sf.net>,
	Axiom-Developer <axiom-developer@nongnu.org>
References: <E1UVLza-0008BA-U3@hera.math.uni.wroc.pl>
	<5179315A.1040805@hemmecke.org>
	<CAC6x94QLB-g6nkr_x6E7SKe9eF6tgqnWpf6gnC1mj4hMn5RAsA@mail.gmail.com>
In-reply-to: <CAC6x94QLB-g6nkr_x6E7SKe9eF6tgqnWpf6gnC1mj4hMn5RAsA@mail.gmail.com>
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.11
Subject: Re: [Axiom-developer] [fricas-devel] Re: icons
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: surow@attglobal.net
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, 25 Apr 2013 20:09:54 -0000

I like the idea of icons/logos acknowledging the common history;
Things that might be used create sufficiently non-infringing are
style, color, shape, wording.

I'm not quite sure what I mean by 'style'.

As a 'wording' example, to distinguish to things on my product disk,
I label their top directories as:

AXIOM=AXIOM  AXIOM=FRICAS  AXIOM=OpenAxiom

( "=" just is the result of Windows naming limits )

Just ideas; Cheers , Gene

On 4/25/2013 10:16 AM, Bill Page wrote:
> Of those examples on page so far
>
> http://axiom-wiki.newsynthesis.org/FriCASIcon
>
> I think I also prefer number 2 or maybe better it's inverse number 3.
>
> To me it seems less important to be "creative" and more important to remind us of the
> history by some similarity to the Axiom logo.
>
>
> On 25 April 2013 09:36, Ralf Hemmecke <ralf@hemmecke.org <mailto:ralf@hemmecke.org>>
> wrote:
>
>      >> having a nice logo for fricas would be great.
>
>      > My idea was very similar to second proposal by Bill Page.
>
>     Hmm, yes, that number 2 from
>     http://axiom-wiki.newsynthesis.org/FriCASIcon was also my first thought,
>     but in some sense it's a bit boring, because the i with the double dots
>     has been invented (by Johannes Grabmeier ?) for Axiom and using it for
>     FriCAS would no show big creativity on our side (even though the i would
>     remind on the origin of FriCAS).
>
>     I think I would be more in favour of a nice picture, not just a
>     name-logo. Maybe we need 2 logos.
>
>     Well, it's not terribly urgent, let's think about it for some more time.
>
>     Ralf
>
>
>
>     --
>     You received this message because you are subscribed to the Google Groups "FriCAS
>     - computer algebra system" group.
>     To unsubscribe from this group and stop receiving emails from it, send an email
>     to fricas-devel+unsubscribe@googlegroups.com
>     <mailto:fricas-devel%2Bunsubscribe@googlegroups.com>.
>     To post to this group, send email to fricas-devel@googlegroups.com
>     <mailto:fricas-devel@googlegroups.com>.
>     Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
>     For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
> --
> You received this message because you are subscribed to the Google Groups "FriCAS -
> computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> fricas-devel+unsubscribe@googlegroups.com.
> To post to this group, send email to fricas-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>



From MAILER-DAEMON Thu Apr 25 16:45:47 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UVT35-00041P-4V
	for mharc-axiom-developer@gnu.org; Thu, 25 Apr 2013 16:45:47 -0400
Received: from eggs.gnu.org ([208.118.235.92]:35154)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UVT32-0003w0-5q
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 16:45:45 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UVT2x-0000gi-1w
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 16:45:44 -0400
Received: from mail-vc0-f173.google.com ([209.85.220.173]:64164)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bill.page@newsynthesis.org>) id 1UVT2w-0000gV-TE
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 16:45:38 -0400
Received: by mail-vc0-f173.google.com with SMTP id ia10so1914466vcb.32
	for <axiom-developer@nongnu.org>; Thu, 25 Apr 2013 13:45:38 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=google.com; s=20120113;
	h=mime-version:x-received:in-reply-to:references:date:message-id
	:subject:from:to:cc:content-type:x-gm-message-state;
	bh=iHcKg4q68KjelVAtOgDt1n9gpyyw6erNZLlpm7InAV4=;
	b=adYY1xxcSWIba4mbXNwN/j6iodvVYeHmENOjVt1diWMct/UGG+0rXbjZF3yRqEH/bj
	m6NftUlp9PFZvV67nENKGcM3HtaTzQipuMu4CvsHP1EdD4W6ZBJLzTFa7vtDLdxsO4Re
	FW6FKqFAhxGe0xH2UCpKiXRML53Ch5svonDWiFKUFqYLfdv/Bjrjsl0odXVRSIreyFrL
	9kIqSARqeTnMxKBXS9OY2GEq/WeLtld8xr+2U1tVvn1e3knCCCnTjPhEl1OQs3j4OFph
	3xQL1MBIIjwFQFpTTBSuIFib1BXVKeFvtoLOUA2K2vTbHJG6ZRwUMSAuORiA/+ADSAVV
	YeZw==
MIME-Version: 1.0
X-Received: by 10.52.174.41 with SMTP id bp9mr11301131vdc.4.1366922737945;
	Thu, 25 Apr 2013 13:45:37 -0700 (PDT)
Received: by 10.220.234.8 with HTTP; Thu, 25 Apr 2013 13:45:37 -0700 (PDT)
In-Reply-To: <51798D19.5060002@attglobal.net>
References: <E1UVLza-0008BA-U3@hera.math.uni.wroc.pl>
	<5179315A.1040805@hemmecke.org>
	<CAC6x94QLB-g6nkr_x6E7SKe9eF6tgqnWpf6gnC1mj4hMn5RAsA@mail.gmail.com>
	<51798D19.5060002@attglobal.net>
Date: Thu, 25 Apr 2013 16:45:37 -0400
Message-ID: <CAC6x94QZtHnjw53u4g52xY+LP1add=A5Xv2C20F7k1Zty3F5TA@mail.gmail.com>
From: Bill Page <bill.page@newsynthesis.org>
To: fricas-devel <fricas-devel@googlegroups.com>
Content-Type: multipart/alternative; boundary=bcaec51b157b3b20f504db358030
X-Gm-Message-State: ALoCoQnj/tI/ULhdDEe1P211KGxcSQuf4+mf6wiyHIbeIUYkf4XuyCApQ1CrAosY4SLPzskQFmKi
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy]
X-Received-From: 209.85.220.173
Cc: Axiom-Developer <axiom-developer@nongnu.org>,
	Gabriel Dos Reis <open-axiom-devel@lists.sf.net>
Subject: Re: [Axiom-developer] [fricas-devel] Re: icons
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, 25 Apr 2013 20:45:45 -0000

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

I think Gene has a good point also indirectly observed by Gaby: Most of the
proposals so far may not represent the actual intention of the web site -
even if FriCAS is the project which is hosting the site.

In the past when trying to refer to any of the original Axiom project,
FriCAS or OpenAxiom in a neutral way we have sometimes used the word

  PanAxiom

Perhaps some variant of this that might work. I just added #6 at

  http://axiom-wiki.newsynthesis.org/FriCASIcon

which incorporates all three names.

Bill.

On 25 April 2013 16:07, Eugene Surowitz <surow@attglobal.net> wrote:

> I like the idea of icons/logos acknowledging the common history;
> Things that might be used create sufficiently non-infringing are
> style, color, shape, wording.
>
> I'm not quite sure what I mean by 'style'.
>
> As a 'wording' example, to distinguish to things on my product disk,
> I label their top directories as:
>
> AXIOM=AXIOM  AXIOM=FRICAS  AXIOM=OpenAxiom
>
> ( "=" just is the result of Windows naming limits )
>
> Just ideas; Cheers , Gene
>
>

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

<div dir=3D"ltr"><div><div class=3D"gmail_extra">I think Gene has a good po=
int also indirectly observed by Gaby: Most of the proposals so far may not =
represent the actual intention of the web site - even if FriCAS is the proj=
ect which is hosting the site.<br>
<br></div><div class=3D"gmail_extra">In the past when trying to refer to an=
y of the original Axiom project, FriCAS or OpenAxiom in a neutral way  we h=
ave sometimes used the word<br><br></div><div class=3D"gmail_extra">=A0 Pan=
Axiom<br>
<br></div><div class=3D"gmail_extra">Perhaps some variant of this that migh=
t work.  I just added #6 at=A0 <br></div><br>=A0 <a href=3D"http://axiom-wi=
ki.newsynthesis.org/FriCASIcon">http://axiom-wiki.newsynthesis.org/FriCASIc=
on</a><br>
<br></div>which incorporates all three names.<br><div><br></div><div>Bill.<=
br></div><div><div class=3D"gmail_extra"><br><div class=3D"gmail_quote">On =
25 April 2013 16:07, Eugene Surowitz <span dir=3D"ltr">&lt;<a href=3D"mailt=
o:surow@attglobal.net" target=3D"_blank">surow@attglobal.net</a>&gt;</span>=
 wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left:1px solid rgb(204,204,204);padding-left:1ex">I like the idea of icons/=
logos acknowledging the common history;<br>
Things that might be used create sufficiently non-infringing are<br>
style, color, shape, wording.<br>
<br>
I&#39;m not quite sure what I mean by &#39;style&#39;.<br>
<br>
As a &#39;wording&#39; example, to distinguish to things on my product disk=
,<br>
I label their top directories as:<br>
<br>
AXIOM=3DAXIOM =A0AXIOM=3DFRICAS =A0AXIOM=3DOpenAxiom<br>
<br>
( &quot;=3D&quot; just is the result of Windows naming limits )<br>
<br>
Just ideas; Cheers , Gene<br>
<br></blockquote></div><br></div></div></div>

--bcaec51b157b3b20f504db358030--


From MAILER-DAEMON Thu Apr 25 17:10:56 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UVTRQ-0000So-6A
	for mharc-axiom-developer@gnu.org; Thu, 25 Apr 2013 17:10:56 -0400
Received: from eggs.gnu.org ([208.118.235.92]:41224)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UVTRM-0000Nw-Sx
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 17:10:54 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UVTRL-0000LS-5L
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 17:10:52 -0400
Received: from vms173021pub.verizon.net ([206.46.173.21]:49257)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <surow@attglobal.net>) id 1UVTRK-0000LL-M1
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 17:10:50 -0400
Received: from [127.0.0.1] ([unknown] [72.80.111.106])
	by vms173021.mailsrvcs.net
	(Sun Java(tm) System Messaging Server 7u2-7.02 32bit (built Apr 16
	2009)) with ESMTPA id <0MLT005M3XGS4I63@vms173021.mailsrvcs.net> for
	axiom-developer@nongnu.org; Thu, 25 Apr 2013 16:10:17 -0500 (CDT)
Message-id: <51799BAC.7070900@attglobal.net>
Date: Thu, 25 Apr 2013 17:10:04 -0400
From: Eugene Surowitz <surow@attglobal.net>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130328
	Thunderbird/17.0.5
MIME-version: 1.0
To: fricas-devel@googlegroups.com,
	Axiom-Developer <axiom-developer@nongnu.org>,
	Gabriel Dos Reis <open-axiom-devel@lists.sf.net>
References: <E1UVLza-0008BA-U3@hera.math.uni.wroc.pl>
	<5179315A.1040805@hemmecke.org>
	<CAC6x94QLB-g6nkr_x6E7SKe9eF6tgqnWpf6gnC1mj4hMn5RAsA@mail.gmail.com>
	<51798D19.5060002@attglobal.net>
	<CAC6x94QZtHnjw53u4g52xY+LP1add=A5Xv2C20F7k1Zty3F5TA@mail.gmail.com>
In-reply-to: <CAC6x94QZtHnjw53u4g52xY+LP1add=A5Xv2C20F7k1Zty3F5TA@mail.gmail.com>
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
	recognized.
X-Received-From: 206.46.173.21
Subject: Re: [Axiom-developer] [fricas-devel] Re: icons and exprint
X-BeenThere: axiom-developer@nongnu.org
X-Mailman-Version: 2.1.14
Precedence: list
Reply-To: surow@attglobal.net
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, 25 Apr 2013 21:10:55 -0000

Publishers have what is known as "Imprints";
these are, historically, other companies that
were absorbed but the customers don't care
about the merger and acquisitions.

Axiom, FriCAS, and OpenAxiom could possibly adopt a
common "exprint" while having their own unique icon/trademark.

Cheers, Gene

On 4/25/2013 4:45 PM, Bill Page wrote:
> I think Gene has a good point also indirectly observed by Gaby: Most of the proposals
> so far may not represent the actual intention of the web site - even if FriCAS is the
> project which is hosting the site.
>
> In the past when trying to refer to any of the original Axiom project, FriCAS or
> OpenAxiom in a neutral way we have sometimes used the word
>
>    PanAxiom
>
> Perhaps some variant of this that might work. I just added #6 at
>
> http://axiom-wiki.newsynthesis.org/FriCASIcon
>
> which incorporates all three names.
>
> Bill.
>
> On 25 April 2013 16:07, Eugene Surowitz <surow@attglobal.net
> <mailto:surow@attglobal.net>> wrote:
>
>     I like the idea of icons/logos acknowledging the common history;
>     Things that might be used create sufficiently non-infringing are
>     style, color, shape, wording.
>
>     I'm not quite sure what I mean by 'style'.
>
>     As a 'wording' example, to distinguish to things on my product disk,
>     I label their top directories as:
>
>     AXIOM=AXIOM  AXIOM=FRICAS  AXIOM=OpenAxiom
>
>     ( "=" just is the result of Windows naming limits )
>
>     Just ideas; Cheers , Gene
>
>
> --
> You received this message because you are subscribed to the Google Groups "FriCAS -
> computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> fricas-devel+unsubscribe@googlegroups.com.
> To post to this group, send email to fricas-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/fricas-devel?hl=en.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>



From MAILER-DAEMON Thu Apr 25 19:05:47 2013
Received: from list by lists.gnu.org with archive (Exim 4.71)
	id 1UVVEZ-0001t3-5s
	for mharc-axiom-developer@gnu.org; Thu, 25 Apr 2013 19:05:47 -0400
Received: from eggs.gnu.org ([208.118.235.92]:38542)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UVVET-0001se-Vi
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 19:05:44 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UVVER-0002DX-M0
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 19:05:41 -0400
Received: from vs338.rosehosting.com ([209.135.140.38]:44379
	helo=axiom-developer.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <daly@axiom-developer.org>) id 1UVVER-0002DP-Fx
	for axiom-developer@nongnu.org; Thu, 25 Apr 2013 19:05:39 -0400
Received: from axiom-developer.org (localhost.localdomain [127.0.0.1])
	by axiom-developer.org (8.12.8/8.12.8) with ESMTP id r3PN5Vse024952;
	Thu, 25 Apr 2013 18:05:31 -0500
From: daly@axiom-developer.org
Received: (from daly@localhost)
	by axiom-developer.org (8.12.8/8.12.8/Submit) id r3PN5UNZ024949;
	Thu, 25 Apr 2013 18:05:30 -0500
Date: Thu, 25 Apr 2013 18:05:30 -0500
Message-Id: <201304252305.r3PN5UNZ024949@axiom-developer.org>
To: axiom-developer@nongnu.org
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x
X-Received-From: 209.135.140.38
Cc: Kai Kaminski <kai.kaminski@gmx.de>
Subject: [Axiom-developer] AXIOM pamphlet file format is now pure latex
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, 25 Apr 2013 23:05:44 -0000


I just ran across this paper:

 Clifford Yapp, Waldek Hebisch, Kai Kaminski
 CL-WEB v0.5 - Literate Programming Tools Implemented in Common Lisp
 March 25, 2013

It is a Common Lisp implementation of a tangle program which 
recognizes NOWEB syntax to delimit chunks in a literate program.



AXIOM and NOWEB

NOWEB was originally chosen for the Axiom project as a language
neutral mechanism for embedding code chunks in a file. The standard
file format for Axiom files is a "pamphlet".

The pamphlet file format was an almost-latex file. It required using a
TANGLE program to extract the source code. It required using a WEAVE
program to create a valid latex file. This is normal for doing
Knuth-style WEB programming.

All Axiom source files were converted to "pamphlet" format, using
NOWEB syntax.

Eventually it became clear that it was possible to simplify the whole
process. The NOWEB syntax delimits a chunk of code using a marker:

<<this is the name of the chunk>>=
    THIS IS THE SOURCE CODE FOR THIS CHUNK
@

where the code lives between the <<...>>= and the @. The TANGLE and
WEAVE program recognize and act on these delimiters. There is a way
to "include" a chunk of code by using the syntax

<<this is the name of the chunk>>

which is just the chunk name without the trailing = sign.

NOWEB has much more functionality than Axiom needs and the WEAVE
function can do many more things than Axiom needs. Indeed,
NOWEB is much more complex than necessary.




AXIOM and LATEX

A major simplification changes the chunking syntax to be pure latex.
This means that there is no WEAVE step required.  Only the TANGLE 
function is needed to extract the code. Thus pamphlet files are now
latex files.

Axiom now has a new chunk syntax which is pure latex. The required
latex macros live in axiom.sty (see src/scripts/axiom.sty). Just 

\usepackage{axiom}

The above chunk now looks like:

\begin{chunk}{this is the name of the chunk}
    THIS IS THE SOURCE CODE FOR THIS CHUNK
\end{chunk}

The "\begin{chunk}" creates an environment, similar to the latex
"\begin{verbatim}" environment, which is ended by "\end{chunk}"

The way to "include" a chunk of code is

\getchunk{this is the name of the chunk}

which looks up the chunk in a hash table and inserts it inline.

The advantage of this approach is that pamphlet files are now
pure latex files. There is no need for a WEAVE function.



AXIOM )tangle COMMAND

In Axiom you can have a foo.input.pamphlet file (see the test
cases in src/input/*.input.pamphlet) and from the command line
issue:

)tangle foo
)read foo

which makes working with input files trivially easy. 




MAKING PDF FILES (without WEAVE)

Creating a foo.pdf for foo.input.pamphlet involves:

latex foo.input.pamphlet
dvipdfm foo.input.dvi

The code to implement the TANGLE function is in Common Lisp
(see books/tangle.lisp). This code will also handle the legacy
NOWEB format for files that have not yet been converted.

Run from a lisp command line it accepts 2 or 3 arguments:

The first argument is always the file from which to extract code

The second argument is the name of the chunk to extract
   If the name starts with < then we assume noweb format as in:
       (tangle "clweb.pamphlet" "<<name>>")  <== noweb syntax
   Otherwise we assume latex format as in:
       (tangle "clweb.pamphlet "name")       <== latex syntax (default)

The standard noweb chunk name is ``*'' but any name can be used.

The third arument is the name of an output file:
   (tangle "clweb.pamphlet" "clweb.chunk" "clweb.spadfile")

The implementation code is included below.

Tim Daly





=============================================================
TANGLE.LISP
=============================================================

;  0 AUTHOR and LICENSE
;  1 ABSTRACT
;  2 THE LATEX SUPPORT CODE
;  3 GLOBALS
;  4 THE TANGLE COMMAND
;  5 THE TANGLE FUNCTION
;  6 GCL-READ-FILE (aka read-sequence)
;  7 GCL-HASHCHUNKS
;  8 GCL-EXPAND
;  9 ISCHUNK-LATEX
; 10 ISCHUNK-NOWEB
; 11 ALLCHUNKS

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 0 AUTHOR and LICENSE

;;; Timothy Daly (daly@axiom-developer.org) 
;;; License: Public Domain

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 1 ABSTRACT

;;; This program will extract the source code from a literate file

;;; A literate lisp file contains a mixture of latex and lisp sources code.
;;; The file is intended to be in one of two formats, either in latex
;;; format or, for legacy reasons, in noweb format.

;;; Latex format files defines a newenvironment so that code chunks
;;; can be delimited by \begin{chunk}{name} .... \end{chunk} blocks
;;; This is supported by the following latex code.

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 2 THE LATEX SUPPORT CODE

;;; The verbatim package quotes everything within its grasp and is used to
;;; hide and quote the source code during latex formatting. The verbatim
;;; environment is built in but the package form lets us use it in our
;;; chunk environment and it lets us change the font.
;;;
;;; \usepackage{verbatim}
;;; 
;;; Make the verbatim font smaller
;;; Note that we have to temporarily change the '@' to be just a character
;;; because the \verbatim@font name uses it as a character
;;;
;;; \chardef\atcode=\catcode`\@
;;; \catcode`\@=11
;;; \renewcommand{\verbatim@font}{\ttfamily\small}
;;; \catcode`\@=\atcode

;;; This declares a new environment named ``chunk'' which has one
;;; argument that is the name of the chunk. All code needs to live
;;; between the \begin{chunk}{name} and the \end{chunk}
;;; The ``name'' is used to define the chunk.
;;; Reuse of the same chunk name later concatenates the chunks

;;; For those of you who can't read latex this says:
;;; Make a new environment named chunk with one argument
;;; The first block is the code for the \begin{chunk}{name}
;;; The second block is the code for the \end{chunk}
;;; The % is the latex comment character

;;; We have two alternate markers, a lightweight one using dashes
;;; and a heavyweight one using the \begin and \end syntax
;;; You can choose either one by changing the comment char in column 1
 
;;; \newenvironment{chunk}[1]{%   we need the chunkname as an argument
;;; {\ }\newline\noindent%                    make sure we are in column 1
;;; %{\small $\backslash{}$begin\{chunk\}\{{\bf #1}\}}% alternate begin mark
;;; \hbox{\hskip 2.0cm}{\bf --- #1 ---}%      mark the beginning
;;; \verbatim}%                               say exactly what we see
;;; {\endverbatim%                            process \end{chunk}
;;; \par{}%                                   we add a newline
;;; \noindent{}%                              start in column 1
;;; \hbox{\hskip 2.0cm}{\bf ----------}%      mark the end
;;; %$\backslash{}$end\{chunk\}%              alternate end mark (commented)
;;; \par%                                     and a newline
;;; \normalsize\noindent}%                    and return to the document

;;; This declares the place where we want to expand a chunk
;;; Technically we don't need this because a getchunk must always
;;; be properly nested within a chunk and will be verbatim.

;;; \providecommand{\getchunk}[1]{%
;;; \noindent%
;;; {\small $\backslash{}$begin\{chunk\}\{{\bf #1}\}}}% mark the reference

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 3 GLOBALS

;;; The *chunkhash* variable will hold the hash table of chunks.
;;;
;;; Every time we find a \begin{chunk}{name} ... \end{chunk} we look
;;; in this hash table. If the ``name'' is not found we add it.
;;; If the name is found, we concatentate it to the existing chunk.

(defvar *chunkhash* nil "this hash table contains the chunks found")

;;; This shows critical information for debugging purposes
(defvar *chunknoise* nil "turn this on to debug internals")


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 4 THE TANGLE COMMAND

;;;
;;; The tangle command does all of the work of extracting code.
;;; For legacy reasons we support 2 syntax forms, latex and noweb
;;;
;;; In latex form the code blocks are delimited by
;;;     \begin{chunk}{name}
;;;     ... (code for name)...
;;;     \end{chunk}
;;;
;;; and referenced by \getchunk{name} which gets replaced by the code

;;; In noweb form the code blocks are delimited by
;;;     <<name>>=
;;;     ... (code for name)...
;;;     @
;;;
;;; and referenced by <<name>> which gets replaced by the code

:;; There are several ways to invoke the tangle function. 
;;;
;;; The first argument is always the file from which to extract code
;;;
;;; The second argument is the name of the chunk to extract
;;;    If the name starts with < then we assume noweb format as in:
;;;        (tangle "clweb.pamphlet" "<<name>>")  <== noweb syntax
;;;    Otherwise we assume latex format as in:
;;;        (tangle "clweb.pamphlet "name")       <== latex syntax (default)
;;;
;;; The standard noweb chunk name is ``*'' but any name can be used.
;;;
;;; The third arument is the name of an output file:
;;;  (tangle "clweb.pamphlet" "clweb.chunk" "clweb.spadfile")



;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 5 THE TANGLE FUNCTION

;;; This routine looks at the first character of the chunk name.
;;; If it is a $<$ character then we assume noweb syntax otherwise
;;; we assume latex syntax.
;;;
;;; We initialize the chunk hashtable
;;; then read the file and store each chunk
;;; then we recursively expand the ``topchunk'' to the output stream

(defun tangle (filename topchunk &optional file)
 "Extract the source code from a pamphlet file"
 (let ((noweb? (char= (schar topchunk 0) #\<)))
  (setq *chunkhash* (make-hash-table :test #'equal))
  (when *chunknoise* (format t "PASS 1~%"))
  (gcl-hashchunks (gcl-read-file filename) noweb?)
  (when *chunknoise* (format t "PASS 2~%"))
  (if (and file (stringp file))
   (with-open-file (out file :direction :output)
     (gcl-expand topchunk noweb? out))
   (gcl-expand topchunk noweb? t))))



;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 6 GCL-READ-FILE (aka read-sequence)

;;; This would be read-sequence in ansi common lisp. Here we read
;;; a line, push it onto a stack and then reverse the stack. The
;;; net effect is a list of strings, one per line of the file.

(defun gcl-read-file (streamname)
 "Implement read-sequence in GCL"
 (let (result)
  (with-open-file (stream (open streamname))
   (do (line eof)
      ((eq line 'done) (nreverse result))
    (multiple-value-setq (line eof) (read-line stream nil 'done)) 
    (unless (eq line 'done) (push line result))))))



;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 7 GCL-HASHCHUNKS

;;; gcl-hashchunks gathers the chunks and puts them in the hash table
;;;
;;; if we find the chunk syntax and it is a
;;;   define ==> parse the chunkname and start gathering lines onto a stack
;;;   end    ==> push the completed list of lines into a stack of chunks
;;;              already in the hash table
;;;   otherwise ==> if we are gathering, push the line onto the stack

;;; a hash table entry is a list of lists such as
;;; (("6" "5") ("4" "3") ("2" "1"))
;;; each of the sublists is a set of lines in reverse (stack) order
;;; each sublist is a single chunk of lines. 
;;; there is a new sublist for each reuse of the same chunkname

;;; If the noweb argument is non-nil we assume that we are parsing
;;; using the noweb syntax. A nil argument implies latex syntax.

(defun gcl-hashchunks (lines noweb)
 "Gather all of the chunks and put them into a hash table"
 (let (type name chunkname oldchunks chunk gather)
  (dolist (line lines)
   (if noweb
    (multiple-value-setq (type name) (ischunk-noweb line))
    (multiple-value-setq (type name) (ischunk-latex line)))
   (cond
    ((eq type 'define)
      (when *chunknoise* (format t "DEFINE name=~a~%" name))
      (setq chunkname name)
      (setq gather t))
    ((eq type 'end)
      (when *chunknoise* 
       (format t "END name= ~a chunk=~s~%" chunkname (reverse chunk)))
      (setq oldchunks (gethash chunkname *chunkhash*))
      (setf (gethash chunkname *chunkhash*) (push chunk oldchunks))
      (setq gather nil)
      (setq chunk nil))
    (gather ;; collect lines into the chunk while gather is true
      (push line chunk))))))


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 8 GCL-EXPAND

;;; gcl-expand will recursively expand chunks in the hash table
;;; 
;;; latex chunk names are just the chunkname itself e.g. chunkname
;;; noweb chunk names include the delimiters, e.g: <<chunkname>>

;;; a hash table entry is a list of lists such as
;;; (("6" "5") ("4" "3") ("2" "1"))
;;; so to process the chunk we reverse the main list and
;;; for each sublist we reverse the sublist and process the lines

;;; if a chunk name reference is encountered in a line we call expand
;;; recursively to expand the inner chunkname.

(defun gcl-expand (chunk noweb? file)
 "Recursively expand a chunk into the output stream"
 (let ((chunklist (gethash chunk *chunkhash*)) type name)
  (dolist (chunk (reverse chunklist))
   (dolist (line (reverse chunk))
    (if noweb?
     (multiple-value-setq (type name) (ischunk-noweb line))
     (multiple-value-setq (type name) (ischunk-latex line)))
    (if (eq type 'refer) 
      (progn
       (when *chunknoise* (format t "REFER name=~a~%" name))
       (gcl-expand name noweb? file))
      (format file "~a~%" line))))))



;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 9 ISCHUNK-LATEX

;;; There is a built-in assumption (in the ischunk-* functions)
;;; that the chunks occur on separate lines and that the indentation
;;; of the chunk reference has no meaning.
;;;
;;; ischunk-latex  recognizes chunk names in latex convention
;;;
;;; There are 3 cases to recognize:
;;;  \begin{chunk}{thechunkname}  ==> 'define thechunkname
;;;  \end{chunk}                  ==> 'end nil
;;;  \getchunk{thechunkname}      ==> 'refer thechunkname

(defun ischunk-latex (line)
 "Find chunks delimited by latex syntax"
 (let ((mark (search "chunk" line))      ; is this a line we care about?
       (point 0)
       name 
       (beginstring "\\begin{chunk}{")   ; this is the define marker string
       beginlength
       (endstring "\end{chunk}")         ; this is the end marker string
       (referstring "\getchunk{")        ; this is the refer string
       referlength)
  (setq beginlength (length beginstring))
  (setq referlength (length referstring))
  (when mark
   (cond
    ((setq mark (search beginstring line)) ; recognize define
      (setq point (position #\} line :start (+ mark beginlength)))
      (cond
       ((null point) (values nil nil))
       ((= point 0)  (values nil nil))
       (t
         (setq name (subseq line (+ mark beginlength) point)) 
         ;(print (list 'ischunk-latex 'define name))
         (values 'define name))))
    ((setq mark (search endstring line))     ; recognize end
       ;(print (list 'ischunk-latex 'end))
       (values 'end nil))
    ((setq mark (search referstring line))         ; recognize reference
      (setq point (position #\} line :start (+ mark referlength)))
      (cond
       ((null point) (values nil nil))
       ((= point 0)  (values nil nil))
       (t
         (setq name (subseq line (+ mark referlength) point)) 
         ;(print (list 'ischunk-latex 'refer name))
         (values 'refer name))))
    (t (values nil nil))))))
  


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 10 ISCHUNK-NOWEB

;;; ischunk-noweb recognizes chunk names using the noweb convention
;;;
;;; There are 3 cases to recognize:
;;;  <<thechunkname>>=  ==> 'define thechunkname
;;;  @                  ==> 'end nil
;;;  <<thechunkname>>   ==> 'refer thechunkname

(defun ischunk-noweb (line)
 "Find chunks delimited by noweb syntax"
 (let ((len (length line)) (mark (position #\> line)) (point 0))
  (cond
   ((and mark                    ; recognize define
         (> len (+ mark 2))
         (char= #\< (schar line 0))
         (char= #\< (schar line 1))
         (char= #\> (schar line (+ mark 1)))
         (char= #\= (schar line (+ mark 2))))
     ;(print (list 'define (subseq line 0 (+ mark 2))))
     (values 'define (subseq line 0 (+ mark 2))))
   ((and mark                    ; recognize reference
         (> len (+ mark 1))
         (char= #\> (schar line (+ mark 1))))
     (setq point (position #\< line))
     (if
      (and point
           (< point (- mark 2))
           (char= #\< (schar line (+ point 1))))
        (values 'refer (subseq line point (+ mark 2)))
        (values 'noise nil)))
    ((and (> len 0)                ; end chunk
          (char= #\@ (schar line 0)))
      (values 'end nil))
    (t (values nil nil)))))
  

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; 11 allchunks
;;; 
;;; allchunks will make a single pass over a book extracting any chunk
;;; that fits the PATTERN from the FROMFILE to the TODIR. The chunk
;;; format is either noweb (if true) or latex (if false).
;;;
;;; allchunks takes 4 arguments,
;;; the PATTERN (a string like ".help>>"
;;; the FROMFILE (a string like "/axiom/books/bookvol5.pamphlet")
;;; the TODIR (a string like "/axiom/mnt/ubuntu/doc/spadhelp")
;;; and a boolean NOWEB? (true is noweb format chunks, false is latex style)
;;;
;;; a chunk name is expected to be of the form:
;;; <<FROMFILE.PATTERN>>=
;;; which means that a chunk matching the pattern (e.g. ".input>>") 
;;; will be extracted to the file TODIR/FROMFILE.PATTERN
;;; 
;;; This is used for <<foo.help>> and <<foo.input>> file extraction.
;;; allchunks is used to extract help files and input files in a single
;;; pass over the books. Since there are hundreds of input files and
;;; help files this is a significant speedup.

(defun allchunks (pattern fromfile todir noweb?)
  (setq *chunkhash* (make-hash-table :test #'equal))
  (when *chunknoise* (format t "PASS 1~%"))
  (gcl-hashchunks (gcl-read-file fromfile) noweb?)
  (when *chunknoise* (format t "PASS 2~%"))
  (maphash #'(lambda (key value)
              (if (search pattern key)
               (let ((filename key) helpfile)
                (when noweb? (setq filename (subseq key 2 (- (length key) 2))))
                (setq helpfile (concatenate 'string todir "/" filename))
                (with-open-file (out helpfile :direction :output)
                 (format t "extracting ~a~%" helpfile)
                 (gcl-expand key noweb? out)))))
       *chunkhash*))







