From 9c6a229c1aab609e3c51a1b9258b6c7c20cf7f3e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 30 Aug 2008 06:43:04 +0000
Subject: More boring explicit import.

---
 src/algebra/acplot.spad.pamphlet | 27 +++++++++++++++++++++++++--
 1 file changed, 25 insertions(+), 2 deletions(-)

(limited to 'src/algebra/acplot.spad.pamphlet')

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
-- 
cgit v1.2.3