diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/algebra/acplot.spad.pamphlet | 27 | ||||
| -rw-r--r-- | src/algebra/aggcat2.spad.pamphlet | 12 | ||||
| -rw-r--r-- | src/algebra/algcat.spad.pamphlet | 36 | ||||
| -rw-r--r-- | src/algebra/algext.spad.pamphlet | 11 | ||||
| -rw-r--r-- | src/algebra/algfact.spad.pamphlet | 41 | ||||
| -rw-r--r-- | src/algebra/weier.spad.pamphlet | 8 | ||||
| -rw-r--r-- | src/algebra/wtpol.spad.pamphlet | 20 | ||||
| -rw-r--r-- | src/algebra/xlpoly.spad.pamphlet | 50 | ||||
| -rw-r--r-- | src/algebra/xpoly.spad.pamphlet | 60 | ||||
| -rw-r--r-- | src/algebra/ystream.spad.pamphlet | 9 | ||||
| -rw-r--r-- | src/algebra/zerodim.spad.pamphlet | 44 |
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. |