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/algfact.spad.pamphlet | 41 +++++++++++++++++++++++++++++++++++++--
 1 file changed, 39 insertions(+), 2 deletions(-)

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

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