Add more explicit imports

1 files changed, 30 insertions, 1 deletions

diff --git a/src/algebra/equation2.spad.pamphlet b/src/algebra/equation2.spad.pamphlet
index 25a5f2cf..4079a096 100644
--- a/src/algebra/equation2.spad.pamphlet
+++ b/src/algebra/equation2.spad.pamphlet
@@ -4,13 +4,30 @@
 \title{\$SPAD/src/algebra equation2.spad}
 \author{Stephen M. Watt, Johannes Grabmeier}
 \maketitle
+
 \begin{abstract}
 \end{abstract}
-\eject
 \tableofcontents
 \eject
+
 \section{domain EQ Equation}
+
 <<domain EQ Equation>>=
+import Type
+import SetCategory
+import AbelianSemiGroup
+import AbelianGroup
+import SemiGroup
+import Monoid
+import CoercibleTo Boolean
+import InnerEvalable
+import CommutativeRing
+import PartialDifferentialRing
+import Field
+import VectorSpace
+import Symbol
+import OutputForm
+import List
 )abbrev domain EQ Equation
 --FOR THE BENEFIT  OF LIBAX0 GENERATION
 ++ Author: Stephen M. Watt, enhancements by Johannes Grabmeier
@@ -227,6 +244,7 @@ Equation(S: Type): public == private where
 \section{package EQ2 EquationFunctions2}
 
 <<package EQ2 EquationFunctions2>>=
+import Type
 import Equation
 )abbrev package EQ2 EquationFunctions2
 ++ Author:
@@ -248,8 +266,17 @@ EquationFunctions2(S: Type, R: Type): with
     map(fn, eqn) == equation(fn lhs eqn, fn rhs eqn)
 
 @
+
 \section{category FEVALAB FullyEvalableOver}
+
 <<category FEVALAB FullyEvalableOver>>=
+import SetCategory
+import Eltable
+import Evalable
+import InnerEvalable
+import Symbol
+import List
+import Equation
 )abbrev category FEVALAB FullyEvalableOver
 ++ Author:
 ++ Date Created:
@@ -281,7 +308,9 @@ FullyEvalableOver(R:SetCategory): Category == with
       eval(x:$, ls:List Symbol, lv:List R) == map(eval(#1, ls, lv), x)
 
 @
+
 \section{License}
+
 <<license>>=
 --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 --All rights reserved.