aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/algebra/acplot.spad.pamphlet27
-rw-r--r--src/algebra/aggcat2.spad.pamphlet12
-rw-r--r--src/algebra/algcat.spad.pamphlet36
-rw-r--r--src/algebra/algext.spad.pamphlet11
-rw-r--r--src/algebra/algfact.spad.pamphlet41
-rw-r--r--src/algebra/weier.spad.pamphlet8
-rw-r--r--src/algebra/wtpol.spad.pamphlet20
-rw-r--r--src/algebra/xlpoly.spad.pamphlet50
-rw-r--r--src/algebra/xpoly.spad.pamphlet60
-rw-r--r--src/algebra/ystream.spad.pamphlet9
-rw-r--r--src/algebra/zerodim.spad.pamphlet44
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.