diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-30 06:43:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-30 06:43:04 +0000 |
commit | 9c6a229c1aab609e3c51a1b9258b6c7c20cf7f3e (patch) | |
tree | babe17f873d2ec8a590a5b05456cc1b4c1963ad7 /src/algebra/wtpol.spad.pamphlet | |
parent | d3aed7983ada6744839d855ad6e4ec8ae4de0b5e (diff) | |
download | open-axiom-9c6a229c1aab609e3c51a1b9258b6c7c20cf7f3e.tar.gz |
More boring explicit import.
Diffstat (limited to 'src/algebra/wtpol.spad.pamphlet')
-rw-r--r-- | src/algebra/wtpol.spad.pamphlet | 20 |
1 files changed, 19 insertions, 1 deletions
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 |