11 files changed, 298 insertions, 20 deletions
diff --git a/src/algebra/acplot.spad.pamphlet b/src/algebra/acplot.spad.pamphlet
index 383f7e9c..522de8b4 100644
--- a/src/algebra/acplot.spad.pamphlet
+++ b/src/algebra/acplot.spad.pamphlet
@@ -1,16 +1,25 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra acplot.spad}
+\title{src/algebra acplot.spad}
 \author{Clifton J. Williamson}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{package REALSOLV RealSolvePackage}
+
 <<package REALSOLV RealSolvePackage>>=
+import PolynomialCategoryLifting
+import Integer
+import Float
+import Symbol
+import Fraction
+import Polynomial
+import FloatingRealPackage
 )abbrev package REALSOLV RealSolvePackage
 
 RealSolvePackage(): Exports == Implementation where
@@ -58,8 +67,22 @@ RealSolvePackage(): Exports == Implementation where
       realRoots(map(pi2rfi,lp)$ListFunctions2(P I,RFI),lv,eps)$SOLV
 
 @
+
 \section{domain ACPLOT PlaneAlgebraicCurvePlot}
+
 <<domain ACPLOT PlaneAlgebraicCurvePlot>>=
+import PlottablePlaneCurveCategory
+import Boolean
+import Integer
+import PositiveInteger
+import DoubleFloat
+import Float
+import Symbol
+import Polynomial
+import UnivariatePolynomial
+import SparseUnivariatePolynomial
+import Point
+import List
 --% PlaneAlgebraicCurvePlot
 ++ Plot a NON-SINGULAR plane algebraic curve p(x,y) = 0.
 ++ Author: Clifton J. Williamson
diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet
index 6a4c57be..a49e955d 100644
--- a/src/algebra/aggcat2.spad.pamphlet
+++ b/src/algebra/aggcat2.spad.pamphlet
@@ -1,16 +1,20 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra aggcat2.spad}
+\title{src/algebra aggcat2.spad}
 \author{Robert S. Sutor}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{package FLAGG2 FiniteLinearAggregateFunctions2}
+
 <<package FLAGG2 FiniteLinearAggregateFunctions2>>=
+import Type
+import FiniteLinearAggregate
 )abbrev package FLAGG2 FiniteLinearAggregateFunctions2
 --% FiniteLinearAggregateFunctions2
 
@@ -125,8 +129,12 @@ FiniteLinearAggregateFunctions2(S, A, R, B):
             w
 
 @
+
 \section{package FSAGG2 FiniteSetAggregateFunctions2}
+
 <<package FSAGG2 FiniteSetAggregateFunctions2>>=
+import SetCategory
+import FiniteSetAggregate
 )abbrev package FSAGG2 FiniteSetAggregateFunctions2
 
 --% FiniteSetAggregateFunctions2
diff --git a/src/algebra/algcat.spad.pamphlet b/src/algebra/algcat.spad.pamphlet
index f2131d58..d757de0f 100644
--- a/src/algebra/algcat.spad.pamphlet
+++ b/src/algebra/algcat.spad.pamphlet
@@ -1,16 +1,24 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra algcat.spad}
+\title{src/algebra algcat.spad}
 \author{Barry Trager, Claude Quitte, Manuel Bronstein}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{category FINRALG FiniteRankAlgebra}
+
 <<category FINRALG FiniteRankAlgebra>>=
+import CommutativeRing
+import Algebra
+import UnivariatePolynomialCategory
+import PositiveInteger
+import Vector
+import Matrix
 )abbrev category FINRALG FiniteRankAlgebra
 ++ Author: Barry Trager
 ++ Date Created:
@@ -87,8 +95,13 @@ FiniteRankAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R):
        [parts coordinates(x*b(i+m),b) for i in 1..rank()]$List(List R)
 
 @
+
 \section{category FRAMALG FramedAlgebra}
+
 <<category FRAMALG FramedAlgebra>>=
+import CommutativeRing
+import UnivariatePolynomialCategory
+import Vector
 )abbrev category FRAMALG FramedAlgebra
 ++ Author: Barry Trager
 ++ Date Created:
@@ -178,8 +191,15 @@ FramedAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R):
         +/[monomial(v.(i+1),i) for i in 0..#v-1]
 
 @
+
 \section{category MONOGEN MonogenicAlgebra}
+
 <<category MONOGEN MonogenicAlgebra>>=
+import CommutativeRing
+import UnivariatePolynomialCategory
+import FramedAlgebra
+import FullyRetractableTo
+import FullyLinearlyExplicitRingOver
 )abbrev category MONOGEN MonogenicAlgebra
 ++ Author: Barry Trager
 ++ Date Created:
@@ -256,8 +276,13 @@ MonogenicAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R):
        reduce(bc.coef1)
 
 @
+
 \section{package CPIMA CharacteristicPolynomialInMonogenicalAlgebra}
+
 <<package CPIMA CharacteristicPolynomialInMonogenicalAlgebra>>=
+import CommutativeRing
+import UnivariatePolynomialCategory
+import MonogenicAlgebra
 )abbrev package CPIMA CharacteristicPolynomialInMonogenicalAlgebra
 ++ Author: Claude Quitte
 ++ Date Created: 10/12/93
@@ -293,8 +318,13 @@ CharacteristicPolynomialInMonogenicalAlgebra(R : CommutativeRing,
        return resultant(P, X - XtoY(Qx))
 
 @
+
 \section{package NORMMA NormInMonogenicAlgebra}
+
 <<package NORMMA NormInMonogenicAlgebra>>=
+import GcdDomain
+import UnivariatePolynomialCategory
+import MonogenicAlgebra
 )abbrev package NORMMA NormInMonogenicAlgebra
 ++ Author: Manuel Bronstein
 ++ Date Created: 23 February 1995
@@ -333,7 +363,9 @@ NormInMonogenicAlgebra(R, PolR, E, PolE): Exports == Implementation where
       primitivePart resultant(p, defpol)
 
 @
+
 \section{License}
+
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.
diff --git a/src/algebra/algext.spad.pamphlet b/src/algebra/algext.spad.pamphlet
index 7bc5057b..9a747687 100644
--- a/src/algebra/algext.spad.pamphlet
+++ b/src/algebra/algext.spad.pamphlet
@@ -1,16 +1,21 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra algext.spad}
+\title{src/algebra algext.spad}
 \author{Barry Trager, Manuel Bronstein, Clifton Williamson}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
+
 \eject
+
 \section{domain SAE SimpleAlgebraicExtension}
+
 <<domain SAE SimpleAlgebraicExtension>>=
+import UnivariatePolynomialCategory
+import MonogenicAlgebra
 )abbrev domain SAE SimpleAlgebraicExtension
 ++ Algebraic extension of a ring by a single polynomial
 ++ Author: Barry Trager, Manuel Bronstein, Clifton Williamson
@@ -190,7 +195,9 @@ SimpleAlgebraicExtension(R:CommutativeRing,
 --      ffe.f
 
 @
+
 \section{License}
+
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.
diff --git a/src/algebra/algfact.spad.pamphlet b/src/algebra/algfact.spad.pamphlet
index 3e90bb50..edb9dc76 100644
--- a/src/algebra/algfact.spad.pamphlet
+++ b/src/algebra/algfact.spad.pamphlet
@@ -1,16 +1,23 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra algfact.spad}
+\title{src/algebra algfact.spad}
 \author{Patrizia Gianni, Manuel Bronstein}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{package IALGFACT InnerAlgFactor}
+
 <<package IALGFACT InnerAlgFactor>>=
+import Field
+import UnivariatePolynomialCategory
+import CharacteristicZero
+import MonogenicAlgebra
+import Factored
 )abbrev package IALGFACT InnerAlgFactor
 ++ Factorisation in a simple algebraic extension
 ++ Author: Patrizia Gianni
@@ -98,8 +105,17 @@ InnerAlgFactor(F, UP, AlExt, AlPol): Exports == Implementation where
            UP, NUP))$CommuteUnivariatePolynomialCategory(F, UP, NUP)
 
 @
+
 \section{package SAEFACT SimpleAlgebraicExtensionAlgFactor}
+
 <<package SAEFACT SimpleAlgebraicExtensionAlgFactor>>=
+import UnivariatePolynomialCategory
+import CharacteristicZero
+import Field
+import MonogenicAlgebra
+import Fraction
+import Integer
+import Factored
 )abbrev package SAEFACT SimpleAlgebraicExtensionAlgFactor
 ++ Factorisation in a simple algebraic extension;
 ++ Author: Patrizia Gianni
@@ -126,8 +142,14 @@ SimpleAlgebraicExtensionAlgFactor(UP,SAE,UPA):Exports==Implementation where
                        )$InnerAlgFactor(Fraction Integer, UP, SAE, UPA)
 
 @
+
 \section{package RFFACT RationalFunctionFactor}
+
 <<package RFFACT RationalFunctionFactor>>=
+import UnivariatePolynomialCategory
+import Factored
+import Polynomial
+import Integer
 )abbrev package RFFACT RationalFunctionFactor
 ++ Factorisation in UP FRAC POLY INT
 ++ Author: Patrizia Gianni
@@ -165,8 +187,16 @@ RationalFunctionFactor(UP): Exports == Implementation where
                IndexedExponents SE,Integer,P))$FactoredFunctions2(P, UP)
 
 @
+
 \section{package SAERFFC SAERationalFunctionAlgFactor}
+
 <<package SAERFFC SAERationalFunctionAlgFactor>>=
+import UnivariatePolynomialCategory
+import Field
+import CharacteristicZero
+import Polynomial
+import Fraction
+import Integer
 )abbrev package SAERFFC SAERationalFunctionAlgFactor
 ++ Factorisation in UP SAE FRAC POLY INT
 ++ Author: Patrizia Gianni
@@ -193,8 +223,13 @@ SAERationalFunctionAlgFactor(UP, SAE, UPA): Exports == Implementation where
               )$InnerAlgFactor(Fraction Polynomial Integer, UP, SAE, UPA)
 
 @
+
 \section{package ALGFACT AlgFactor}
+
 <<package ALGFACT AlgFactor>>=
+import UnivariatePolynomialCategory
+import AlgebraicNumber
+import Boolean
 )abbrev package ALGFACT AlgFactor
 ++ Factorization of UP AN;
 ++ Author: Manuel Bronstein
@@ -297,7 +332,9 @@ AlgFactor(UP): Exports == Implementation where
                                  fc.exponent) for fc in factors fr]
 
 @
+
 \section{License}
+
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.
diff --git a/src/algebra/weier.spad.pamphlet b/src/algebra/weier.spad.pamphlet
index 47da09ad..175f49c1 100644
--- a/src/algebra/weier.spad.pamphlet
+++ b/src/algebra/weier.spad.pamphlet
@@ -1,16 +1,20 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra weier.spad}
+\title{src/algebra weier.spad}
 \author{William H. Burge}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{package WEIER WeierstrassPreparation}
+
 <<package WEIER WeierstrassPreparation>>=
+import Field
+import NonNegativeInteger
 )abbrev package WEIER WeierstrassPreparation
 ++ Author:William H. Burge
 ++ Date Created:Sept 1988
diff --git a/src/algebra/wtpol.spad.pamphlet b/src/algebra/wtpol.spad.pamphlet
index d4b28f47..12129139 100644
--- a/src/algebra/wtpol.spad.pamphlet
+++ b/src/algebra/wtpol.spad.pamphlet
@@ -4,13 +4,21 @@
 \title{\$SPAD/src/algebra wtpol.spad}
 \author{James Davenport}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{domain WP WeightedPolynomials}
+
 <<domain WP WeightedPolynomials>>=
+import Ring
+import OrderedSet
+import OrderedAbelianMonoidSup
+import PolynomialCategory
+import List
+import NonNegativeInteger
 )abbrev domain WP WeightedPolynomials
 ++ Author: James Davenport
 ++ Date Created:  17 April 1992
@@ -113,8 +121,18 @@ WeightedPolynomials(R:Ring,VarSet: OrderedSet, E:OrderedAbelianMonoidSup,
      w
 
 @
+
 \section{domain OWP OrdinaryWeightedPolynomials}
+
 <<domain OWP OrdinaryWeightedPolynomials>>=
+import Ring
+import Field
+import CommutativeRing
+import Algebra
+import Polynomial
+import Void
+import List
+import NonNegativeInteger
 )abbrev domain OWP OrdinaryWeightedPolynomials
 ++ Author: James Davenport
 ++ Date Created:  17 April 1992
diff --git a/src/algebra/xlpoly.spad.pamphlet b/src/algebra/xlpoly.spad.pamphlet
index 6d79566d..26870df1 100644
--- a/src/algebra/xlpoly.spad.pamphlet
+++ b/src/algebra/xlpoly.spad.pamphlet
@@ -4,13 +4,17 @@
 \title{\$SPAD/src/algebra xlpoly.spad}
 \author{Michel Petitot}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{domain MAGMA Magma}
+
 <<domain MAGMA Magma>>=
+import OrderedSet
+import RetractableTo
 )abbrev domain MAGMA Magma
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -152,13 +156,20 @@ Magma(VarSet:OrderedSet):Public == Private where
          lx < ly 
 
 @
+
 \section{domain LWORD LyndonWord}
+
 A function $f \epsilon \lbrace 0,1 \rbrace$ is called acyclic if
 $C(F)$ consists of $n$ different objects. The canonical representative
 of the orbit of an acyclic function is usually called a Lyndon Word \cite{1}.
 If $f$ is acyclic, then all elements in the orbit $C(f)$ are acyclic
 as well, and we call $C(f)$ an acyclic orbit. 
+
 <<domain LWORD LyndonWord>>=
+import OrderedSet
+import RetractableTo
+import Boolean
+import Magma
 )abbrev domain LWORD LyndonWord
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -319,8 +330,12 @@ LyndonWord(VarSet:OrderedSet):Public == Private where
            "append"/ [v.i for i in 1..n] 
 
 @
+
 \section{category LIECAT LieAlgebra}
+
 <<category LIECAT LieAlgebra>>=
+import CommutativeRing
+import Field
 )abbrev category LIECAT LieAlgebra
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -355,8 +370,13 @@ LieAlgebra(R: CommutativeRing): Category ==  Module(R) with
     if R has Field then x / r == inv(r)$R * x
 
 @
+
 \section{category FLALG FreeLieAlgebra}
+
 <<category FLALG FreeLieAlgebra>>=
+import OrderedSet
+import CommutativeRing
+import LieAlgebra
 )abbrev category FLALG FreeLieAlgebra
 ++ Author: Michel Petitot (petitot@lifl.fr)
 ++ Date Created: 91
@@ -415,8 +435,13 @@ FreeLieAlgebra(VarSet:OrderedSet, R:CommutativeRing) :Category == CatDef where
          ++ in \axiom{p}.
 
 @
+
 \section{package XEXPPKG XExponentialPackage}
+
 <<package XEXPPKG XExponentialPackage>>=
+import OrderedSet
+import XPolynomialsCat
+import NonNegativeInteger
 )abbrev package XEXPPKG XExponentialPackage
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -487,8 +512,15 @@ XExponentialPackage(R, VarSet, XPOLY): Public == Private where
            log(p1*q1, n)
 
 @
+
 \section{domain LPOLY LiePolynomial}
+
 <<domain LPOLY LiePolynomial>>=
+import OrderedSet
+import CommutativeRing
+import FreeLieAlgebra
+import FreeModuleCat
+import LyndonWord
 )abbrev domain LPOLY LiePolynomial
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -682,8 +714,13 @@ LiePolynomial(VarSet:OrderedSet, R:CommutativeRing) : Public == Private where
 --           mkNary("+" :: EX,le)
 
 @
+
 \section{domain PBWLB PoincareBirkhoffWittLyndonBasis}
+
 <<domain PBWLB PoincareBirkhoffWittLyndonBasis>>=
+import OrderedSet
+import RetractableTo
+import LyndonWord
 )abbrev domain PBWLB PoincareBirkhoffWittLyndonBasis
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -793,8 +830,12 @@ PoincareBirkhoffWittLyndonBasis(VarSet: OrderedSet): Public == Private where
        lx < ly
 
 @
+
 \section{domain XPBWPOLY XPBWPolynomial}
+
 <<domain XPBWPOLY XPBWPolynomial>>=
+import OrderedSet
+import CommutativeRing
 )abbrev domain XPBWPOLY XPBWPolynomial
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -1026,8 +1067,13 @@ XPBWPolynomial(VarSet:OrderedSet,R:CommutativeRing): XDPcat == XDPdef where
          +/ [t.c * mirror1(t.k) for t in p]
 
 @
+
 \section{domain LEXP LieExponentials}
+
 <<domain LEXP LieExponentials>>=
+import OrderedSet
+import CommutativeRing
+import Module
 )abbrev domain LEXP LieExponentials
 ++ Author: Michel Petitot (petitot@lifl.fr).
 ++ Date Created: 91
@@ -1162,7 +1208,9 @@ LieExponentials(VarSet, R, Order): XDPcat == XDPdef where
          lt pretend $
 
 @
+
 \section{License}
+
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.
diff --git a/src/algebra/xpoly.spad.pamphlet b/src/algebra/xpoly.spad.pamphlet
index 160ee646..4049f1b6 100644
--- a/src/algebra/xpoly.spad.pamphlet
+++ b/src/algebra/xpoly.spad.pamphlet
@@ -1,16 +1,21 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra xpoly.spad}
+\title{src/algebra xpoly.spad}
 \author{Michel Petitot}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{domain OFMONOID OrderedFreeMonoid}
+
 <<domain OFMONOID OrderedFreeMonoid>>=
+import OrderedSet
+import OrderedMonoid
+import RetractableTo
 )abbrev domain OFMONOID OrderedFreeMonoid
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -162,8 +167,14 @@ OrderedFreeMonoid(S: OrderedSet): OFMcategory == OFMdefinition where
         mirror x == reverse(x)$Rep
 
 @
+
 \section{category FMCAT FreeModuleCat}
+
 <<category FMCAT FreeModuleCat>>=
+import Ring
+import SetCategory
+import BiModule
+import RetractableTo
 )abbrev category FMCAT FreeModuleCat
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -235,8 +246,12 @@ FreeModuleCat(R, Basis):Category == Exports where
         if R has CommutativeRing then Module(R)
 
 @
+
 \section{domain FM1 FreeModule1}
+
 <<domain FM1 FreeModule1>>=
+import Ring
+import OrderedSet
 )abbrev domain FM1 FreeModule1
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -337,8 +352,14 @@ FreeModule1(R:Ring,S:OrderedSet): FMcat == FMdef where
          0$R
 
 @
+
 \section{category XALG XAlgebra}
+
 <<category XALG XAlgebra>>=
+import Ring
+import BiModule
+import CommutativeRing
+import Algebra
 )abbrev category XALG XAlgebra
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -369,8 +390,14 @@ XAlgebra(R: Ring): Category ==
 --  coerce(x:R):% == x * 1$%
 
 @
+
 \section{category XFALG XFreeAlgebra}
+
 <<category XFALG XFreeAlgebra>>=
+import OrderedSet
+import Ring
+import XAlgebra
+import RetractableTo
 )abbrev category XFALG XFreeAlgebra
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -453,8 +480,12 @@ XFreeAlgebra(vl:OrderedSet,R:Ring):Category == Catdef where
        if R has noZeroDivisors then noZeroDivisors
 
 @
+
 \section{category XPOLYC XPolynomialsCat}
+
 <<category XPOLYC XPolynomialsCat>>=
+import OrderedSet
+import XFreeAlgebra
 )abbrev category XPOLYC XPolynomialsCat
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -485,8 +516,14 @@ XPolynomialsCat(vl:OrderedSet,R:Ring):Category == Export where
       ++  \spad{trunc(p,n)} returns the polynomial \spad{p} truncated at order \spad{n}.
 
 @
+
 \section{domain XPR XPolynomialRing}
+
 <<domain XPR XPolynomialRing>>=
+import Ring
+import OrderedMonoid
+import XAlgebra
+import FreeMonoidCat
 )abbrev domain XPR XPolynomialRing
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -644,7 +681,9 @@ XPolynomialRing(R:Ring,E:OrderedMonoid): T == C where
           x/r == inv(r)*x
 
 @
+
 \section{domain XDPOLY XDistributedPolynomial}
+
 Polynomial arithmetic with non-commutative variables has been improved
 by a contribution of Michel Petitot (University of Lille I, France).
 The domain constructor
@@ -652,7 +691,13 @@ The domain constructor
 representation for these polynomials. It is the non-commutative
 equivalent for the 
 {\bf DistributedMultivariatePolynomial} constructor.
+
 <<domain XDPOLY XDistributedPolynomial>>=
+import OrderedSet
+import Ring
+import FreeModuleCat
+import XPolynomialRing
+import XPolynomialsCat
 )abbrev domain XDPOLY XDistributedPolynomial
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -759,13 +804,19 @@ XDistributedPolynomial(vl:OrderedSet,R:Ring): XDPcat == XDPdef where
          return p.first.c * q.first.c + coef(p.rest,q.rest)
 
 @
+
 \section{domain XRPOLY XRecursivePolynomial}
 Polynomial arithmetic with non-commutative variables has been improved
 by a contribution of Michel Petitot (University of Lille I, France).
 The domain constructors {\bf XRecursivePolynomial} 
 provides a recursive for these polynomials. It is the non-commutative
 equivalents for the {\bf SparseMultivariatePolynomial} constructor.
+
 <<domain XRPOLY XRecursivePolynomial>>=
+import OrderedSet
+import Ring
+import XPolynomialsCat
+import XDistributedPolynomial
 )abbrev domain XRPOLY XRecursivePolynomial
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -1052,8 +1103,11 @@ XRecursivePolynomial(VarSet:OrderedSet,R:Ring):  Xcat == Xdef where
          sort_!(lv)
 
 @
+
 \section{domain XPOLY XPolynomial}
+
 <<domain XPOLY XPolynomial>>=
+import XRecursivePolynomial
 )abbrev domain XPOLY XPolynomial
 ++ Author: Michel Petitot petitot@lifl.fr
 ++ Date Created: 91
@@ -1078,7 +1132,9 @@ XRecursivePolynomial(VarSet:OrderedSet,R:Ring):  Xcat == Xdef where
 XPolynomial(R:Ring) == XRecursivePolynomial(Symbol, R)
 
 @
+
 \section{License}
+
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.
diff --git a/src/algebra/ystream.spad.pamphlet b/src/algebra/ystream.spad.pamphlet
index 0a443168..7456aaab 100644
--- a/src/algebra/ystream.spad.pamphlet
+++ b/src/algebra/ystream.spad.pamphlet
@@ -1,16 +1,20 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra ystream.spad}
+\title{src/algebra ystream.spad}
 \author{William Burge, Stephen M. Watt, Clifton J. Williamson}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{package YSTREAM ParadoxicalCombinatorsForStreams}
+
 <<package YSTREAM ParadoxicalCombinatorsForStreams>>=
+import Type
+import Stream
 )abbrev package YSTREAM ParadoxicalCombinatorsForStreams
 ++ Computation of fixed points of mappings on streams
 ++ Author: Burge, Watt (revised by Williamson)
@@ -51,6 +55,7 @@ ParadoxicalCombinatorsForStreams(A):Exports == Implementation where
       x
 
 @
+
 \section{License}
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
diff --git a/src/algebra/zerodim.spad.pamphlet b/src/algebra/zerodim.spad.pamphlet
index 6b1db2a9..00520a95 100644
--- a/src/algebra/zerodim.spad.pamphlet
+++ b/src/algebra/zerodim.spad.pamphlet
@@ -1,16 +1,21 @@
 \documentclass{article}
 \usepackage{axiom}
 \begin{document}
-\title{\$SPAD/src/algebra zerodim.spad}
+\title{src/algebra zerodim.spad}
 \author{Marc Moreno Maza}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{package FGLMICPK FGLMIfCanPackage}
+
 <<package FGLMICPK FGLMIfCanPackage>>=
+import GcdDomain
+import Symbol
+import List
 )abbrev package FGLMICPK FGLMIfCanPackage
 ++ Author: Marc Moreno Maza
 ++ Date Created: 08/02/1999
@@ -91,8 +96,15 @@ FGLMIfCanPackage(R,ls): Exports == Implementation where
        [dmpToP(q3)$poltopol for q3 in lq3]
 
 @
+
 \section{domain RGCHAIN RegularChain}
+
 <<domain RGCHAIN RegularChain>>=
+import GcdDomain
+import RegularTriangularSet
+import Symbol
+import Boolean
+import List
 )abbrev domain RGCHAIN RegularChain
 ++ Author: Marc Moreno Maza
 ++ Date Created: 01/1999
@@ -126,8 +138,13 @@ RegularChain(R,ls): Exports == Implementation where
   Implementation == RegularTriangularSet(R,E,V,P) 
 
 @
+
 \section{package LEXTRIPK LexTriangularPackage}
+
 <<package LEXTRIPK LexTriangularPackage>>=
+import GcdDomain
+import Symbol
+import List
 )abbrev package LEXTRIPK LexTriangularPackage
 ++ Author: Marc Moreno Maza
 ++ Date Created: 08/02/1999
@@ -351,8 +368,17 @@ LexTriangularPackage(R,ls): Exports == Implementation where
        squareFreeLexTriangular(bar::(List P),norm?)
 
 @
+
 \section{package IRURPK InternalRationalUnivariateRepresentationPackage}
+
 <<package IRURPK InternalRationalUnivariateRepresentationPackage>>=
+import EuclideanDomain
+import CharacteristicZero
+import OrderedAbelianMonoidSup
+import OrderedSet
+import RecursivePolynomialCategory
+import SquareFreeRegularTriangularSetCategory
+import List
 )abbrev package IRURPK InternalRationalUnivariateRepresentationPackage
 ++ Author: Marc Moreno Maza
 ++ Date Created: 01/1999
@@ -546,8 +572,14 @@ InternalRationalUnivariateRepresentationPackage(R,E,V,P,TS): Exports == Implemen
        toSave
 
 @
+
 \section{package RURPK RationalUnivariateRepresentationPackage}
+
 <<package RURPK RationalUnivariateRepresentationPackage>>=
+import EuclideanDomain
+import CharacteristicZero
+import Symbol
+import List
 )abbrev package RURPK RationalUnivariateRepresentationPackage
 ++ Author: Marc Moreno Maza
 ++ Date Created: 01/1999
@@ -678,12 +710,18 @@ RationalUnivariateRepresentationPackage(R,ls): Exports == Implementation where
      rur(lp: List P): List RUR == rur(lp,true)
 
 @
+
 \section{package ZDSOLVE ZeroDimensionalSolvePackage}
 Based on triangular decompositions and the {\bf RealClosure} constructor,
 the pacakge {\bf ZeroDimensionalSolvePackage} provides operations for
 computing symbolically the real or complex roots of polynomial systems
 with finitely many solutions.
+
 <<package ZDSOLVE ZeroDimensionalSolvePackage>>=
+import OrderedRing
+import EuclideanDomain
+import CharacteristicZero
+import RealConstant
 )abbrev package ZDSOLVE ZeroDimensionalSolvePackage
 ++ Author: Marc Moreno Maza
 ++ Date Created: 23/01/1999
@@ -1139,7 +1177,9 @@ ZeroDimensionalSolvePackage(R,ls,ls2): Exports == Implementation where
        univariateSolve(lp,false,false,false)
 
 @
+
 \section{License}
+
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.