Re: [Axiom-developer] Re: Axiom Book

[David MENTRE]

C Y <address@hidden> writes:

> Roman for the intro would be cool :-).  Unfortunately I have no idea
> how to do that.

\pagenumbering{roman} % see also Bertfried joint comments

>> Regarding book content, I would propose to add:
>> 
>>  - a (sub)section on TeXmacs (in section 1.1) (starting an Axiom
>>    session in TeXmacs, pitfalls that users have encountered 
>>    regarding multi-line input);
>
> I would say that is good, but before commiting the pitfalls to paper
> perhaps the thing to do is see if they can be corrected :-).

Wrong english. It is not really a pitfall but a feature, I think
multi-line input follows TeXmacs habit.

>>  - a section on electronic contacts (web sites, mailing-list, wikis,
>>    community, etc.);
>
> Good - as an appendix probably?

I have included it as a plain chapter. I personally would like to insist
on the free software and community driven aspects of free Axiom.

>>  - an appendix on Axiom compilation (at least pointers on the source
>>    code part to look at in order to compile Axiom).
>
> Not a bad idea - best thing to do is organize it by operating system. 
> I suspect the eventual Windows build docs will look rather different
> from the Linux ones.

Right now, a small entry for Linux/Unix systems. I'll let other write
the Windows part. :) 

>> What do you think of it? I volunteer to write the first draft of
>> them.
>
> I'd say go for it, but we'll see what Tim says :-).

So here it is. Feel free to fix/update/comment.

--- /home/david/pub/axiom-libre/GOLD/axiom/src/doc/book.pamphlet        
2004-04-02 05:36:06.000000000 +0200
+++ book.pamphlet       2004-06-20 17:01:32.000000000 +0200
@@ -1,6 +1,7 @@
 \documentclass{book}
 %\usepackage{axiom}
 \usepackage{graphicx}
+\usepackage{url}
 % struggle with latex figure-floating behavior
 \renewcommand\floatpagefraction{.9}
 \renewcommand\topfraction{.9}
@@ -3526,6 +3527,7 @@
    2
    4
    6
+
 \end{verbatim}
 \returnType{Type: Void}
 
@@ -3583,6 +3585,7 @@
    [2,7]
    [3,6]
    [4,5]
+
 \end{verbatim}
 \returnType{Type: Void}
 
@@ -3601,6 +3604,68 @@
 General-Distributed-Mul-ti-var-iate-Poly-nomial
 }
 
+\chapter{Axiom and its electronic community}
+
+Axiom is now an OpenSource/Free Software project. It means that you are
+able to inspect its internal working, change it and make available the
+changes to the world.
+
+It also means that Axiom is now maintained and supported by a group of
+volunteers that can be joined through electronic means. It also means
+that you can join this group, at any time, for any purpose.
+
+\section{Web sites}
+
+The official Axiom web site is at:
+\url{http://www.nongnu.org/axiom/} 
+You'll find there latest Axiom news,
+information, tutorials and other pointers.
+
+The official Axiom development web site is at:\\
+\url{http://savannah.nongnu.org/projects/axiom/} 
+This web site is used
+by the Axiom developers to maintain and enhance Axiom, with usual
+development tools (CVS, mailing lists, bug tracking system, etc.). If
+you want to join the group of developer, it is recommended (but not
+mandatory) to open a Savannah account and the join the \texttt{axiom}
+project. 
+
+If you find a bug in Axiom, you are encouraged to fill a bug report on
+the Axiom bug reporting system at:\\
+\url{http://savannah.nongnu.org/bugs/?func=additem&group=axiom}\\
+Alternatively, you can send your bug report at
address@hidden 
+
+An experimental community driven collaborative web site, a.k.a. Wiki, as
+been setup at: \\
+\url{http://page.axiom-developer.org/zope/wiki/AxiomWiki} You are free
+to participate and enhance this web site. 
+
+\section{Mailing lists}
+
+Several mailing lists have been set up to obtain help or participate in
+Axiom development:
+
+\begin{description}
+\item [axiom-mail] For general discussion on Axiom. If you need help;
+
+\item [axiom-math] For general discussion on the mathematical aspects of
+  Axiom: math theory, philosophy and type system;
+  
+\item [axiom-developer] For discussion on the development of Axiom. If
+  you want to follow or participate in the improvement and extension of
+  Axiom;
+
+\item [axiom-legal] For discussion of all the legal aspects surrounding
+  Axiom. In case you have doubt how to reuse some of its component and
+  all other issues related to licensing.
+\end{description}
+
+All those mailing lists can be joined and their archives consulted on
+the Savannah web site at page:
+\url{http://savannah.nongnu.org/mail/?group=axiom}
+
+
 \chapter{An Overview of Axiom}
 \label{ugIntro}
 
@@ -3707,6 +3772,21 @@
 a name appears and it is not what you want, press {\bf Tab} again to
 see another name.
 
+\subsection{TeXmacs}
+
+If you are using Axiom under the X Window System, you can also interact
+with Axiom under the TeXmacs scientific editor (starting from version
+1.0.3). The main advantage of using TeXmacs is that you obtain a nice
+typesetting of Axiom output. Moreover you can copy/paste the output of
+an Axiom session into your article. TeXmacs web site is at:
+\url{http://texmacs.org/} 
+
+To start a new Axiom session, choose menu item
+Text$\rightarrow$Session$\rightarrow$Axiom.  You
+can then use Axiom as usual. One noticeable difference regards
+multi-line input, where one uses {\bf Shift}+{\bf Enter} to enter
+following line instead of ``\texttt{\_}''+{\bf Enter} for plain Axiom.
+
 You are ready to begin your journey into the world of Axiom.
 
 \section{Typographic Conventions}
@@ -59950,7 +60030,7 @@
 compilers.
 
 
-\setcounter{chapter}{0} % Appendix A
+\appendix
 
 \newcommand{\lanb}{{\tt [}}
 \newcommand{\ranb}{{\tt ]}}
@@ -62194,7 +62274,7 @@
 These commands return the state of the interactive
 environment to that immediately after step {\tt n}.
 If {\tt n} is a positive number, then {\tt n} refers to step nummber
-{\tt n}. If {\tt n} is a negative number, it refers to the \tt n-th
+{\tt n}. If {\tt n} is a negative number, it refers to the {\tt n-th}
 previous command (that is, undoes the effects of the last $-n$
 commands).
 
@@ -62328,8 +62408,6 @@
 {\tt )set} \index{ugSysCmdset}, and
 {\tt )show} \index{ugSysCmdshow}.
 
-\setcounter{chapter}{1} % Appendix B
-
 %\twocolumn[%
 \chapter{Categories}
 \label{ugAppCategories}
@@ -62355,7 +62433,7 @@
 $\hbox{{\rm op}}_{j}$ & is an operation exported by the category.
 \end{tabular}
 
-\appendix{Categories}
+%\appendix{Categories}
 %tpdclip2
 
 % ----------------------------------------------------------------------
@@ -62799,8 +62877,6 @@
 
 
 
-\setcounter{chapter}{2} % Appendix C
-
 %\twocolumn[%
 
 \chapter{Domains}
@@ -62827,7 +62903,7 @@
 $\hbox{{\rm op}}_{j}$ & is an operation exported by the domain.
 \end{tabular}
 
-\appendix{Domains}
+%\appendix{Domains}
 
 % ----------------------------------------------------------------------
 %\begin{constructorListing}
@@ -64043,8 +64119,6 @@
 
 
 
-\setcounter{chapter}{3} % Appendix D
-
 %\twocolumn[%
 \chapter{Packages}
 \label{ugAppPackages}
@@ -64070,7 +64144,7 @@
 $\hbox{{\rm op}}_{j}$ & is an operation exported by the package.
 \end{tabular}
 
-\appendix{Packages}
+%\appendix{Packages}
 
 % ----------------------------------------------------------------------
 %\begin{constructorListing}
@@ -64831,8 +64905,6 @@
 % ----------------------------------------------------------------------
 
 
-\setcounter{chapter}{4} % Appendix E
-%
 {
 %\twocolumn[%
 \chapter{Operations}
@@ -64847,7 +64919,7 @@
 
 \vskip \baselineskip
 %]
-\appendix{Operations}
+%\appendix{Operations}
 \def\alt#1#2{{$\lbrace$#1$\mid$#2$\rbrace$}}
 \def\altx#1#2#3{{$\lbrace$#1$\mid$#2$\mid$#3$\rbrace$}}
 \def\opt#1{{$\,\lbrack$#1$\rbrack$}}
@@ -64920,8 +64992,6 @@
 }\onecolumn
 
 
-\setcounter{chapter}{5} % Appendix F
-
 \chapter{Programs for AXIOM Images}
 \label{ugAppGraphics}
 
@@ -65665,12 +65735,53 @@
 
 {
 
-\setcounter{chapter}{6} % Appendix G
+
+\chapter{Compiling Axiom from sources}
+
+You can yourself compile Axiom from its source code. Here is a short
+note on to do it. We give the command for a Unix environment, with a
+korn shell compatible shell. For further details, look at the
+\texttt{README} file in Axiom sources or ask on the
address@hidden mailing list. 
+
+\begin{description}
+
+\item [Getting the source]\ \\
+\begin{verbatim}
+$ export CVS_RSH="ssh"
+$ cvs -z3 -d:ext:address@hidden:/cvsroot/axiom co axiom
+\end{verbatim}
+You then should have an \texttt{axiom/} directory with axiom source
+code.
+
+\item [Compiling the sources] Enter at a shell prompt:
+\begin{verbatim}
+$ cd axiom
+$ ./configure
+$ export AXIOM=`pwd`/mnt/linux
+$ make
+\end{verbatim}
+When the make completes you'll have an executable called
+\texttt{\$AXIOM/bin/axiom}. The compilation time is fairly long, it takes
+more than two hours on an Pentium 4 at 2 Ghz.
+
+\item [Installing Axiom]\ \\
+\begin{verbatim}
+$ make install
+\end{verbatim}
+This will put Axiom into \texttt{/usr/local/axiom}
+and the axiom command in \texttt{/usr/local/bin/axiom}.
+
+You can change these defaults to anything using:
+\begin{verbatim}
+make INSTALL=/home/me/myaxiom COMMAND=/home/me/bin/myaxiom install
+\end{verbatim}
+
+\end{description}
+
 \chapter{Glossary}
 \label{ugGlossary}
 
-\appendix{Glossary}
-
 \sloppy
 
 \ourGloss{\glossarySyntaxTerm{!}}{%
@@ -67589,7 +67700,6 @@
 
 \vfill
 \eject
-\setcounter{chapter}{7} % Appendix H
 \chapter{License}
 %\appendix{License}
 \begin{verbatim}


Yours,
d.
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/