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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} + <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )abbrev domain GTSET GeneralTriangularSet ++ Author: Marc Moreno Maza (marc@nag.co.uk) @@ -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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= -- 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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )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} <>= )abbrev domain WUTSET WuWenTsunTriangularSet ++ Author: Marc Moreno Maza (marc@nag.co.uk) 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
bookvol10.3 add dotabb chunks
20090112.02.tpd.patch bookvol10.3 redraw graphs based on dotabb
+20090113.01.tpd.patch +bookvol10.3 begin adding exports