[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] 20090113.01.tpd.patch (bookvol10.3 begin adding export
From: |
daly |
Subject: |
[Axiom-developer] 20090113.01.tpd.patch (bookvol10.3 begin adding exports) |
Date: |
Tue, 13 Jan 2009 14:15:10 -0600 |
Export information for each domain is being added.
=========================================================================
diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index 7634b88..5073503 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -306,6 +306,82 @@ where this information is maintained.
\section{domain ALGSC AlgebraGivenByStructuralConstants}
\pagehead{AlgebraGivenByStructuralConstants}{ALGSC}
\pagepic{ps/v103algebragivenbystructuralconstants.ps}{ALGSC}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ALGSC}{0} &
+\cross{ALGSC}{alternative?} \\
+\cross{ALGSC}{antiAssociative?} &
+\cross{ALGSC}{antiCommutative?} \\
+\cross{ALGSC}{antiCommutator} &
+\cross{ALGSC}{apply} \\
+\cross{ALGSC}{associative?} &
+\cross{ALGSC}{associator} \\
+\cross{ALGSC}{associatorDependence} &
+\cross{ALGSC}{basis} \\
+\cross{ALGSC}{coerce} &
+\cross{ALGSC}{commutative?} \\
+\cross{ALGSC}{commutator} &
+\cross{ALGSC}{conditionsForIdempotents} \\
+\cross{ALGSC}{convert} &
+\cross{ALGSC}{coordinates} \\
+\cross{ALGSC}{flexible?} &
+\cross{ALGSC}{hash} \\
+\cross{ALGSC}{jacobiIdentity?} &
+\cross{ALGSC}{jordanAdmissible?} \\
+\cross{ALGSC}{jordanAlgebra?} &
+\cross{ALGSC}{latex} \\
+\cross{ALGSC}{leftAlternative?} &
+\cross{ALGSC}{leftCharacteristicPolynomial} \\
+\cross{ALGSC}{leftDiscriminant} &
+\cross{ALGSC}{leftMinimalPolynomial} \\
+\cross{ALGSC}{leftNorm} &
+\cross{ALGSC}{leftPower} \\
+\cross{ALGSC}{leftRankPolynomial} &
+\cross{ALGSC}{leftRecip} \\
+\cross{ALGSC}{leftRegularRepresentation} &
+\cross{ALGSC}{leftTrace} \\
+\cross{ALGSC}{leftTraceMatrix} &
+\cross{ALGSC}{leftUnit} \\
+\cross{ALGSC}{leftUnits} &
+\cross{ALGSC}{lieAdmissible?} \\
+\cross{ALGSC}{lieAlgebra?} &
+\cross{ALGSC}{noncommutativeJordanAlgebra?} \\
+\cross{ALGSC}{plenaryPower} &
+\cross{ALGSC}{powerAssociative?} \\
+\cross{ALGSC}{rank} &
+\cross{ALGSC}{recip} \\
+\cross{ALGSC}{represents} &
+\cross{ALGSC}{rightAlternative?} \\
+\cross{ALGSC}{rightCharacteristicPolynomial} &
+\cross{ALGSC}{rightDiscriminant} \\
+\cross{ALGSC}{rightMinimalPolynomial} &
+\cross{ALGSC}{rightNorm} \\
+\cross{ALGSC}{rightPower} &
+\cross{ALGSC}{rightRankPolynomial} \\
+\cross{ALGSC}{rightRecip} &
+\cross{ALGSC}{rightRegularRepresentation} \\
+\cross{ALGSC}{rightTrace} &
+\cross{ALGSC}{rightTraceMatrix} \\
+\cross{ALGSC}{rightUnit} &
+\cross{ALGSC}{rightUnits} \\
+\cross{ALGSC}{sample} &
+\cross{ALGSC}{someBasis} \\
+\cross{ALGSC}{structuralConstants} &
+\cross{ALGSC}{subtractIfCan} \\
+\cross{ALGSC}{unit} &
+\cross{ALGSC}{zero?} \\
+\cross{ALGSC}{?*?} &
+\cross{ALGSC}{?**?} \\
+\cross{ALGSC}{?+?} &
+\cross{ALGSC}{?-?} \\
+\cross{ALGSC}{-?} &
+\cross{ALGSC}{?=?} \\
+\cross{ALGSC}{?.?} &
+\cross{ALGSC}{?\~{}=?} \\
+\cross{ALGSC}{?*?}
+\end{tabular}
+
<<domain ALGSC AlgebraGivenByStructuralConstants>>=
)abbrev domain ALGSC AlgebraGivenByStructuralConstants
++ Authors: J. Grabmeier, R. Wisbauer
@@ -705,8 +781,127 @@ AlgebraGivenByStructuralConstants(R:Field, n :
PositiveInteger,_
\section{domain ALGFF AlgebraicFunctionField}
\pagehead{AlgebraicFunctionField}{ALGFF}
\pagepic{ps/v103algebraicfunctionfield.ps}{ALGFF}{1.00}
-See also:\\
-\refto{RadicalFunctionField}{RADFF}
+{\bf See}\\
+\pageto{RadicalFunctionField}{RADFF}
+
+{\bf Exports:}\\
+\begin{tabular}{lll}
+\cross{ALGFF}{1} &
+\cross{ALGFF}{0} &
+\cross{ALGFF}{absolutelyIrreducible?} \\
+\cross{ALGFF}{algSplitSimple} &
+\cross{ALGFF}{associates?} &
+\cross{ALGFF}{basis} \\
+\cross{ALGFF}{branchPoint?} &
+\cross{ALGFF}{branchPointAtInfinity?} &
+\cross{ALGFF}{characteristic} \\
+\cross{ALGFF}{characteristicPolynomial} &
+\cross{ALGFF}{charthRoot} &
+\cross{ALGFF}{coerce} \\
+\cross{ALGFF}{complementaryBasis} &
+\cross{ALGFF}{conditionP} &
+\cross{ALGFF}{convert} \\
+\cross{ALGFF}{coordinates} &
+\cross{ALGFF}{createPrimitiveElement} &
+\cross{ALGFF}{D} \\
+\cross{ALGFF}{definingPolynomial} &
+\cross{ALGFF}{derivationCoordinates} &
+\cross{ALGFF}{differentiate} \\
+\cross{ALGFF}{discreteLog} &
+\cross{ALGFF}{discriminant} &
+\cross{ALGFF}{divide} \\
+\cross{ALGFF}{elliptic} &
+\cross{ALGFF}{elt} &
+\cross{ALGFF}{euclideanSize} \\
+\cross{ALGFF}{expressIdealMember} &
+\cross{ALGFF}{exquo} &
+\cross{ALGFF}{extendedEuclidean} \\
+\cross{ALGFF}{factor} &
+\cross{ALGFF}{factorsOfCyclicGroupSize} &
+\cross{ALGFF}{gcd} \\
+\cross{ALGFF}{gcdPolynomial} &
+\cross{ALGFF}{generator} &
+\cross{ALGFF}{genus} \\
+\cross{ALGFF}{hash} &
+\cross{ALGFF}{hyperelliptic} &
+\cross{ALGFF}{index} \\
+\cross{ALGFF}{init} &
+\cross{ALGFF}{integral?} &
+\cross{ALGFF}{integralAtInfinity?} \\
+\cross{ALGFF}{integralBasis} &
+\cross{ALGFF}{integralBasisAtInfinity} &
+\cross{ALGFF}{integralCoordinates} \\
+\cross{ALGFF}{integralDerivationMatrix} &
+\cross{ALGFF}{integralMatrix} &
+\cross{ALGFF}{integralMatrixAtInfinity} \\
+\cross{ALGFF}{integralRepresents} &
+\cross{ALGFF}{inv} &
+\cross{ALGFF}{inverseIntegralMatrix} \\
+\cross{ALGFF}{inverseIntegralMatrixAtInfinity} &
+\cross{ALGFF}{knownInfBasis} &
+\cross{ALGFF}{latex} \\
+\cross{ALGFF}{lcm} &
+\cross{ALGFF}{lift} &
+\cross{ALGFF}{lookup} \\
+\cross{ALGFF}{minimalPolynomial} &
+\cross{ALGFF}{multiEuclidean} &
+\cross{ALGFF}{nextItem} \\
+\cross{ALGFF}{nonSingularModel} &
+\cross{ALGFF}{norm} &
+\cross{ALGFF}{normalizeAtInfinity} \\
+\cross{ALGFF}{numberOfComponents} &
+\cross{ALGFF}{one?} &
+\cross{ALGFF}{order} \\
+\cross{ALGFF}{prime?} &
+\cross{ALGFF}{primeFrobenius} &
+\cross{ALGFF}{primitive?} \\
+\cross{ALGFF}{primitiveElement} &
+\cross{ALGFF}{primitivePart} &
+\cross{ALGFF}{principalIdeal} \\
+\cross{ALGFF}{ramified?} &
+\cross{ALGFF}{ramifiedAtInfinity?} &
+\cross{ALGFF}{random} \\
+\cross{ALGFF}{rank} &
+\cross{ALGFF}{rationalPoint?} &
+\cross{ALGFF}{rationalPoints} \\
+\cross{ALGFF}{recip} &
+\cross{ALGFF}{reduce} &
+\cross{ALGFF}{reduceBasisAtInfinity} \\
+\cross{ALGFF}{reducedSystem} &
+\cross{ALGFF}{regularRepresentation} &
+\cross{ALGFF}{representationType} \\
+\cross{ALGFF}{represents} &
+\cross{ALGFF}{retract} &
+\cross{ALGFF}{retractIfCan} \\
+\cross{ALGFF}{sample} &
+\cross{ALGFF}{singular?} &
+\cross{ALGFF}{singularAtInfinity?} \\
+\cross{ALGFF}{size} &
+\cross{ALGFF}{sizeLess?} &
+\cross{ALGFF}{squareFree} \\
+\cross{ALGFF}{squareFreePart} &
+\cross{ALGFF}{subtractIfCan} &
+\cross{ALGFF}{tableForDiscreteLogarithm} \\
+\cross{ALGFF}{trace} &
+\cross{ALGFF}{traceMatrix} &
+\cross{ALGFF}{unit?} \\
+\cross{ALGFF}{unitCanonical} &
+\cross{ALGFF}{unitNormal} &
+\cross{ALGFF}{yCoordinates} \\
+\cross{ALGFF}{zero?} &
+\cross{ALGFF}{?*?} &
+\cross{ALGFF}{?**?} \\
+\cross{ALGFF}{?+?} &
+\cross{ALGFF}{?-?} &
+\cross{ALGFF}{-?} \\
+\cross{ALGFF}{?=?} &
+\cross{ALGFF}{?\^{}?} &
+\cross{ALGFF}{?\~{}=?} \\
+\cross{ALGFF}{?/?} &
+\cross{ALGFF}{?quo?} &
+\cross{ALGFF}{?rem?} \\
+\end{tabular}
+
<<domain ALGFF AlgebraicFunctionField>>=
)abbrev domain ALGFF AlgebraicFunctionField
++ Function field defined by f(x, y) = 0
@@ -856,8 +1051,98 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports ==
Impl where
\section{domain AN AlgebraicNumber}
\pagehead{AlgebraicNumber}{AN}
\pagepic{ps/v103algebraicnumber.ps}{AN}{1.00}
-See also:\\
-\refto{InnerAlgebraicNumber}{IAN}
+{\bf See}\\
+\pageto{InnerAlgebraicNumber}{IAN}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{AN}{1} &
+\cross{AN}{0} &
+\cross{AN}{associates?} &
+\cross{AN}{belong?} \\
+\cross{AN}{box} &
+\cross{AN}{characteristic} &
+\cross{AN}{coerce} &
+\cross{AN}{convert} \\
+\cross{AN}{D} &
+\cross{AN}{definingPolynomial} &
+\cross{AN}{denom} &
+\cross{AN}{differentiate} \\
+\cross{AN}{distribute} &
+\cross{AN}{divide} &
+\cross{AN}{elt} &
+\cross{AN}{euclideanSize} \\
+\cross{AN}{eval} &
+\cross{AN}{even?} &
+\cross{AN}{expressIdealMember} &
+\cross{AN}{exquo} \\
+\cross{AN}{extendedEuclidean} &
+\cross{AN}{factor} &
+\cross{AN}{freeOf?} &
+\cross{AN}{gcd} \\
+\cross{AN}{gcdPolynomial} &
+\cross{AN}{hash} &
+\cross{AN}{height} &
+\cross{AN}{inv} \\
+\cross{AN}{is?} &
+\cross{AN}{kernel} &
+\cross{AN}{kernels} &
+\cross{AN}{latex} \\
+\cross{AN}{lcm} &
+\cross{AN}{mainKernel} &
+\cross{AN}{map} &
+\cross{AN}{max} \\
+\cross{AN}{min} &
+\cross{AN}{minPoly} &
+\cross{AN}{multiEuclidean} &
+\cross{AN}{norm} \\
+\cross{AN}{nthRoot} &
+\cross{AN}{numer} &
+\cross{AN}{odd?} &
+\cross{AN}{one?} \\
+\cross{AN}{operator} &
+\cross{AN}{operators} &
+\cross{AN}{paren} &
+\cross{AN}{prime?} \\
+\cross{AN}{principalIdeal} &
+\cross{AN}{recip} &
+\cross{AN}{reduce} &
+\cross{AN}{reducedSystem} \\
+\cross{AN}{retract} &
+\cross{AN}{retractIfCan} &
+\cross{AN}{rootOf} &
+\cross{AN}{rootsOf} \\
+\cross{AN}{sample} &
+\cross{AN}{sizeLess?} &
+\cross{AN}{sqrt} &
+\cross{AN}{squareFree} \\
+\cross{AN}{squareFreePart} &
+\cross{AN}{subst} &
+\cross{AN}{subtractIfCan} &
+\cross{AN}{tower} \\
+\cross{AN}{unit?} &
+\cross{AN}{unitCanonical} &
+\cross{AN}{unitNormal} &
+\cross{AN}{zero?} \\
+\cross{AN}{zeroOf} &
+\cross{AN}{zerosOf} &
+\cross{AN}{?*?} &
+\cross{AN}{?**?} \\
+\cross{AN}{?+?} &
+\cross{AN}{-?} &
+\cross{AN}{?-?} &
+\cross{AN}{?/?} \\
+\cross{AN}{?$<$?} &
+\cross{AN}{?$<=$?} &
+\cross{AN}{?=?} &
+\cross{AN}{?$>$?} \\
+\cross{AN}{?$>=$?} &
+\cross{AN}{?\^{}?} &
+\cross{AN}{?quo?} &
+\cross{AN}{?rem?} \\
+\cross{AN}{?\~{}=?} &&&
+\end{tabular}
+
<<domain AN AlgebraicNumber>>=
)abbrev domain AN AlgebraicNumber
++ Algebraic closure of the rational numbers
@@ -918,6 +1203,16 @@ AlgebraicNumber(): Exports == Implementation where
\section{domain ANON AnonymousFunction}
\pagehead{AnonymousFunction}{ANON}
\pagepic{ps/v103anonymousfunction.ps}{ANON}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{ANON}{coerce} &
+\cross{ANON}{hash} &
+\cross{ANON}{latex} &
+\cross{ANON}{?=?} &
+\cross{ANON}{?\~{}=?}
+\end{tabular}
+
<<domain ANON AnonymousFunction>>=
)abbrev domain ANON AnonymousFunction
++ Description:
@@ -938,9 +1233,47 @@ AnonymousFunction():SetCategory == add
\section{domain ANTISYM AntiSymm}
\pagehead{AntiSymm}{ANTISYM}
\pagepic{ps/v103antisymm.ps}{ANTISYM}{1.00}
-See also:\\
-\refto{ExtAlgBasis}{EAB}
-\refto{DeRhamComplex}{DERHAM}
+{\bf See}\\
+\pageto{ExtAlgBasis}{EAB}
+\pageto{DeRhamComplex}{DERHAM}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{ANTISYM}{1} &
+\cross{ANTISYM}{0} &
+\cross{ANTISYM}{coefficient} &
+\cross{ANTISYM}{coerce} &
+\cross{ANTISYM}{coerce} \\
+\cross{ANTISYM}{coerce} &
+\cross{ANTISYM}{degree} &
+\cross{ANTISYM}{exp} &
+\cross{ANTISYM}{hash} &
+\cross{ANTISYM}{homogeneous?} \\
+\cross{ANTISYM}{latex} &
+\cross{ANTISYM}{leadingBasisTerm} &
+\cross{ANTISYM}{leadingCoefficient} &
+\cross{ANTISYM}{map} &
+\cross{ANTISYM}{one?} \\
+\cross{ANTISYM}{recip} &
+\cross{ANTISYM}{reductum} &
+\cross{ANTISYM}{retract} &
+\cross{ANTISYM}{retractable?} &
+\cross{ANTISYM}{sample} \\
+\cross{ANTISYM}{zero?} &
+\cross{ANTISYM}{characteristic} &
+\cross{ANTISYM}{generator} &
+\cross{ANTISYM}{retractIfCan} &
+\cross{ANTISYM}{subtractIfCan} \\
+\cross{ANTISYM}{?*?} &
+\cross{ANTISYM}{?**?} &
+\cross{ANTISYM}{?+?} &
+\cross{ANTISYM}{?-?} &
+\cross{ANTISYM}{-?} \\
+\cross{ANTISYM}{?=?} &
+\cross{ANTISYM}{?\^{}?} &
+\cross{ANTISYM}{?\~{}=?} &&
+\end{tabular}
+
<<domain ANTISYM AntiSymm>>=
)abbrev domain ANTISYM AntiSymm
++ Author: Larry A. Lambe
@@ -1149,8 +1482,24 @@ AntiSymm(R:Ring, lVar:List Symbol): Export == Implement
where
\section{domain ANY Any}
\pagehead{Any}{ANY}
\pagepic{ps/v103any.ps}{ANY}{1.00}
-See also:\\
-\refto{None}{NONE}
+{\bf See}\\
+\pageto{None}{NONE}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{ANY}{any} &
+\cross{ANY}{coerce} &
+\cross{ANY}{dom} &
+\cross{ANY}{domainOf} &
+\cross{ANY}{hash} \\
+\cross{ANY}{latex} &
+\cross{ANY}{obj} &
+\cross{ANY}{objectOf} &
+\cross{ANY}{showTypeInOutput} &
+\cross{ANY}{?=?} \\
+\cross{ANY}{?\~{}=?} &&&&
+\end{tabular}
+
<<domain ANY Any>>=
)abbrev domain ANY Any
++ Author: Robert S. Sutor
@@ -1241,11 +1590,48 @@ Any(): SetCategory with
\section{domain ASTACK ArrayStack}
\pagehead{ArrayStack}{ASTACK}
\pagepic{ps/v103arraystack.ps}{ASTACK}{1.00}
-See also:\\
-\refto{Stack}{STACK}
-\refto{Queue}{QUEUE}
-\refto{Dequeue}{DEQUEUE}
-\refto{Heap}{HEAP}
+{\bf See}\\
+\pageto{Stack}{STACK}
+\pageto{Queue}{QUEUE}
+\pageto{Dequeue}{DEQUEUE}
+\pageto{Heap}{HEAP}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{ASTACK}{any?} &
+\cross{ASTACK}{arrayStack} &
+\cross{ASTACK}{bag} &
+\cross{ASTACK}{coerce} &
+\cross{ASTACK}{copy} \\
+\cross{ASTACK}{count} &
+\cross{ASTACK}{depth} &
+\cross{ASTACK}{empty} &
+\cross{ASTACK}{empty?} &
+\cross{ASTACK}{eq?} \\
+\cross{ASTACK}{eval} &
+\cross{ASTACK}{every?} &
+\cross{ASTACK}{extract!} &
+\cross{ASTACK}{hash} &
+\cross{ASTACK}{insert!} \\
+\cross{ASTACK}{inspect} &
+\cross{ASTACK}{latex} &
+\cross{ASTACK}{less?} &
+\cross{ASTACK}{map} &
+\cross{ASTACK}{map!} \\
+\cross{ASTACK}{member?} &
+\cross{ASTACK}{members} &
+\cross{ASTACK}{more?} &
+\cross{ASTACK}{parts} &
+\cross{ASTACK}{pop!} \\
+\cross{ASTACK}{push!} &
+\cross{ASTACK}{sample} &
+\cross{ASTACK}{size?} &
+\cross{ASTACK}{top} &
+\cross{ASTACK}{\#{}?} \\
+\cross{ASTACK}{?\~{}=?} &
+\cross{ASTACK}{?=?} &&&
+\end{tabular}
+
<<domain ASTACK ArrayStack>>=
)abbrev domain ASTACK ArrayStack
++ Author: Michael Monagan and Stephen Watt
@@ -1308,6 +1694,15 @@ ArrayStack(S:SetCategory): StackAggregate(S) with
\section{domain ASP1 Asp1}
\pagehead{Asp1}{ASP1}
\pagepic{ps/v103asp1.ps}{ASP1}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP1}{coerce} &
+\cross{ASP1}{outputAsFortran} &
+\cross{ASP1}{retract} &
+\cross{ASP1}{retractIfCan}
+\end{tabular}
+
<<domain ASP1 Asp1>>=
)abbrev domain ASP1 Asp1
++ Author: Mike Dewar, Grant Keady, Godfrey Nolan
@@ -1425,6 +1820,15 @@ Asp1(name): Exports == Implementation where
\section{domain ASP10 Asp10}
\pagehead{Asp10}{ASP10}
\pagepic{ps/v103asp10.ps}{ASP10}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP10}{coerce} &
+\cross{ASP10}{outputAsFortran} &
+\cross{ASP10}{retract} &
+\cross{ASP10}{retractIfCan}
+\end{tabular}
+
<<domain ASP10 Asp10>>=
)abbrev domain ASP10 Asp10
++ Author: Mike Dewar and Godfrey Nolan
@@ -1572,6 +1976,13 @@ Asp10(name): Exports == Implementation where
\section{domain ASP12 Asp12}
\pagehead{Asp12}{ASP12}
\pagepic{ps/v103asp12.ps}{ASP12}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ASP12}{coerce} &
+\cross{ASP12}{outputAsFortran}
+\end{tabular}
+
<<domain ASP12 Asp12>>=
)abbrev domain ASP12 Asp12
++ Author: Mike Dewar and Godfrey Nolan
@@ -1648,6 +2059,15 @@ Asp12(name): Exports == Implementation where
\section{domain ASP19 Asp19}
\pagehead{Asp19}{ASP19}
\pagepic{ps/v103asp19.ps}{ASP19}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP19}{coerce} &
+\cross{ASP19}{outputAsFortran} &
+\cross{ASP19}{retract} &
+\cross{ASP19}{retractIfCan}
+\end{tabular}
+
<<domain ASP19 Asp19>>=
)abbrev domain ASP19 Asp19
++ Author: Mike Dewar, Godfrey Nolan, Grant Keady
@@ -1929,6 +2349,15 @@ Asp19(name): Exports == Implementation where
\section{domain ASP20 Asp20}
\pagehead{Asp20}{ASP20}
\pagepic{ps/v103asp20.ps}{ASP20}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP20}{coerce} &
+\cross{ASP20}{outputAsFortran} &
+\cross{ASP20}{retract} &
+\cross{ASP20}{retractIfCan}
+\end{tabular}
+
<<domain ASP20 Asp20>>=
)abbrev domain ASP20 Asp20
++ Author: Mike Dewar and Godfrey Nolan and Grant Keady
@@ -2102,6 +2531,15 @@ Asp20(name): Exports == Implementation where
\section{domain ASP24 Asp24}
\pagehead{Asp24}{ASP24}
\pagepic{ps/v103asp24.ps}{ASP24}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP20}{coerce} &
+\cross{ASP20}{outputAsFortran} &
+\cross{ASP20}{retract} &
+\cross{ASP20}{retractIfCan}
+\end{tabular}
+
<<domain ASP24 Asp24>>=
)abbrev domain ASP24 Asp24
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -2226,6 +2664,13 @@ Asp24(name): Exports == Implementation where
\section{domain ASP27 Asp27}
\pagehead{Asp27}{ASP27}
\pagepic{ps/v103asp27.ps}{ASP27}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ASP27}{coerce} &
+\cross{ASP27}{outputAsFortran}
+\end{tabular}
+
<<domain ASP27 Asp27>>=
)abbrev domain ASP27 Asp27
++ Author: Mike Dewar and Godfrey Nolan
@@ -2332,6 +2777,13 @@ Asp27(name): Exports == Implementation where
\section{domain ASP28 Asp28}
\pagehead{Asp28}{ASP28}
\pagepic{ps/v103asp28.ps}{ASP28}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{ASP28}{coerce} &
+\cross{ASP28}{outputAsFortran}
+\end{tabular}
+
<<domain ASP28 Asp28>>=
)abbrev domain ASP28 Asp28
++ Author: Mike Dewar
@@ -2549,6 +3001,13 @@ Asp28(name): Exports == Implementation where
\section{domain ASP29 Asp29}
\pagehead{Asp29}{ASP29}
\pagepic{ps/v103asp29.ps}{ASP29}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ASP29}{coerce} &
+\cross{ASP29}{outputAsFortran}
+\end{tabular}
+
<<domain ASP29 Asp29>>=
)abbrev domain ASP29 Asp29
++ Author: Mike Dewar and Godfrey Nolan
@@ -2629,6 +3088,13 @@ Asp29(name): Exports == Implementation where
\section{domain ASP30 Asp30}
\pagehead{Asp30}{ASP30}
\pagepic{ps/v103asp30.ps}{ASP30}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ASP30}{coerce} &
+\cross{ASP30}{outputAsFortran}
+\end{tabular}
+
<<domain ASP30 Asp30>>=
)abbrev domain ASP30 Asp30
++ Author: Mike Dewar and Godfrey Nolan
@@ -2765,6 +3231,15 @@ Asp30(name): Exports == Implementation where
\section{domain ASP31 Asp31}
\pagehead{Asp31}{ASP31}
\pagepic{ps/v103asp31.ps}{ASP31}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP31}{coerce} &
+\cross{ASP31}{outputAsFortran} &
+\cross{ASP31}{retract} &
+\cross{ASP31}{retractIfCan}
+\end{tabular}
+
<<domain ASP31 Asp31>>=
)abbrev domain ASP31 Asp31
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -2935,6 +3410,13 @@ Asp31(name): Exports == Implementation where
\section{domain ASP33 Asp33}
\pagehead{Asp33}{ASP33}
\pagepic{ps/v103asp33.ps}{ASP33}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ASP33}{coerce} &
+\cross{ASP33}{outputAsFortran}
+\end{tabular}
+
<<domain ASP33 Asp33>>=
)abbrev domain ASP33 Asp33
++ Author: Mike Dewar and Godfrey Nolan
@@ -2995,6 +3477,13 @@ Asp33(name): Exports == Implementation where
\section{domain ASP34 Asp34}
\pagehead{Asp34}{ASP34}
\pagepic{ps/v103asp34.ps}{ASP34}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ASP34}{coerce} &
+\cross{ASP34}{outputAsFortran}
+\end{tabular}
+
<<domain ASP34 Asp34>>=
)abbrev domain ASP34 Asp34
++ Author: Mike Dewar and Godfrey Nolan
@@ -3103,6 +3592,15 @@ Asp34(name): Exports == Implementation where
\section{domain ASP35 Asp35}
\pagehead{Asp35}{ASP35}
\pagepic{ps/v103asp35.ps}{ASP35}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP35}{coerce} &
+\cross{ASP35}{outputAsFortran} &
+\cross{ASP35}{retract} &
+\cross{ASP35}{retractIfCan}
+\end{tabular}
+
<<domain ASP35 Asp35>>=
)abbrev domain ASP35 Asp35
++ Author: Mike Dewar, Godfrey Nolan, Grant Keady
@@ -3283,6 +3781,15 @@ Asp35(name): Exports == Implementation where
\section{domain ASP4 Asp4}
\pagehead{Asp4}{ASP4}
\pagepic{ps/v103asp4.ps}{ASP4}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{ASP4}{coerce} &
+\cross{ASP4}{outputAsFortran} &
+\cross{ASP4}{retract} &
+\cross{ASP4}{retractIfCan} &
+\end{tabular}
+
<<domain ASP4 Asp4>>=
)abbrev domain ASP4 Asp4
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -3401,6 +3908,15 @@ Asp4(name): Exports == Implementation where
\section{domain ASP41 Asp41}
\pagehead{Asp41}{ASP41}
\pagepic{ps/v103asp41.ps}{ASP41}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP41}{coerce} &
+\cross{ASP41}{outputAsFortran} &
+\cross{ASP41}{retract} &
+\cross{ASP41}{retractIfCan}
+\end{tabular}
+
<<domain ASP41 Asp41>>=
)abbrev domain ASP41 Asp41
++ Author: Mike Dewar, Godfrey Nolan
@@ -3629,6 +4145,15 @@ Asp41(nameOne,nameTwo,nameThree): Exports ==
Implementation where
\section{domain ASP42 Asp42}
\pagehead{Asp42}{ASP42}
\pagepic{ps/v103asp42.ps}{ASP42}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP42}{coerce} &
+\cross{ASP42}{outputAsFortran} &
+\cross{ASP42}{retract} &
+\cross{ASP42}{retractIfCan}
+\end{tabular}
+
<<domain ASP42 Asp42>>=
)abbrev domain ASP42 Asp42
++ Author: Mike Dewar, Godfrey Nolan
@@ -3877,6 +4402,15 @@ Asp42(nameOne,nameTwo,nameThree): Exports ==
Implementation where
\section{domain ASP49 Asp49}
\pagehead{Asp49}{ASP49}
\pagepic{ps/v103asp49.ps}{ASP49}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP49}{coerce} &
+\cross{ASP49}{outputAsFortran} &
+\cross{ASP49}{retract} &
+\cross{ASP49}{retractIfCan}
+\end{tabular}
+
<<domain ASP49 Asp49>>=
)abbrev domain ASP49 Asp49
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -4031,6 +4565,15 @@ Asp49(name): Exports == Implementation where
\section{domain ASP50 Asp50}
\pagehead{Asp50}{ASP50}
\pagepic{ps/v103asp50.ps}{ASP50}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP50}{coerce} &
+\cross{ASP50}{outputAsFortran} &
+\cross{ASP50}{retract} &
+\cross{ASP50}{retractIfCan}
+\end{tabular}
+
<<domain ASP50 Asp50>>=
)abbrev domain ASP50 Asp50
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -4201,6 +4744,15 @@ Asp50(name): Exports == Implementation where
\section{domain ASP55 Asp55}
\pagehead{Asp55}{ASP55}
\pagepic{ps/v103asp55.ps}{ASP55}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP55}{coerce} &
+\cross{ASP55}{outputAsFortran} &
+\cross{ASP55}{retract} &
+\cross{ASP55}{retractIfCan}
+\end{tabular}
+
<<domain ASP55 Asp55>>=
)abbrev domain ASP55 Asp55
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -4414,6 +4966,15 @@ Asp55(name): Exports == Implementation where
\section{domain ASP6 Asp6}
\pagehead{Asp6}{ASP6}
\pagepic{ps/v103asp6.ps}{ASP6}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP6}{coerce} &
+\cross{ASP6}{outputAsFortran} &
+\cross{ASP6}{retract} &
+\cross{ASP6}{retractIfCan}
+\end{tabular}
+
<<domain ASP6 Asp6>>=
)abbrev domain ASP6 Asp6
++ Author: Mike Dewar and Godfrey Nolan and Grant Keady
@@ -4570,6 +5131,15 @@ Asp6(name): Exports == Implementation where
\section{domain ASP7 Asp7}
\pagehead{Asp7}{ASP7}
\pagepic{ps/v103asp7.ps}{ASP7}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP7}{coerce} &
+\cross{ASP7}{outputAsFortran} &
+\cross{ASP7}{retract} &
+\cross{ASP7}{retractIfCan}
+\end{tabular}
+
<<domain ASP7 Asp7>>=
)abbrev domain ASP7 Asp7
++ Author: Mike Dewar and Godfrey Nolan and Grant Keady
@@ -4712,6 +5282,15 @@ Asp7(name): Exports == Implementation where
\section{domain ASP73 Asp73}
\pagehead{Asp73}{ASP73}
\pagepic{ps/v103asp73.ps}{ASP73}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP73}{coerce} &
+\cross{ASP73}{outputAsFortran} &
+\cross{ASP73}{retract} &
+\cross{ASP73}{retractIfCan}
+\end{tabular}
+
<<domain ASP73 Asp73>>=
)abbrev domain ASP73 Asp73
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -4866,6 +5445,15 @@ Asp73(name): Exports == Implementation where
\section{domain ASP74 Asp74}
\pagehead{Asp74}{ASP74}
\pagepic{ps/v103asp74.ps}{ASP74}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP74}{coerce} &
+\cross{ASP74}{outputAsFortran} &
+\cross{ASP74}{retract} &
+\cross{ASP74}{retractIfCan}
+\end{tabular}
+
<<domain ASP74 Asp74>>=
)abbrev domain ASP74 Asp74
++ Author: Mike Dewar and Godfrey Nolan
@@ -5061,6 +5649,15 @@ Asp74(name): Exports == Implementation where
\section{domain ASP77 Asp77}
\pagehead{Asp77}{ASP77}
\pagepic{ps/v103asp77.ps}{ASP77}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP77}{coerce} &
+\cross{ASP77}{outputAsFortran} &
+\cross{ASP77}{retract} &
+\cross{ASP77}{retractIfCan}
+\end{tabular}
+
<<domain ASP77 Asp77>>=
)abbrev domain ASP77 Asp77
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -5221,6 +5818,15 @@ Asp77(name): Exports == Implementation where
\section{domain ASP78 Asp78}
\pagehead{Asp78}{ASP78}
\pagepic{ps/v103asp78.ps}{ASP78}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP78}{coerce} &
+\cross{ASP78}{outputAsFortran} &
+\cross{ASP78}{retract} &
+\cross{ASP78}{retractIfCan}
+\end{tabular}
+
<<domain ASP78 Asp78>>=
)abbrev domain ASP78 Asp78
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -5356,6 +5962,13 @@ Asp78(name): Exports == Implementation where
\section{domain ASP8 Asp8}
\pagehead{Asp8}{ASP8}
\pagepic{ps/v103asp8.ps}{ASP8}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{ASP8}{coerce} &
+\cross{ASP8}{outputAsFortran}
+\end{tabular}
+
<<domain ASP8 Asp8>>=
)abbrev domain ASP8 Asp8
++ Author: Godfrey Nolan and Mike Dewar
@@ -5492,6 +6105,15 @@ Asp8(name): Exports == Implementation where
\section{domain ASP80 Asp80}
\pagehead{Asp80}{ASP80}
\pagepic{ps/v103asp80.ps}{ASP80}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP80}{coerce} &
+\cross{ASP80}{outputAsFortran} &
+\cross{ASP80}{retract} &
+\cross{ASP80}{retractIfCan}
+\end{tabular}
+
<<domain ASP80 Asp80>>=
)abbrev domain ASP80 Asp80
++ Author: Mike Dewar and Godfrey Nolan
@@ -5650,6 +6272,15 @@ Asp80(name): Exports == Implementation where
\section{domain ASP9 Asp9}
\pagehead{Asp9}{ASP9}
\pagepic{ps/v103asp9.ps}{ASP9}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ASP9}{coerce} &
+\cross{ASP9}{outputAsFortran} &
+\cross{ASP9}{retract} &
+\cross{ASP9}{retractIfCan}
+\end{tabular}
+
<<domain ASP9 Asp9>>=
)abbrev domain ASP9 Asp9
++ Author: Mike Dewar, Grant Keady and Godfrey Nolan
@@ -5787,9 +6418,84 @@ Asp9(name): Exports == Implementation where
\section{domain JORDAN AssociatedJordanAlgebra}
\pagehead{AssociatedJordanAlgebra}{JORDAN}
\pagepic{ps/v103associatedjordanalgebra.ps}{JORDAN}{1.00}
-See also:\\
-\refto{AssociatedLieAlgebra}{LIE}
-\refto{LieSquareMatrix}{LSQM}
+{\bf See}\\
+\pageto{AssociatedLieAlgebra}{LIE}
+\pageto{LieSquareMatrix}{LSQM}
+
+{\bf Exports:}\\
+\begin{tabular}{ll}
+\cross{JORDAN}{0} &
+\cross{JORDAN}{alternative?} \\
+\cross{JORDAN}{antiAssociative?} &
+\cross{JORDAN}{antiCommutative?} \\
+\cross{JORDAN}{antiCommutator} &
+\cross{JORDAN}{apply} \\
+\cross{JORDAN}{associative?} &
+\cross{JORDAN}{associator} \\
+\cross{JORDAN}{associatorDependence} &
+\cross{JORDAN}{basis} \\
+\cross{JORDAN}{coerce} &
+\cross{JORDAN}{commutative?} \\
+\cross{JORDAN}{commutator} &
+\cross{JORDAN}{conditionsForIdempotents} \\
+\cross{JORDAN}{convert} &
+\cross{JORDAN}{coordinates} \\
+\cross{JORDAN}{flexible?} &
+\cross{JORDAN}{hash} \\
+\cross{JORDAN}{jacobiIdentity?} &
+\cross{JORDAN}{jordanAdmissible?} \\
+\cross{JORDAN}{jordanAlgebra?} &
+\cross{JORDAN}{latex} \\
+\cross{JORDAN}{leftAlternative?} &
+\cross{JORDAN}{leftCharacteristicPolynomial} \\
+\cross{JORDAN}{leftDiscriminant} &
+\cross{JORDAN}{leftMinimalPolynomial} \\
+\cross{JORDAN}{leftNorm} &
+\cross{JORDAN}{leftPower} \\
+\cross{JORDAN}{leftRankPolynomial} &
+\cross{JORDAN}{leftRecip} \\
+\cross{JORDAN}{leftRegularRepresentation} &
+\cross{JORDAN}{leftTrace} \\
+\cross{JORDAN}{leftTraceMatrix} &
+\cross{JORDAN}{leftUnit} \\
+\cross{JORDAN}{leftUnits} &
+\cross{JORDAN}{lieAdmissible?} \\
+\cross{JORDAN}{lieAlgebra?} &
+\cross{JORDAN}{noncommutativeJordanAlgebra?} \\
+\cross{JORDAN}{plenaryPower} &
+\cross{JORDAN}{powerAssociative?} \\
+\cross{JORDAN}{rank} &
+\cross{JORDAN}{recip} \\
+\cross{JORDAN}{represents} &
+\cross{JORDAN}{rightAlternative?} \\
+\cross{JORDAN}{rightCharacteristicPolynomial} &
+\cross{JORDAN}{rightDiscriminant} \\
+\cross{JORDAN}{rightMinimalPolynomial} &
+\cross{JORDAN}{rightNorm} \\
+\cross{JORDAN}{rightPower} &
+\cross{JORDAN}{rightRankPolynomial} \\
+\cross{JORDAN}{rightRecip} &
+\cross{JORDAN}{rightRegularRepresentation} \\
+\cross{JORDAN}{rightTrace} &
+\cross{JORDAN}{rightTraceMatrix} \\
+\cross{JORDAN}{rightUnit} &
+\cross{JORDAN}{rightUnits} \\
+\cross{JORDAN}{sample} &
+\cross{JORDAN}{someBasis} \\
+\cross{JORDAN}{structuralConstants} &
+\cross{JORDAN}{subtractIfCan} \\
+\cross{JORDAN}{unit} &
+\cross{JORDAN}{zero?} \\
+\cross{JORDAN}{?*?} &
+\cross{JORDAN}{?**?} \\
+\cross{JORDAN}{?+?} &
+\cross{JORDAN}{?-?} \\
+\cross{JORDAN}{-?} &
+\cross{JORDAN}{?=?} \\
+\cross{JORDAN}{?\~{}=?} &
+\cross{JORDAN}{?.?}
+\end{tabular}
+
<<domain JORDAN AssociatedJordanAlgebra>>=
)abbrev domain JORDAN AssociatedJordanAlgebra
++ Author: J. Grabmeier
@@ -5859,9 +6565,86 @@
AssociatedJordanAlgebra(R:CommutativeRing,A:NonAssociativeAlgebra R):
\section{domain LIE AssociatedLieAlgebra}
\pagehead{AssociatedLieAlgebra}{LIE}
\pagepic{ps/v103associatedliealgebra.ps}{LIE}{1.00}
-See also:\\
-\refto{AssociatedJordanAlgebra}{JORDAN}
-\refto{LieSquareMatrix}{LSQM}
+{\bf See}\\
+\pageto{AssociatedJordanAlgebra}{JORDAN}
+\pageto{LieSquareMatrix}{LSQM}
+
+{\bf Exports:}\\
+\begin{tabular}{lll}
+\cross{LIE}{0} &
+\cross{LIE}{alternative?} &
+\cross{LIE}{antiAssociative?} \\
+\cross{LIE}{antiCommutative?} &
+\cross{LIE}{antiCommutator} &
+\cross{LIE}{apply} \\
+\cross{LIE}{associative?} &
+\cross{LIE}{associator} &
+\cross{LIE}{associatorDependence} \\
+\cross{LIE}{basis} &
+\cross{LIE}{coerce} &
+\cross{LIE}{commutative?} \\
+\cross{LIE}{commutator} &
+\cross{LIE}{conditionsForIdempotents} &
+\cross{LIE}{convert} \\
+\cross{LIE}{coordinates} &
+\cross{LIE}{flexible?} &
+\cross{LIE}{hash} \\
+\cross{LIE}{jacobiIdentity?} &
+\cross{LIE}{jordanAdmissible?} &
+\cross{LIE}{jordanAlgebra?} \\
+\cross{LIE}{latex} &
+\cross{LIE}{leftAlternative?} &
+\cross{LIE}{leftCharacteristicPolynomial} \\
+\cross{LIE}{leftDiscriminant} &
+\cross{LIE}{leftMinimalPolynomial} &
+\cross{LIE}{leftNorm} \\
+\cross{LIE}{leftPower} &
+\cross{LIE}{leftRankPolynomial} &
+\cross{LIE}{leftRecip} \\
+\cross{LIE}{leftRegularRepresentation} &
+\cross{LIE}{leftTrace} &
+\cross{LIE}{leftTraceMatrix} \\
+\cross{LIE}{leftUnit} &
+\cross{LIE}{leftUnits} &
+\cross{LIE}{lieAdmissible?} \\
+\cross{LIE}{lieAlgebra?} &
+\cross{LIE}{noncommutativeJordanAlgebra?} &
+\cross{LIE}{plenaryPower} \\
+\cross{LIE}{powerAssociative?} &
+\cross{LIE}{rank} &
+\cross{LIE}{recip} \\
+\cross{LIE}{represents} &
+\cross{LIE}{represents} &
+\cross{LIE}{rightAlternative?} \\
+\cross{LIE}{rightCharacteristicPolynomial} &
+\cross{LIE}{rightDiscriminant} &
+\cross{LIE}{rightMinimalPolynomial} \\
+\cross{LIE}{rightNorm} &
+\cross{LIE}{rightPower} &
+\cross{LIE}{rightRankPolynomial} \\
+\cross{LIE}{rightRecip} &
+\cross{LIE}{rightRegularRepresentation} &
+\cross{LIE}{rightTrace} \\
+\cross{LIE}{rightTraceMatrix} &
+\cross{LIE}{rightUnit} &
+\cross{LIE}{rightUnits} \\
+\cross{LIE}{sample} &
+\cross{LIE}{someBasis} &
+\cross{LIE}{structuralConstants} \\
+\cross{LIE}{structuralConstants} &
+\cross{LIE}{subtractIfCan} &
+\cross{LIE}{unit} \\
+\cross{LIE}{zero?} &
+\cross{LIE}{?*?} &
+\cross{LIE}{?**?} \\
+\cross{LIE}{?+?} &
+\cross{LIE}{?-?} &
+\cross{LIE}{-?} \\
+\cross{LIE}{?=?} &
+\cross{LIE}{?\~{}=?} &
+\cross{LIE}{?.?}
+\end{tabular}
+
<<domain LIE AssociatedLieAlgebra>>=
)abbrev domain LIE AssociatedLieAlgebra
++ Author: J. Grabmeier
@@ -6114,9 +6897,123 @@ o )show AssociationList
@
\pagehead{AssociationList}{ALIST}
\pagepic{ps/v103associationlist.ps}{ALIST}{1.00}
-See also:\\
-\refto{IndexedList}{ILIST}
-\refto{List}{LIST}
+{\bf See}\\
+\pageto{IndexedList}{ILIST}
+\pageto{List}{LIST}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{ALIST}{any?} &
+\cross{ALIST}{assoc} &
+\cross{ALIST}{bag} &
+\cross{ALIST}{child?} &
+\cross{ALIST}{children} \\
+\cross{ALIST}{coerce} &
+\cross{ALIST}{concat} &
+\cross{ALIST}{concat!} &
+\cross{ALIST}{construct} &
+\cross{ALIST}{convert} \\
+\cross{ALIST}{copy} &
+\cross{ALIST}{copyInto!} &
+\cross{ALIST}{count} &
+\cross{ALIST}{cycleEntry} &
+\cross{ALIST}{cycleLength} \\
+\cross{ALIST}{cycleSplit!} &
+\cross{ALIST}{cycleTail} &
+\cross{ALIST}{cyclic?} &
+\cross{ALIST}{delete} &
+\cross{ALIST}{delete!} \\
+\cross{ALIST}{dictionary} &
+\cross{ALIST}{distance} &
+\cross{ALIST}{elt} &
+\cross{ALIST}{empty} &
+\cross{ALIST}{empty?} \\
+\cross{ALIST}{entries} &
+\cross{ALIST}{entry?} &
+\cross{ALIST}{eq?} &
+\cross{ALIST}{eval} &
+\cross{ALIST}{every?} \\
+\cross{ALIST}{explicitlyFinite?} &
+\cross{ALIST}{extract!} &
+\cross{ALIST}{fill!} &
+\cross{ALIST}{find} &
+\cross{ALIST}{first} \\
+\cross{ALIST}{hash} &
+\cross{ALIST}{index?} &
+\cross{ALIST}{indices} &
+\cross{ALIST}{insert} &
+\cross{ALIST}{insert!} \\
+\cross{ALIST}{inspect} &
+\cross{ALIST}{key?} &
+\cross{ALIST}{keys} &
+\cross{ALIST}{last} &
+\cross{ALIST}{latex} \\
+\cross{ALIST}{leaf?} &
+\cross{ALIST}{leaves} &
+\cross{ALIST}{less?} &
+\cross{ALIST}{list} &
+\cross{ALIST}{map} \\
+\cross{ALIST}{map!} &
+\cross{ALIST}{max} &
+\cross{ALIST}{maxIndex} &
+\cross{ALIST}{member?} &
+\cross{ALIST}{members} \\
+\cross{ALIST}{merge} &
+\cross{ALIST}{merge!} &
+\cross{ALIST}{min} &
+\cross{ALIST}{minIndex} &
+\cross{ALIST}{more?} \\
+\cross{ALIST}{new} &
+\cross{ALIST}{node?} &
+\cross{ALIST}{nodes} &
+\cross{ALIST}{parts} &
+\cross{ALIST}{position} \\
+\cross{ALIST}{possiblyInfinite?} &
+\cross{ALIST}{qelt} &
+\cross{ALIST}{qsetelt!} &
+\cross{ALIST}{reduce} &
+\cross{ALIST}{remove} \\
+\cross{ALIST}{remove!} &
+\cross{ALIST}{removeDuplicates} &
+\cross{ALIST}{removeDuplicates!} &
+\cross{ALIST}{rest} &
+\cross{ALIST}{reverse} \\
+\cross{ALIST}{reverse!} &
+\cross{ALIST}{sample} &
+\cross{ALIST}{search} &
+\cross{ALIST}{second} &
+\cross{ALIST}{select} \\
+\cross{ALIST}{select!} &
+\cross{ALIST}{setchildren!} &
+\cross{ALIST}{setelt} &
+\cross{ALIST}{setfirst!} &
+\cross{ALIST}{setlast!} \\
+\cross{ALIST}{setrest!} &
+\cross{ALIST}{setvalue!} &
+\cross{ALIST}{size?} &
+\cross{ALIST}{sort} &
+\cross{ALIST}{sort!} \\
+\cross{ALIST}{sorted?} &
+\cross{ALIST}{split!} &
+\cross{ALIST}{swap!} &
+\cross{ALIST}{table} &
+\cross{ALIST}{tail} \\
+\cross{ALIST}{third} &
+\cross{ALIST}{value} &
+\cross{ALIST}{\#{}?} &
+\cross{ALIST}{?$<$?} &
+\cross{ALIST}{?$<=$?} \\
+\cross{ALIST}{?=?} &
+\cross{ALIST}{?$>$?} &
+\cross{ALIST}{?$>=$?} &
+\cross{ALIST}{?\~{}=?} &
+\cross{ALIST}{?.rest} \\
+\cross{ALIST}{?.value} &
+\cross{ALIST}{?.first} &
+\cross{ALIST}{?.last} &
+\cross{ALIST}{?.?} &
+\end{tabular}
+
<<domain ALIST AssociationList>>=
)abbrev domain ALIST AssociationList
++ Author:
@@ -6209,6 +7106,22 @@ AssociationList(Key:SetCategory, Entry:SetCategory):
\section{domain ATTRBUT AttributeButtons}
\pagehead{AttributeButtons}{ATTRBUT}
\pagepic{ps/v103attributebuttons.ps}{ATTRBUT}{1.00}
+
+{\bf Exports:}\\
+\begin{tabular}{llll}
+\cross{ATTRBUT}{coerce} &
+\cross{ATTRBUT}{decrease} &
+\cross{ATTRBUT}{getButtonValue} &
+\cross{ATTRBUT}{hash} \\
+\cross{ATTRBUT}{increase} &
+\cross{ATTRBUT}{latex} &
+\cross{ATTRBUT}{resetAttributeButtons} &
+\cross{ATTRBUT}{setAttributeButtonStep} \\
+\cross{ATTRBUT}{setButtonValue} &
+\cross{ATTRBUT}{?\~{}=?} &
+\cross{ATTRBUT}{?=?}
+\end{tabular}
+
<<domain ATTRBUT AttributeButtons>>=
)abbrev domain ATTRBUT AttributeButtons
++ Author: Brian Dupee
@@ -6431,9 +7344,32 @@ AttributeButtons(): E == I where
\section{domain AUTOMOR Automorphism}
\pagehead{Automorphism}{AUTOMOR}
\pagepic{ps/v103automorphism.ps}{AUTOMOR}{1.00}
-See also:\\
-\refto{SparseUnivariateSkewPolynomial}{ORESUP}
-\refto{UnivariateSkewPolynomial}{OREUP}
+{\bf See}\\
+\pageto{SparseUnivariateSkewPolynomial}{ORESUP}
+\pageto{UnivariateSkewPolynomial}{OREUP}
+
+{\bf Exports:}\\
+\begin{tabular}{lllll}
+\cross{AUTOMOR}{1} &
+\cross{AUTOMOR}{coerce} &
+\cross{AUTOMOR}{commutator} &
+\cross{AUTOMOR}{conjugate} &
+\cross{AUTOMOR}{hash} \\
+\cross{AUTOMOR}{inv} &
+\cross{AUTOMOR}{latex} &
+\cross{AUTOMOR}{morphism} &
+\cross{AUTOMOR}{one?} &
+\cross{AUTOMOR}{recip} \\
+\cross{AUTOMOR}{sample} &
+\cross{AUTOMOR}{?\~{}=?} &
+\cross{AUTOMOR}{?**?} &
+\cross{AUTOMOR}{?\^{}?} &
+\cross{AUTOMOR}{?.?} \\
+\cross{AUTOMOR}{?*?} &
+\cross{AUTOMOR}{?/?} &
+\cross{AUTOMOR}{?=?} &&
+\end{tabular}
+
<<domain AUTOMOR Automorphism>>=
)abbrev domain AUTOMOR Automorphism
++ Author: Manuel Bronstein
@@ -6691,12 +7627,12 @@ o )show BalancedBinaryTree
@
\pagehead{BalancedBinaryTree}{BBTREE}
\pagepic{ps/v103balancedbinarytree.ps}{BBTREE}{1.00}
-See also:\\
-\refto{Tree}{TREE}
-\refto{BinaryTree}{BTREE}
-\refto{BinarySearchTree}{BSTREE}
-\refto{BinaryTournament}{BTOURN}
-\refto{PendantTree}{PENDTREE}
+{\bf See}\\
+\pageto{Tree}{TREE}
+\pageto{BinaryTree}{BTREE}
+\pageto{BinarySearchTree}{BSTREE}
+\pageto{BinaryTournament}{BTOURN}
+\pageto{PendantTree}{PENDTREE}
<<domain BBTREE BalancedBinaryTree>>=
)abbrev domain BBTREE BalancedBinaryTree
++ Description: \spadtype{BalancedBinaryTree(S)} is the domain of balanced
@@ -6860,12 +7796,12 @@ BalancedBinaryTree(S: SetCategory): Exports ==
Implementation where
\section{domain BPADIC BalancedPAdicInteger}
\pagehead{BalancedPAdicInteger}{BPADIC}
\pagepic{ps/v103balancedpadicinteger.ps}{BPADIC}{1.00}
-See also:\\
-\refto{InnerPAdicInteger}{IPADIC}
-\refto{PAdicInteger}{PADIC}
-\refto{PAdicRationalConstructor}{PADICRC}
-\refto{PAdicRational}{PADICRAT}
-\refto{BalancedPAdicRational}{BPADICRT}
+{\bf See}\\
+\pageto{InnerPAdicInteger}{IPADIC}
+\pageto{PAdicInteger}{PADIC}
+\pageto{PAdicRationalConstructor}{PADICRC}
+\pageto{PAdicRational}{PADICRAT}
+\pageto{BalancedPAdicRational}{BPADICRT}
<<domain BPADIC BalancedPAdicInteger>>=
)abbrev domain BPADIC BalancedPAdicInteger
++ Author: Clifton J. Williamson
@@ -6894,12 +7830,12 @@ BalancedPAdicInteger(p:Integer) ==
InnerPAdicInteger(p,false$Boolean)
\section{domain BPADICRT BalancedPAdicRational}
\pagehead{BalancedPAdicRational}{BPADICRT}
\pagepic{ps/v103balancedpadicrational.ps}{BPADICRT}{1.00}
-See also:\\
-\refto{InnerPAdicInteger}{IPADIC}
-\refto{PAdicInteger}{PADIC}
-\refto{BalancedPAdicInteger}{BPADIC}
-\refto{PAdicRationalConstructor}{PADICRC}
-\refto{PAdicRational}{PADICRAT}
+{\bf See}\\
+\pageto{InnerPAdicInteger}{IPADIC}
+\pageto{PAdicInteger}{PADIC}
+\pageto{BalancedPAdicInteger}{BPADIC}
+\pageto{PAdicRationalConstructor}{PADICRC}
+\pageto{PAdicRational}{PADICRAT}
<<domain BPADICRT BalancedPAdicRational>>=
)abbrev domain BPADICRT BalancedPAdicRational
++ Author: Clifton J. Williamson
@@ -7659,10 +8595,10 @@ o )show BinaryExpansion
@
\pagehead{BinaryExpansion}{BINARY}
\pagepic{ps/v103binaryexpansion.ps}{BINARY}{1.00}
-See also:\\
-\refto{RadixExpansion}{RADIX}
-\refto{DecimalExpansion}{DECIMAL}
-\refto{HexadecimalExpansion}{HEXADEC}
+{\bf See}\\
+\pageto{RadixExpansion}{RADIX}
+\pageto{DecimalExpansion}{DECIMAL}
+\pageto{HexadecimalExpansion}{HEXADEC}
<<domain BINARY BinaryExpansion>>=
)abbrev domain BINARY BinaryExpansion
++ Author: Clifton J. Williamson
@@ -7707,11 +8643,11 @@ BinaryExpansion(): Exports == Implementation where
\section{domain BINFILE BinaryFile}
\pagehead{BinaryFile}{BINFILE}
\pagepic{ps/v103binaryfile.ps}{BINFILE}{1.00}
-See also:\\
-\refto{File}{FILE}
-\refto{TextFile}{TEXTFILE}
-\refto{KeyedAccessFile}{KAFILE}
-\refto{Library}{LIB}
+{\bf See}\\
+\pageto{File}{FILE}
+\pageto{TextFile}{TEXTFILE}
+\pageto{KeyedAccessFile}{KAFILE}
+\pageto{Library}{LIB}
<<domain BINFILE BinaryFile>>=
)abbrev domain BINFILE BinaryFile
++ Author: Barry M. Trager
@@ -8030,12 +8966,12 @@ o )show BinarySearchTree
@
\pagehead{BinarySearchTree}{BSTREE}
\pagepic{ps/v103binarysearchtree.ps}{BSTREE}{1.00}
-See also:\\
-\refto{Tree}{TREE}
-\refto{BinaryTree}{BTREE}
-\refto{BinaryTournament}{BTOURN}
-\refto{BalancedBinaryTree}{BBTREE}
-\refto{PendantTree}{PENDTREE}
+{\bf See}\\
+\pageto{Tree}{TREE}
+\pageto{BinaryTree}{BTREE}
+\pageto{BinaryTournament}{BTOURN}
+\pageto{BalancedBinaryTree}{BBTREE}
+\pageto{PendantTree}{PENDTREE}
<<domain BSTREE BinarySearchTree>>=
)abbrev domain BSTREE BinarySearchTree
++ Description: BinarySearchTree(S) is the domain of
@@ -8112,12 +9048,12 @@ node containing a value of type S, and a right and a
left which are
both BinaryTree(S)
\pagehead{BinaryTournament}{BTOURN}
\pagepic{ps/v103binarytournament.ps}{BTOURN}{1.00}
-See also:\\
-\refto{Tree}{TREE}
-\refto{BinaryTree}{BTREE}
-\refto{BinarySearchTree}{BSTREE}
-\refto{BalancedBinaryTree}{BBTREE}
-\refto{PendantTree}{PENDTREE}
+{\bf See}\\
+\pageto{Tree}{TREE}
+\pageto{BinaryTree}{BTREE}
+\pageto{BinarySearchTree}{BSTREE}
+\pageto{BalancedBinaryTree}{BBTREE}
+\pageto{PendantTree}{PENDTREE}
<<domain BTOURN BinaryTournament>>=
)abbrev domain BTOURN BinaryTournament
BinaryTournament(S: OrderedSet): Exports == Implementation where
@@ -8163,12 +9099,12 @@ BinaryTournament(S: OrderedSet): Exports ==
Implementation where
\section{domain BTREE BinaryTree}
\pagehead{BinaryTree}{BTREE}
\pagepic{ps/v103binarytree.ps}{BTREE}{1.00}
-See also:\\
-\refto{Tree}{TREE}
-\refto{BinarySearchTree}{BSTREE}
-\refto{BinaryTournament}{BTOURN}
-\refto{BalancedBinaryTree}{BBTREE}
-\refto{PendantTree}{PENDTREE}
+{\bf See}\\
+\pageto{Tree}{TREE}
+\pageto{BinarySearchTree}{BSTREE}
+\pageto{BinaryTournament}{BTOURN}
+\pageto{BalancedBinaryTree}{BBTREE}
+\pageto{PendantTree}{PENDTREE}
<<domain BTREE BinaryTree>>=
)abbrev domain BTREE BinaryTree
++ Description: \spadtype{BinaryTree(S)} is the domain of all
@@ -8233,10 +9169,10 @@ BinaryTree(S: SetCategory): Exports == Implementation
where
\section{domain BITS Bits}
\pagehead{Bits}{BITS}
\pagepic{ps/v103bits.ps}{BITS}{1.00}
-See also:\\
-\refto{Reference}{REF}
-\refto{Boolean}{BOOLEAN}
-\refto{IndexedBits}{IBITS}
+{\bf See}\\
+\pageto{Reference}{REF}
+\pageto{Boolean}{BOOLEAN}
+\pageto{IndexedBits}{IBITS}
<<domain BITS Bits>>=
)abbrev domain BITS Bits
++ Author: Stephen M. Watt
@@ -8265,10 +9201,10 @@ Bits(): Exports == Implementation where
\section{domain BOOLEAN Boolean}
\pagehead{Boolean}{BOOLEAN}
\pagepic{ps/v103boolean.ps}{BOOLEAN}{1.00}
-See also:\\
-\refto{Reference}{REF}
-\refto{IndexedBits}{IBITS}
-\refto{Bits}{BITS}
+{\bf See}\\
+\pageto{Reference}{REF}
+\pageto{IndexedBits}{IBITS}
+\pageto{Bits}{BITS}
<<domain BOOLEAN Boolean>>=
)abbrev domain BOOLEAN Boolean
++ Author: Stephen M. Watt
@@ -10639,10 +11575,10 @@ o )show Character
@
\pagehead{Character}{CHAR}
\pagepic{ps/v103character.ps}{CHAR}{1.00}
-See also:\\
-\refto{CharacterClass}{CCLASS}
-\refto{IndexedString}{ISTRING}
-\refto{String}{STRING}
+{\bf See}\\
+\pageto{CharacterClass}{CCLASS}
+\pageto{IndexedString}{ISTRING}
+\pageto{String}{STRING}
<<domain CHAR Character>>=
)abbrev domain CHAR Character
++ Author: Stephen M. Watt
@@ -11021,10 +11957,10 @@ o )show CharacterClass
@
\pagehead{CharacterClass}{CCLASS}
\pagepic{ps/v103characterclass.ps}{CCLASS}{1.00}
-See also:\\
-\refto{Character}{CHAR}
-\refto{IndexedString}{ISTRING}
-\refto{String}{STRING}
+{\bf See}\\
+\pageto{Character}{CHAR}
+\pageto{IndexedString}{ISTRING}
+\pageto{String}{STRING}
<<domain CCLASS CharacterClass>>=
)abbrev domain CCLASS CharacterClass
++ Author: Stephen M. Watt
@@ -11950,8 +12886,8 @@ o $AXIOM/doc/src/algebra/clifford.spad
@
\pagehead{CliffordAlgebra}{CLIF}
\pagepic{ps/v103cliffordalgebra.ps}{CLIF}{1.00}
-See also:\\
-\refto{QuadraticForm}{QFORM}
+{\bf See}\\
+\pageto{QuadraticForm}{QFORM}
<<domain CLIF CliffordAlgebra>>=
)abbrev domain CLIF CliffordAlgebra
++ Author: Stephen M. Watt
@@ -12166,8 +13102,8 @@ CliffordAlgebra(n, K, Q): T == Impl where
\section{domain COLOR Color}
\pagehead{Color}{COLOR}
\pagepic{ps/v103color.ps}{COLOR}{1.00}
-See also:\\
-\refto{Palette}{PALETTE}
+{\bf See}\\
+\pageto{Palette}{PALETTE}
<<domain COLOR Color>>=
)abbrev domain COLOR Color
++ Author: Jim Wen
@@ -12272,9 +13208,9 @@ Color(): Exports == Implementation where
\section{domain COMM Commutator}
\pagehead{Commutator}{COMM}
\pagepic{ps/v103commutator.ps}{COMM}{1.00}
-See also:\\
-\refto{OrdSetInts}{OSI}
-\refto{FreeNilpotentLie}{FNLA}
+{\bf See}\\
+\pageto{OrdSetInts}{OSI}
+\pageto{FreeNilpotentLie}{FNLA}
<<domain COMM Commutator>>=
)abbrev domain COMM Commutator
++ Author : Larry Lambe
@@ -13582,10 +14518,10 @@ ContinuedFraction(R): Exports == Implementation where
\section{domain DBASE Database}
\pagehead{Database}{DBASE}
\pagepic{ps/v103database.ps}{DBASE}{1.00}
-See also:\\
-\refto{DataList}{DLIST}
-\refto{IndexCard}{ICARD}
-\refto{QueryEquation}{QEQUAT}
+{\bf See}\\
+\pageto{DataList}{DLIST}
+\pageto{IndexCard}{ICARD}
+\pageto{QueryEquation}{QEQUAT}
<<domain DBASE Database>>=
)abbrev domain DBASE Database
++ This domain implements a simple view of a database whose fields are
@@ -13645,10 +14581,10 @@ Database(S): Exports == Implementation where
\section{domain DLIST DataList}
\pagehead{DataList}{DLIST}
\pagepic{ps/v103datalist.ps}{DLIST}{1.00}
-See also:\\
-\refto{IndexCard}{ICARD}
-\refto{Database}{DBASE}
-\refto{QueryEquation}{QEQUAT}
+{\bf See}\\
+\pageto{IndexCard}{ICARD}
+\pageto{Database}{DBASE}
+\pageto{QueryEquation}{QEQUAT}
<<domain DLIST DataList>>=
)abbrev domain DLIST DataList
++ This domain provides some nice functions on lists
@@ -13838,10 +14774,10 @@ o )show DecimalExpansion
@
\pagehead{DecimalExpansion}{DECIMAL}
\pagepic{ps/v103decimalexpansion.ps}{DECIMAL}{1.00}
-See also:\\
-\refto{RadixExpansion}{RADIX}
-\refto{BinaryExpansion}{BINARY}
-\refto{HexadecimalExpansion}{HEXADEC}
+{\bf See}\\
+\pageto{RadixExpansion}{RADIX}
+\pageto{BinaryExpansion}{BINARY}
+\pageto{HexadecimalExpansion}{HEXADEC}
<<domain DECIMAL DecimalExpansion>>=
)abbrev domain DECIMAL DecimalExpansion
++ Author: Stephen M. Watt
@@ -15572,11 +16508,11 @@ DenavitHartenbergMatrix(R): Exports == Implementation
where
\section{domain DEQUEUE Dequeue}
\pagehead{Dequeue}{DEQUEUE}
\pagepic{ps/v103dequeue.ps}{DEQUEUE}{1.00}
-See also:\\
-\refto{Stack}{STACK}
-\refto{ArrayStack}{ASTACK}
-\refto{Queue}{QUEUE}
-\refto{Heap}{HEAP}
+{\bf See}\\
+\pageto{Stack}{STACK}
+\pageto{ArrayStack}{ASTACK}
+\pageto{Queue}{QUEUE}
+\pageto{Heap}{HEAP}
<<domain DEQUEUE Dequeue>>=
)abbrev domain DEQUEUE Dequeue
++ Author: Michael Monagan and Stephen Watt
@@ -16222,9 +17158,9 @@ o )show DeRhamComplex
@
\pagehead{DeRhamComplex}{DERHAM}
\pagepic{ps/v103derhamcomplex.ps}{DERHAM}{1.00}
-See also:\\
-\refto{ExtAlgBasis}{EAB}
-\refto{AntiSymm}{ANTISYM}
+{\bf See}\\
+\pageto{ExtAlgBasis}{EAB}
+\pageto{AntiSymm}{ANTISYM}
<<domain DERHAM DeRhamComplex>>=
)abbrev domain DERHAM DeRhamComplex
++ Author: Larry A. Lambe
@@ -16348,11 +17284,11 @@ DeRhamComplex(CoefRing,listIndVar:List Symbol):
Export == Implement where
\section{domain DSMP DifferentialSparseMultivariatePolynomial}
\pagehead{DifferentialSparseMultivariatePolynomial}{DSMP}
\pagepic{ps/v103differentialsparsemultivariatepolynomial.ps}{DSMP}{1.00}
-See also:\\
-\refto{OrderlyDifferentialVariable}{ODVAR}
-\refto{SequentialDifferentialVariable}{SDVAR}
-\refto{OrderlyDifferentialPolynomial}{ODPOL}
-\refto{SequentialDifferentialPolynomial}{SDPOL}
+{\bf See}\\
+\pageto{OrderlyDifferentialVariable}{ODVAR}
+\pageto{SequentialDifferentialVariable}{SDVAR}
+\pageto{OrderlyDifferentialPolynomial}{ODPOL}
+\pageto{SequentialDifferentialPolynomial}{SDPOL}
<<domain DSMP DifferentialSparseMultivariatePolynomial>>=
)abbrev domain DSMP DifferentialSparseMultivariatePolynomial
++ Author: William Sit
@@ -16520,10 +17456,10 @@ DirectProduct(dim:NonNegativeInteger, R:Type):
\section{domain DPMM DirectProductMatrixModule}
\pagehead{DirectProductMatrixModule}{DPMM}
\pagepic{ps/v103directproductmatrixmodule.ps}{DPMM}{1.00}
-See also:\\
-\refto{OppositeMonogenicLinearOperator}{OMLO}
-\refto{OrdinaryDifferentialRing}{ODR}
-\refto{DirectProductModule}{DPMO}
+{\bf See}\\
+\pageto{OppositeMonogenicLinearOperator}{OMLO}
+\pageto{OrdinaryDifferentialRing}{ODR}
+\pageto{DirectProductModule}{DPMO}
<<domain DPMM DirectProductMatrixModule>>=
)abbrev domain DPMM DirectProductMatrixModule
++ Author: Stephen M. Watt
@@ -16565,10 +17501,10 @@ DirectProductMatrixModule(n, R, M, S): DPcategory ==
DPcapsule where
\section{domain DPMO DirectProductModule}
\pagehead{DirectProductModule}{DPMO}
\pagepic{ps/v103directproductmodule.ps}{DPMO}{1.00}
-See also:\\
-\refto{OppositeMonogenicLinearOperator}{OMLO}
-\refto{OrdinaryDifferentialRing}{ODR}
-\refto{DirectProductMatrixModule}{DPMM}
+{\bf See}\\
+\pageto{OppositeMonogenicLinearOperator}{OMLO}
+\pageto{OrdinaryDifferentialRing}{ODR}
+\pageto{DirectProductMatrixModule}{DPMM}
<<domain DPMO DirectProductModule>>=
)abbrev domain DPMO DirectProductModule
++ Author: Stephen M. Watt
@@ -16818,9 +17754,9 @@ o )show DistributedMultivariatePolynomial
@
\pagehead{DistributedMultivariatePolynomial}{DMP}
\pagepic{ps/v103distributedmultivariatepolynomial.ps}{DMP}{1.00}
-See also:\\
-\refto{GeneralDistributedMultivariatePolynomial}{GDMP}
-\refto{HomogeneousDistributedMultivariatePolynomial}{HDMP}
+{\bf See}\\
+\pageto{GeneralDistributedMultivariatePolynomial}{GDMP}
+\pageto{HomogeneousDistributedMultivariatePolynomial}{HDMP}
<<domain DMP DistributedMultivariatePolynomial>>=
)abbrev domain DMP DistributedMultivariatePolynomial
++ Author: Barry Trager
@@ -19765,13 +20701,13 @@ o )show EqTable
@
\pagehead{EqTable}{EQTBL}
\pagepic{ps/v103eqtable.ps}{EQTBL}{1.00}
-See also:\\
-\refto{HashTable}{HASHTBL}
-\refto{InnerTable}{INTABL}
-\refto{Table}{TABLE}
-\refto{StringTable}{STRTBL}
-\refto{GeneralSparseTable}{GSTBL}
-\refto{SparseTable}{STBL}
+{\bf See}\\
+\pageto{HashTable}{HASHTBL}
+\pageto{InnerTable}{INTABL}
+\pageto{Table}{TABLE}
+\pageto{StringTable}{STRTBL}
+\pageto{GeneralSparseTable}{GSTBL}
+\pageto{SparseTable}{STBL}
<<domain EQTBL EqTable>>=
)abbrev domain EQTBL EqTable
++ Author: Stephen M. Watt
@@ -19802,9 +20738,9 @@ EqTable(Key: SetCategory, Entry: SetCategory) ==
\section{domain EMR EuclideanModularRing}
\pagehead{EuclideanModularRing}{EMR}
\pagepic{ps/v103euclideanmodularring.ps}{EMR}{1.00}
-See also:\\
-\refto{ModularRing}{MODRING}
-\refto{ModularField}{MODFIELD}
+{\bf See}\\
+\pageto{ModularRing}{MODRING}
+\pageto{ModularField}{MODFIELD}
<<domain EMR EuclideanModularRing>>=
)abbrev domain EMR EuclideanModularRing
++ Description:
@@ -20055,9 +20991,9 @@ Exit: SetCategory == add
\section{domain EXPEXPAN ExponentialExpansion}
\pagehead{ExponentialExpansion}{EXPEXPAN}
\pagepic{ps/v103exponentialexpansion.ps}{EXPEXPAN}{1.00}
-See also:\\
-\refto{ExponentialOfUnivariatePuiseuxSeries}{EXPUPXS}
-\refto{UnivariatePuiseuxSeriesWithExponentialSingularity}{UPXSSING}
+{\bf See}\\
+\pageto{ExponentialOfUnivariatePuiseuxSeries}{EXPUPXS}
+\pageto{UnivariatePuiseuxSeriesWithExponentialSingularity}{UPXSSING}
<<domain EXPEXPAN ExponentialExpansion>>=
)abbrev domain EXPEXPAN ExponentialExpansion
++ Author: Clifton J. Williamson
@@ -20590,8 +21526,8 @@ o )show Expression
@
\pagehead{Expression}{EXPR}
\pagepic{ps/v103expression.ps}{EXPR}{1.00}
-See also:\\
-\refto{Pi}{HACKPI}
+{\bf See}\\
+\pageto{Pi}{HACKPI}
<<domain EXPR Expression>>=
)abbrev domain EXPR Expression
++ Top-level mathematical expressions
@@ -21122,9 +22058,9 @@ Expression(R:OrderedSet): Exports == Implementation
where
\section{domain EXPUPXS ExponentialOfUnivariatePuiseuxSeries}
\pagehead{ExponentialOfUnivariatePuiseuxSeries}{EXPUPXS}
\pagepic{ps/v103exponentialofunivariatepuiseuxseries.ps}{EXPUPXS}{1.00}
-See also:\\
-\refto{UnivariatePuiseuxSeriesWithExponentialSingularity}{UPXSSING}
-\refto{ExponentialExpansion}{EXPEXPAN}
+{\bf See}\\
+\pageto{UnivariatePuiseuxSeriesWithExponentialSingularity}{UPXSSING}
+\pageto{ExponentialExpansion}{EXPEXPAN}
<<domain EXPUPXS ExponentialOfUnivariatePuiseuxSeries>>=
)abbrev domain EXPUPXS ExponentialOfUnivariatePuiseuxSeries
++ Author: Clifton J. Williamson
@@ -21206,9 +22142,9 @@ ExponentialOfUnivariatePuiseuxSeries(FE,var,cen):_
\section{domain EAB ExtAlgBasis}
\pagehead{ExtAlgBasis}{EAB}
\pagepic{ps/v103extalgbasis.ps}{EAB}{1.00}
-See also:\\
-\refto{AntiSymm}{ANTISYM}
-\refto{DeRhamComplex}{DERHAM}
+{\bf See}\\
+\pageto{AntiSymm}{ANTISYM}
+\pageto{DeRhamComplex}{DERHAM}
<<domain EAB ExtAlgBasis>>=
)abbrev domain EAB ExtAlgBasis
--% ExtAlgBasis
@@ -21302,13 +22238,13 @@ ExtAlgBasis(): Export == Implement where
\section{domain E04DGFA e04dgfAnnaType}
\pagehead{e04dgfAnnaType}{E04DGFA}
\pagepic{ps/v103e04dgfannatype.ps}{E04DGFA}{1.00}
-See also:\\
-\refto{E04FDFA}{e04fdfAnnaType}
-\refto{E04GCFA}{e04gcfAnnaType}
-\refto{E04JAFA}{e04jafAnnaType}
-\refto{E04MBFA}{e04mbfAnnaType}
-\refto{E04NAFA}{e04nafAnnaType}
-\refto{E04UCFA}{e04ucfAnnaType}
+{\bf See}\\
+\pageto{E04FDFA}{e04fdfAnnaType}
+\pageto{E04GCFA}{e04gcfAnnaType}
+\pageto{E04JAFA}{e04jafAnnaType}
+\pageto{E04MBFA}{e04mbfAnnaType}
+\pageto{E04NAFA}{e04nafAnnaType}
+\pageto{E04UCFA}{e04ucfAnnaType}
<<domain E04DGFA e04dgfAnnaType>>=
)abbrev domain E04DGFA e04dgfAnnaType
++ Author: Brian Dupee
@@ -21389,13 +22325,13 @@ e04dgfAnnaType(): NumericalOptimizationCategory ==
Result add
\section{domain E04FDFA e04fdfAnnaType}
\pagehead{e04fdfAnnaType}{E04FDFA}
\pagepic{ps/v103e04fdfannatype.ps}{E04FDFA}{1.00}
-See also:\\
-\refto{E04DGFA}{e04dgfAnnaType}
-\refto{E04GCFA}{e04gcfAnnaType}
-\refto{E04JAFA}{e04jafAnnaType}
-\refto{E04MBFA}{e04mbfAnnaType}
-\refto{E04NAFA}{e04nafAnnaType}
-\refto{E04UCFA}{e04ucfAnnaType}
+{\bf See}\\
+\pageto{E04DGFA}{e04dgfAnnaType}
+\pageto{E04GCFA}{e04gcfAnnaType}
+\pageto{E04JAFA}{e04jafAnnaType}
+\pageto{E04MBFA}{e04mbfAnnaType}
+\pageto{E04NAFA}{e04nafAnnaType}
+\pageto{E04UCFA}{e04ucfAnnaType}
<<domain E04FDFA e04fdfAnnaType>>=
)abbrev domain E04FDFA e04fdfAnnaType
++ Author: Brian Dupee
@@ -21501,13 +22437,13 @@ e04fdfAnnaType(): NumericalOptimizationCategory ==
Result add
\section{domain E04GCFA e04gcfAnnaType}
\pagehead{e04gcfAnnaType}{E04GCFA}
\pagepic{ps/v103e04gcfannatype.ps}{E04GCFA}{1.00}
-See also:\\
-\refto{E04DGFA}{e04dgfAnnaType}
-\refto{E04FDFA}{e04fdfAnnaType}
-\refto{E04JAFA}{e04jafAnnaType}
-\refto{E04MBFA}{e04mbfAnnaType}
-\refto{E04NAFA}{e04nafAnnaType}
-\refto{E04UCFA}{e04ucfAnnaType}
+{\bf See}\\
+\pageto{E04DGFA}{e04dgfAnnaType}
+\pageto{E04FDFA}{e04fdfAnnaType}
+\pageto{E04JAFA}{e04jafAnnaType}
+\pageto{E04MBFA}{e04mbfAnnaType}
+\pageto{E04NAFA}{e04nafAnnaType}
+\pageto{E04UCFA}{e04ucfAnnaType}
<<domain E04GCFA e04gcfAnnaType>>=
)abbrev domain E04GCFA e04gcfAnnaType
++ Author: Brian Dupee
@@ -21629,13 +22565,13 @@ e04gcfAnnaType(): NumericalOptimizationCategory ==
Result add
\section{domain E04JAFA e04jafAnnaType}
\pagehead{e04jafAnnaType}{E04JAFA}
\pagepic{ps/v103e04jafannatype.ps}{E04JAFA}{1.00}
-See also:\\
-\refto{E04DGFA}{e04dgfAnnaType}
-\refto{E04FDFA}{e04fdfAnnaType}
-\refto{E04GCFA}{e04gcfAnnaType}
-\refto{E04MBFA}{e04mbfAnnaType}
-\refto{E04NAFA}{e04nafAnnaType}
-\refto{E04UCFA}{e04ucfAnnaType}
+{\bf See}\\
+\pageto{E04DGFA}{e04dgfAnnaType}
+\pageto{E04FDFA}{e04fdfAnnaType}
+\pageto{E04GCFA}{e04gcfAnnaType}
+\pageto{E04MBFA}{e04mbfAnnaType}
+\pageto{E04NAFA}{e04nafAnnaType}
+\pageto{E04UCFA}{e04ucfAnnaType}
<<domain E04JAFA e04jafAnnaType>>=
)abbrev domain E04JAFA e04jafAnnaType
++ Author: Brian Dupee
@@ -21732,13 +22668,13 @@ e04jafAnnaType(): NumericalOptimizationCategory ==
Result add
\section{domain E04MBFA e04mbfAnnaType}
\pagehead{e04mbfAnnaType}{E04MBFA}
\pagepic{ps/v103e04mbfannatype.ps}{E04MBFA}{1.00}
-See also:\\
-\refto{E04DGFA}{e04dgfAnnaType}
-\refto{E04FDFA}{e04fdfAnnaType}
-\refto{E04GCFA}{e04gcfAnnaType}
-\refto{E04JAFA}{e04jafAnnaType}
-\refto{E04NAFA}{e04nafAnnaType}
-\refto{E04UCFA}{e04ucfAnnaType}
+{\bf See}\\
+\pageto{E04DGFA}{e04dgfAnnaType}
+\pageto{E04FDFA}{e04fdfAnnaType}
+\pageto{E04GCFA}{e04gcfAnnaType}
+\pageto{E04JAFA}{e04jafAnnaType}
+\pageto{E04NAFA}{e04nafAnnaType}
+\pageto{E04UCFA}{e04ucfAnnaType}
<<domain E04MBFA e04mbfAnnaType>>=
)abbrev domain E04MBFA e04mbfAnnaType
++ Author: Brian Dupee
@@ -21821,13 +22757,13 @@ e04mbfAnnaType(): NumericalOptimizationCategory ==
Result add
\section{domain E04NAFA e04nafAnnaType}
\pagehead{e04nafAnnaType}{E04NAFA}
\pagepic{ps/v103e04nafannatype.ps}{E04NAFA}{1.00}
-See also:\\
-\refto{E04DGFA}{e04dgfAnnaType}
-\refto{E04FDFA}{e04fdfAnnaType}
-\refto{E04GCFA}{e04gcfAnnaType}
-\refto{E04JAFA}{e04jafAnnaType}
-\refto{E04MBFA}{e04mbfAnnaType}
-\refto{E04UCFA}{e04ucfAnnaType}
+{\bf See}\\
+\pageto{E04DGFA}{e04dgfAnnaType}
+\pageto{E04FDFA}{e04fdfAnnaType}
+\pageto{E04GCFA}{e04gcfAnnaType}
+\pageto{E04JAFA}{e04jafAnnaType}
+\pageto{E04MBFA}{e04mbfAnnaType}
+\pageto{E04UCFA}{e04ucfAnnaType}
<<domain E04NAFA e04nafAnnaType>>=
)abbrev domain E04NAFA e04nafAnnaType
++ Author: Brian Dupee
@@ -21925,13 +22861,13 @@ e04nafAnnaType(): NumericalOptimizationCategory ==
Result add
\section{domain E04UCFA e04ucfAnnaType}
\pagehead{e04ucfAnnaType}{E04UCFA}
\pagepic{ps/v103e04ucfannatype.ps}{E04UCFA}{1.00}
-See also:\\
-\refto{E04DGFA}{e04dgfAnnaType}
-\refto{E04FDFA}{e04fdfAnnaType}
-\refto{E04GCFA}{e04gcfAnnaType}
-\refto{E04JAFA}{e04jafAnnaType}
-\refto{E04MBFA}{e04mbfAnnaType}
-\refto{E04NAFA}{e04nafAnnaType}
+{\bf See}\\
+\pageto{E04DGFA}{e04dgfAnnaType}
+\pageto{E04FDFA}{e04fdfAnnaType}
+\pageto{E04GCFA}{e04gcfAnnaType}
+\pageto{E04JAFA}{e04jafAnnaType}
+\pageto{E04MBFA}{e04mbfAnnaType}
+\pageto{E04NAFA}{e04nafAnnaType}
<<domain E04UCFA e04ucfAnnaType>>=
)abbrev domain E04UCFA e04ucfAnnaType
++ Author: Brian Dupee
@@ -23420,11 +24356,11 @@ o )show File
@
\pagehead{File}{FILE}
\pagepic{ps/v103file.ps}{FILE}{1.00}
-See also:\\
-\refto{TextFile}{TEXTFILE}
-\refto{BinaryFile}{BINFILE}
-\refto{KeyedAccessFile}{KAFILE}
-\refto{Library}{LIB}
+{\bf See}\\
+\pageto{TextFile}{TEXTFILE}
+\pageto{BinaryFile}{BINFILE}
+\pageto{KeyedAccessFile}{KAFILE}
+\pageto{Library}{LIB}
<<domain FILE File>>=
)abbrev domain FILE File
++ Author: Stephen M. Watt, Victor Miller
@@ -23841,10 +24777,10 @@ FileName(): FileNameCategory == add
\section{domain FDIV FiniteDivisor}
\pagehead{FiniteDivisor}{FDIV}
\pagepic{ps/v103finitedivisor.ps}{FDIV}{1.00}
-See also:\\
-\refto{FractionalIdeal}{FRIDEAL}
-\refto{FramedModule}{FRMOD}
-\refto{HyperellipticFiniteDivisor}{HELLFDIV}
+{\bf See}\\
+\pageto{FractionalIdeal}{FRIDEAL}
+\pageto{FramedModule}{FRMOD}
+\pageto{HyperellipticFiniteDivisor}{HELLFDIV}
<<domain FDIV FiniteDivisor>>=
)abbrev domain FDIV FiniteDivisor
++ Finite rational divisors on a curve
@@ -23984,10 +24920,10 @@ FiniteDivisor(F, UP, UPUP, R): Exports ==
Implementation where
\section{domain FF FiniteField}
\pagehead{FiniteField}{FF}
\pagepic{ps/v103finitefield.ps}{FF}{1.00}
-See also:\\
-\refto{FiniteFieldExtensionByPolynomial}{FFP}
-\refto{FiniteFieldExtension}{FFX}
-\refto{InnerFiniteField}{IFF}
+{\bf See}\\
+\pageto{FiniteFieldExtensionByPolynomial}{FFP}
+\pageto{FiniteFieldExtension}{FFX}
+\pageto{InnerFiniteField}{IFF}
<<domain FF FiniteField>>=
)abbrev domain FF FiniteField
++ Author: ???
@@ -24027,9 +24963,9 @@ FiniteField(p:PositiveInteger, n:PositiveInteger): _
\section{domain FFCG FiniteFieldCyclicGroup}
\pagehead{FiniteFieldCyclicGroup}{FFCG}
\pagepic{ps/v103finitefieldcyclicgroup.ps}{FFCG}{1.00}
-See also:\\
-\refto{FiniteFieldCyclicGroupExtensionByPolynomial}{FFCGP}
-\refto{FiniteFieldCyclicGroupExtension}{FFCGX}
+{\bf See}\\
+\pageto{FiniteFieldCyclicGroupExtensionByPolynomial}{FFCGP}
+\pageto{FiniteFieldCyclicGroupExtension}{FFCGX}
<<domain FFCG FiniteFieldCyclicGroup>>=
)abbrev domain FFCG FiniteFieldCyclicGroup
++ Authors: J.Grabmeier, A.Scheerhorn
@@ -24080,9 +25016,9 @@ FiniteFieldCyclicGroup(p,extdeg):_
\section{domain FFCGX FiniteFieldCyclicGroupExtension}
\pagehead{FiniteFieldCyclicGroupExtension}{FFCGX}
\pagepic{ps/v103finitefieldcyclicgroupextension.ps}{FFCGX}{1.00}
-See also:\\
-\refto{FiniteFieldCyclicGroupExtensionByPolynomial}{FFCGP}
-\refto{FiniteFieldCyclicGroup}{FFCG}
+{\bf See}\\
+\pageto{FiniteFieldCyclicGroupExtensionByPolynomial}{FFCGP}
+\pageto{FiniteFieldCyclicGroup}{FFCG}
<<domain FFCGX FiniteFieldCyclicGroupExtension>>=
)abbrev domain FFCGX FiniteFieldCyclicGroupExtension
++ Authors: J.Grabmeier, A.Scheerhorn
@@ -24136,9 +25072,9 @@ FiniteFieldCyclicGroupExtension(GF,extdeg):_
\section{domain FFCGP FiniteFieldCyclicGroupExtensionByPolynomial}
\pagehead{FiniteFieldCyclicGroupExtensionByPolynomial}{FFCGP}
\pagepic{ps/v103finitefieldcyclicgroupextensionbypolynomial.ps}{FFCGP}{1.00}
-See also:\\
-\refto{FiniteFieldCyclicGroupExtension}{FFCGX}
-\refto{FiniteFieldCyclicGroup}{FFCG}
+{\bf See}\\
+\pageto{FiniteFieldCyclicGroupExtension}{FFCGX}
+\pageto{FiniteFieldCyclicGroup}{FFCG}
<<domain FFCGP FiniteFieldCyclicGroupExtensionByPolynomial>>=
)abbrev domain FFCGP FiniteFieldCyclicGroupExtensionByPolynomial
++ Authors: J.Grabmeier, A.Scheerhorn
@@ -24458,10 +25394,10 @@
FiniteFieldCyclicGroupExtensionByPolynomial(GF,defpol):_
\section{domain FFX FiniteFieldExtension}
\pagehead{FiniteFieldExtension}{FFX}
\pagepic{ps/v103finitefieldextension.ps}{FFX}{1.00}
-See also:\\
-\refto{FiniteFieldExtensionByPolynomial}{FFP}
-\refto{InnerFiniteField}{IFF}
-\refto{FiniteField}{FF}
+{\bf See}\\
+\pageto{FiniteFieldExtensionByPolynomial}{FFP}
+\pageto{InnerFiniteField}{IFF}
+\pageto{FiniteField}{FF}
<<domain FFX FiniteFieldExtension>>=
)abbrev domain FFX FiniteFieldExtension
++ Authors: R.Sutor, J. Grabmeier, A. Scheerhorn
@@ -24508,10 +25444,10 @@ FiniteFieldExtension(GF, n): Exports ==
Implementation where
\section{domain FFP FiniteFieldExtensionByPolynomial}
\pagehead{FiniteFieldExtensionByPolynomial}{FFP}
\pagepic{ps/v103finitefieldextensionbypolynomial.ps}{FFP}{1.00}
-See also:\\
-\refto{FiniteFieldExtension}{FFX}
-\refto{InnerFiniteField}{IFF}
-\refto{FiniteField}{FF}
+{\bf See}\\
+\pageto{FiniteFieldExtension}{FFX}
+\pageto{InnerFiniteField}{IFF}
+\pageto{FiniteField}{FF}
<<domain FFP FiniteFieldExtensionByPolynomial>>=
)abbrev domain FFP FiniteFieldExtensionByPolynomial
++ Authors: R.Sutor, J. Grabmeier, O. Gschnitzer, A. Scheerhorn
@@ -24755,9 +25691,9 @@
FiniteFieldExtensionByPolynomial(GF:FiniteFieldCategory,_
\section{domain FFNB FiniteFieldNormalBasis}
\pagehead{FiniteFieldNormalBasis}{FFNB}
\pagepic{ps/v103finitefieldnormalbasis.ps}{FFNB}{1.00}
-See also:\\
-\refto{FiniteFieldNormalBasisExtensionByPolynomial}{FFNBP}
-\refto{FiniteFieldNormalBasisExtension}{FFNBX}
+{\bf See}\\
+\pageto{FiniteFieldNormalBasisExtensionByPolynomial}{FFNBP}
+\pageto{FiniteFieldNormalBasisExtension}{FFNBX}
<<domain FFNB FiniteFieldNormalBasis>>=
)abbrev domain FFNB FiniteFieldNormalBasis
++ Authors: J.Grabmeier, A.Scheerhorn
@@ -24817,9 +25753,9 @@ FiniteFieldNormalBasis(p,extdeg):_
\section{domain FFNBX FiniteFieldNormalBasisExtension}
\pagehead{FiniteFieldNormalBasisExtension}{FFNBX}
\pagepic{ps/v103finitefieldnormalbasisextension.ps}{FFNBX}{1.00}
-See also:\\
-\refto{FiniteFieldNormalBasisExtensionByPolynomial}{FFNBP}
-\refto{FiniteFieldNormalBasis}{FFNB}
+{\bf See}\\
+\pageto{FiniteFieldNormalBasisExtensionByPolynomial}{FFNBP}
+\pageto{FiniteFieldNormalBasis}{FFNB}
<<domain FFNBX FiniteFieldNormalBasisExtension>>=
)abbrev domain FFNBX FiniteFieldNormalBasisExtension
++ Authors: J.Grabmeier, A.Scheerhorn
@@ -24879,9 +25815,9 @@ FiniteFieldNormalBasisExtension(GF,extdeg):_
\section{domain FFNBP FiniteFieldNormalBasisExtensionByPolynomial}
\pagehead{FiniteFieldNormalBasisExtensionByPolynomial}{FFNBP}
\pagepic{ps/v103finitefieldnormalbasisextensionbypolynomial.ps}{FFNBP}{1.00}
-See also:\\
-\refto{FiniteFieldNormalBasisExtension}{FFNBX}
-\refto{FiniteFieldNormalBasis}{FFNB}
+{\bf See}\\
+\pageto{FiniteFieldNormalBasisExtension}{FFNBX}
+\pageto{FiniteFieldNormalBasis}{FFNB}
<<domain FFNBP FiniteFieldNormalBasisExtensionByPolynomial>>=
)abbrev domain FFNBP FiniteFieldNormalBasisExtensionByPolynomial
++ Authors: J.Grabmeier, A.Scheerhorn
@@ -25516,12 +26452,12 @@ o )show FlexibleArray
@
\pagehead{FlexibleArray}{FARRAY}
\pagepic{ps/v103flexiblearray.ps}{FARRAY}{1.00}
-See also:\\
-\refto{PrimitiveArray}{PRIMARR}
-\refto{Tuple}{TUPLE}
-\refto{IndexedFlexibleArray}{IFARRAY}
-\refto{IndexedOneDimensionalArray}{IARRAY1}
-\refto{OneDimensionalArray}{ARRAY1}
+{\bf See}\\
+\pageto{PrimitiveArray}{PRIMARR}
+\pageto{Tuple}{TUPLE}
+\pageto{IndexedFlexibleArray}{IFARRAY}
+\pageto{IndexedOneDimensionalArray}{IARRAY1}
+\pageto{OneDimensionalArray}{ARRAY1}
<<domain FARRAY FlexibleArray>>=
)abbrev domain FARRAY FlexibleArray
++ A FlexibleArray is the notion of an array intended to allow for growth
@@ -27383,14 +28319,14 @@ Float():
\section{domain FC FortranCode}
\pagehead{FortranCode}{FC}
\pagepic{ps/v103fortrancode.ps}{FC}{1.00}
-See also:\\
-\refto{Result}{RESULT}
-\refto{FortranProgram}{FORTRAN}
-\refto{ThreeDimensionalMatrix}{M3D}
-\refto{SimpleFortranProgram}{SFORT}
-\refto{Switch}{SWITCH}
-\refto{FortranTemplate}{FTEM}
-\refto{FortranExpression}{FEXPR}
+{\bf See}\\
+\pageto{Result}{RESULT}
+\pageto{FortranProgram}{FORTRAN}
+\pageto{ThreeDimensionalMatrix}{M3D}
+\pageto{SimpleFortranProgram}{SFORT}
+\pageto{Switch}{SWITCH}
+\pageto{FortranTemplate}{FTEM}
+\pageto{FortranExpression}{FEXPR}
<<domain FC FortranCode>>=
)abbrev domain FC FortranCode
-- The FortranCode domain is used to represent operations which are to be
@@ -27994,14 +28930,14 @@ FortranCode(): public == private where
\section{domain FEXPR FortranExpression}
\pagehead{FortranExpression}{FEXPR}
\pagepic{ps/v103fortranexpression.ps}{FEXPR}{1.00}
-See also:\\
-\refto{Result}{RESULT}
-\refto{FortranCode}{FC}
-\refto{FortranProgram}{FORTRAN}
-\refto{ThreeDimensionalMatrix}{M3D}
-\refto{SimpleFortranProgram}{SFORT}
-\refto{Switch}{SWITCH}
-\refto{FortranTemplate}{FTEM}
+{\bf See}\\
+\pageto{Result}{RESULT}
+\pageto{FortranCode}{FC}
+\pageto{FortranProgram}{FORTRAN}
+\pageto{ThreeDimensionalMatrix}{M3D}
+\pageto{SimpleFortranProgram}{SFORT}
+\pageto{Switch}{SWITCH}
+\pageto{FortranTemplate}{FTEM}
<<domain FEXPR FortranExpression>>=
)abbrev domain FEXPR FortranExpression
++ Author: Mike Dewar
@@ -28356,14 +29292,14 @@ FortranExpression(basicSymbols,subscriptedSymbols,R):
\section{domain FORTRAN FortranProgram}
\pagehead{FortranProgram}{FORTRAN}
\pagepic{ps/v103fortranprogram.ps}{FORTRAN}{1.00}
-See also:\\
-\refto{Result}{RESULT}
-\refto{FortranCode}{FC}
-\refto{ThreeDimensionalMatrix}{M3D}
-\refto{SimpleFortranProgram}{SFORT}
-\refto{Switch}{SWITCH}
-\refto{FortranTemplate}{FTEM}
-\refto{FortranExpression}{FEXPR}
+{\bf See}\\
+\pageto{Result}{RESULT}
+\pageto{FortranCode}{FC}
+\pageto{ThreeDimensionalMatrix}{M3D}
+\pageto{SimpleFortranProgram}{SFORT}
+\pageto{Switch}{SWITCH}
+\pageto{FortranTemplate}{FTEM}
+\pageto{FortranExpression}{FEXPR}
<<domain FORTRAN FortranProgram>>=
)abbrev domain FORTRAN FortranProgram
++ Author: Mike Dewar
@@ -28598,10 +29534,10 @@ FortranProgram(name,returnType,arguments,symbols):
Exports == Implement where
\section{domain FST FortranScalarType}
\pagehead{FortranScalarType}{FST}
\pagepic{ps/v103fortranscalartype.ps}{FST}{1.00}
-See also:\\
-\refto{FortranType}{FT}
-\refto{SymbolTable}{SYMTAB}
-\refto{TheSymbolTable}{SYMS}
+{\bf See}\\
+\pageto{FortranType}{FT}
+\pageto{SymbolTable}{SYMTAB}
+\pageto{TheSymbolTable}{SYMS}
<<domain FST FortranScalarType>>=
)abbrev domain FST FortranScalarType
++ Author: Mike Dewar
@@ -28765,14 +29701,14 @@ FortranScalarType() : exports == implementation where
\section{domain FTEM FortranTemplate}
\pagehead{FortranTemplate}{FTEM}
\pagepic{ps/v103fortrantemplate.ps}{FTEM}{1.00}
-See also:\\
-\refto{Result}{RESULT}
-\refto{FortranCode}{FC}
-\refto{FortranProgram}{FORTRAN}
-\refto{ThreeDimensionalMatrix}{M3D}
-\refto{SimpleFortranProgram}{SFORT}
-\refto{Switch}{SWITCH}
-\refto{FortranExpression}{FEXPR}
+{\bf See}\\
+\pageto{Result}{RESULT}
+\pageto{FortranCode}{FC}
+\pageto{FortranProgram}{FORTRAN}
+\pageto{ThreeDimensionalMatrix}{M3D}
+\pageto{SimpleFortranProgram}{SFORT}
+\pageto{Switch}{SWITCH}
+\pageto{FortranExpression}{FEXPR}
<<domain FTEM FortranTemplate>>=
)abbrev domain FTEM FortranTemplate
++ Author: Mike Dewar
@@ -28874,10 +29810,10 @@ FortranTemplate() : specification == implementation
where
\section{domain FT FortranType}
\pagehead{FortranType}{FT}
\pagepic{ps/v103fortrantype.ps}{FT}{1.00}
-See also:\\
-\refto{FortranScalarType}{FST}
-\refto{SymbolTable}{SYMTAB}
-\refto{TheSymbolTable}{SYMS}
+{\bf See}\\
+\pageto{FortranScalarType}{FST}
+\pageto{SymbolTable}{SYMTAB}
+\pageto{TheSymbolTable}{SYMS}
<<domain FT FortranType>>=
)abbrev domain FT FortranType
++ Author: Mike Dewar
@@ -28996,8 +29932,8 @@ FortranType() : exports == implementation where
\section{domain FCOMP FourierComponent}
\pagehead{FourierComponent}{FCOMP}
\pagepic{ps/v103fouriercomponent.ps}{FCOMP}{1.00}
-See also:\\
-\refto{FourierSeries}{FSERIES}
+{\bf See}\\
+\pageto{FourierSeries}{FSERIES}
<<domain FCOMP FourierComponent>>=
)abbrev domain FCOMP FourierComponent
++ Author: James Davenport
@@ -29050,8 +29986,8 @@ FourierComponent(E:OrderedSet):
\section{domain FSERIES FourierSeries}
\pagehead{FourierSeries}{FSERIES}
\pagepic{ps/v103fourierseries.ps}{FSERIES}{1.00}
-See also:\\
-\refto{FourierComponent}{FCOMP}
+{\bf See}\\
+\pageto{FourierComponent}{FCOMP}
<<domain FSERIES FourierSeries>>=
)abbrev domain FSERIES FourierSeries
++ Author: James Davenport
@@ -29387,9 +30323,9 @@ o )show Fraction
@
\pagehead{Fraction}{FRAC}
\pagepic{ps/v103fraction.ps}{FRAC}{1.00}
-See also:\\
-\refto{Localize}{LO}
-\refto{LocalAlgebra}{LA}
+{\bf See}\\
+\pageto{Localize}{LO}
+\pageto{LocalAlgebra}{LA}
<<domain FRAC Fraction>>=
)abbrev domain FRAC Fraction
++ Author:
@@ -29727,10 +30663,10 @@ Fraction(S: IntegralDomain): QuotientFieldCategory S
with
\section{domain FRIDEAL FractionalIdeal}
\pagehead{FractionalIdeal}{FRIDEAL}
\pagepic{ps/v103fractionalideal.ps}{FRIDEAL}{1.00}
-See also:\\
-\refto{FramedModule}{FRMOD}
-\refto{HyperellipticFiniteDivisor}{HELLFDIV}
-\refto{FiniteDivisor}{FDIV}
+{\bf See}\\
+\pageto{FramedModule}{FRMOD}
+\pageto{HyperellipticFiniteDivisor}{HELLFDIV}
+\pageto{FiniteDivisor}{FDIV}
<<domain FRIDEAL FractionalIdeal>>=
)abbrev domain FRIDEAL FractionalIdeal
++ Author: Manuel Bronstein
@@ -29909,10 +30845,10 @@ FractionalIdeal(R, F, UP, A): Exports ==
Implementation where
\section{domain FRMOD FramedModule}
\pagehead{FramedModule}{FRMOD}
\pagepic{ps/v103framedmodule.ps}{FRMOD}{1.00}
-See also:\\
-\refto{FractionalIdeal}{FRIDEAL}
-\refto{HyperellipticFiniteDivisor}{HELLFDIV}
-\refto{FiniteDivisor}{FDIV}
+{\bf See}\\
+\pageto{FractionalIdeal}{FRIDEAL}
+\pageto{HyperellipticFiniteDivisor}{HELLFDIV}
+\pageto{FiniteDivisor}{FDIV}
<<domain FRMOD FramedModule>>=
)abbrev domain FRMOD FramedModule
++ Author: Manuel Bronstein
@@ -30028,12 +30964,12 @@ FramedModule(R, F, UP, A, ibasis): Exports ==
Implementation where
\section{domain FAGROUP FreeAbelianGroup}
\pagehead{FreeAbelianGroup}{FAGROUP}
\pagepic{ps/v103freeabeliangroup.ps}{FAGROUP}{1.00}
-See also:\\
-\refto{ListMonoidOps}{LMOPS}
-\refto{FreeMonoid}{FMONOID}
-\refto{FreeGroup}{FGROUP}
-\refto{InnerFreeAbelianMonoid}{IFAMON}
-\refto{FreeAbelianMonoid}{FAMONOID}
+{\bf See}\\
+\pageto{ListMonoidOps}{LMOPS}
+\pageto{FreeMonoid}{FMONOID}
+\pageto{FreeGroup}{FGROUP}
+\pageto{InnerFreeAbelianMonoid}{IFAMON}
+\pageto{FreeAbelianMonoid}{FAMONOID}
<<domain FAGROUP FreeAbelianGroup>>=
)abbrev domain FAGROUP FreeAbelianGroup
++ Free abelian group on any set of generators
@@ -30089,12 +31025,12 @@ FreeAbelianGroup(S:SetCategory): Exports ==
Implementation where
\section{domain FAMONOID FreeAbelianMonoid}
\pagehead{FreeAbelianMonoid}{FAMONOID}
\pagepic{ps/v103freeabelianmonoid.ps}{FAMONOID}{1.00}
-See also:\\
-\refto{ListMonoidOps}{LMOPS}
-\refto{FreeMonoid}{FMONOID}
-\refto{FreeGroup}{FGROUP}
-\refto{InnerFreeAbelianMonoid}{IFAMON}
-\refto{FreeAbelianGroup}{FAGROUP}
+{\bf See}\\
+\pageto{ListMonoidOps}{LMOPS}
+\pageto{FreeMonoid}{FMONOID}
+\pageto{FreeGroup}{FGROUP}
+\pageto{InnerFreeAbelianMonoid}{IFAMON}
+\pageto{FreeAbelianGroup}{FAGROUP}
<<domain FAMONOID FreeAbelianMonoid>>=
)abbrev domain FAMONOID FreeAbelianMonoid
++ Free abelian monoid on any set of generators
@@ -30120,12 +31056,12 @@ FreeAbelianMonoid(S: SetCategory):
\section{domain FGROUP FreeGroup}
\pagehead{FreeGroup}{FGROUP}
\pagepic{ps/v103freegroup.ps}{FGROUP}{1.00}
-See also:\\
-\refto{ListMonoidOps}{LMOPS}
-\refto{FreeMonoid}{FMONOID}
-\refto{InnerFreeAbelianMonoid}{IFAMON}
-\refto{FreeAbelianMonoid}{FAMONOID}
-\refto{FreeAbelianGroup}{FAGROUP}
+{\bf See}\\
+\pageto{ListMonoidOps}{LMOPS}
+\pageto{FreeMonoid}{FMONOID}
+\pageto{InnerFreeAbelianMonoid}{IFAMON}
+\pageto{FreeAbelianMonoid}{FAMONOID}
+\pageto{FreeAbelianGroup}{FAGROUP}
<<domain FGROUP FreeGroup>>=
)abbrev domain FGROUP FreeGroup
++ Free group on any set of generators
@@ -30199,10 +31135,10 @@ FreeGroup(S: SetCategory): Join(Group, RetractableTo
S) with
\section{domain FM FreeModule}
\pagehead{FreeModule}{FM}
\pagepic{ps/v103freemodule.ps}{FM}{1.00}
-See also:\\
-\refto{PolynomialRing}{PR}
-\refto{SparseUnivariatePolynomial}{SUP}
-\refto{UnivariatePolynomial}{UP}
+{\bf See}\\
+\pageto{PolynomialRing}{PR}
+\pageto{SparseUnivariatePolynomial}{SUP}
+\pageto{UnivariatePolynomial}{UP}
<<domain FM FreeModule>>=
)abbrev domain FM FreeModule
++ Author: Dave Barton, James Davenport, Barry Trager
@@ -30393,12 +31329,12 @@ FreeModule1(R:Ring,S:OrderedSet): FMcat == FMdef where
\section{domain FMONOID FreeMonoid}
\pagehead{FreeMonoid}{FMONOID}
\pagepic{ps/v103freemonoid.ps}{FMONOID}{1.00}
-See also:\\
-\refto{ListMonoidOps}{LMOPS}
-\refto{FreeGroup}{FGROUP}
-\refto{InnerFreeAbelianMonoid}{IFAMON}
-\refto{FreeAbelianMonoid}{FAMONOID}
-\refto{FreeAbelianGroup}{FAGROUP}
+{\bf See}\\
+\pageto{ListMonoidOps}{LMOPS}
+\pageto{FreeGroup}{FGROUP}
+\pageto{InnerFreeAbelianMonoid}{IFAMON}
+\pageto{FreeAbelianMonoid}{FAMONOID}
+\pageto{FreeAbelianGroup}{FAGROUP}
<<domain FMONOID FreeMonoid>>=
)abbrev domain FMONOID FreeMonoid
++ Free monoid on any set of generators
@@ -30593,9 +31529,9 @@ FreeMonoid(S: SetCategory): FMcategory == FMdefinition
where
\section{domain FNLA FreeNilpotentLie}
\pagehead{FreeNilpotentLie}{FNLA}
\pagepic{ps/v103freenilpotentlie.ps}{FNLA}{1.00}
-See also:\\
-\refto{OrdSetInts}{OSI}
-\refto{Commutator}{COMM}
+{\bf See}\\
+\pageto{OrdSetInts}{OSI}
+\pageto{Commutator}{COMM}
<<domain FNLA FreeNilpotentLie>>=
)abbrev domain FNLA FreeNilpotentLie
++ Author: Larry Lambe
@@ -31618,9 +32554,9 @@ o )show GeneralDistributedMultivariatePolynomial
@
\pagehead{GeneralDistributedMultivariatePolynomial}{GDMP}
\pagepic{ps/v103generaldistributedmultivariatepolynomial.ps}{GDMP}{1.00}
-See also:\\
-\refto{DistributedMultivariatePolynomial}{DMP}
-\refto{HomogeneousDistributedMultivariatePolynomial}{HDMP}
+{\bf See}\\
+\pageto{DistributedMultivariatePolynomial}{DMP}
+\pageto{HomogeneousDistributedMultivariatePolynomial}{HDMP}
<<domain GDMP GeneralDistributedMultivariatePolynomial>>=
)abbrev domain GDMP GeneralDistributedMultivariatePolynomial
++ Author: Barry Trager
@@ -31882,8 +32818,8 @@ GeneralDistributedMultivariatePolynomial(vl,R,E):
public == private where
\section{domain GMODPOL GeneralModulePolynomial}
\pagehead{GeneralModulePolynomial}{GMODPOL}
\pagepic{ps/v103generalmodulepolynomial.ps}{GMODPOL}{1.00}
-See also:\\
-\refto{ModuleMonomial}{MODMONOM}
+{\bf See}\\
+\pageto{ModuleMonomial}{MODMONOM}
<<domain GMODPOL GeneralModulePolynomial>>=
)abbrev domain GMODPOL GeneralModulePolynomial
++ Description:
@@ -32442,13 +33378,13 @@ o )show GeneralSparseTable
@
\pagehead{GeneralSparseTable}{GSTBL}
\pagepic{ps/v103generalsparsetable.ps}{GSTBL}{1.00}
-See also:\\
-\refto{HashTable}{HASHTBL}
-\refto{InnerTable}{INTABL}
-\refto{Table}{TABLE}
-\refto{EqTable}{EQTBL}
-\refto{StringTable}{STRTBL}
-\refto{SparseTable}{STBL}
+{\bf See}\\
+\pageto{HashTable}{HASHTBL}
+\pageto{InnerTable}{INTABL}
+\pageto{Table}{TABLE}
+\pageto{EqTable}{EQTBL}
+\pageto{StringTable}{STRTBL}
+\pageto{SparseTable}{STBL}
<<domain GSTBL GeneralSparseTable>>=
)abbrev domain GSTBL GeneralSparseTable
++ Author: Stephen M. Watt
@@ -32496,8 +33432,8 @@ GeneralSparseTable(Key, Entry, Tbl, dent):
TableAggregate(Key, Entry) == Impl
\section{domain GTSET GeneralTriangularSet}
\pagehead{GeneralTriangularSet}{GTSET}
\pagepic{ps/v103generaltriangularset.ps}{GTSET}{1.00}
-See also:\\
-\refto{WuWenTsunTriangularSet}{WUTSET}
+{\bf See}\\
+\pageto{WuWenTsunTriangularSet}{WUTSET}
<<domain GTSET GeneralTriangularSet>>=
)abbrev domain GTSET GeneralTriangularSet
++ Author: Marc Moreno Maza (address@hidden)
@@ -33306,13 +34242,13 @@ GuessOption(): Exports == Implementation where
\section{domain HASHTBL HashTable}
\pagehead{HashTable}{HASHTBL}
\pagepic{ps/v103hashtable.ps}{HASHTBL}{1.00}
-See also:\\
-\refto{InnerTable}{INTABL}
-\refto{Table}{TABLE}
-\refto{EqTable}{EQTBL}
-\refto{StringTable}{STRTBL}
-\refto{GeneralSparseTable}{GSTBL}
-\refto{SparseTable}{STBL}
+{\bf See}\\
+\pageto{InnerTable}{INTABL}
+\pageto{Table}{TABLE}
+\pageto{EqTable}{EQTBL}
+\pageto{StringTable}{STRTBL}
+\pageto{GeneralSparseTable}{GSTBL}
+\pageto{SparseTable}{STBL}
<<domain HASHTBL HashTable>>=
)abbrev domain HASHTBL HashTable
++ Author: Stephen M. Watt
@@ -33508,11 +34444,11 @@ o )show Heap
@
\pagehead{Heap}{HEAP}
\pagepic{ps/v103heap.ps}{HEAP}{1.00}
-See also:\\
-\refto{Stack}{STACK}
-\refto{ArrayStack}{ASTACK}
-\refto{Queue}{QUEUE}
-\refto{Dequeue}{DEQUEUE}
+{\bf See}\\
+\pageto{Stack}{STACK}
+\pageto{ArrayStack}{ASTACK}
+\pageto{Queue}{QUEUE}
+\pageto{Dequeue}{DEQUEUE}
<<domain HEAP Heap>>=
)abbrev domain HEAP Heap
++ Author: Michael Monagan and Stephen Watt
@@ -33745,10 +34681,10 @@ o )show HexadecimalExpansion
@
\pagehead{HexadecimalExpansion}{HEXADEC}
\pagepic{ps/v103hexadecimalexpansion.ps}{HEXADEC}{1.00}
-See also:\\
-\refto{RadixExpansion}{RADIX}
-\refto{BinaryExpansion}{BINARY}
-\refto{DecimalExpansion}{DECIMAL}
+{\bf See}\\
+\pageto{RadixExpansion}{RADIX}
+\pageto{BinaryExpansion}{BINARY}
+\pageto{DecimalExpansion}{DECIMAL}
<<domain HEXADEC HexadecimalExpansion>>=
)abbrev domain HEXADEC HexadecimalExpansion
++ Author: Clifton J. Williamson
@@ -33792,9 +34728,9 @@ HexadecimalExpansion(): Exports == Implementation where
\section{domain HDP HomogeneousDirectProduct}
\pagehead{HomogeneousDirectProduct}{HDP}
\pagepic{ps/v103homogeneousdirectproduct.ps}{HDP}{1.00}
-See also:\\
-\refto{OrderedDirectProduct}{ODP}
-\refto{SplitHomogeneousDirectProduct}{SHDP}
+{\bf See}\\
+\pageto{OrderedDirectProduct}{ODP}
+\pageto{SplitHomogeneousDirectProduct}{SHDP}
<<domain HDP HomogeneousDirectProduct>>=
)abbrev domain HDP HomogeneousDirectProduct
++ Author:
@@ -34054,9 +34990,9 @@ o )show HomogeneousDistributedMultivariatePolynomial
@
\pagehead{HomogeneousDistributedMultivariatePolynomial}{HDMP}
\pagepic{ps/v103homogeneousdistributedmultivariatepolynomial.ps}{HDMP}{1.00}
-See also:\\
-\refto{GeneralDistributedMultivariatePolynomial}{GDMP}
-\refto{DistributedMultivariatePolynomial}{DMP}
+{\bf See}\\
+\pageto{GeneralDistributedMultivariatePolynomial}{GDMP}
+\pageto{DistributedMultivariatePolynomial}{DMP}
<<domain HDMP HomogeneousDistributedMultivariatePolynomial>>=
)abbrev domain HDMP HomogeneousDistributedMultivariatePolynomial
++ Author: Barry Trager
@@ -34103,10 +35039,10 @@ HomogeneousDistributedMultivariatePolynomial(vl,R):
public == private where
\section{domain HELLFDIV HyperellipticFiniteDivisor}
\pagehead{HyperellipticFiniteDivisor}{HELLFDIV}
\pagepic{ps/v103hyperellipticfinitedivisor.ps}{HELLFDIV}{1.00}
-See also:\\
-\refto{FractionalIdeal}{FRIDEAL}
-\refto{FramedModule}{FRMOD}
-\refto{FiniteDivisor}{FDIV}
+{\bf See}\\
+\pageto{FractionalIdeal}{FRIDEAL}
+\pageto{FramedModule}{FRMOD}
+\pageto{FiniteDivisor}{FDIV}
<<domain HELLFDIV HyperellipticFiniteDivisor>>=
)abbrev domain HELLFDIV HyperellipticFiniteDivisor
++ Finite rational divisors on an hyperelliptic curve
@@ -34287,10 +35223,10 @@ HyperellipticFiniteDivisor(F, UP, UPUP, R): Exports
== Implementation where
\section{domain ICARD IndexCard}
\pagehead{IndexCard}{ICARD}
\pagepic{ps/v103indexcard.ps}{ICARD}{1.00}
-See also:\\
-\refto{DataList}{DLIST}
-\refto{Database}{DBASE}
-\refto{QueryEquation}{QEQUAT}
+{\bf See}\\
+\pageto{DataList}{DLIST}
+\pageto{Database}{DBASE}
+\pageto{QueryEquation}{QEQUAT}
<<domain ICARD IndexCard>>=
)abbrev domain ICARD IndexCard
++ This domain implements a container of information
@@ -34359,10 +35295,10 @@ IndexCard() : Exports == Implementation where
\section{domain IBITS IndexedBits}
\pagehead{IndexedBits}{IBITS}
\pagepic{ps/v103indexedbits.ps}{IBITS}{1.00}
-See also:\\
-\refto{Reference}{REF}
-\refto{Boolean}{BOOLEAN}
-\refto{Bits}{BITS}
+{\bf See}\\
+\pageto{Reference}{REF}
+\pageto{Boolean}{BOOLEAN}
+\pageto{Bits}{BITS}
<<domain IBITS IndexedBits>>=
)abbrev domain IBITS IndexedBits
++ Author: Stephen Watt and Michael Monagan
@@ -34434,11 +35370,11 @@ IndexedBits(mn:Integer): BitAggregate() with
\section{domain IDPAG IndexedDirectProductAbelianGroup}
\pagehead{IndexedDirectProductAbelianGroup}{IDPAG}
\pagepic{ps/v103indexeddirectproductabeliangroup.ps}{IDPAG}{1.00}
-See also:\\
-\refto{IndexedDirectProductObject}{IDPO}
-\refto{IndexedDirectProductAbelianMonoid}{IDPAM}
-\refto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
-\refto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
+{\bf See}\\
+\pageto{IndexedDirectProductObject}{IDPO}
+\pageto{IndexedDirectProductAbelianMonoid}{IDPAM}
+\pageto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
+\pageto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
<<domain IDPAG IndexedDirectProductAbelianGroup>>=
)abbrev domain IDPAG IndexedDirectProductAbelianGroup
++ Indexed direct products of abelian groups over an abelian group \spad{A} of
@@ -34518,11 +35454,11 @@
IndexedDirectProductAbelianGroup(A:AbelianGroup,S:OrderedSet):
\section{domain IDPAM IndexedDirectProductAbelianMonoid}
\pagehead{IndexedDirectProductAbelianMonoid}{IDPAM}
\pagepic{ps/v103indexeddirectproductabelianmonoid.ps}{IDPAM}{1.00}
-See also:\\
-\refto{IndexedDirectProductObject}{IDPO}
-\refto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
-\refto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
-\refto{IndexedDirectProductAbelianGroup}{IDPAG}
+{\bf See}\\
+\pageto{IndexedDirectProductObject}{IDPO}
+\pageto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
+\pageto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
+\pageto{IndexedDirectProductAbelianGroup}{IDPAG}
<<domain IDPAM IndexedDirectProductAbelianMonoid>>=
)abbrev domain IDPAM IndexedDirectProductAbelianMonoid
++ Indexed direct products of abelian monoids over an abelian monoid \spad{A}
of
@@ -34613,11 +35549,11 @@
IndexedDirectProductAbelianMonoid(A:AbelianMonoid,S:OrderedSet):
\section{domain IDPO IndexedDirectProductObject}
\pagehead{IndexedDirectProductObject}{IDPO}
\pagepic{ps/v103indexeddirectproductobject.ps}{IDPO}{1.00}
-See also:\\
-\refto{IndexedDirectProductAbelianMonoid}{IDPAM}
-\refto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
-\refto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
-\refto{IndexedDirectProductAbelianGroup}{IDPAG}
+{\bf See}\\
+\pageto{IndexedDirectProductAbelianMonoid}{IDPAM}
+\pageto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
+\pageto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
+\pageto{IndexedDirectProductAbelianGroup}{IDPAG}
<<domain IDPO IndexedDirectProductObject>>=
)abbrev domain IDPO IndexedDirectProductObject
++ Indexed direct products of objects over a set \spad{A}
@@ -34670,11 +35606,11 @@
IndexedDirectProductObject(A:SetCategory,S:OrderedSet): IndexedDirectProductCate
\section{domain IDPOAM IndexedDirectProductOrderedAbelianMonoid}
\pagehead{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
\pagepic{ps/v103indexeddirectproductorderedabelianmonoid.ps}{IDPOAM}{1.00}
-See also:\\
-\refto{IndexedDirectProductObject}{IDPO}
-\refto{IndexedDirectProductAbelianMonoid}{IDPAM}
-\refto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
-\refto{IndexedDirectProductAbelianGroup}{IDPAG}
+{\bf See}\\
+\pageto{IndexedDirectProductObject}{IDPO}
+\pageto{IndexedDirectProductAbelianMonoid}{IDPAM}
+\pageto{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
+\pageto{IndexedDirectProductAbelianGroup}{IDPAG}
<<domain IDPOAM IndexedDirectProductOrderedAbelianMonoid>>=
)abbrev domain IDPOAM IndexedDirectProductOrderedAbelianMonoid
++ Indexed direct products of ordered abelian monoids \spad{A} of
@@ -34707,11 +35643,11 @@
IndexedDirectProductOrderedAbelianMonoid(A:OrderedAbelianMonoid,S:OrderedSet):
\section{domain IDPOAMS IndexedDirectProductOrderedAbelianMonoidSup}
\pagehead{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS}
\pagepic{ps/v103indexeddirectproductorderedabelianmonoidsup.ps}{IDPOAMS}{1.00}
-See also:\\
-\refto{IndexedDirectProductObject}{IDPO}
-\refto{IndexedDirectProductAbelianMonoid}{IDPAM}
-\refto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
-\refto{IndexedDirectProductAbelianGroup}{IDPAG}
+{\bf See}\\
+\pageto{IndexedDirectProductObject}{IDPO}
+\pageto{IndexedDirectProductAbelianMonoid}{IDPAM}
+\pageto{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM}
+\pageto{IndexedDirectProductAbelianGroup}{IDPAG}
<<domain IDPOAMS IndexedDirectProductOrderedAbelianMonoidSup>>=
)abbrev domain IDPOAMS IndexedDirectProductOrderedAbelianMonoidSup
++ Indexed direct products of ordered abelian monoid sups \spad{A},
@@ -34761,10 +35697,10 @@
IndexedDirectProductOrderedAbelianMonoidSup(A:OrderedAbelianMonoidSup,S:OrderedS
\section{domain INDE IndexedExponents}
\pagehead{IndexedExponents}{INDE}
\pagepic{ps/v103indexedexponents.ps}{INDE}{1.00}
-See also:\\
-\refto{Polynomial}{POLY}
-\refto{MultivariatePolynomial}{MPOLY}
-\refto{SparseMultivariatePolynomial}{SMP}
+{\bf See}\\
+\pageto{Polynomial}{POLY}
+\pageto{MultivariatePolynomial}{MPOLY}
+\pageto{SparseMultivariatePolynomial}{SMP}
<<domain INDE IndexedExponents>>=
)abbrev domain INDE IndexedExponents
++ Author: James Davenport
@@ -34808,12 +35744,12 @@ IndexedExponents(Varset:OrderedSet): C == T where
\section{domain IFARRAY IndexedFlexibleArray}
\pagehead{IndexedFlexibleArray}{IFARRAY}
\pagepic{ps/v103indexedflexiblearray.ps}{IFARRAY}{1.00}
-See also:\\
-\refto{PrimitiveArray}{PRIMARR}
-\refto{Tuple}{TUPLE}
-\refto{FlexibleArray}{FARRAY}
-\refto{IndexedOneDimensionalArray}{IARRAY1}
-\refto{OneDimensionalArray}{ARRAY1}
+{\bf See}\\
+\pageto{PrimitiveArray}{PRIMARR}
+\pageto{Tuple}{TUPLE}
+\pageto{FlexibleArray}{FARRAY}
+\pageto{IndexedOneDimensionalArray}{IARRAY1}
+\pageto{OneDimensionalArray}{ARRAY1}
<<domain IFARRAY IndexedFlexibleArray>>=
)abbrev domain IFARRAY IndexedFlexibleArray
++ Author: Michael Monagan July/87, modified SMW June/91
@@ -35058,9 +35994,9 @@ IndexedFlexibleArray(S:Type, mn: Integer): Exports ==
Implementation where
\section{domain ILIST IndexedList}
\pagehead{IndexedList}{ILIST}
\pagepic{ps/v103indexedlist.ps}{ILIST}{1.00}
-See also:\\
-\refto{List}{LIST}
-\refto{AssociationList}{ALIST}
+{\bf See}\\
+\pageto{List}{LIST}
+\pageto{AssociationList}{ALIST}
<<domain ILIST IndexedList>>=
)abbrev domain ILIST IndexedList
++ Author: Michael Monagan
@@ -35262,10 +36198,10 @@ IndexedList(S:Type, mn:Integer): Exports ==
Implementation where
\section{domain IMATRIX IndexedMatrix}
\pagehead{IndexedMatrix}{IMATRIX}
\pagepic{ps/v103indexedmatrix.ps}{IMATRIX}{1.00}
-See also:\\
-\refto{Matrix}{MATRIX}
-\refto{RectangularMatrix}{RMATRIX}
-\refto{SquareMatrix}{SQMATRIX}
+{\bf See}\\
+\pageto{Matrix}{MATRIX}
+\pageto{RectangularMatrix}{RMATRIX}
+\pageto{SquareMatrix}{SQMATRIX}
<<domain IMATRIX IndexedMatrix>>=
)abbrev domain IMATRIX IndexedMatrix
++ Author: Grabmeier, Gschnitzer, Williamson
@@ -35345,12 +36281,12 @@ IndexedMatrix(R,mnRow,mnCol): Exports ==
Implementation where
\section{domain IARRAY1 IndexedOneDimensionalArray}
\pagehead{IndexedOneDimensionalArray}{IARRAY1}
\pagepic{ps/v103indexedonedimensionalarray.ps}{IARRAY1}{1.00}
-See also:\\
-\refto{PrimitiveArray}{PRIMARR}
-\refto{Tuple}{TUPLE}
-\refto{IndexedFlexibleArray}{IFARRAY}
-\refto{FlexibleArray}{FARRAY}
-\refto{OneDimensionalArray}{ARRAY1}
+{\bf See}\\
+\pageto{PrimitiveArray}{PRIMARR}
+\pageto{Tuple}{TUPLE}
+\pageto{IndexedFlexibleArray}{IFARRAY}
+\pageto{FlexibleArray}{FARRAY}
+\pageto{OneDimensionalArray}{ARRAY1}
<<domain IARRAY1 IndexedOneDimensionalArray>>=
)abbrev domain IARRAY1 IndexedOneDimensionalArray
++ Author Micheal Monagan Aug/87
@@ -35448,10 +36384,10 @@ IndexedOneDimensionalArray(S:Type, mn:Integer):
\section{domain ISTRING IndexedString}
\pagehead{IndexedString}{ISTRING}
\pagepic{ps/v103indexedstring.ps}{ISTRING}{1.00}
-See also:\\
-\refto{Character}{CHAR}
-\refto{CharacterClass}{CCLASS}
-\refto{String}{STRING}
+{\bf See}\\
+\pageto{Character}{CHAR}
+\pageto{CharacterClass}{CCLASS}
+\pageto{String}{STRING}
<<domain ISTRING IndexedString>>=
)abbrev domain ISTRING IndexedString
++ Authors: Stephen Watt, Michael Monagan, Manuel Bronstein 1986 .. 1991
@@ -35676,9 +36612,9 @@ the first element of a 'Row' is the same as the index
of the
first column in an array and vice versa.
\pagehead{IndexedTwoDimensionalArray}{IARRAY2}
\pagepic{ps/v103indexedtwodimensionalarray.ps}{IARRAY2}{1.00}
-See also:\\
-\refto{InnerIndexedTwoDimensionalArray}{IIARRAY2}
-\refto{TwoDimensionalArray}{ARRAY2}
+{\bf See}\\
+\pageto{InnerIndexedTwoDimensionalArray}{IIARRAY2}
+\pageto{TwoDimensionalArray}{ARRAY2}
<<domain IARRAY2 IndexedTwoDimensionalArray>>=
)abbrev domain IARRAY2 IndexedTwoDimensionalArray
IndexedTwoDimensionalArray(R,mnRow,mnCol):Exports == Implementation where
@@ -35781,8 +36717,8 @@ InfiniteTuple(S:Type): Exports == Implementation where
\section{domain IAN InnerAlgebraicNumber}
\pagehead{InnerAlgebraicNumber}{IAN}
\pagepic{ps/v103inneralgebraicnumber.ps}{IAN}{1.00}
-See also:\\
-\refto{AlgebraicNumber}{AN}
+{\bf See}\\
+\pageto{AlgebraicNumber}{AN}
<<domain IAN InnerAlgebraicNumber>>=
)abbrev domain IAN InnerAlgebraicNumber
++ Algebraic closure of the rational numbers
@@ -35938,10 +36874,10 @@ InnerAlgebraicNumber(): Exports == Implementation
where
\section{domain IFF InnerFiniteField}
\pagehead{InnerFiniteField}{IFF}
\pagepic{ps/v103innerfinitefield.ps}{IFF}{1.00}
-See also:\\
-\refto{FiniteFieldExtensionByPolynomial}{FFP}
-\refto{FiniteFieldExtension}{FFX}
-\refto{FiniteField}{FF}
+{\bf See}\\
+\pageto{FiniteFieldExtensionByPolynomial}{FFP}
+\pageto{FiniteFieldExtension}{FFX}
+\pageto{FiniteField}{FF}
<<domain IFF InnerFiniteField>>=
)abbrev domain IFF InnerFiniteField
++ Author: ???
@@ -35977,12 +36913,12 @@ InnerFiniteField(p:PositiveInteger,
n:PositiveInteger) ==
\section{domain IFAMON InnerFreeAbelianMonoid}
\pagehead{InnerFreeAbelianMonoid}{IFAMON}
\pagepic{ps/v103innerfreeabelianmonoid.ps}{IFAMON}{1.00}
-See also:\\
-\refto{ListMonoidOps}{LMOPS}
-\refto{FreeMonoid}{FMONOID}
-\refto{FreeGroup}{FGROUP}
-\refto{FreeAbelianMonoid}{FAMONOID}
-\refto{FreeAbelianGroup}{FAGROUP}
+{\bf See}\\
+\pageto{ListMonoidOps}{LMOPS}
+\pageto{FreeMonoid}{FMONOID}
+\pageto{FreeGroup}{FGROUP}
+\pageto{FreeAbelianMonoid}{FAMONOID}
+\pageto{FreeAbelianGroup}{FAGROUP}
<<domain IFAMON InnerFreeAbelianMonoid>>=
)abbrev domain IFAMON InnerFreeAbelianMonoid
++ Internal free abelian monoid on any set of generators
@@ -36032,9 +36968,9 @@ This is an internal type which provides an
implementation of
2-dimensional arrays as PrimitiveArray's of PrimitiveArray's.
\pagehead{InnerIndexedTwoDimensionalArray}{IIARRAY2}
\pagepic{ps/v103innerindexedtwodimensionalarray.ps}{IIARRAY2}{1.00}
-See also:\\
-\refto{IndexedTwoDimensionalArray}{IARRAY2}
-\refto{TwoDimensionalArray}{ARRAY2}
+{\bf See}\\
+\pageto{IndexedTwoDimensionalArray}{IARRAY2}
+\pageto{TwoDimensionalArray}{ARRAY2}
<<domain IIARRAY2 InnerIndexedTwoDimensionalArray>>=
)abbrev domain IIARRAY2 InnerIndexedTwoDimensionalArray
InnerIndexedTwoDimensionalArray(R,mnRow,mnCol,Row,Col):_
@@ -36129,12 +37065,12 @@
InnerIndexedTwoDimensionalArray(R,mnRow,mnCol,Row,Col):_
\section{domain IPADIC InnerPAdicInteger}
\pagehead{InnerPAdicInteger}{IPADIC}
\pagepic{ps/v103innerpadicinteger.ps}{IPADIC}{1.00}
-See also:\\
-\refto{PAdicInteger}{PADIC}
-\refto{BalancedPAdicInteger}{BPADIC}
-\refto{PAdicRationalConstructor}{PADICRC}
-\refto{PAdicRational}{PADICRAT}
-\refto{BalancedPAdicRational}{BPADICRT}
+{\bf See}\\
+\pageto{PAdicInteger}{PADIC}
+\pageto{BalancedPAdicInteger}{BPADIC}
+\pageto{PAdicRationalConstructor}{PADICRC}
+\pageto{PAdicRational}{PADICRAT}
+\pageto{BalancedPAdicRational}{BPADICRT}
<<domain IPADIC InnerPAdicInteger>>=
)abbrev domain IPADIC InnerPAdicInteger
++ Author: Clifton J. Williamson
@@ -36397,8 +37333,8 @@ InnerPAdicInteger(p,unBalanced?): Exports ==
Implementation where
\section{domain IPF InnerPrimeField}
\pagehead{InnerPrimeField}{IPF}
\pagepic{ps/v103innerprimefield.ps}{IPF}{1.00}
-See also:\\
-\refto{PrimeField}{PF}
+{\bf See}\\
+\pageto{PrimeField}{PF}
<<domain IPF InnerPrimeField>>=
)abbrev domain IPF InnerPrimeField
-- Argument MUST be a prime.
@@ -37660,13 +38596,13 @@ InnerSparseUnivariatePowerSeries(Coef): Exports ==
Implementation where
\section{domain INTABL InnerTable}
\pagehead{InnerTable}{INTABL}
\pagepic{ps/v103innertable.ps}{INTABL}{1.00}
-See also:\\
-\refto{HashTable}{HASHTBL}
-\refto{Table}{TABLE}
-\refto{EqTable}{EQTBL}
-\refto{StringTable}{STRTBL}
-\refto{GeneralSparseTable}{GSTBL}
-\refto{SparseTable}{STBL}
+{\bf See}\\
+\pageto{HashTable}{HASHTBL}
+\pageto{Table}{TABLE}
+\pageto{EqTable}{EQTBL}
+\pageto{StringTable}{STRTBL}
+\pageto{GeneralSparseTable}{GSTBL}
+\pageto{SparseTable}{STBL}
<<domain INTABL InnerTable>>=
)abbrev domain INTABL InnerTable
++ Author: Barry Trager
@@ -37701,8 +38637,8 @@ InnerTable(Key: SetCategory, Entry: SetCategory,
addDom):Exports == Implementati
\section{domain ITAYLOR InnerTaylorSeries}
\pagehead{InnerTaylorSeries}{ITAYLOR}
\pagepic{ps/v103innertaylorseries.ps}{ITAYLOR}{1.00}
-See also:\\
-\refto{UnivariateTaylorSeries}{UTS}
+{\bf See}\\
+\pageto{UnivariateTaylorSeries}{UTS}
<<domain ITAYLOR InnerTaylorSeries>>=
)abbrev domain ITAYLOR InnerTaylorSeries
++ Author: Clifton J. Williamson
@@ -38710,10 +39646,10 @@ o )show Integer
@
\pagehead{Integer}{INT}
\pagepic{ps/v103integer.ps}{INT}{1.00}
-See also:\\
-\refto{NonNegativeInteger}{NNI}
-\refto{PositiveInteger}{PI}
-\refto{RomanNumeral}{ROMAN}
+{\bf See}\\
+\pageto{NonNegativeInteger}{NNI}
+\pageto{PositiveInteger}{PI}
+\pageto{RomanNumeral}{ROMAN}
<<domain INT Integer>>=
)abbrev domain INT Integer
++ Author:
@@ -40058,8 +40994,8 @@ o )show Kernel
@
\pagehead{Kernel}{KERNEL}
\pagepic{ps/v103kernel.ps}{KERNEL}{1.00}
-See also:\\
-\refto{MakeCachableSet}{MKCHSET}
+{\bf See}\\
+\pageto{MakeCachableSet}{MKCHSET}
<<domain KERNEL Kernel>>=
)abbrev domain KERNEL Kernel
++ Operators applied to elements of a set
@@ -40340,11 +41276,11 @@ o )show KeyedAccessFile
@
\pagehead{KeyedAccessFile}{KAFILE}
\pagepic{ps/v103keyedaccessfile.ps}{KAFILE}{1.00}
-See also:\\
-\refto{File}{FILE}
-\refto{TextFile}{TEXTFILE}
-\refto{BinaryFile}{BINFILE}
-\refto{Library}{LIB}
+{\bf See}\\
+\pageto{File}{FILE}
+\pageto{TextFile}{TEXTFILE}
+\pageto{BinaryFile}{BINFILE}
+\pageto{Library}{LIB}
<<domain KAFILE KeyedAccessFile>>=
)abbrev domain KAFILE KeyedAccessFile
++ Author: Stephen M. Watt
@@ -40718,11 +41654,11 @@ o )show Library
@
\pagehead{Library}{LIB}
\pagepic{ps/v103library.ps}{LIB}{1.00}
-See also:\\
-\refto{File}{FILE}
-\refto{TextFile}{TEXTFILE}
-\refto{BinaryFile}{BINFILE}
-\refto{KeyedAccessFile}{KAFILE}
+{\bf See}\\
+\pageto{File}{FILE}
+\pageto{TextFile}{TEXTFILE}
+\pageto{BinaryFile}{BINFILE}
+\pageto{KeyedAccessFile}{KAFILE}
<<domain LIB Library>>=
)abbrev domain LIB Library
++ Author: Stephen M. Watt
@@ -41740,9 +42676,9 @@ LiePolynomial(VarSet:OrderedSet, R:CommutativeRing) :
Public == Private where
\section{domain LSQM LieSquareMatrix}
\pagehead{LieSquareMatrix}{LSQM}
\pagepic{ps/v103liesquarematrix.ps}{LSQM}{1.00}
-See also:\\
-\refto{AssociatedLieAlgebra}{LIE}
-\refto{AssociatedJordanAlgebra}{JORDAN}
+{\bf See}\\
+\pageto{AssociatedLieAlgebra}{LIE}
+\pageto{AssociatedJordanAlgebra}{JORDAN}
<<domain LSQM LieSquareMatrix>>=
)abbrev domain LSQM LieSquareMatrix
++ Author: J. Grabmeier
@@ -42326,9 +43262,9 @@ o )show LinearOrdinaryDifferentialOperator
@
\pagehead{LinearOrdinaryDifferentialOperator}{LODO}
\pagepic{ps/v103linearordinarydifferentialoperator.ps}{LODO}{1.00}
-See also:\\
-\refto{LinearOrdinaryDifferentialOperator1}{LODO1}
-\refto{LinearOrdinaryDifferentialOperator2}{LODO2}
+{\bf See}\\
+\pageto{LinearOrdinaryDifferentialOperator1}{LODO1}
+\pageto{LinearOrdinaryDifferentialOperator2}{LODO2}
<<domain LODO LinearOrdinaryDifferentialOperator>>=
)abbrev domain LODO LinearOrdinaryDifferentialOperator
++ Author: Manuel Bronstein
@@ -42760,9 +43696,9 @@ o )show LinearOrdinaryDifferentialOperator1
@
\pagehead{LinearOrdinaryDifferentialOperator1}{LODO1}
\pagepic{ps/v103linearordinarydifferentialoperator1.ps}{LODO1}{1.00}
-See also:\\
-\refto{LinearOrdinaryDifferentialOperator}{LODO}
-\refto{LinearOrdinaryDifferentialOperator2}{LODO2}
+{\bf See}\\
+\pageto{LinearOrdinaryDifferentialOperator}{LODO}
+\pageto{LinearOrdinaryDifferentialOperator2}{LODO2}
<<domain LODO1 LinearOrdinaryDifferentialOperator1>>=
)abbrev domain LODO1 LinearOrdinaryDifferentialOperator1
++ Author: Manuel Bronstein
@@ -43308,9 +44244,9 @@ o )show LinearOrdinaryDifferentialOperator2
@
\pagehead{LinearOrdinaryDifferentialOperator2}{LODO2}
\pagepic{ps/v103linearordinarydifferentialoperator2.ps}{LODO2}{1.00}
-See also:\\
-\refto{LinearOrdinaryDifferentialOperator}{LODO}
-\refto{LinearOrdinaryDifferentialOperator1}{LODO1}
+{\bf See}\\
+\pageto{LinearOrdinaryDifferentialOperator}{LODO}
+\pageto{LinearOrdinaryDifferentialOperator1}{LODO1}
<<domain LODO2 LinearOrdinaryDifferentialOperator2>>=
)abbrev domain LODO2 LinearOrdinaryDifferentialOperator2
++ Author: Stephen M. Watt, Manuel Bronstein
@@ -43904,9 +44840,9 @@ o )show List
@
\pagehead{List}{LIST}
\pagepic{ps/v103list.ps}{LIST}{1.00}
-See also:\\
-\refto{IndexedList}{ILIST}
-\refto{AssociationList}{ALIST}
+{\bf See}\\
+\pageto{IndexedList}{ILIST}
+\pageto{AssociationList}{ALIST}
<<domain LIST List>>=
)abbrev domain LIST List
++ Author: Michael Monagan
@@ -44053,12 +44989,12 @@ List(S:Type): Exports == Implementation where
\section{domain LMOPS ListMonoidOps}
\pagehead{ListMonoidOps}{LMOPS}
\pagepic{ps/v103listmonoidops.ps}{LMOPS}{1.00}
-See also:\\
-\refto{FreeMonoid}{FMONOID}
-\refto{FreeGroup}{FGROUP}
-\refto{InnerFreeAbelianMonoid}{IFAMON}
-\refto{FreeAbelianMonoid}{FAMONOID}
-\refto{FreeAbelianGroup}{FAGROUP}
+{\bf See}\\
+\pageto{FreeMonoid}{FMONOID}
+\pageto{FreeGroup}{FGROUP}
+\pageto{InnerFreeAbelianMonoid}{IFAMON}
+\pageto{FreeAbelianMonoid}{FAMONOID}
+\pageto{FreeAbelianGroup}{FAGROUP}
<<domain LMOPS ListMonoidOps>>=
)abbrev domain LMOPS ListMonoidOps
++ Internal representation for monoids
@@ -44380,9 +45316,9 @@ ListMultiDictionary(S:SetCategory): MultiDictionary(S)
with
\section{domain LA LocalAlgebra}
\pagehead{LocalAlgebra}{LA}
\pagepic{ps/v103localalgebra.ps}{LA}{1.00}
-See also:\\
-\refto{Localize}{LO}
-\refto{Fraction}{FRAC}
+{\bf See}\\
+\pageto{Localize}{LO}
+\pageto{Fraction}{FRAC}
<<domain LA LocalAlgebra>>=
)abbrev domain LA LocalAlgebra
++ Author: Dave Barton, Barry Trager
@@ -44424,9 +45360,9 @@ LocalAlgebra(A: Algebra R,
\section{domain LO Localize}
\pagehead{Localize}{LO}
\pagepic{ps/v103localize.ps}{LO}{1.00}
-See also:\\
-\refto{LocalAlgebra}{LA}
-\refto{Fraction}{FRAC}
+{\bf See}\\
+\pageto{LocalAlgebra}{LA}
+\pageto{Fraction}{FRAC}
<<domain LO Localize>>=
)abbrev domain LO Localize
++ Author: Dave Barton, Barry Trager
@@ -45015,9 +45951,9 @@ LyndonWord(VarSet:OrderedSet):Public == Private where
\section{domain MCMPLX MachineComplex}
\pagehead{MachineComplex}{MCMPLX}
\pagepic{ps/v103machinecomplex.ps}{MCMPLX}{1.00}
-See also:\\
-\refto{MachineInteger}{MINT}
-\refto{MachineFloat}{MFLOAT}
+{\bf See}\\
+\pageto{MachineInteger}{MINT}
+\pageto{MachineFloat}{MFLOAT}
<<domain MCMPLX MachineComplex>>=
)abbrev domain MCMPLX MachineComplex
++ Date Created: December 1993
@@ -45075,9 +46011,9 @@ MachineComplex():Exports == Implementation where
\section{domain MFLOAT MachineFloat}
\pagehead{MachineFloat}{MFLOAT}
\pagepic{ps/v103machinefloat.ps}{MFLOAT}{1.00}
-See also:\\
-\refto{MachineInteger}{MINT}
-\refto{MachineComplex}{MCMPLX}
+{\bf See}\\
+\pageto{MachineInteger}{MINT}
+\pageto{MachineComplex}{MCMPLX}
<<domain MFLOAT MachineFloat>>=
)abbrev domain MFLOAT MachineFloat
++ Author: Mike Dewar
@@ -45390,9 +46326,9 @@ MachineFloat(): Exports == Implementation where
\section{domain MINT MachineInteger}
\pagehead{MachineInteger}{MINT}
\pagepic{ps/v103machineinteger.ps}{MINT}{1.00}
-See also:\\
-\refto{MachineFloat}{MFLOAT}
-\refto{MachineComplex}{MCMPLX}
+{\bf See}\\
+\pageto{MachineFloat}{MFLOAT}
+\pageto{MachineComplex}{MCMPLX}
<<domain MINT MachineInteger>>=
)abbrev domain MINT MachineInteger
++ Author: Mike Dewar
@@ -45907,8 +46843,8 @@ Magma(VarSet:OrderedSet):Public == Private where
\section{domain MKCHSET MakeCachableSet}
\pagehead{MakeCachableSet}{MKCHSET}
\pagepic{ps/v103makecachableset.ps}{MKCHSET}{1.00}
-See also:\\
-\refto{Kernel}{KERNEL}
+{\bf See}\\
+\pageto{Kernel}{KERNEL}
<<domain MKCHSET MakeCachableSet>>=
)abbrev domain MKCHSET MakeCachableSet
++ Make a cachable set from any set
@@ -46867,10 +47803,10 @@ o )show Matrix
@
\pagehead{Matrix}{MATRIX}
\pagepic{ps/v103matrix.ps}{MATRIX}{1.00}
-See also:\\
-\refto{IndexedMatrix}{IMATRIX}
-\refto{RectangularMatrix}{RMATRIX}
-\refto{SquareMatrix}{SQMATRIX}
+{\bf See}\\
+\pageto{IndexedMatrix}{IMATRIX}
+\pageto{RectangularMatrix}{RMATRIX}
+\pageto{SquareMatrix}{SQMATRIX}
<<domain MATRIX Matrix>>=
)abbrev domain MATRIX Matrix
++ Author: Grabmeier, Gschnitzer, Williamson
@@ -47235,9 +48171,9 @@ ModMonic(R,Rep): C == T
\section{domain MODFIELD ModularField}
\pagehead{ModularField}{MODFIELD}
\pagepic{ps/v103modularfield.ps}{MODFIELD}{1.00}
-See also:\\
-\refto{ModularRing}{MODRING}
-\refto{EuclideanModularRing}{EMR}
+{\bf See}\\
+\pageto{ModularRing}{MODRING}
+\pageto{EuclideanModularRing}{EMR}
<<domain MODFIELD ModularField>>=
)abbrev domain MODFIELD ModularField
++ These domains are used for the factorization and gcds
@@ -47274,9 +48210,9 @@ ModularField(R,Mod,reduction:(R,Mod) -> R,
\section{domain MODRING ModularRing}
\pagehead{ModularRing}{MODRING}
\pagepic{ps/v103modularring.ps}{MODRING}{1.00}
-See also:\\
-\refto{EuclideanModularRing}{EMR}
-\refto{ModularField}{MODFIELD}
+{\bf See}\\
+\pageto{EuclideanModularRing}{EMR}
+\pageto{ModularField}{MODFIELD}
<<domain MODRING ModularRing>>=
)abbrev domain MODRING ModularRing
++ Author: P.Gianni, B.Trager
@@ -47378,8 +48314,8 @@ ModularRing(R,Mod,reduction:(R,Mod) -> R,
\section{domain MODMONOM ModuleMonomial}
\pagehead{ModuleMonomial}{MODMONOM}
\pagepic{ps/v103modulemonomial.ps}{MODMONOM}{1.00}
-See also:\\
-\refto{GeneralModulePolynomial}{GMODPOL}
+{\bf See}\\
+\pageto{GeneralModulePolynomial}{GMODPOL}
<<domain MODMONOM ModuleMonomial>>=
)abbrev domain MODMONOM ModuleMonomial
++ Description:
@@ -47421,8 +48357,8 @@ ModuleMonomial(IS: OrderedSet,
\section{domain MODOP ModuleOperator}
\pagehead{ModuleOperator}{MODOP}
\pagepic{ps/v103moduleoperator.ps}{MODOP}{1.00}
-See also:\\
-\refto{Operator}{OP}
+{\bf See}\\
+\pageto{Operator}{OP}
<<domain MODOP ModuleOperator>>=
)abbrev domain MODOP ModuleOperator
++ Author: Manuel Bronstein
@@ -48808,10 +49744,10 @@ o )show MultivariatePolynomial
@
\pagehead{MultivariatePolynomial}{MPOLY}
\pagepic{ps/v103multivariatepolynomial.ps}{MPOLY}{1.00}
-See also:\\
-\refto{Polynomial}{POLY}
-\refto{SparseMultivariatePolynomial}{SMP}
-\refto{IndexedExponents}{INDE}
+{\bf See}\\
+\pageto{Polynomial}{POLY}
+\pageto{SparseMultivariatePolynomial}{SMP}
+\pageto{IndexedExponents}{INDE}
<<domain MPOLY MultivariatePolynomial>>=
)abbrev domain MPOLY MultivariatePolynomial
++ Author: Dave Barton, Barry Trager
@@ -48846,8 +49782,8 @@ MultivariatePolynomial(vl:List Symbol, R:Ring)
\section{domain MYEXPR MyExpression}
\pagehead{MyExpression}{MYEXPR}
\pagepic{ps/v103myexpression.ps}{MYEXPR}{1.00}
-See also:\\
-\refto{MyUnivariatePolynomial}{MYUP}
+{\bf See}\\
+\pageto{MyUnivariatePolynomial}{MYUP}
<<domain MYEXPR MyExpression>>=
)abbrev domain MYEXPR MyExpression
MyExpression(q: Symbol, R): Exports == Implementation where
@@ -48909,8 +49845,8 @@ MyExpression(q: Symbol, R): Exports == Implementation
where
\section{domain MYUP MyUnivariatePolynomial}
\pagehead{MyUnivariatePolynomial}{MYUP}
\pagepic{ps/v103myunivariatepolynomial.ps}{MYUP}{1.00}
-See also:\\
-\refto{MyExpression}{MYEXPR}
+{\bf See}\\
+\pageto{MyExpression}{MYEXPR}
<<domain MYUP MyUnivariatePolynomial>>=
)abbrev domain MYUP MyUnivariatePolynomial
MyUnivariatePolynomial(x:Symbol, R:Ring):
@@ -48959,8 +49895,8 @@ some additional operations related to polynomial system
solving
by means of triangular sets.
\pagehead{NewSparseMultivariatePolynomial}{NSMP}
\pagepic{ps/v103newsparsemultivariatepolynomial.ps}{NSMP}{1.00}
-See also:\\
-\refto{NewSparseUnivariatePolynomial}{NSUP}
+{\bf See}\\
+\pageto{NewSparseUnivariatePolynomial}{NSUP}
<<domain NSMP NewSparseMultivariatePolynomial>>=
)abbrev domain NSMP NewSparseMultivariatePolynomial
++ Author: Marc Moreno Maza
@@ -49373,8 +50309,8 @@ constructor {\bf NewSparseUnivariatePolynomial} extends
the
constructur {\bf SparseUnivariatePolynomial}.
\pagehead{NewSparseUnivariatePolynomial}{NSUP}
\pagepic{ps/v103newsparseunivariatepolynomial.ps}{NSUP}{1.00}
-See also:\\
-\refto{NewSparseMultivariatePolynomial}{NSMP}
+{\bf See}\\
+\pageto{NewSparseMultivariatePolynomial}{NSMP}
<<domain NSUP NewSparseUnivariatePolynomial>>=
)abbrev domain NSUP NewSparseUnivariatePolynomial
++ Author: Marc Moreno Maza
@@ -49705,8 +50641,8 @@ o )show None
@
\pagehead{None}{NONE}
\pagepic{ps/v103none.ps}{NONE}{1.00}
-See also:\\
-\refto{Any}{ANY}
+{\bf See}\\
+\pageto{Any}{ANY}
<<domain NONE None>>=
)abbrev domain NONE None
++ Author:
@@ -49740,10 +50676,10 @@ None():SetCategory == add
\section{domain NNI NonNegativeInteger}
\pagehead{NonNegativeInteger}{NNI}
\pagepic{ps/v103nonnegativeinteger.ps}{NNI}{1.00}
-See also:\\
-\refto{Integer}{INT}
-\refto{PositiveInteger}{PI}
-\refto{RomanNumeral}{ROMAN}
+{\bf See}\\
+\pageto{Integer}{INT}
+\pageto{PositiveInteger}{PI}
+\pageto{RomanNumeral}{ROMAN}
<<domain NNI NonNegativeInteger>>=
)abbrev domain NNI NonNegativeInteger
++ Author:
@@ -50678,12 +51614,12 @@ o )show OneDimensionalArray
@
\pagehead{OneDimensionalArray}{ARRAY1}
\pagepic{ps/v103onedimensionalarray.ps}{ARRAY1}{1.00}
-See also:\\
-\refto{PrimitiveArray}{PRIMARR}
-\refto{Tuple}{TUPLE}
-\refto{IndexedFlexibleArray}{IFARRAY}
-\refto{FlexibleArray}{FARRAY}
-\refto{IndexedOneDimensionalArray}{IARRAY1}
+{\bf See}\\
+\pageto{PrimitiveArray}{PRIMARR}
+\pageto{Tuple}{TUPLE}
+\pageto{IndexedFlexibleArray}{IFARRAY}
+\pageto{FlexibleArray}{FARRAY}
+\pageto{IndexedOneDimensionalArray}{IARRAY1}
<<domain ARRAY1 OneDimensionalArray>>=
)abbrev domain ARRAY1 OneDimensionalArray
++ This is the domain of 1-based one dimensional arrays
@@ -50721,8 +51657,8 @@ OneDimensionalArray(S:Type): Exports == Implementation
where
\section{domain ONECOMP OnePointCompletion}
\pagehead{OnePointCompletion}{ONECOMP}
\pagepic{ps/v103onepointcompletion.ps}{ONECOMP}{1.00}
-See also:\\
-\refto{OrderedCompletion}{ORDCOMP}
+{\bf See}\\
+\pageto{OrderedCompletion}{ORDCOMP}
<<domain ONECOMP OnePointCompletion>>=
)abbrev domain ONECOMP OnePointCompletion
++ Completion with infinity
@@ -50836,9 +51772,9 @@ OnePointCompletion(R:SetCategory): Exports ==
Implementation where
\section{domain OMCONN OpenMathConnection}
\pagehead{OpenMathConnection}{OMCONN}
\pagepic{ps/v103openmathconnection.ps}{OMCONN}{1.00}
-See also:\\
-\refto{OpenMathEncoding}{OMENC}
-\refto{OpenMathDevice}{OMDEV}
+{\bf See}\\
+\pageto{OpenMathEncoding}{OMENC}
+\pageto{OpenMathDevice}{OMDEV}
<<domain OMCONN OpenMathConnection>>=
)abbrev domain OMCONN OpenMathConnection
++ Author: Vilya Harvey
@@ -50885,9 +51821,9 @@ OpenMathConnection(): with
\section{domain OMDEV OpenMathDevice}
\pagehead{OpenMathDevice}{OMDEV}
\pagepic{ps/v103openmathdevice.ps}{OMDEV}{1.00}
-See also:\\
-\refto{OpenMathEncoding}{OMENC}
-\refto{OpenMathConnection}{OMCONN}
+{\bf See}\\
+\pageto{OpenMathEncoding}{OMENC}
+\pageto{OpenMathConnection}{OMCONN}
<<domain OMDEV OpenMathDevice>>=
)abbrev domain OMDEV OpenMathDevice
++ Author: Vilya Harvey
@@ -51063,9 +51999,9 @@ OpenMathDevice(): with
\section{domain OMENC OpenMathEncoding}
\pagehead{OpenMathEncoding}{OMENC}
\pagepic{ps/v103openmathencoding.ps}{OMENC}{1.00}
-See also:\\
-\refto{OpenMathDevice}{OMDEV}
-\refto{OpenMathConnection}{OMCONN}
+{\bf See}\\
+\pageto{OpenMathDevice}{OMDEV}
+\pageto{OpenMathConnection}{OMCONN}
<<domain OMENC OpenMathEncoding>>=
)abbrev domain OMENC OpenMathEncoding
++ Author: Vilya Harvey
@@ -51122,8 +52058,8 @@ OpenMathEncoding(): SetCategory with
\section{domain OMERR OpenMathError}
\pagehead{OpenMathError}{OMERR}
\pagepic{ps/v103openmatherror.ps}{OMERR}{1.00}
-See also:\\
-\refto{OpenMathErrorKind}{OMERRK}
+{\bf See}\\
+\pageto{OpenMathErrorKind}{OMERRK}
<<domain OMERR OpenMathError>>=
)abbrev domain OMERR OpenMathError
++ Author: Vilya Harvey
@@ -51179,8 +52115,8 @@ OpenMathError() : SetCategory with
\section{domain OMERRK OpenMathErrorKind}
\pagehead{OpenMathErrorKind}{OMERRK}
\pagepic{ps/v103openmatherrorkind.ps}{OMERRK}{1.00}
-See also:\\
-\refto{OpenMathError}{OMERR}
+{\bf See}\\
+\pageto{OpenMathError}{OMERR}
<<domain OMERRK OpenMathErrorKind>>=
)abbrev domain OMERRK OpenMathErrorKind
++ Author: Vilya Harvey
@@ -51625,8 +52561,8 @@ o )show Operator
@
\pagehead{Operator}{OP}
\pagepic{ps/v103operator.ps}{OP}{1.00}
-See also:\\
-\refto{ModuleOperator}{MODOP}
+{\bf See}\\
+\pageto{ModuleOperator}{MODOP}
<<domain OP Operator>>=
)abbrev domain OP Operator
++ Author: Manuel Bronstein
@@ -51647,10 +52583,10 @@ Operator(R: Ring) == ModuleOperator(R,R)
\section{domain OMLO OppositeMonogenicLinearOperator}
\pagehead{OppositeMonogenicLinearOperator}{OMLO}
\pagepic{ps/v103oppositemonogeniclinearoperator.ps}{OMLO}{1.00}
-See also:\\
-\refto{OrdinaryDifferentialRing}{ODR}
-\refto{DirectProductModule}{DPMO}
-\refto{DirectProductMatrixModule}{DPMM}
+{\bf See}\\
+\pageto{OrdinaryDifferentialRing}{ODR}
+\pageto{DirectProductModule}{DPMO}
+\pageto{DirectProductMatrixModule}{DPMM}
<<domain OMLO OppositeMonogenicLinearOperator>>=
)abbrev domain OMLO OppositeMonogenicLinearOperator
++ Author: Stephen M. Watt
@@ -51698,8 +52634,8 @@ OppositeMonogenicLinearOperator(P, R): OPRcat == OPRdef
where
\section{domain ORDCOMP OrderedCompletion}
\pagehead{OrderedCompletion}{ORDCOMP}
\pagepic{ps/v103orderedcompletion.ps}{ORDCOMP}{1.00}
-See also:\\
-\refto{OnePointCompletion}{ONECOMP}
+{\bf See}\\
+\pageto{OnePointCompletion}{ONECOMP}
<<domain ORDCOMP OrderedCompletion>>=
)abbrev domain ORDCOMP OrderedCompletion
++ Completion with + and - infinity
@@ -51839,9 +52775,9 @@ OrderedCompletion(R:SetCategory): Exports ==
Implementation where
\section{domain ODP OrderedDirectProduct}
\pagehead{OrderedDirectProduct}{ODP}
\pagepic{ps/v103ordereddirectproduct.ps}{ODP}{1.00}
-See also:\\
-\refto{HomogeneousDirectProduct}{HDP}
-\refto{SplitHomogeneousDirectProduct}{SHDP}
+{\bf See}\\
+\pageto{HomogeneousDirectProduct}{HDP}
+\pageto{SplitHomogeneousDirectProduct}{SHDP}
<<domain ODP OrderedDirectProduct>>=
)abbrev domain ODP OrderedDirectProduct
-- all direct product category domains must be compiled
@@ -52180,11 +53116,11 @@ OrderedVariableList(VariableList:List Symbol):
@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{domain ODPOL OrderlyDifferentialPolynomial}
-See also:\\
-\refto{OrderlyDifferentialVariable}{ODVAR}
-\refto{SequentialDifferentialVariable}{SDVAR}
-\refto{DifferentialSparseMultivariatePolynomial}{DSMP}
-\refto{SequentialDifferentialPolynomial}{SDPOL}
+{\bf See}\\
+\pageto{OrderlyDifferentialVariable}{ODVAR}
+\pageto{SequentialDifferentialVariable}{SDVAR}
+\pageto{DifferentialSparseMultivariatePolynomial}{DSMP}
+\pageto{SequentialDifferentialPolynomial}{SDPOL}
<<OrderlyDifferentialPolynomial.input>>=
-- dpolcat.spad.pamphlet OrderlyDifferentialPolynomial.input
)spool OrderlyDifferentialPolynomial.output
@@ -52882,11 +53818,11 @@ OrderlyDifferentialPolynomial(R):
\section{domain ODVAR OrderlyDifferentialVariable}
\pagehead{OrderlyDifferentialVariable}{ODVAR}
\pagepic{ps/v103orderlydifferentialvariable.ps}{ODVAR}{1.00}
-See also:\\
-\refto{SequentialDifferentialVariable}{SDVAR}
-\refto{DifferentialSparseMultivariatePolynomial}{DSMP}
-\refto{OrderlyDifferentialPolynomial}{ODPOL}
-\refto{SequentialDifferentialPolynomial}{SDPOL}
+{\bf See}\\
+\pageto{SequentialDifferentialVariable}{SDVAR}
+\pageto{DifferentialSparseMultivariatePolynomial}{DSMP}
+\pageto{OrderlyDifferentialPolynomial}{ODPOL}
+\pageto{SequentialDifferentialPolynomial}{SDPOL}
<<domain ODVAR OrderlyDifferentialVariable>>=
)abbrev domain ODVAR OrderlyDifferentialVariable
++ Author: William Sit
@@ -52932,10 +53868,10 @@
OrderlyDifferentialVariable(S:OrderedSet):DifferentialVariableCategory(S)
\section{domain ODR OrdinaryDifferentialRing}
\pagehead{OrdinaryDifferentialRing}{ODR}
\pagepic{ps/v103ordinarydifferentialring.ps}{ODR}{1.00}
-See also:\\
-\refto{OppositeMonogenicLinearOperator}{OMLO}
-\refto{DirectProductModule}{DPMO}
-\refto{DirectProductMatrixModule}{DPMM}
+{\bf See}\\
+\pageto{OppositeMonogenicLinearOperator}{OMLO}
+\pageto{DirectProductModule}{DPMO}
+\pageto{DirectProductMatrixModule}{DPMM}
<<domain ODR OrdinaryDifferentialRing>>=
)abbrev domain ODR OrdinaryDifferentialRing
++ Author: Stephen M. Watt
@@ -53034,9 +53970,9 @@ OrdinaryWeightedPolynomials(R:Ring,
\section{domain OSI OrdSetInts}
\pagehead{OrdSetInts}{OSI}
\pagepic{ps/v103ordsetints.ps}{OSI}{1.00}
-See also:\\
-\refto{Commutator}{COMM}
-\refto{FreeNilpotentLie}{FNLA}
+{\bf See}\\
+\pageto{Commutator}{COMM}
+\pageto{FreeNilpotentLie}{FNLA}
<<domain OSI OrdSetInts>>=
)abbrev domain OSI OrdSetInts
++ Author : Larry Lambe
@@ -53547,12 +54483,12 @@ OutputForm(): SetCategory with
\section{domain PADIC PAdicInteger}
\pagehead{PAdicInteger}{PADIC}
\pagepic{ps/v103padicinteger.ps}{PADIC}{1.00}
-See also:\\
-\refto{InnerPAdicInteger}{IPADIC}
-\refto{BalancedPAdicInteger}{BPADIC}
-\refto{PAdicRationalConstructor}{PADICRC}
-\refto{PAdicRational}{PADICRAT}
-\refto{BalancedPAdicRational}{BPADICRT}
+{\bf See}\\
+\pageto{InnerPAdicInteger}{IPADIC}
+\pageto{BalancedPAdicInteger}{BPADIC}
+\pageto{PAdicRationalConstructor}{PADICRC}
+\pageto{PAdicRational}{PADICRAT}
+\pageto{BalancedPAdicRational}{BPADICRT}
<<domain PADIC PAdicInteger>>=
)abbrev domain PADIC PAdicInteger
++ Author: Clifton J. Williamson
@@ -53582,12 +54518,12 @@ PAdicInteger(p:Integer) ==
InnerPAdicInteger(p,true$Boolean)
\section{domain PADICRAT PAdicRational}
\pagehead{PAdicRational}{PADICRAT}
\pagepic{ps/v103padicrational.ps}{PADICRAT}{1.00}
-See also:\\
-\refto{InnerPAdicInteger}{IPADIC}
-\refto{PAdicInteger}{PADIC}
-\refto{BalancedPAdicInteger}{BPADIC}
-\refto{PAdicRationalConstructor}{PADICRC}
-\refto{BalancedPAdicRational}{BPADICRT}
+{\bf See}\\
+\pageto{InnerPAdicInteger}{IPADIC}
+\pageto{PAdicInteger}{PADIC}
+\pageto{BalancedPAdicInteger}{BPADIC}
+\pageto{PAdicRationalConstructor}{PADICRC}
+\pageto{BalancedPAdicRational}{BPADICRT}
<<domain PADICRAT PAdicRational>>=
)abbrev domain PADICRAT PAdicRational
++ Author: Clifton J. Williamson
@@ -53617,12 +54553,12 @@ PAdicRational(p:Integer) ==
PAdicRationalConstructor(p,PAdicInteger p)
\section{domain PADICRC PAdicRationalConstructor}
\pagehead{PAdicRationalConstructor}{PADICRC}
\pagepic{ps/v103padicrationalconstructor.ps}{PADICRC}{1.00}
-See also:\\
-\refto{InnerPAdicInteger}{IPADIC}
-\refto{PAdicInteger}{PADIC}
-\refto{BalancedPAdicInteger}{BPADIC}
-\refto{PAdicRational}{PADICRAT}
-\refto{BalancedPAdicRational}{BPADICRT}
+{\bf See}\\
+\pageto{InnerPAdicInteger}{IPADIC}
+\pageto{PAdicInteger}{PADIC}
+\pageto{BalancedPAdicInteger}{BPADIC}
+\pageto{PAdicRational}{PADICRAT}
+\pageto{BalancedPAdicRational}{BPADICRT}
<<domain PADICRC PAdicRationalConstructor>>=
)abbrev domain PADICRC PAdicRationalConstructor
++ Author: Clifton J. Williamson
@@ -53815,8 +54751,8 @@ PAdicRationalConstructor(p,PADIC): Exports ==
Implementation where
\section{domain PALETTE Palette}
\pagehead{Palette}{PALETTE}
\pagepic{ps/v103palette.ps}{PALETTE}{1.00}
-See also:\\
-\refto{Color}{COLOR}
+{\bf See}\\
+\pageto{Color}{COLOR}
<<domain PALETTE Palette>>=
)abbrev domain PALETTE Palette
++ Author: Jim Wen
@@ -53883,9 +54819,9 @@ Palette(): Exports == Implementation where
\section{domain PARPCURV ParametricPlaneCurve}
\pagehead{ParametricPlaneCurve}{PARPCURV}
\pagepic{ps/v103parametricplanecurve.ps}{PARPCURV}{1.00}
-See also:\\
-\refto{ParametricSpaceCurve}{PARSCURV}
-\refto{ParametricSurface}{PARSURF}
+{\bf See}\\
+\pageto{ParametricSpaceCurve}{PARSCURV}
+\pageto{ParametricSurface}{PARSURF}
<<domain PARPCURV ParametricPlaneCurve>>=
)abbrev domain PARPCURV ParametricPlaneCurve
++ Author: Clifton J. Williamson
@@ -53934,9 +54870,9 @@ ParametricPlaneCurve(ComponentFunction): Exports ==
Implementation where
\section{domain PARSCURV ParametricSpaceCurve}
\pagehead{ParametricSpaceCurve}{PARSCURV}
\pagepic{ps/v103parametricspacecurve.ps}{PARSCURV}{1.00}
-See also:\\
-\refto{ParametricPlaneCurve}{PARPCURV}
-\refto{ParametricSurface}{PARSURF}
+{\bf See}\\
+\pageto{ParametricPlaneCurve}{PARPCURV}
+\pageto{ParametricSurface}{PARSURF}
<<domain PARSCURV ParametricSpaceCurve>>=
)abbrev domain PARSCURV ParametricSpaceCurve
++ Author: Clifton J. Williamson
@@ -53988,9 +54924,9 @@ ParametricSpaceCurve(ComponentFunction): Exports ==
Implementation where
\section{domain PARSURF ParametricSurface}
\pagehead{ParametricSurface}{PARSURF}
\pagepic{ps/v103parametricsurface.ps}{PARSURF}{1.00}
-See also:\\
-\refto{ParametricPlaneCurve}{PARPCURV}
-\refto{ParametricSpaceCurve}{PARSCURV}
+{\bf See}\\
+\pageto{ParametricPlaneCurve}{PARPCURV}
+\pageto{ParametricSpaceCurve}{PARSCURV}
<<domain PARSURF ParametricSurface>>=
)abbrev domain PARSURF ParametricSurface
++ Author: Clifton J. Williamson
@@ -54656,8 +55592,8 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule
where
\section{domain PRTITION Partition}
\pagehead{Partition}{PRTITION}
\pagepic{ps/v103partition.ps}{PRTITION}{1.00}
-See also:\\
-\refto{SymmetricPolynomial}{SYMPOLY}
+{\bf See}\\
+\pageto{SymmetricPolynomial}{SYMPOLY}
<<domain PRTITION Partition>>=
)abbrev domain PRTITION Partition
++ Domain for partitions of positive integers
@@ -55182,8 +56118,8 @@ Pattern(R:SetCategory): Exports == Implementation where
\section{domain PATLRES PatternMatchListResult}
\pagehead{PatternMatchListResult}{PATLRES}
\pagepic{ps/v103patternmatchlistresult.ps}{PATLRES}{1.00}
-See also:\\
-\refto{PatternMatchResult}{PATRES}
+{\bf See}\\
+\pageto{PatternMatchResult}{PATRES}
<<domain PATLRES PatternMatchListResult>>=
)abbrev domain PATLRES PatternMatchListResult
++ Result returned by the pattern matcher when using lists
@@ -55241,8 +56177,8 @@ PatternMatchListResult(R:SetCategory, S:SetCategory,
L:ListAggregate S):
\section{domain PATRES PatternMatchResult}
\pagehead{PatternMatchResult}{PATRES}
\pagepic{ps/v103patternmatchresult.ps}{PATRES}{1.00}
-See also:\\
-\refto{PatternMatchListResult}{PATLRES}
+{\bf See}\\
+\pageto{PatternMatchListResult}{PATLRES}
<<domain PATRES PatternMatchResult>>=
)abbrev domain PATRES PatternMatchResult
++ Result returned by the pattern matcher
@@ -55357,12 +56293,12 @@ A PendantTree(S)is either a leaf? and is an S or has
a left and a right both PendantTree(S)'s
\pagehead{PendantTree}{PENDTREE}
\pagepic{ps/v103pendanttree.ps}{PENDTREE}{1.00}
-See also:\\
-\refto{Tree}{TREE}
-\refto{BinaryTree}{BTREE}
-\refto{BinarySearchTree}{BSTREE}
-\refto{BinaryTournament}{BTOURN}
-\refto{BalancedBinaryTree}{BBTREE}
+{\bf See}\\
+\pageto{Tree}{TREE}
+\pageto{BinaryTree}{BTREE}
+\pageto{BinarySearchTree}{BSTREE}
+\pageto{BinaryTournament}{BTOURN}
+\pageto{BalancedBinaryTree}{BBTREE}
<<domain PENDTREE PendantTree>>=
)abbrev domain PENDTREE PendantTree
PendantTree(S: SetCategory): T == C where
@@ -56728,8 +57664,8 @@ PermutationGroup(S:SetCategory): public == private where
\section{domain HACKPI Pi}
\pagehead{Pi}{HACKPI}
\pagepic{ps/v103pi.ps}{HACKPI}{1.00}
-See also:\\
-\refto{Expression}{EXPR}
+{\bf See}\\
+\pageto{Expression}{EXPR}
<<domain HACKPI Pi>>=
)abbrev domain HACKPI Pi
++ Expressions in %pi only
@@ -59340,9 +60276,9 @@ PoincareBirkhoffWittLyndonBasis(VarSet: OrderedSet):
Public == Private where
\section{domain POINT Point}
\pagehead{Point}{POINT}
\pagepic{ps/v103point.ps}{POINT}{1.00}
-See also:\\
-\refto{SubSpaceComponentProperty}{COMPPROP}
-\refto{SubSpace}{SUBSPACE}
+{\bf See}\\
+\pageto{SubSpaceComponentProperty}{COMPPROP}
+\pageto{SubSpace}{SUBSPACE}
<<domain POINT Point>>=
)abbrev domain POINT Point
++ Description:
@@ -60173,10 +61109,10 @@ o )show Polynomial
@
\pagehead{Polynomial}{POLY}
\pagepic{ps/v103polynomial.ps}{POLY}{1.00}
-See also:\\
-\refto{MultivariatePolynomial}{MPOLY}
-\refto{SparseMultivariatePolynomial}{SMP}
-\refto{IndexedExponents}{INDE}
+{\bf See}\\
+\pageto{MultivariatePolynomial}{MPOLY}
+\pageto{SparseMultivariatePolynomial}{SMP}
+\pageto{IndexedExponents}{INDE}
<<domain POLY Polynomial>>=
)abbrev domain POLY Polynomial
++ Author: Dave Barton, Barry Trager
@@ -60656,10 +61592,10 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T
\section{domain PR PolynomialRing}
\pagehead{PolynomialRing}{PR}
\pagepic{ps/v103polynomialring.ps}{PR}{1.00}
-See also:\\
-\refto{FreeModule}{FM}
-\refto{SparseUnivariatePolynomial}{SUP}
-\refto{UnivariatePolynomial}{UP}
+{\bf See}\\
+\pageto{FreeModule}{FM}
+\pageto{SparseUnivariatePolynomial}{SUP}
+\pageto{UnivariatePolynomial}{UP}
<<domain PR PolynomialRing>>=
)abbrev domain PR PolynomialRing
++ Author: Dave Barton, James Davenport, Barry Trager
@@ -60976,10 +61912,10 @@ PolynomialRing(R:Ring,E:OrderedAbelianMonoid): T == C
\section{domain PI PositiveInteger}
\pagehead{PositiveInteger}{PI}
\pagepic{ps/v103positiveinteger.ps}{PI}{1.00}
-See also:\\
-\refto{Integer}{INT}
-\refto{NonNegativeInteger}{NNI}
-\refto{RomanNumeral}{ROMAN}
+{\bf See}\\
+\pageto{Integer}{INT}
+\pageto{NonNegativeInteger}{NNI}
+\pageto{RomanNumeral}{ROMAN}
<<domain PI PositiveInteger>>=
)abbrev domain PI PositiveInteger
++ Author:
@@ -61013,8 +61949,8 @@ PositiveInteger:
Join(AbelianSemiGroup,OrderedSet,Monoid) with
\section{domain PF PrimeField}
\pagehead{PrimeField}{PF}
\pagepic{ps/v103primefield.ps}{PF}{1.00}
-See also:\\
-\refto{InnerPrimeField}{IPF}
+{\bf See}\\
+\pageto{InnerPrimeField}{IPF}
<<domain PF PrimeField>>=
)abbrev domain PF PrimeField
++ Authors: N.N.,
@@ -61052,12 +61988,12 @@ PrimeField(p:PositiveInteger): Exp == Impl where
\section{domain PRIMARR PrimitiveArray}
\pagehead{PrimitiveArray}{PRIMARR}
\pagepic{ps/v103primitivearray.ps}{PRIMARR}{1.00}
-See also:\\
-\refto{Tuple}{TUPLE}
-\refto{IndexedFlexibleArray}{IFARRAY}
-\refto{FlexibleArray}{FARRAY}
-\refto{IndexedOneDimensionalArray}{IARRAY1}
-\refto{OneDimensionalArray}{ARRAY1}
+{\bf See}\\
+\pageto{Tuple}{TUPLE}
+\pageto{IndexedFlexibleArray}{IFARRAY}
+\pageto{FlexibleArray}{FARRAY}
+\pageto{IndexedOneDimensionalArray}{IARRAY1}
+\pageto{OneDimensionalArray}{ARRAY1}
<<domain PRIMARR PrimitiveArray>>=
)abbrev domain PRIMARR PrimitiveArray
++ This provides a fast array type with no bound checking on elt's.
@@ -61201,8 +62137,8 @@ Product (A:SetCategory,B:SetCategory) : C == T
\section{domain QFORM QuadraticForm}
\pagehead{QuadraticForm}{QFORM}
\pagepic{ps/v103quadraticform.ps}{QFORM}{1.00}
-See also:\\
-\refto{CliffordAlgebra}{CLIF}
+{\bf See}\\
+\pageto{CliffordAlgebra}{CLIF}
<<domain QFORM QuadraticForm>>=
)abbrev domain QFORM QuadraticForm
++ Author: Stephen M. Watt
@@ -61739,10 +62675,10 @@ Quaternion(R:CommutativeRing): QuaternionCategory(R)
== add
\section{domain QEQUAT QueryEquation}
\pagehead{QueryEquation}{QEQUAT}
\pagepic{ps/v103queryequation.ps}{QEQUAT}{1.00}
-See also:\\
-\refto{DataList}{DLIST}
-\refto{IndexCard}{ICARD}
-\refto{Database}{DBASE}
+{\bf See}\\
+\pageto{DataList}{DLIST}
+\pageto{IndexCard}{ICARD}
+\pageto{Database}{DBASE}
<<domain QEQUAT QueryEquation>>=
)abbrev domain QEQUAT QueryEquation
++ This domain implements simple database queries
@@ -61772,11 +62708,11 @@ QueryEquation(): Exports == Implementation where
\section{domain QUEUE Queue}
\pagehead{Queue}{QUEUE}
\pagepic{ps/v103queue.ps}{QUEUE}{1.00}
-See also:\\
-\refto{Stack}{STACK}
-\refto{ArrayStack}{ASTACK}
-\refto{Dequeue}{DEQUEUE}
-\refto{Heap}{HEAP}
+{\bf See}\\
+\pageto{Stack}{STACK}
+\pageto{ArrayStack}{ASTACK}
+\pageto{Dequeue}{DEQUEUE}
+\pageto{Heap}{HEAP}
<<domain QUEUE Queue>>=
)abbrev domain QUEUE Queue
++ Author: Michael Monagan and Stephen Watt
@@ -61837,8 +62773,8 @@ Queue(S:SetCategory): QueueAggregate S with
\section{domain RADFF RadicalFunctionField}
\pagehead{RadicalFunctionField}{RADFF}
\pagepic{ps/v103radicalfunctionfield.ps}{RADFF}{1.00}
-See also:\\
-\refto{AlgebraicFunctionField}{ALGFF}
+{\bf See}\\
+\pageto{AlgebraicFunctionField}{ALGFF}
<<domain RADFF RadicalFunctionField>>=
)abbrev domain RADFF RadicalFunctionField
++ Function field defined by y**n = f(x)
@@ -62328,10 +63264,10 @@ o )show RadixExpansion
@
\pagehead{RadixExpansion}{RADIX}
\pagepic{ps/v103radixexpansion.ps}{RADIX}{1.00}
-See also:\\
-\refto{BinaryExpansion}{BINARY}
-\refto{DecimalExpansion}{DECIMAL}
-\refto{HexadecimalExpansion}{HEXADEC}
+{\bf See}\\
+\pageto{BinaryExpansion}{BINARY}
+\pageto{DecimalExpansion}{DECIMAL}
+\pageto{HexadecimalExpansion}{HEXADEC}
<<domain RADIX RadixExpansion>>=
)abbrev domain RADIX RadixExpansion
++ Author: Stephen M. Watt
@@ -63813,8 +64749,8 @@ o )show RealClosure
@
\pagehead{RealClosure}{RECLOS}
\pagepic{ps/v103realclosure.ps}{RECLOS}{1.00}
-See also:\\
-\refto{RightOpenIntervalRootCharacterization}{ROIRC}
+{\bf See}\\
+\pageto{RightOpenIntervalRootCharacterization}{ROIRC}
<<domain RECLOS RealClosure>>=
)abbrev domain RECLOS RealClosure
++ Author: Renaud Rioboo
@@ -64137,10 +65073,10 @@ RealClosure(TheField): PUB == PRIV where
\section{domain RMATRIX RectangularMatrix}
\pagehead{RectangularMatrix}{RMATRIX}
\pagepic{ps/v103rectangularmatrix.ps}{RMATRIX}{1.00}
-See also:\\
-\refto{IndexedMatrix}{IMATRIX}
-\refto{Matrix}{MATRIX}
-\refto{SquareMatrix}{SQMATRIX}
+{\bf See}\\
+\pageto{IndexedMatrix}{IMATRIX}
+\pageto{Matrix}{MATRIX}
+\pageto{SquareMatrix}{SQMATRIX}
<<domain RMATRIX RectangularMatrix>>=
)abbrev domain RMATRIX RectangularMatrix
++ Author: Grabmeier, Gschnitzer, Williamson
@@ -64240,10 +65176,10 @@ RectangularMatrix(m,n,R): Exports == Implementation
where
\section{domain REF Reference}
\pagehead{Reference}{REF}
\pagepic{ps/v103reference.ps}{REF}{1.00}
-See also:\\
-\refto{Boolean}{BOOLEAN}
-\refto{IndexedBits}{IBITS}
-\refto{Bits}{BITS}
+{\bf See}\\
+\pageto{Boolean}{BOOLEAN}
+\pageto{IndexedBits}{IBITS}
+\pageto{Bits}{BITS}
<<domain REF Reference>>=
)abbrev domain REF Reference
++ Author: Stephen M. Watt
@@ -66181,14 +67117,14 @@ ResidueRing(F,Expon,VarSet,FPol,LFPol) : Dom == Body
\section{domain RESULT Result}
\pagehead{Result}{RESULT}
\pagepic{ps/v103result.ps}{RESULT}{1.00}
-See also:\\
-\refto{FortranCode}{FC}
-\refto{FortranProgram}{FORTRAN}
-\refto{ThreeDimensionalMatrix}{M3D}
-\refto{SimpleFortranProgram}{SFORT}
-\refto{Switch}{SWITCH}
-\refto{FortranTemplate}{FTEM}
-\refto{FortranExpression}{FEXPR}
+{\bf See}\\
+\pageto{FortranCode}{FC}
+\pageto{FortranProgram}{FORTRAN}
+\pageto{ThreeDimensionalMatrix}{M3D}
+\pageto{SimpleFortranProgram}{SFORT}
+\pageto{Switch}{SWITCH}
+\pageto{FortranTemplate}{FTEM}
+\pageto{FortranExpression}{FEXPR}
<<domain RESULT Result>>=
)abbrev domain RESULT Result
++ Author: Didier Pinchon and Mike Dewar
@@ -66267,8 +67203,8 @@ Result():Exports==Implementation where
\section{domain RULE RewriteRule}
\pagehead{RewriteRule}{RULE}
\pagepic{ps/v103rewriterule.ps}{RULE}{1.00}
-See also:\\
-\refto{Ruleset}{RULESET}
+{\bf See}\\
+\pageto{Ruleset}{RULESET}
<<domain RULE RewriteRule>>=
)abbrev domain RULE RewriteRule
++ Rules for the pattern matcher
@@ -66444,8 +67380,8 @@ computations are done excatly. They can thus be quite
time consuming when
depending on several "real roots".
\pagehead{RightOpenIntervalRootCharacterization}{ROIRC}
\pagepic{ps/v103rightopenintervalrootcharacterization.ps}{ROIRC}{1.00}
-See also:\\
-\refto{RealClosure}{RECLOS}
+{\bf See}\\
+\pageto{RealClosure}{RECLOS}
<<domain ROIRC RightOpenIntervalRootCharacterization>>=
)abbrev domain ROIRC RightOpenIntervalRootCharacterization
++ Author: Renaud Rioboo
@@ -67199,10 +68135,10 @@ o )show RomanNumeral
@
\pagehead{RomanNumeral}{ROMAN}
\pagepic{ps/v103romannumeral.ps}{ROMAN}{1.00}
-See also:\\
-\refto{Integer}{INT}
-\refto{NonNegativeInteger}{NNI}
-\refto{PositiveInteger}{PI}
+{\bf See}\\
+\pageto{Integer}{INT}
+\pageto{NonNegativeInteger}{NNI}
+\pageto{PositiveInteger}{PI}
<<domain ROMAN RomanNumeral>>=
)abbrev domain ROMAN RomanNumeral
++ Author:
@@ -67666,8 +68602,8 @@ RuleCalled(f:Symbol): SetCategory with
\section{domain RULESET Ruleset}
\pagehead{Ruleset}{RULESET}
\pagepic{ps/v103ruleset.ps}{RULESET}{1.00}
-See also:\\
-\refto{RewriteRule}{RULE}
+{\bf See}\\
+\pageto{RewriteRule}{RULE}
<<domain RULESET Ruleset>>=
)abbrev domain RULESET Ruleset
++ Sets of rules for the pattern matcher
@@ -68326,9 +69262,9 @@ o )show Segment
@
\pagehead{Segment}{SEG}
\pagepic{ps/v103segment.ps}{SEG}{1.00}
-See also:\\
-\refto{SegmentBinding}{SEGBIND}
-\refto{UniversalSegment}{UNISEG}
+{\bf See}\\
+\pageto{SegmentBinding}{SEGBIND}
+\pageto{UniversalSegment}{UNISEG}
<<domain SEG Segment>>=
)abbrev domain SEG Segment
++ Author: Stephen M. Watt
@@ -68527,9 +69463,9 @@ o )show SegmentBinding
@
\pagehead{SegmentBinding}{SEGBIND}
\pagepic{ps/v103segmentbinding.ps}{SEGBIND}{1.00}
-See also:\\
-\refto{Segment}{SEG}
-\refto{UniversalSegment}{UNISEG}
+{\bf See}\\
+\pageto{Segment}{SEG}
+\pageto{UniversalSegment}{UNISEG}
<<domain SEGBIND SegmentBinding>>=
)abbrev domain SEGBIND SegmentBinding
++ Author:
@@ -69235,11 +70171,11 @@ SetOfMIntegersInOneToN(m, n): Exports ==
Implementation where
\section{domain SDPOL SequentialDifferentialPolynomial}
\pagehead{SequentialDifferentialPolynomial}{SDPOL}
\pagepic{ps/v103sequentialdifferentialpolynomial.ps}{SDPOL}{1.00}
-See also:\\
-\refto{OrderlyDifferentialVariable}{ODVAR}
-\refto{SequentialDifferentialVariable}{SDVAR}
-\refto{DifferentialSparseMultivariatePolynomial}{DSMP}
-\refto{OrderlyDifferentialPolynomial}{ODPOL}
+{\bf See}\\
+\pageto{OrderlyDifferentialVariable}{ODVAR}
+\pageto{SequentialDifferentialVariable}{SDVAR}
+\pageto{DifferentialSparseMultivariatePolynomial}{DSMP}
+\pageto{OrderlyDifferentialPolynomial}{ODPOL}
<<domain SDPOL SequentialDifferentialPolynomial>>=
)abbrev domain SDPOL SequentialDifferentialPolynomial
++ Author: William Sit
@@ -69283,11 +70219,11 @@ SequentialDifferentialPolynomial(R):
\section{domain SDVAR SequentialDifferentialVariable}
\pagehead{SequentialDifferentialVariable}{SDVAR}
\pagepic{ps/v103sequentialdifferentialvariable.ps}{SDVAR}{1.00}
-See also:\\
-\refto{OrderlyDifferentialVariable}{ODVAR}
-\refto{DifferentialSparseMultivariatePolynomial}{DSMP}
-\refto{OrderlyDifferentialPolynomial}{ODPOL}
-\refto{SequentialDifferentialPolynomial}{SDPOL}
+{\bf See}\\
+\pageto{OrderlyDifferentialVariable}{ODVAR}
+\pageto{DifferentialSparseMultivariatePolynomial}{DSMP}
+\pageto{OrderlyDifferentialPolynomial}{ODPOL}
+\pageto{SequentialDifferentialPolynomial}{SDPOL}
<<domain SDVAR SequentialDifferentialVariable>>=
)abbrev domain SDVAR SequentialDifferentialVariable
++ Author: William Sit
@@ -69336,8 +70272,8 @@
SequentialDifferentialVariable(S:OrderedSet):DifferentialVariableCategory(S)
\section{domain SEX SExpression}
\pagehead{SExpression}{SEX}
\pagepic{ps/v103sexpression.ps}{SEX}{1.00}
-See also:\\
-\refto{SExpressionOf}{SEXOF}
+{\bf See}\\
+\pageto{SExpressionOf}{SEXOF}
<<domain SEX SExpression>>=
)abbrev domain SEX SExpression
++ Domain for the standard Lisp values
@@ -69360,8 +70296,8 @@ SExpression()
\section{domain SEXOF SExpressionOf}
\pagehead{SExpressionOf}{SEXOF}
\pagepic{ps/v103sexpressionof.ps}{SEXOF}{1.00}
-See also:\\
-\refto{SExpression}{SEX}
+{\bf See}\\
+\pageto{SExpression}{SEX}
<<domain SEXOF SExpressionOf>>=
)abbrev domain SEXOF SExpressionOf
++ Domain for Lisp values over arbitrary atomic types
@@ -69633,14 +70569,14 @@ SimpleAlgebraicExtension(R:CommutativeRing,
\section{domain SFORT SimpleFortranProgram}
\pagehead{SimpleFortranProgram}{SFORT}
\pagepic{ps/v103simplefortranprogram.ps}{SFORT}{1.00}
-See also:\\
-\refto{Result}{RESULT}
-\refto{FortranCode}{FC}
-\refto{FortranProgram}{FORTRAN}
-\refto{ThreeDimensionalMatrix}{M3D}
-\refto{Switch}{SWITCH}
-\refto{FortranTemplate}{FTEM}
-\refto{FortranExpression}{FEXPR}
+{\bf See}\\
+\pageto{Result}{RESULT}
+\pageto{FortranCode}{FC}
+\pageto{FortranProgram}{FORTRAN}
+\pageto{ThreeDimensionalMatrix}{M3D}
+\pageto{Switch}{SWITCH}
+\pageto{FortranTemplate}{FTEM}
+\pageto{FortranExpression}{FEXPR}
<<domain SFORT SimpleFortranProgram>>=
)abbrev domain SFORT SimpleFortranProgram
-- Because of a bug in the compiler:
@@ -70139,10 +71075,10 @@ SingletonAsOrderedSet(): OrderedSet with
\section{domain SMP SparseMultivariatePolynomial}
\pagehead{SparseMultivariatePolynomial}{SMP}
\pagepic{ps/v103sparsemultivariatepolynomial.ps}{SMP}{1.00}
-See also:\\
-\refto{Polynomial}{POLY}
-\refto{MultivariatePolynomial}{MPOLY}
-\refto{IndexedExponents}{INDE}
+{\bf See}\\
+\pageto{Polynomial}{POLY}
+\pageto{MultivariatePolynomial}{MPOLY}
+\pageto{IndexedExponents}{INDE}
<<domain SMP SparseMultivariatePolynomial>>=
)abbrev domain SMP SparseMultivariatePolynomial
++ Author: Dave Barton, Barry Trager
@@ -70727,8 +71663,8 @@ SparseMultivariatePolynomial(R: Ring,VarSet:
OrderedSet): C == T where
\section{domain SMTS SparseMultivariateTaylorSeries}
\pagehead{SparseMultivariateTaylorSeries}{SMTS}
\pagepic{ps/v103sparsemultivariatetaylorseries.ps}{SMTS}{1.00}
-See also:\\
-\refto{TaylorSeries}{TS}
+{\bf See}\\
+\pageto{TaylorSeries}{TS}
<<domain SMTS SparseMultivariateTaylorSeries>>=
)abbrev domain SMTS SparseMultivariateTaylorSeries
++ This domain provides multivariate Taylor series
@@ -71119,13 +72055,13 @@ o )show SparseTable
@
\pagehead{SparseTable}{STBL}
\pagepic{ps/v103sparsetable.ps}{STBL}{1.00}
-See also:\\
-\refto{HashTable}{HASHTBL}
-\refto{InnerTable}{INTABL}
-\refto{Table}{TABLE}
-\refto{EqTable}{EQTBL}
-\refto{StringTable}{STRTBL}
-\refto{GeneralSparseTable}{GSTBL}
+{\bf See}\\
+\pageto{HashTable}{HASHTBL}
+\pageto{InnerTable}{INTABL}
+\pageto{Table}{TABLE}
+\pageto{EqTable}{EQTBL}
+\pageto{StringTable}{STRTBL}
+\pageto{GeneralSparseTable}{GSTBL}
<<domain STBL SparseTable>>=
)abbrev domain STBL SparseTable
++ Author: Stephen M. Watt
@@ -71361,10 +72297,10 @@ SparseUnivariateLaurentSeries(Coef,var,cen): Exports
== Implementation where
\section{domain SUP SparseUnivariatePolynomial}
\pagehead{SparseUnivariatePolynomial}{SUP}
\pagepic{ps/v103sparseunivariatepolynomial.ps}{SUP}{1.00}
-See also:\\
-\refto{FreeModule}{FM}
-\refto{PolynomialRing}{PR}
-\refto{UnivariatePolynomial}{UP}
+{\bf See}\\
+\pageto{FreeModule}{FM}
+\pageto{PolynomialRing}{PR}
+\pageto{UnivariatePolynomial}{UP}
<<domain SUP SparseUnivariatePolynomial>>=
)abbrev domain SUP SparseUnivariatePolynomial
++ Author: Dave Barton, Barry Trager
@@ -71876,9 +72812,9 @@ SparseUnivariatePuiseuxSeries(Coef,var,cen): Exports ==
Implementation where
\section{domain ORESUP SparseUnivariateSkewPolynomial}
\pagehead{SparseUnivariateSkewPolynomial}{ORESUP}
\pagepic{ps/v103sparseunivariateskewpolynomial.ps}{ORESUP}{1.00}
-See also:\\
-\refto{Automorphism}{AUTOMOR}
-\refto{UnivariateSkewPolynomial}{OREUP}
+{\bf See}\\
+\pageto{Automorphism}{AUTOMOR}
+\pageto{UnivariateSkewPolynomial}{OREUP}
<<domain ORESUP SparseUnivariateSkewPolynomial>>=
)abbrev domain ORESUP SparseUnivariateSkewPolynomial
++ Author: Manuel Bronstein
@@ -72312,9 +73248,9 @@ SparseUnivariateTaylorSeries(Coef,var,cen): Exports ==
Implementation where
\section{domain SHDP SplitHomogeneousDirectProduct}
\pagehead{SplitHomogeneousDirectProduct}{SHDP}
\pagepic{ps/v103splithomogeneousdirectproduct.ps}{SHDP}{1.00}
-See also:\\
-\refto{OrderedDirectProduct}{ODP}
-\refto{HomogeneousDirectProduct}{HDP}
+{\bf See}\\
+\pageto{OrderedDirectProduct}{ODP}
+\pageto{HomogeneousDirectProduct}{HDP}
<<domain SHDP SplitHomogeneousDirectProduct>>=
)abbrev domain SHDP SplitHomogeneousDirectProduct
++ Author:
@@ -72374,8 +73310,8 @@ SplitHomogeneousDirectProduct(dimtot,dim1,S) : T == C
where
\section{domain SPLNODE SplittingNode}
\pagehead{SplittingNode}{SPLNODE}
\pagepic{ps/v103splittingnode.ps}{SPLNODE}{1.00}
-See also:\\
-\refto{SplittingNode}{SPLNODE}
+{\bf See}\\
+\pageto{SplittingNode}{SPLNODE}
<<domain SPLNODE SplittingNode>>=
)abbrev domain SPLNODE SplittingNode
++ Author: Marc Moereno Maza
@@ -72541,8 +73477,8 @@ SplittingNode(V,C) : Exports == Implementation where
\section{domain SPLTREE SplittingTree}
\pagehead{SplittingTree}{SPLTREE}
\pagepic{ps/v103splittingtree.ps}{SPLTREE}{1.00}
-See also:\\
-\refto{SplittingTree}{SPLTREE}
+{\bf See}\\
+\pageto{SplittingTree}{SPLTREE}
<<domain SPLTREE SplittingTree>>=
)abbrev domain SPLTREE SplittingTree
++ Author: Marc Moereno Maza
@@ -73880,10 +74816,10 @@ o )show SquareMatrix
@
\pagehead{SquareMatrix}{SQMATRIX}
\pagepic{ps/v103squarematrix.ps}{SQMATRIX}{1.00}
-See also:\\
-\refto{IndexedMatrix}{IMATRIX}
-\refto{Matrix}{MATRIX}
-\refto{RectangularMatrix}{RMATRIX}
+{\bf See}\\
+\pageto{IndexedMatrix}{IMATRIX}
+\pageto{Matrix}{MATRIX}
+\pageto{RectangularMatrix}{RMATRIX}
<<domain SQMATRIX SquareMatrix>>=
)abbrev domain SQMATRIX SquareMatrix
++ Author: Grabmeier, Gschnitzer, Williamson
@@ -74032,11 +74968,11 @@ SquareMatrix(ndim,R): Exports == Implementation where
\section{domain STACK Stack}
\pagehead{Stack}{STACK}
\pagepic{ps/v103stack.ps}{STACK}{1.00}
-See also:\\
-\refto{ArrayStack}{ASTACK}
-\refto{Queue}{QUEUE}
-\refto{Dequeue}{DEQUEUE}
-\refto{Heap}{HEAP}
+{\bf See}\\
+\pageto{ArrayStack}{ASTACK}
+\pageto{Queue}{QUEUE}
+\pageto{Dequeue}{DEQUEUE}
+\pageto{Heap}{HEAP}
<<domain STACK Stack>>=
)abbrev domain STACK Stack
++ Author: Michael Monagan and Stephen Watt
@@ -75437,10 +76373,10 @@ o )show String
@
\pagehead{String}{STRING}
\pagepic{ps/v103string.ps}{STRING}{1.00}
-See also:\\
-\refto{Character}{CHAR}
-\refto{CharacterClass}{CCLASS}
-\refto{IndexedString}{ISTRING}
+{\bf See}\\
+\pageto{Character}{CHAR}
+\pageto{CharacterClass}{CCLASS}
+\pageto{IndexedString}{ISTRING}
<<domain STRING String>>=
)abbrev domain STRING String
++ Description:
@@ -75568,13 +76504,13 @@ o )show StringTable
@
\pagehead{StringTable}{STRTBL}
\pagepic{ps/v103stringtable.ps}{STRTBL}{1.00}
-See also:\\
-\refto{HashTable}{HASHTBL}
-\refto{InnerTable}{INTABL}
-\refto{Table}{TABLE}
-\refto{EqTable}{EQTBL}
-\refto{GeneralSparseTable}{GSTBL}
-\refto{SparseTable}{STBL}
+{\bf See}\\
+\pageto{HashTable}{HASHTBL}
+\pageto{InnerTable}{INTABL}
+\pageto{Table}{TABLE}
+\pageto{EqTable}{EQTBL}
+\pageto{GeneralSparseTable}{GSTBL}
+\pageto{SparseTable}{STBL}
<<domain STRTBL StringTable>>=
)abbrev domain STRTBL StringTable
++ Author: Stephen M. Watt
@@ -75651,9 +76587,9 @@ point.
\pagehead{SubSpace}{SUBSPACE}
\pagepic{ps/v103subspace.ps}{SUBSPACE}{1.00}
-See also:\\
-\refto{Point}{POINT}
-\refto{SubSpaceComponentProperty}{COMPPROP}
+{\bf See}\\
+\pageto{Point}{POINT}
+\pageto{SubSpaceComponentProperty}{COMPPROP}
<<domain SUBSPACE SubSpace>>=
)abbrev domain SUBSPACE SubSpace
++ Description:
@@ -76083,9 +77019,9 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where
\section{domain COMPPROP SubSpaceComponentProperty}
\pagehead{SubSpaceComponentProperty}{COMPPROP}
\pagepic{ps/v103subspacecomponentproperty.ps}{COMPPROP}{1.00}
-See also:\\
-\refto{Point}{POINT}
-\refto{SubSpace}{SUBSPACE}
+{\bf See}\\
+\pageto{Point}{POINT}
+\pageto{SubSpace}{SUBSPACE}
<<domain COMPPROP SubSpaceComponentProperty>>=
)abbrev domain COMPPROP SubSpaceComponentProperty
++ Description:
@@ -76180,14 +77116,14 @@ SuchThat(S1, S2): Cat == Capsule where
\section{domain SWITCH Switch}
\pagehead{Switch}{SWITCH}
\pagepic{ps/v103switch.ps}{SWITCH}{1.00}
-See also:\\
-\refto{Result}{RESULT}
-\refto{FortranCode}{FC}
-\refto{FortranProgram}{FORTRAN}
-\refto{ThreeDimensionalMatrix}{M3D}
-\refto{SimpleFortranProgram}{SFORT}
-\refto{FortranTemplate}{FTEM}
-\refto{FortranExpression}{FEXPR}
+{\bf See}\\
+\pageto{Result}{RESULT}
+\pageto{FortranCode}{FC}
+\pageto{FortranProgram}{FORTRAN}
+\pageto{ThreeDimensionalMatrix}{M3D}
+\pageto{SimpleFortranProgram}{SFORT}
+\pageto{FortranTemplate}{FTEM}
+\pageto{FortranExpression}{FEXPR}
<<domain SWITCH Switch>>=
)abbrev domain SWITCH Switch
-- Because of a bug in the compiler:
@@ -76987,10 +77923,10 @@ Symbol(): Exports == Implementation where
\section{domain SYMTAB SymbolTable}
\pagehead{SymbolTable}{SYMTAB}
\pagepic{ps/v103symboltable.ps}{SYMTAB}{1.00}
-See also:\\
-\refto{FortranScalarType}{FST}
-\refto{FortranType}{FT}
-\refto{TheSymbolTable}{SYMS}
+{\bf See}\\
+\pageto{FortranScalarType}{FST}
+\pageto{FortranType}{FT}
+\pageto{TheSymbolTable}{SYMS}
<<domain SYMTAB SymbolTable>>=
)abbrev domain SYMTAB SymbolTable
++ Author: Mike Dewar
@@ -77182,8 +78118,8 @@ SymbolTable() : exports == implementation where
\section{domain SYMPOLY SymmetricPolynomial}
\pagehead{SymmetricPolynomial}{SYMPOLY}
\pagepic{ps/v103symmetricpolynomial.ps}{SYMPOLY}{1.00}
-See also:\\
-\refto{Partition}{PRTITION}
+{\bf See}\\
+\pageto{Partition}{PRTITION}
<<domain SYMPOLY SymmetricPolynomial>>=
)abbrev domain SYMPOLY SymmetricPolynomial
++ Description:
@@ -77530,13 +78466,13 @@ o )show Table
@
\pagehead{Table}{TABLE}
\pagepic{ps/v103table.ps}{TABLE}{1.00}
-See also:\\
-\refto{HashTable}{HASHTBL}
-\refto{InnerTable}{INTABL}
-\refto{EqTable}{EQTBL}
-\refto{StringTable}{STRTBL}
-\refto{GeneralSparseTable}{GSTBL}
-\refto{SparseTable}{STBL}
+{\bf See}\\
+\pageto{HashTable}{HASHTBL}
+\pageto{InnerTable}{INTABL}
+\pageto{EqTable}{EQTBL}
+\pageto{StringTable}{STRTBL}
+\pageto{GeneralSparseTable}{GSTBL}
+\pageto{SparseTable}{STBL}
<<domain TABLE Table>>=
)abbrev domain TABLE Table
++ Author: Stephen M. Watt, Barry Trager
@@ -77637,8 +78573,8 @@ Tableau(S:SetCategory):Exports == Implementation where
\section{domain TS TaylorSeries}
\pagehead{TaylorSeries}{TS}
\pagepic{ps/v103taylorseries.ps}{TS}{1.00}
-See also:\\
-\refto{SparseMultivariateTaylorSeries}{SMTS}
+{\bf See}\\
+\pageto{SparseMultivariateTaylorSeries}{SMTS}
<<domain TS TaylorSeries>>=
)abbrev domain TS TaylorSeries
++ Authors: Burge, Watt, Williamson
@@ -78502,11 +79438,11 @@ o )show TextFile
@
\pagehead{TextFile}{TEXTFILE}
\pagepic{ps/v103textfile.ps}{TEXTFILE}{1.00}
-See also:\\
-\refto{File}{FILE}
-\refto{BinaryFile}{BINFILE}
-\refto{KeyedAccessFile}{KAFILE}
-\refto{Library}{LIB}
+{\bf See}\\
+\pageto{File}{FILE}
+\pageto{BinaryFile}{BINFILE}
+\pageto{KeyedAccessFile}{KAFILE}
+\pageto{Library}{LIB}
<<domain TEXTFILE TextFile>>=
)abbrev domain TEXTFILE TextFile
++ Author: Stephen M. Watt
@@ -78604,10 +79540,10 @@ TextFile: Cat == Def where
\section{domain SYMS TheSymbolTable}
\pagehead{TheSymbolTable}{SYMS}
\pagepic{ps/v103thesymboltable.ps}{SYMS}{1.00}
-See also:\\
-\refto{FortranScalarType}{FST}
-\refto{FortranType}{FT}
-\refto{SymbolTable}{SYMTAB}
+{\bf See}\\
+\pageto{FortranScalarType}{FST}
+\pageto{FortranType}{FT}
+\pageto{SymbolTable}{SYMTAB}
<<domain SYMS TheSymbolTable>>=
)abbrev domain SYMS TheSymbolTable
++ Author: Mike Dewar
@@ -78820,14 +79756,14 @@ TheSymbolTable() : Exports == Implementation where
\section{domain M3D ThreeDimensionalMatrix}
\pagehead{ThreeDimensionalMatrix}{M3D}
\pagepic{ps/v103threedimensionalmatrix.ps}{M3D}{1.00}
-See also:\\
-\refto{Result}{RESULT}
-\refto{FortranCode}{FC}
-\refto{FortranProgram}{FORTRAN}
-\refto{SimpleFortranProgram}{SFORT}
-\refto{Switch}{SWITCH}
-\refto{FortranTemplate}{FTEM}
-\refto{FortranExpression}{FEXPR}
+{\bf See}\\
+\pageto{Result}{RESULT}
+\pageto{FortranCode}{FC}
+\pageto{FortranProgram}{FORTRAN}
+\pageto{SimpleFortranProgram}{SFORT}
+\pageto{Switch}{SWITCH}
+\pageto{FortranTemplate}{FTEM}
+\pageto{FortranExpression}{FEXPR}
<<domain M3D ThreeDimensionalMatrix>>=
)abbrev domain M3D ThreeDimensionalMatrix
++ Author: William Naylor
@@ -80401,12 +81337,12 @@ ThreeSpace(R:Ring):Exports == Implementation where
\section{domain TREE Tree}
\pagehead{Tree}{TREE}
\pagepic{ps/v103tree.ps}{TREE}{1.00}
-See also:\\
-\refto{BinaryTree}{BTREE}
-\refto{BinarySearchTree}{BSTREE}
-\refto{BinaryTournament}{BTOURN}
-\refto{BalancedBinaryTree}{BBTREE}
-\refto{PendantTree}{PENDTREE}
+{\bf See}\\
+\pageto{BinaryTree}{BTREE}
+\pageto{BinarySearchTree}{BSTREE}
+\pageto{BinaryTournament}{BTOURN}
+\pageto{BalancedBinaryTree}{BBTREE}
+\pageto{PendantTree}{PENDTREE}
<<domain TREE Tree>>=
)abbrev domain TREE Tree
++ Author:W. H. Burge
@@ -80818,12 +81754,12 @@ TubePlot(Curve): Exports == Implementation where
\section{domain TUPLE Tuple}
\pagehead{Tuple}{TUPLE}
\pagepic{ps/v103tuple.ps}{TUPLE}{1.00}
-See also:\\
-\refto{PrimitiveArray}{PRIMARR}
-\refto{IndexedFlexibleArray}{IFARRAY}
-\refto{FlexibleArray}{FARRAY}
-\refto{IndexedOneDimensionalArray}{IARRAY1}
-\refto{OneDimensionalArray}{ARRAY1}
+{\bf See}\\
+\pageto{PrimitiveArray}{PRIMARR}
+\pageto{IndexedFlexibleArray}{IFARRAY}
+\pageto{FlexibleArray}{FARRAY}
+\pageto{IndexedOneDimensionalArray}{IARRAY1}
+\pageto{OneDimensionalArray}{ARRAY1}
<<domain TUPLE Tuple>>=
)abbrev domain TUPLE Tuple
++ This domain is used to interface with the interpreter's notion
@@ -81325,9 +82261,9 @@ o )show TwoDimensionalArray
@
\pagehead{TwoDimensionalArray}{ARRAY2}
\pagepic{ps/v103twodimensionalarray.ps}{ARRAY2}{1.00}
-See also:\\
-\refto{InnerIndexedTwoDimensionalArray}{IIARRAY2}
-\refto{IndexedTwoDimensionalArray}{IARRAY2}
+{\bf See}\\
+\pageto{InnerIndexedTwoDimensionalArray}{IIARRAY2}
+\pageto{IndexedTwoDimensionalArray}{IARRAY2}
<<domain ARRAY2 TwoDimensionalArray>>=
)abbrev domain ARRAY2 TwoDimensionalArray
TwoDimensionalArray(R):Exports == Implementation where
@@ -82268,8 +83204,8 @@ UnivariateFormalPowerSeries(Coef: Ring) ==
\section{domain ULS UnivariateLaurentSeries}
\pagehead{UnivariateLaurentSeries}{ULS}
\pagepic{ps/v103univariatelaurentseries.ps}{ULS}{1.00}
-See also:\\
-\refto{UnivariateLaurentSeriesConstructor}{ULSCONS}
+{\bf See}\\
+\pageto{UnivariateLaurentSeriesConstructor}{ULSCONS}
<<domain ULS UnivariateLaurentSeries>>=
)abbrev domain ULS UnivariateLaurentSeries
++ Author: Clifton J. Williamson
@@ -82335,8 +83271,8 @@ UnivariateLaurentSeries(Coef,var,cen): Exports ==
Implementation where
\section{domain ULSCONS UnivariateLaurentSeriesConstructor}
\pagehead{UnivariateLaurentSeriesConstructor}{ULSCONS}
\pagepic{ps/v103univariatelaurentseriesconstructor.ps}{ULSCONS}{1.00}
-See also:\\
-\refto{UnivariateLaurentSeries}{ULS}
+{\bf See}\\
+\pageto{UnivariateLaurentSeries}{ULS}
<<domain ULSCONS UnivariateLaurentSeriesConstructor>>=
)abbrev domain ULSCONS UnivariateLaurentSeriesConstructor
++ Authors: Bill Burge, Clifton J. Williamson
@@ -83424,10 +84360,10 @@ o )show UnivariatePolynomial
@
\pagehead{UnivariatePolynomial}{UP}
\pagepic{ps/v103univariatepolynomial.ps}{UP}{1.00}
-See also:\\
-\refto{FreeModule}{FM}
-\refto{PolynomialRing}{PR}
-\refto{SparseUnivariatePolynomial}{SUP}
+{\bf See}\\
+\pageto{FreeModule}{FM}
+\pageto{PolynomialRing}{PR}
+\pageto{SparseUnivariatePolynomial}{SUP}
<<domain UP UnivariatePolynomial>>=
)abbrev domain UP UnivariatePolynomial
++ Author:
@@ -83469,8 +84405,8 @@ UnivariatePolynomial(x:Symbol, R:Ring):
\section{domain UPXS UnivariatePuiseuxSeries}
\pagehead{UnivariatePuiseuxSeries}{UPXS}
\pagepic{ps/v103univariatepuiseuxseries.ps}{UPXS}{1.00}
-See also:\\
-\refto{UnivariatePuiseuxSeriesConstructor}{UPXSCONS}
+{\bf See}\\
+\pageto{UnivariatePuiseuxSeriesConstructor}{UPXSCONS}
<<domain UPXS UnivariatePuiseuxSeries>>=
)abbrev domain UPXS UnivariatePuiseuxSeries
++ Author: Clifton J. Williamson
@@ -83640,8 +84576,8 @@ UnivariatePuiseuxSeries(Coef,var,cen): Exports ==
Implementation where
\section{domain UPXSCONS UnivariatePuiseuxSeriesConstructor}
\pagehead{UnivariatePuiseuxSeriesConstructor}{UPXSCONS}
\pagepic{ps/v103univariatepuiseuxseriesconstructor.ps}{UPXSCONS}{1.00}
-See also:\\
-\refto{UnivariatePuiseuxSeries}{UPXS}
+{\bf See}\\
+\pageto{UnivariatePuiseuxSeries}{UPXS}
<<domain UPXSCONS UnivariatePuiseuxSeriesConstructor>>=
)abbrev domain UPXSCONS UnivariatePuiseuxSeriesConstructor
++ Author: Clifton J. Williamson
@@ -83999,9 +84935,9 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_
\section{domain UPXSSING UnivariatePuiseuxSeriesWithExponentialSingularity}
\pagehead{UnivariatePuiseuxSeriesWithExponentialSingularity}{UPXSSING}
\pagepic{ps/v103univariatepuiseuxserieswithexponentialsingularity.ps}{UPXSSING}{1.00}
-See also:\\
-\refto{ExponentialOfUnivariatePuiseuxSeries}{EXPUPXS}
-\refto{ExponentialExpansion}{EXPEXPAN}
+{\bf See}\\
+\pageto{ExponentialOfUnivariatePuiseuxSeries}{EXPUPXS}
+\pageto{ExponentialExpansion}{EXPEXPAN}
<<domain UPXSSING UnivariatePuiseuxSeriesWithExponentialSingularity>>=
)abbrev domain UPXSSING UnivariatePuiseuxSeriesWithExponentialSingularity
++ Author: Clifton J. Williamson
@@ -84293,9 +85229,9 @@
UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen):_
\section{domain OREUP UnivariateSkewPolynomial}
\pagehead{UnivariateSkewPolynomial}{OREUP}
\pagepic{ps/v103univariateskewpolynomial.ps}{OREUP}{1.00}
-See also:\\
-\refto{Automorphism}{AUTOMOR}
-\refto{SparseUnivariateSkewPolynomial}{ORESUP}
+{\bf See}\\
+\pageto{Automorphism}{AUTOMOR}
+\pageto{SparseUnivariateSkewPolynomial}{ORESUP}
<<domain OREUP UnivariateSkewPolynomial>>=
)abbrev domain OREUP UnivariateSkewPolynomial
++ Author: Manuel Bronstein
@@ -84325,8 +85261,8 @@ UnivariateSkewPolynomial(x:Symbol, R:Ring,
sigma:Automorphism R, delta: R -> R):
\section{domain UTS UnivariateTaylorSeries}
\pagehead{UnivariateTaylorSeries}{UTS}
\pagepic{ps/v103univariatetaylorseries.ps}{UTS}{1.00}
-See also:\\
-\refto{InnerTaylorSeries}{ITAYLOR}
+{\bf See}\\
+\pageto{InnerTaylorSeries}{ITAYLOR}
<<domain UTS UnivariateTaylorSeries>>=
)abbrev domain UTS UnivariateTaylorSeries
++ Author: Clifton J. Williamson
@@ -84740,9 +85676,9 @@ o )show UniversalSegment
@
\pagehead{UniversalSegment}{UNISEG}
\pagepic{ps/v103universalsegment.ps}{UNISEG}{1.00}
-See also:\\
-\refto{Segment}{SEG}
-\refto{SegmentBinding}{SEGBIND}
+{\bf See}\\
+\pageto{Segment}{SEG}
+\pageto{SegmentBinding}{SEGBIND}
<<domain UNISEG UniversalSegment>>=
)abbrev domain UNISEG UniversalSegment
++ Author: Robert S. Sutor
@@ -85701,8 +86637,8 @@ o )show WuWenTsunTriangularSet
@
\pagehead{WuWenTsunTriangularSet}{WUTSET}
\pagepic{ps/v103wuwentsuntriangularset.ps}{WUTSET}{1.00}
-See also:\\
-\refto{GeneralTriangularSet}{GTSET}
+{\bf See}\\
+\pageto{GeneralTriangularSet}{GTSET}
<<domain WUTSET WuWenTsunTriangularSet>>=
)abbrev domain WUTSET WuWenTsunTriangularSet
++ Author: Marc Moreno Maza (address@hidden)
diff --git a/changelog b/changelog
index 00bc899..7230a7c 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090113 tpd src/axiom-website/patches.html 20090113.01.tpd.patch
+20090113 tpd books/bookvol10.3 begin adding exports
20090112 tpd src/axiom-website/patches.html 20090112.02.tpd.patch
20090112 tpd books/ps/v103univariateformalpowerseries.ps redraw
20090112 tpd books/ps/v103myunivariatepolynomial.ps redraw
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index ffe0b20..94e2939 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -875,6 +875,8 @@ algebra/Makefile merge layerpic graphviz data<br/>
bookvol10.3 add dotabb chunks<br/>
<a href="patches/20090112.02.tpd.patch">20090112.02.tpd.patch</a>
bookvol10.3 redraw graphs based on dotabb<br/>
+<a href="patches/20090113.01.tpd.patch">20090113.01.tpd.patch</a>
+bookvol10.3 begin adding exports<br/>
</body>
</html>
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] 20090113.01.tpd.patch (bookvol10.3 begin adding exports),
daly <=