[Axiom-developer] hyperlinked algebra

[root]

i've hacked src/doc/endpaper.pamphlet to add hyperlinks.
most of the links go to catdef.spad.dvi because they are
categories that live there. i don't know how to implement 
#tags in latex yet.

not everything goes to catdef. ffield goes to ffcat.spad.dvi
and the data structures tend to go to aggcat but others can be
found (e.g. matcat).

i tried to use URLs to the wiki but xdvi can't handle them.
to use this try:

1) (clip the latex to a file called endpaper.pamphlet)
   since this is really just a latex file we don't need to weave it...
2) latex endpaper.pamphet
3) latex endpaper.pamphet
4) cp endpaper.dvi mnt/linux/doc/src/algebra
5) cd endpaper.dvi mnt/linux/doc/src/algebra
6) xdvi endpaper.dvi
7) click on a link...

now if some ambitious soul could start doing that for the rest
of the algebra it would win big.


===============================================================
\documentclass{book}
%\usepackage{../../src/scripts/tex/axiom}
\usepackage{hyperref}
\usepackage{pstricks}
\usepackage{pst-node}
\begin{document}
\title{endpapers}
\author{Timothy Daly}
\maketitle
\tableofcontents
\vfill
\eject
\section{Basic Algebra Hierarchy Diagram}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 1 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
.
{\hbox{\hskip 4.0cm}}
% SETCAT SetCategory
{\psframebox{{\rnode{setcat}{\href{catdef.spad.dvi}{setcat}}}}}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\hbox{\hskip 1.0cm}}
{\vbox{\vskip 1.0cm}}
% ABELSG AbelianSemiGroup
{\psframebox{{\rnode{abelsg}{\href{catdef.spad.dvi}{abelsg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{setcat}{abelsg}
{\hbox{\hskip 0.1cm}}
% SGROUP SemiGroup
{\psframebox{{\rnode{sgroup}{\href{catdef.spad.dvi}{sgroup}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{setcat}{sgroup}
{\hbox{\hskip 0.2cm}}
% ORDSET OrderedSet
{\psframebox{{\rnode{ordset}{\href{catdef.spad.dvi}{ordset}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{setcat}{ordset}
{\hbox{\hskip 4.0cm}}
% FINITE Finite
{\psframebox{{\rnode{finite}{\href{catdef.spad.dvi}{finite}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{setcat}{finite}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 3
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.0cm}}
% ABELMON AbelianMonoid
{\psframebox{{\rnode{abelmon}{\href{catdef.spad.dvi}{abelmon}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{abelsg}{abelmon}
% MONOID Monoid
{\psframebox{{\rnode{monoid}{\href{catdef.spad.dvi}{monoid}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{sgroup}{monoid}
{\hbox{\hskip 1.5cm}}
% ORDFIN OrderedFinite
{\psframebox{{\rnode{ordfin}{\href{catdef.spad.dvi}{ordfin}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ordset}{ordfin}
\ncLine[nodesep=3pt,linestyle=solid]{finite}{ordfin}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 4
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.0cm}}
% CABMON CancellationAbelianMonoid
{\psframebox{{\rnode{cabmon}{\href{catdef.spad.dvi}{cabmon}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{abelmon}{cabmon}
{\hbox{\hskip 2.0cm}}
% OASGP OrderedAbelianSemiGroup
{\psframebox{{\rnode{oasgp}{\href{catdef.spad.dvi}{oasgp}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{abelmon}{oasgp}
\ncLine[nodesep=3pt,linestyle=solid]{ordset}{oasgp}
{\hbox{\hskip 0.2cm}}
% GROUP Group
{\hbox{\hskip 0.1cm}}
{\psframebox{{\rnode{group}{\href{catdef.spad.dvi}{group}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{monoid}{group}
{\hbox{\hskip 0.55cm}}
% ORDMON OrderedMonoid
{\psframebox{{\rnode{ordmon}{\href{catdef.spad.dvi}{ordmon}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ordset}{ordmon}
\ncLine[nodesep=3pt,linestyle=solid]{monoid}{ordmon}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 5
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.6cm}}
{\hbox{\hskip 3.6cm}}
% OAMON OrderedAbelianMonoid
{\psframebox{{\rnode{oamon}{\href{catdef.spad.dvi}{oamon}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{oasgp}{oamon}
\ncLine[nodesep=3pt,linestyle=solid]{abelmon}{oamon}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 6
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.5cm}}
% OCAMON OrderedCancellationAbelianMonoid
{\psframebox{{\rnode{ocamon}{\href{catdef.spad.dvi}{ocamon}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{oamon}{ocamon}
\ncLine[nodesep=3pt,linestyle=solid]{cabmon}{ocamon}
{\hbox{\hskip 2.2cm}}
% ABELGRP AbelianGroup
{\psframebox{{\rnode{abelgrp}{\href{catdef.spad.dvi}{abelgrp}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{cabmon}{abelgrp}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 7
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.875cm}}
% OAMONS OrderedAbelianMonoidSup
{\psframebox{{\rnode{oamons}{\href{catdef.spad.dvi}{oamons}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ocamon}{oamons}
{\hbox{\hskip 0.9cm}}
% RNG Rng
{\psframebox{{\rnode{rng}{\href{catdef.spad.dvi}{rng}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{abelgrp}{rng}
\ncLine[nodesep=3pt,linestyle=solid]{sgroup}{rng}
{\hbox{\hskip 0.1cm}}
% LMODULE LeftModule
{\psframebox{{\rnode{lmodule}{\href{catdef.spad.dvi}{lmodule}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{abelgrp}{lmodule}
% RMODULE RightModule
{\psframebox{{\rnode{rmodule}{\href{catdef.spad.dvi}{rmodule}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{abelgrp}{rmodule}
{\hbox{\hskip 1.7cm}}
% OAGROUP OrderedAbelianGroup
{\psframebox{{\rnode{oagroup}{\href{catdef.spad.dvi}{oagroup}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{abelgrp}{oagroup}
\ncLine[nodesep=3pt,linestyle=solid]{ocamon}{oagroup}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.0cm}}
{\hbox{\hskip 0.7cm}}
% RING Ring
{\psframebox{{\rnode{ring}{\href{catdef.spad.dvi}{ring}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{lmodule}{ring}
\ncLine[nodesep=3pt,linestyle=solid]{rng}{ring}
\ncLine[nodesep=3pt,linestyle=solid]{monoid}{ring}
{\hbox{\hskip 4.2cm}}
% BMODULE BiModule
{\psframebox{{\rnode{bmodule}{\href{catdef.spad.dvi}{bmodule}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{lmodule}{bmodule}
\ncLine[nodesep=3pt,linestyle=solid]{rmodule}{bmodule}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 9
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.2cm}}
{\hbox{\hskip 4.5cm}}
% LINEXP LinearlyExplicitRingOver
{\psframebox{{\rnode{linexp}{\href{catdef.spad.dvi}{linexp}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{linexp}
{\hbox{\hskip 1.3cm}}
% MODULE Module
{\psframebox{{\rnode{module}{\href{catdef.spad.dvi}{module}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bmodule}{module}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 10
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\hbox{\hskip 5.0cm}}
% FLINEXP FullyLinearlyExplicitRingOver
{\psframebox{{\rnode{flinexp}{\href{catdef.spad.dvi}{flinexp}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{linexp}{flinexp}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 11
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\hbox{\hskip 7.7cm}}
% VSPACE VectorSpace
{\psframebox{{\rnode{vspace}{\href{catdef.spad.dvi}{vspace}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{module}{vspace}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 12
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.2cm}}
{\hbox{\hskip 0.7cm}}
% DIFRING DifferentialRing
{\psframebox{{\rnode{difring}{\href{catdef.spad.dvi}{difring}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{difring}
{\hbox{\hskip 0.4cm}}
% CHARNZ CharacteristicNonZero
{\psframebox{{\rnode{charnz}{\href{catdef.spad.dvi}{charnz}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{charnz}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 13
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% PDRING PartialDifferentialRing
{\psframebox{{\rnode{pdring}{\href{catdef.spad.dvi}{pdring}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{pdring}
{\hbox{\hskip 0.6cm}}
% CHARZ CharacteristicZero
{\psframebox{{\rnode{charz}{\href{catdef.spad.dvi}{charz}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{charz}
{\hbox{\hskip 1.0cm}}
% ALGEBRA Algebra
{\psframebox{{\rnode{algebra}{\href{catdef.spad.dvi}{algebra}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{algebra}
\ncLine[nodesep=3pt,linestyle=solid]{module}{algebra}
\ncLine[nodesep=3pt,linestyle=solid]{charnz}{algebra}
% ENTIRER EntireRing
{\psframebox{{\rnode{entirer}{\href{catdef.spad.dvi}{entirer}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bmodule}{entirer}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{entirer}
% COMRING CommutativeRing
{\psframebox{{\rnode{comring}{\href{catdef.spad.dvi}{comring}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bmodule}{comring}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{comring}
% ORDRING OrderedRing
{\psframebox{{\rnode{ordring}{\href{catdef.spad.dvi}{ordring}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ring}{ordring}
\ncLine[nodesep=3pt,linestyle=solid]{oagroup}{ordring}
\ncLine[nodesep=3pt,linestyle=solid]{ordmon}{ordring}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 14
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.8cm}}
{\hbox{\hskip 2.1cm}}
% DIFEXT DifferentialExtension
{\psframebox{{\rnode{difext}{\href{catdef.spad.dvi}{difext}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{pdring}{difext}
\ncLine[nodesep=3pt,linestyle=solid]{difring}{difext}
\ncLine[nodesep=3pt,linestyle=solid]{charz}{difext}
\ncLine[nodesep=3pt,linestyle=solid]{charnz}{difext}
{\hbox{\hskip 2.0cm}}
% DIVRING DivisionRing
{\psframebox{{\rnode{divring}{\href{catdef.spad.dvi}{divring}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{algebra}{divring}
\ncLine[nodesep=3pt,linestyle=solid]{entirer}{divring}
% INTDOM IntegralDomain
{\psframebox{{\rnode{intdom}{\href{catdef.spad.dvi}{intdom}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{algebra}{intdom}
\ncLine[nodesep=3pt,linestyle=solid]{comring}{intdom}
\ncLine[nodesep=3pt,linestyle=solid]{entirer}{intdom}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 15
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.2cm}}
{\hbox{\hskip 7.3cm}}
% GCDDOM GcdDomain
{\psframebox{{\rnode{gcddom}{\href{catdef.spad.dvi}{gcddom}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{intdom}{gcddom}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 16
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.2cm}}
{\hbox{\hskip 5.4cm}}
% UFD UniqueFactorizationDomain
{\psframebox{{\rnode{ufd}{\href{catdef.spad.dvi}{ufd}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{gcddom}{ufd}
{\hbox{\hskip 2.5cm}}
% PID PrincipalIdealDomain
{\psframebox{{\rnode{pid}{\href{catdef.spad.dvi}{pid}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{gcddom}{pid}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 17
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.2cm}}
{\hbox{\hskip 5.0cm}}
% PFECAT PolynomialFactorizationExplicit
{\psframebox{{\rnode{pfecat}{\href{catdef.spad.dvi}{pfecat}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ufd}{pfecat}
{\hbox{\hskip 2.0cm}}
% EUCDOM EuclideanDomain
{\psframebox{{\rnode{eucdom}{\href{catdef.spad.dvi}{eucdom}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{pid}{eucdom}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 18
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.2cm}}
{\hbox{\hskip 7.0cm}}
% FIELD Field
{\psframebox{{\rnode{field}{\href{catdef.spad.dvi}{field}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ufd}{field}
\ncLine[nodesep=3pt,linestyle=solid]{eucdom}{field}
\ncLine[nodesep=3pt,linestyle=solid]{divring}{field}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 19
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\hbox{\hskip 5.0cm}}
% FPC FieldOfPrimeCharacteristic
{\psframebox{{\rnode{fpc}{\href{ffcat.spad.dvi}{fpc}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{field}{fpc}
\ncLine[nodesep=3pt,linestyle=solid]{charnz}{fpc}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 20
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\hbox{\hskip 9.7cm}}
% FFIELDC FiniteFieldCategory
{\psframebox{{\rnode{ffieldc}{\href{ffcat.spad.dvi}{ffieldc}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{fpc}{ffieldc}
\ncLine[nodesep=3pt,linestyle=solid]{finite}{ffieldc}
\vfill
\eject
\section{Basic Algebra Hierarchy}
\subsection{SETCAT SetCategory}
\subsection{ABELSG AbelianSemiGroup}
\subsection{SGROUP SemiGroup}
\subsection{ORDSET OrderedSet}
\subsection{FINITE Finite}
\subsection{ABELMON AbelianMonoid}
\subsection{MONOID Monoid}
\subsection{ORDFIN OrderedFinite}
\subsection{CABMON CancellationAbelianMonoid}
\subsection{OASGP OrderedAbelianSemiGroup}
\subsection{GROUP Group}
\subsection{ORDMON OrderedMonoid}
\subsection{OAMON OrderedAbelianMonoid}
\subsection{OCAMON OrderedCancellationAbelianMonoid}
\subsection{ABELGRP AbelianGroup}
\subsection{OAMONS OrderedAbelianMonoidSup}
\subsection{RNG Rng}
\subsection{LMODULE LeftModule}
\subsection{RMODULE RightModule}
\subsection{OAGROUP OrderedAbelianGroup}
\subsection{RING Ring}
\subsection{BMODULE BiModule}
\subsection{LINEXP LinearlyExplicitRingOver}
\subsection{MODULE Module}
\subsection{FLINEXP FullyLinearlyExplicitRingOver}
\subsection{VSPACE VectorSpace}
\subsection{DIFRING DifferentialRing}
\subsection{CHARNZ CharacteristicNonZero}
\subsection{PDRING PartialDifferentialRing}
\subsection{CHARZ CharacteristicZero}
\subsection{ALGEBRA Algebra}
\subsection{ENTIRER EntireRing}
\subsection{COMRING CommutativeRing}
\subsection{ORDRING OrderedRing}
\subsection{DIFEXT DifferentialExtension}
\subsection{DIVRING DivisionRing}
\subsection{INTDOM IntegralDomain}
\subsection{GCDDOM GcdDomain}
\subsection{UFD UniqueFactorizationDomain}
\subsection{PID PrincipalIdealDomain}
\subsection{PFECAT PolynomialFactorizationExplicit}
\subsection{EUCDOM EuclideanDomain}
\subsection{FIELD Field}
\subsection{FPC FieldOfPrimeCharacteristic}
\subsection{FFIELDC FiniteFieldCategory}
\vfill
\eject
\section{Data Structure Hierarchy Diagram}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 1 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
.
{\hbox{\hskip 2.8cm}}
% SETCAT SetCategory
{\psframebox{{\rnode{setcat}{\href{catdef.spad.dvi}{setcat}}}}}
{\hbox{\hskip 1.0cm}}
% AGG Aggregate
{\psframebox{{\rnode{agg}{\href{catdef.spad.dvi}{agg}}}}}
{\hbox{\hskip 0.5cm}}
% ELTAGG EltableAggregate
{\psframebox{{\rnode{eltagg}{\href{catdef.spad.dvi}{eltagg}}}}}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\hbox{\hskip 4.2cm}}
% HOAGG HomogeneousAggregate
{\psframebox{{\rnode{hoagg}{\href{catdef.spad.dvi}{hoagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{setcat}{hoagg}
\ncLine[nodesep=3pt,linestyle=solid]{agg}{hoagg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 3
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.0cm}}
% ARR2CAT TwoDimensionalArrayCategory
{\psframebox{{\rnode{arr2cat}{\href{array2.spad.dvi}{arr2cat}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{hoagg}{arr2cat}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 4
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.3cm}}
% MATCAT MatrixCategory
{\psframebox{{\rnode{matcat}{\href{matcat.spad.dvi}{matcat}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{arr2cat}{matcat}
% BGAGG BagAggregate
{\psframebox{{\rnode{bgagg}{\href{aggcat.spad.dvi}{bgagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{hoagg}{bgagg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 5
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.8cm}}
% SKAGG StackAggregate
{\psframebox{{\rnode{skagg}{\href{aggcat.spad.dvi}{skagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bgagg}{skagg}
{\hbox{\hskip 0.75cm}}
% QUAGG QueueAggregate
{\psframebox{{\rnode{quagg}{\href{aggcat.spad.dvi}{quagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bgagg}{quagg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 6
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.5cm}}
% DQAGG DequeueAggregate
{\psframebox{{\rnode{dqagg}{\href{aggcat.spad.dvi}{dqagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{skagg}{dqagg}
\ncLine[nodesep=3pt,linestyle=solid]{quagg}{dqagg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 7
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.5cm}}
{\hbox{\hskip 3.4cm}}
% CLAGG Collection
{\psframebox{{\rnode{clagg}{\href{aggcat.spad.dvi}{clagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{hoagg}{clagg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.2cm}}
% DIOPS DictionaryOperations
{\psframebox{{\rnode{diops}{\href{aggcat.spad.dvi}{diops}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bgagg}{diops}
\ncLine[nodesep=3pt,linestyle=solid]{clagg}{diops}
% PRQAGG PriorityQueueAggregate
{\psframebox{{\rnode{prqagg}{\href{aggcat.spad.dvi}{prqagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bgagg}{prqagg}
% FINITE Finite
{\psframebox{{\rnode{finite}{\href{catdef.spad.dvi}{finite}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{setcat}{finite}
{\hbox{\hskip 1.7cm}}
% SETAGG SetAggregate
{\psframebox{{\rnode{setagg}{\href{aggcat.spad.dvi}{setagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{clagg}{setagg}
% RCAGG RecursiveAggregate
{\psframebox{{\rnode{rcagg}{\href{aggcat.spad.dvi}{rcagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{hoagg}{rcagg}
% IXAGG IndexedAggregate
{\psframebox{{\rnode{ixagg}{\href{aggcat.spad.dvi}{ixagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{hoagg}{ixagg}
\ncLine[nodesep=3pt,linestyle=solid]{eltagg}{ixagg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 9
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.5cm}}
{\hbox{\hskip 6.0cm}}
% DLAGG DoublyLinkedAggregate
{\psframebox{{\rnode{dlagg}{\href{aggcat.spad.dvi}{dlagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{rcagg}{dlagg}
{\hbox{\hskip 1.3cm}}
% DIRPCAT DirectProductCategory
{\psframebox{{\rnode{dirpcat}{\href{vector.spad.dvi}{dirpcat}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ixagg}{dirpcat}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 10
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 3.1cm}}
{\hbox{\hskip 6.3cm}}
% LNAGG LinearAggregate
{\psframebox{{\rnode{lnagg}{\href{aggcat.spad.dvi}{lnagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{clagg}{lnagg}
\ncLine[nodesep=3pt,linestyle=solid]{ixagg}{lnagg}
% URAGG UnaryRecursiveAggregate
{\psframebox{{\rnode{uragg}{\href{aggcat.spad.dvi}{uragg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{rcagg}{uragg}
% BRAGG BinaryRecursiveAggregate
{\psframebox{{\rnode{bragg}{\href{aggcat.spad.dvi}{bragg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{rcagg}{bragg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 11
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 0.5cm}}
{\hbox{\hskip 9.0cm}}
% BTCAT BinaryTreeCategory
{\psframebox{{\rnode{btcat}{\href{tree.spad.dvi}{btcat}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{bragg}{btcat}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 12
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.0cm}}
% DIAGG Dictionary
{\psframebox{{\rnode{diagg}{\href{aggcat.spad.dvi}{diagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{diops}{diagg}
{\hbox{\hskip 3.1cm}}
% MDAGG MultiDictionary
{\psframebox{{\rnode{mdagg}{\href{aggcat.spad.dvi}{mdagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{diops}{mdagg}
% ORDSET OrderedSet
{\psframebox{{\rnode{ordset}{\href{catdef.spad.dvi}{ordset}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{setcat}{ordset}
% ELAGG ExtensibleLinearAggregate
{\psframebox{{\rnode{elagg}{\href{aggcat.spad.dvi}{elagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{lnagg}{elagg}
% STAGG StreamAggregate
{\psframebox{{\rnode{stagg}{\href{aggcat.spad.dvi}{stagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{lnagg}{stagg}
\ncLine[nodesep=3pt,linestyle=solid]{uragg}{stagg}
% FLAGG FiniteLinearAggregate
{\psframebox{{\rnode{flagg}{\href{aggcat.spad.dvi}{flagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{lnagg}{flagg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 13
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.5cm}}
% KDAGG KeyedDictionary
{\psframebox{{\rnode{kdagg}{\href{aggcat.spad.dvi}{kdagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{diagg}{kdagg}
{\hbox{\hskip 1.0cm}}
% FSAGG FiniteSetAggregate
{\psframebox{{\rnode{fsagg}{\href{aggcat.spad.dvi}{fsagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{diagg}{fsagg}
\ncLine[nodesep=3pt,linestyle=solid]{finite}{fsagg}
\ncLine[nodesep=3pt,linestyle=solid]{clagg}{fsagg}
% MSETAGG MultisetAggregate
{\psframebox{{\rnode{msetagg}{\href{aggcat.spad.dvi}{msetagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{mdagg}{msetagg}
\ncLine[nodesep=3pt,linestyle=solid]{clagg}{msetagg}
{\hbox{\hskip 1.4cm}}
% LZSTAGG LazyStreamAggregate
{\psframebox{{\rnode{lzstagg}{\href{stream.spad.dvi}{lzstagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{stagg}{lzstagg}
% LSAGG ListAggregate
{\psframebox{{\rnode{lsagg}{\href{aggcat.spad.dvi}{lsagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{elagg}{lsagg}
\ncLine[nodesep=3pt,linestyle=solid]{stagg}{lsagg}
\ncLine[nodesep=3pt,linestyle=solid]{flagg}{lsagg}
{\hbox{\hskip 0.3cm}}
% A1AGG OneDimensionalArrayAggregate
{\psframebox{{\rnode{a1agg}{\href{aggcat.spad.dvi}{a1agg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{flagg}{a1agg}\\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% level 14
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
{\vbox{\vskip 1.0cm}}
% TBAGG TableAggregate
{\psframebox{{\rnode{tbagg}{\href{aggcat.spad.dvi}{tbagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{kdagg}{tbagg}
\ncLine[nodesep=3pt,linestyle=solid]{ixagg}{tbagg}
% OMSAGG OrderedMultiSetAggregate
{\psframebox{{\rnode{omsagg}{\href{aggcat.spad.dvi}{omsagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{prqagg}{omsagg}
\ncLine[nodesep=3pt,linestyle=solid]{msetagg}{omsagg}
{\hbox{\hskip 3.1cm}}
% BTAGG BitAggregate
{\psframebox{{\rnode{btagg}{\href{aggcat.spad.dvi}{btagg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{ordset}{btagg}
\ncLine[nodesep=3pt,linestyle=solid]{a1agg}{btagg}
{\hbox{\hskip 1.0cm}}
% SRAGG StringAggregate
{\psframebox{{\rnode{sragg}{\href{aggcat.spad.dvi}{sragg}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{a1agg}{sragg}
% VECTCAT VectorCategory
{\psframebox{{\rnode{vectcat}{\href{vector.spad.dvi}{vectcat}}}}}
\ncLine[nodesep=3pt,linestyle=solid]{a1agg}{vectcat}
\vfill
\eject
\section{Data Structure Hierarchy Diagram}
\subsection{SETCAT SetCategory}
\subsection{AGG Aggregate}
\subsection{ELTAGG EltableAggregate}
\subsection{HOAGG HomogeneousAggregate}
\subsection{ARR2CAT TwoDimensionalArrayCategory}
\subsection{MATCAT MatrixCategory}
\subsection{BGAGG BagAggregate}
\subsection{SKAGG StackAggregate}
\subsection{QUAGG QueueAggregate}
\subsection{DQAGG DequeueAggregate}
\subsection{CLAGG Collection}
\subsection{DIOPS DictionaryOperations}
\subsection{PRQAGG PriorityQueueAggregate}
\subsection{FINITE Finite}
\subsection{SETAGG SetAggregate}
\subsection{RCAGG RecursiveAggregate}
\subsection{IXAGG IndexedAggregate}
\subsection{DLAGG DoublyLinkedAggregate}
\subsection{DIRPCAT DirectProductCategory}
\subsection{LNAGG LinearAggregate}
\subsection{URAGG UnaryRecursiveAggregate}
\subsection{BRAGG BinaryRecursiveAggregate}
\subsection{BTCAT BinaryTreeCategory}
\subsection{DIAGG Dictionary}
\subsection{MDAGG MultiDictionary}
\subsection{ORDSET OrderedSet}
\subsection{ELAGG ExtensibleLinearAggregate}
\subsection{STAGG StreamAggregate}
\subsection{FLAGG FiniteLinearAggregate}
\subsection{KDAGG KeyedDictionary}
\subsection{FSAGG FiniteSetAggregate}
\subsection{MSETAGG MultisetAggregate}
\subsection{LZSTAGG LazyStreamAggregate}
\subsection{LSAGG ListAggregate}
\subsection{A1AGG OneDimensionalArrayAggregate}
\subsection{TBAGG TableAggregate}
\subsection{OMSAGG OrderedMultiSetAggregate}
\subsection{BTAGG BitAggregate}
\subsection{SRAGG StringAggregate}
\subsection{VECTCAT VectorCategory}
\vfill
\eject
\begin{thebibliography}{99}
\bibitem{1} Jenks, Richard D., Sutor, Robert S.,
{\sl AXIOM The Scientific Computation System},
Springer-Verlag, NY 1992, 
ISBN 0-387-97855-0
\bibitem{2} The Axiom Team,
{\sl AXIOM The 30 Year Horizon},
Tim Daly (Ed), 2004,
{\bf http://savannah.nongnu.org/projects/axiom}
\bibitem{3} The Axiom Team,
{\sl AXIOM Volume 1 Tutorial},
Tim Daly (Ed), 2004,
{\bf http://savannah.nongnu.org/projects/axiom}
\bibitem{4} The Axiom Team,
{\sl AXIOM Volume 2 Programming},
Tim Daly (Ed), 2004,
{\bf http://savannah.nongnu.org/projects/axiom}
\bibitem{5} The Axiom Team,
{\sl AXIOM Volume 3 Reference},
Tim Daly (Ed), 2004,
{\bf http://savannah.nongnu.org/projects/axiom}
\bibitem{6} The Axiom Team,
{\sl AXIOM Volume 4 Developers},
Tim Daly (Ed), 2004,
{\bf http://savannah.nongnu.org/projects/axiom}
\end{thebibliography}
\end{document}