diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index 0088bcc..300a1b4 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -49,12 +49,14 @@ %% pageto is a forward link to a referenced page %% \newcommand{\pageto}[2]{% e.g. \pageto{abb}{name} -\ \\${\bf\Rightarrow{}}${``#1''} (#2) \ref{#1} on page~\pageref{#1}} +\ \hfill\\${\bf\Rightarrow{}}${``#1''} (#2) \ref{#1} on page~\pageref{#1}% +\hfill} %% %% pagefrom is a backward link to a referencing page %% \newcommand{\pagefrom}[2]{% e.g. \pagefrom{name}{abb} -\ \\${\bf\Leftarrow{}}${``#1''} (#2) \ref{#1} on page~\pageref{#1}} +\ \hfill\\${\bf\Leftarrow{}}${``#1''} (#2) \ref{#1} on page~\pageref{#1}% +\hfill} %% %% cross will put the category and function in the index %% cross will leave the funcname so it can be put inline. @@ -81,7 +83,7 @@ \begin{titlepage} \center{\includegraphics{ps/axiomfront.ps}} \vskip 0.1in -\includegraphics{ps/bluebayou.ps}\\ +\includegraphics{ps/bluebayou.ps} \vskip 0.1in {\Huge{The 30 Year Horizon}} \vskip 0.1in @@ -267,8 +269,8 @@ The ``30 year horizon'' is much nearer than it appears. \vskip .25in %\noindent -Tim Daly\\ -CAISS, City College of New York\\ +Tim Daly\hfill\\ +CAISS, City College of New York\hfill\\ November 10, 2003 ((iHy)) \vfill \eject @@ -285,7 +287,7 @@ dresses such as irons, sewing machines, etc. Axiom is based on abstract algebra and uses it as a scaffolding for constructing well-formed algebra. For instance, in abstract -algebra there is a strict subset hierarchy, like:\\ +algebra there is a strict subset hierarchy, like:\hfill\\ \includegraphics[scale=0.50]{ps/v102algebrahierarchy.ps} <>= @@ -331,7 +333,8 @@ A ``yellow'' color indicates a domain. This is the root of the category hierarchy and is not represented by code. -{\bf See:}\\ +{\bf See:} + \pageto{ArcHyperbolicFunctionCategory}{AHYP} \pageto{ArcTrigonometricFunctionCategory}{ATRIG} \pageto{BasicType}{BASTYPE} @@ -378,11 +381,13 @@ digraph pic { \pagehead{ArcHyperbolicFunctionCategory}{AHYP} \pagepic{ps/v102archyperbolicfunctioncategory.ps}{AHYP}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llllll} \cross{AHYP}{acosh} & \cross{AHYP}{acoth} & @@ -452,11 +457,13 @@ digraph pic { The {\tt asec} and {\tt acsc} functions were modified to include an intermediate test to check that the argument has a reciprocal values. -{\bf See:}\\ +{\bf See:} + \pageto{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llllll} \cross{ATRIG}{acos} & \cross{ATRIG}{acot} & @@ -535,7 +542,8 @@ digraph pic { \pagehead{AttributeRegistry}{ATTREG} \pagepic{ps/v102attributeregistry.ps}{ATTREG}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{Category}{CATEGORY} {\bf Exports:} Nothing @@ -566,7 +574,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{ATTREG}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{ATTREG}{arbitraryPrecision}} means the user can set the precision for subsequent calculations. @@ -580,10 +588,10 @@ with all others is precisely the image of R in the algebra. \item {\bf \cross{ATTREG}{noetherian}} is true if all of its ideals are finitely generated. \item {\bf \cross{ATTREG}{additiveValuation}} -implies\\ +implies\hfill\\ {\tt euclideanSize(a*b)=euclideanSize(a)+euclideanSize(b)}. \item {\bf \cross{ATTREG}{multiplicativeValuation}} -implies\\ +implies\hfill\\ {\tt euclideanSize(a*b)=euclideanSize(a)*euclideanSize(b)}. \item {\bf \cross{ATTREG}{NullSquare}} means that $[x,x] = 0$ holds. See {\tt LieAlgebra}. @@ -615,8 +623,8 @@ AttributeRegistry(): Category == with shallowlyMutable ++ \spad{shallowlyMutable} is true if its values ++ have immediate components that are updateable (mutable). - ++ Note that the properties of any component domain are irrevelant to the - ++ \spad{shallowlyMutable} proper. + ++ Note that the properties of any component domain are irrevelant + ++ to the \spad{shallowlyMutable} proper. unitsKnown ++ \spad{unitsKnown} is true if a monoid (a multiplicative semigroup ++ with a 1) has \spad{unitsKnown} means that @@ -704,11 +712,13 @@ digraph pic { \pagehead{BasicType}{BASTYPE} \pagepic{ps/v102basictype.ps}{BASTYPE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{SetCategory}{SETCAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{ll} \cross{BASTYPE}{?=?} & \cross{BASTYPE}{?\~{}=?} @@ -776,7 +786,8 @@ digraph pic { \pagehead{CoercibleTo}{KOERCE} \pagepic{ps/v102koerce.ps}{KOERCE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DirectProductCategory}{DIRPCAT} \pageto{FortranProgramCategory}{FORTCAT} \pageto{PlottablePlaneCurveCategory}{PPCURVE} @@ -785,7 +796,8 @@ digraph pic { \pageto{SetCategory}{SETCAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \cross{KOERCE}{coerce} This is directly exported but not implemented: @@ -847,12 +859,14 @@ digraph pic { \pagehead{CombinatorialFunctionCategory}{CFCAT} \pagepic{ps/v102combinatorialfunctioncategory.ps}{CFCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{CombinatorialOpsCategory}{COMBOPC} \pageto{IntegerNumberSystem}{INS} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{CFCAT}{binomial} & \cross{CFCAT}{factorial} & @@ -921,7 +935,8 @@ digraph pic { \pagehead{ConvertibleTo}{KONVERT} \pagepic{ps/v102konvert.ps}{KONVERT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{Collection}{CLAGG} \pageto{FunctionSpace}{FS} \pageto{IntegerNumberSystem}{INS} @@ -931,7 +946,8 @@ digraph pic { \pageto{RealNumberSystem}{RNS} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \cross{KONVERT}{convert} This is directly exported but not implemented: @@ -1045,11 +1061,13 @@ digraph pic { \pagehead{ElementaryFunctionCategory}{ELEMFUN} \pagepic{ps/v102elementaryfunctioncategory.ps}{ELEMFUN}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{ELEMFUN}{?**?} & \cross{ELEMFUN}{exp} & @@ -1114,13 +1132,15 @@ digraph pic { \pagehead{Eltable}{ELTAB} \pagepic{ps/v102eltab.ps}{ELTAB}{1.00} -{\bf See:}\\ -\pageto{EltableAggregate}{ELTAGG} -\pageto{LinearOrdinaryDifferentialOperatorCategory}{LODOCAT} -\pageto{UnivariatePolynomialCategory}{UPOLYC} -\pagefrom{Category}{CATEGORY} +{\bf See:} + +\pageto{EltableAggregate}{ELTAGG}\hfill +\pageto{LinearOrdinaryDifferentialOperatorCategory}{LODOCAT}\hfill +\pageto{UnivariatePolynomialCategory}{UPOLYC}\hfill +\pagefrom{Category}{CATEGORY}\hfill + +{\bf Exports:} -{\bf Exports:}\\ \cross{ELTAB}{?.?} This syntax for elt is supported by the interpreter and compiler. @@ -1200,11 +1220,13 @@ digraph pic { The {\tt csch} and {\tt sech} functions were modified to include an intermediate test to check that the argument has a reciprocal values. -{\bf See:}\\ +{\bf See:} + \pageto{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llllll} \cross{HYPCAT}{cosh} & \cross{HYPCAT}{coth} & @@ -1288,14 +1310,16 @@ digraph pic { \pagehead{InnerEvalable}{IEVALAB} \pagepic{ps/v102innerevalable.ps}{IEVALAB}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{Evalable}{EVALAB} \pageto{ExpressionSpace}{ES} \pageto{MultivariateTaylorSeriesCategory}{MTSCAT} \pageto{PolynomialCategory}{POLYCAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{l} \cross{IEVALAB}{eval} \end{tabular} @@ -1394,11 +1418,13 @@ digraph pic { \pagehead{OpenMath}{OM} \pagepic{ps/v102openmath.ps}{OM}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{StringCategory}{STRICAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{l} \cross{OM}{OMwrite} \end{tabular} @@ -1470,10 +1496,12 @@ digraph pic { \pagehead{PartialTranscendentalFunctions}{PTRANFN} \pagepic{ps/v102partialtranscendentalfunctions.ps}{PTRANFN}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PTRANFN}{acosIfCan} & \cross{PTRANFN}{acoshIfCan} & @@ -1659,14 +1687,16 @@ digraph pic { \pagehead{Patternable}{PATAB} \pagepic{ps/v102patternable.ps}{PATAB}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{ComplexCategory}{COMPCAT} \pageto{FunctionSpace}{FS} \pageto{IntegerNumberSystem}{INS} \pageto{QuotientFieldCategory}{QFCAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{l} \cross{PATAB}{convert} \end{tabular} @@ -1741,11 +1771,13 @@ digraph pic { \pagehead{PrimitiveFunctionCategory}{PRIMCAT} \pagepic{ps/v102primitivefunctioncategory.ps}{PRIMCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{LiouvillianFunctionCategory}{LFCAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{l} \cross{PRIMCAT}{integral} \end{tabular} @@ -1802,7 +1834,8 @@ digraph pic { \pagehead{RadicalCategory}{RADCAT} \pagepic{ps/v102radicalcategory.ps}{RADCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{AlgebraicallyClosedField}{ACF} \pageto{IntervalCategory}{INTCAT} \pageto{RealClosedField}{RCFIELD} @@ -1812,7 +1845,8 @@ digraph pic { \pageto{UnivariateTaylorSeriesCategory}{UTSCAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{RADCAT}{nthRoot} & \cross{RADCAT}{sqrt} & @@ -1882,7 +1916,8 @@ digraph pic { \pagehead{RetractableTo}{RETRACT} \pagepic{ps/v102retractableto.ps}{RETRACT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DifferentialPolynomialCategory}{DPOLCAT} \pageto{DifferentialVariableCategory}{DVARCAT} \pageto{ExtensionField}{XF} @@ -1904,7 +1939,8 @@ digraph pic { \pageto{XFreeAlgebra}{XFALG} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{RETRACT}{coerce} & \cross{RETRACT}{retract} & @@ -2030,10 +2066,12 @@ digraph pic { \pagehead{SpecialFunctionCategory}{SPFCAT} \pagepic{ps/v102specialfunctioncategory.ps}{SPFCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SPFCAT}{abs} & \cross{SPFCAT}{airyAi} & @@ -2134,11 +2172,13 @@ digraph pic { The {\tt csc} and {\tt sec} functions were modified to include an intermediate test to check that the argument has a reciprocal values. -{\bf See:}\\ +{\bf See:} + \pageto{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llllll} \cross{TRIGCAT}{cos} & \cross{TRIGCAT}{cot} & @@ -2219,7 +2259,8 @@ digraph pic { \pagehead{Type}{TYPE} \pagepic{ps/v102type.ps}{TYPE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{Aggregate}{AGG} \pageto{FortranProgramCategory}{FORTCAT} \pageto{FullyPatternMatchable}{FPATMAB} @@ -2271,7 +2312,8 @@ digraph pic { \pagehead{Aggregate}{AGG} \pagepic{ps/v102agg.ps}{AGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{HomogeneousAggregate}{HOAGG} \pagefrom{Type}{TYPE} @@ -2280,7 +2322,8 @@ digraph pic { \item {\bf nil} \end{itemize} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llllll} \cross{AGG}{empty?} & \cross{AGG}{eq?} & @@ -2391,10 +2434,12 @@ digraph pic { \pagehead{CombinatorialOpsCategory}{COMBOPC} \pagepic{ps/v102combinatorialopscategory.ps}{COMBOPC}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{CombinatorialFunctionCategory}{CFCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{COMBOPC}{binomial} & \cross{COMBOPC}{factorial} & @@ -2485,11 +2530,13 @@ digraph pic { \pagehead{EltableAggregate}{ELTAGG} \pagepic{ps/v102eltableaggregate.ps}{ELTAGG}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{IndexedAggregate}{IXAGG} \pagefrom{Eltable}{ELTAB} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ELTAGG}{elt} & \cross{ELTAGG}{qelt} & @@ -2606,13 +2653,15 @@ digraph pic { \pagehead{Evalable}{EVALAB} \pagepic{ps/v102evalable.ps}{EVALAB}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{ExpressionSpace}{ES} \pageto{MultivariateTaylorSeriesCategory}{MTSCAT} \pageto{PolynomialCategory}{POLYCAT} \pagefrom{InnerEvalable}{IEVALAB} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{l} \cross{EVALAB}{eval} \end{tabular} @@ -2710,7 +2759,8 @@ digraph pic { \pagehead{FortranProgramCategory}{FORTCAT} \pagepic{ps/v102fortranprogramcategory.ps}{FORTCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{FortranFunctionCategory}{FORTFN} \pageto{FortranMatrixCategory}{FMC} \pageto{FortranMatrixFunctionCategory}{FMFUN} @@ -2719,7 +2769,8 @@ digraph pic { \pagefrom{CoercibleTo}{KOERCE} \pagefrom{Type}{TYPE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{ll} \cross{FORTCAT}{coerce} & \cross{FORTCAT}{outputAsFortran} @@ -2802,7 +2853,8 @@ digraph pic { \pagehead{FullyRetractableTo}{FRETRCT} \pagepic{ps/v102fullyretractableto.ps}{FRETRCT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{ComplexCategory}{COMPCAT} \pageto{DirectProductCategory}{DIRPCAT} \pageto{FiniteAbelianMonoidRing}{FAMR} @@ -2815,7 +2867,8 @@ digraph pic { \pageto{UnivariateSkewPolynomialCategory}{OREPCAT} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{FRETRCT}{coerce} & \cross{FRETRCT}{retract} & @@ -2928,7 +2981,8 @@ digraph pic { \pagehead{FullyPatternMatchable}{FPATMAB} \pagepic{ps/v102fullypatternmatchable.ps}{FPATMAB}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{ComplexCategory}{COMPCAT} \pageto{FunctionSpace}{FS} \pageto{QuotientFieldCategory}{QFCAT} @@ -2939,7 +2993,8 @@ digraph pic { \item {\bf nil} \end{itemize} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FPATMAB}{coerce} & \cross{FPATMAB}{hash} & @@ -3046,11 +3101,13 @@ digraph pic { \pagehead{Logic}{LOGIC} \pagepic{ps/v102logic.ps}{LOGIC}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{BitAggregate}{BTAGG} \pagefrom{BasicType}{BASTYPE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LOGIC}{?$/\backslash{}$?} \cross{LOGIC}{?=?} @@ -3130,10 +3187,12 @@ digraph pic { \pagehead{PlottablePlaneCurveCategory}{PPCURVE} \pagepic{ps/v102plottableplanecurvecategory.ps}{PPCURVE}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{CoercibleTo}{KOERCE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{PPCURVE}{coerce} & \cross{PPCURVE}{listBranches} & @@ -3225,10 +3284,12 @@ digraph pic { \pagehead{PlottableSpaceCurveCategory}{PSCURVE} \pagepic{ps/v102plottablespacecurvecategory.ps}{PSCURVE}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{CoercibleTo}{KOERCE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PSCURVE}{coerce} & \cross{PSCURVE}{listBranches} & @@ -3325,13 +3386,15 @@ digraph pic { \pagehead{RealConstant}{REAL} \pagepic{ps/v102realconstant.ps}{REAL}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{IntegerNumberSystem}{INS} \pageto{QuotientFieldCategory}{QFCAT} \pageto{RealNumberSystem}{RNS} \pagefrom{ConvertibleTo}{KONVERT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{l} \cross{REAL}{convert} \end{tabular} @@ -3404,11 +3467,13 @@ digraph pic { \pagehead{SegmentCategory}{SEGCAT} \pagepic{ps/v102segmentcategory.ps}{SEGCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{SegmentExpansionCategory}{SEGXCAT} \pagefrom{Type}{TYPE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SEGCAT}{BY} & \cross{SEGCAT}{convert} & @@ -3520,7 +3585,8 @@ digraph pic { \pagehead{SetCategory}{SETCAT} \pagepic{ps/v102setcategory.ps}{SETCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{AbelianSemiGroup}{ABELSG} \pageto{FileCategory}{FILECAT} \pageto{FileNameCategory}{FNCAT} @@ -3545,7 +3611,8 @@ digraph pic { \pagefrom{BasicType}{BASTYPE} \pagefrom{CoercibleTo}{KOERCE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SETCAT}{coerce} & \cross{SETCAT}{hash} & @@ -3647,7 +3714,8 @@ The {\tt acsch}, {\tt asech}, and {\tt acoth} functions were modified to include an intermediate test to check that the argument has a reciprocal values. -{\bf See:}\\ +{\bf See:} + \pageto{IntervalCategory}{INTCAT} \pageto{LiouvillianFunctionCategory}{LFCAT} \pageto{UnivariateLaurentSeriesCategory}{ULSCAT} @@ -3659,7 +3727,8 @@ reciprocal values. \pagefrom{HyperbolicFunctionCategory}{HYPCAT} \pagefrom{TrigonometricFunctionCategory}{TRIGCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{TRANFUN}{?**?} & \cross{TRANFUN}{acos} & @@ -3845,12 +3914,14 @@ digraph pic { \pagehead{AbelianSemiGroup}{ABELSG} \pagepic{ps/v102abeliansemigroup.ps}{ABELSG}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{AbelianMonoid}{ABELMON} \pageto{FunctionSpace}{FS} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ABELSG}{coerce} & \cross{ABELSG}{hash} & @@ -3963,10 +4034,12 @@ digraph pic { \pagehead{FortranFunctionCategory}{FORTFN} \pagepic{ps/v102fortranfunctioncategory.ps}{FORTFN}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{FortranProgramCategory}{FORTCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{FORTFN}{coerce} & \cross{FORTFN}{outputAsFortran} & @@ -4108,10 +4181,12 @@ digraph pic { \pagehead{FortranMatrixCategory}{FMC} \pagepic{ps/v102fortranmatrixcategory.ps}{FMC}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{FortranProgramCategory}{FORTCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{ll} \cross{FMC}{coerce} & \cross{FMC}{outputAsFortran} @@ -4205,10 +4280,12 @@ digraph pic { \pagehead{FortranMatrixFunctionCategory}{FMFUN} \pagepic{ps/v102fortranmatrixfunctioncategory.ps}{FMFUN}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{FortranProgramCategory}{FORTCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{FMFUN}{coerce} & \cross{FMFUN}{outputAsFortran} & @@ -4351,10 +4428,12 @@ digraph pic { \pagehead{FortranVectorCategory}{FVC} \pagepic{ps/v102fortranvectorcategory.ps}{FVC}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{FortranProgramCategory}{FORTCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \end{tabular} @@ -4446,10 +4525,12 @@ digraph pic { \pagehead{FortranVectorFunctionCategory}{FVFUN} \pagepic{ps/v102fortranvectorfunctioncategory.ps}{FVFUN}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{FortranProgramCategory}{FORTCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{FVFUN}{coerce} & \cross{FVFUN}{outputAsFortran} & @@ -4591,14 +4672,16 @@ digraph pic { \pagehead{FullyEvalableOver}{FEVALAB} \pagepic{ps/v102fullyevalableover.ps}{FEVALAB}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{ComplexCategory}{COMPCAT} \pageto{OctonionCategory}{OC} \pageto{QuaternionCategory}{QUATCAT} \pageto{QuotientFieldCategory}{QFCAT} \pagefrom{Category}{CATEGORY} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{FEVALAB}{eval} & \cross{FEVALAB}{map} & @@ -4727,10 +4810,12 @@ digraph pic { \pagehead{FileCategory}{FILECAT} \pagepic{ps/v102filecategory.ps}{FILECAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FILECAT}{close!} & \cross{FILECAT}{coerce} & @@ -4870,13 +4955,15 @@ digraph pic { \pagehead{Finite}{FINITE} \pagepic{ps/v102finite.ps}{FINITE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DirectProductCategory}{DIRPCAT} \pageto{FiniteFieldCategory}{FFIELDC} \pageto{OrderedFinite}{ORDFIN} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FINITE}{coerce} \cross{FINITE}{hash} & @@ -4986,10 +5073,12 @@ digraph pic { \pagehead{FileNameCategory}{FNCAT} \pagepic{ps/v102filenamecategory.ps}{FNCAT}{0.70} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FNCAT}{coerce} & \cross{FNCAT}{directory} & @@ -5123,11 +5212,13 @@ digraph pic { \pagehead{GradedModule}{GRMOD} \pagepic{ps/v102gradedmodule.ps}{GRMOD}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{GradedAlgebra}{GRALG} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{GRMOD}{0} & \cross{GRMOD}{coerce} & @@ -5259,7 +5350,8 @@ digraph pic { \pagehead{HomogeneousAggregate}{HOAGG} \pagepic{ps/v102homogeneousaggregate.ps}{HOAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{BagAggregate}{BGAGG} \pageto{Collection}{CLAGG} \pageto{IndexedAggregate}{IXAGG} @@ -5275,7 +5367,8 @@ digraph pic { \item {\bf nil} \end{itemize} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{HOAGG}{any?} & \cross{HOAGG}{coerce} & @@ -5502,10 +5595,12 @@ digraph pic { \pagehead{IndexedDirectProductCategory}{IDPC} \pagepic{ps/v102liouvillianfunctioncategory.ps}{IDPC}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{IDPC}{coerce} & \cross{IDPC}{hash} & @@ -5620,11 +5715,13 @@ digraph pic { \pagehead{LiouvillianFunctionCategory}{LFCAT} \pagepic{ps/v102liouvillianfunctioncategory.ps}{LFCAT}{0.60} -{\bf See:}\\ +{\bf See:} + \pagefrom{PrimitiveFunctionCategory}{PRIMCAT} \pagefrom{TranscendentalFunctionCategory}{TRANFUN} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LFCAT}{Ci} & \cross{LFCAT}{Ei} & @@ -5804,11 +5901,13 @@ digraph pic { \pagehead{Monad}{MONAD} \pagepic{ps/v102monad.ps}{MONAD}{0.70} -{\bf See:}\\ +{\bf See:} + \pageto{MonadWithUnit}{MONADWU} \pageto{NonAssociativeRng}{NARNG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{MONAD}{coerce} & \cross{MONAD}{hash} & @@ -5944,10 +6043,12 @@ digraph pic { \pagehead{NumericalIntegrationCategory}{NUMINT} \pagepic{ps/v102numericalintegrationcategory.ps}{NUMINT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{NUMINT}{coerce} & \cross{NUMINT}{hash} & @@ -6100,10 +6201,12 @@ digraph pic { \pagehead{NumericalOptimizationCategory}{OPTCAT} \pagepic{ps/v102numericaloptimizationcategory.ps}{OPTCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{OPTCAT}{coerce} & \cross{OPTCAT}{hash} & @@ -6250,10 +6353,12 @@ digraph pic { \pagehead{OrdinaryDifferentialEquationsSolverCategory}{ODECAT} \pagepic{ps/v102ordinarydifferentialequationssolvercategory.ps}{ODECAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ODECAT}{coerce} & \cross{ODECAT}{hash} & @@ -6381,7 +6486,8 @@ digraph pic { \pagehead{OrderedSet}{ORDSET} \pagepic{ps/v102orderedset.ps}{ORDSET}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{BitAggregate}{BTAGG} \pageto{CachableSet}{CACHSET} \pageto{DifferentialVariableCategory}{DVARCAT} @@ -6395,7 +6501,8 @@ digraph pic { \pageto{QuotientFieldCategory}{QFCAT} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ORDSET}{coerce} & \cross{ORDSET}{hash} & @@ -6519,10 +6626,12 @@ digraph pic { \pagehead{PartialDifferentialEquationsSolverCategory}{PDECAT} \pagepic{ps/v102partialdifferentialequationssolvercategory.ps}{PDECAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PDECAT}{coerce} & \cross{PDECAT}{hash} & @@ -6679,11 +6788,13 @@ digraph pic { \pagehead{PatternMatchable}{PATMAB} \pagepic{ps/v102patternmatchable.ps}{PATMAB}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{RealNumberSystem}{RNS} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PATMAB}{coerce} & \cross{PATMAB}{hash} & @@ -6782,10 +6893,12 @@ digraph pic { \pagehead{RealRootCharacterizationCategory}{RRCC} \pagepic{ps/v102realrootcharacterizationcategory.ps}{RRCC}{0.60} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{RRCC}{allRootsOf} & \cross{RRCC}{approximate} & @@ -6966,10 +7079,12 @@ digraph pic { \pagehead{SegmentExpansionCategory}{SEGXCAT} \pagepic{ps/v102segmentexpansioncategory.ps}{SEGXCAT}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{SegmentCategory}{SEGCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SEGXCAT}{BY} & \cross{SEGXCAT}{convert} & @@ -7093,13 +7208,15 @@ operator ``*''. A Semigroup $G(S,*)$ is: \item associative. $\forall a,b,c \in S, a*(b*c) = (a*b)*c$ \end{itemize} -{\bf See:}\\ +{\bf See:} + \pageto{FunctionSpace}{FS} \pageto{Monoid}{MONOID} \pageto{Rng}{RNG} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SGROUP}{coerce} & \cross{SGROUP}{hash} & @@ -7217,10 +7334,12 @@ digraph pic { \pagehead{SExpressionCategory}{SEXCAT} \pagepic{ps/v102sexpressioncategory.ps}{SEXCAT}{0.60} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SEXCAT}{atom?} & \cross{SEXCAT}{car} & @@ -7412,14 +7531,16 @@ digraph pic { \pagehead{StepThrough}{STEP} \pagepic{ps/v102stepthrough.ps}{STEP}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteFieldCategory}{FFIELDC} \pageto{IntegerNumberSystem}{INS} \pageto{QuotientFieldCategory}{QFCAT} \pageto{UnivariatePolynomialCategory}{UPOLYC} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{STEP}{coerce} & \cross{STEP}{hash} & @@ -7519,10 +7640,12 @@ digraph pic { \pagehead{ThreeSpaceCategory}{SPACEC} \pagepic{ps/v102threespacecategory.ps}{SPACEC}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SPACEC}{check} & \cross{SPACEC}{closedCurve} & @@ -7969,14 +8092,16 @@ digraph pic { \pagehead{AbelianMonoid}{ABELMON} \pagepic{ps/v102abelianmonoid.ps}{ABELMON}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{CancellationAbelianMonoid}{CABMON} \pageto{FunctionSpace}{FS} \pageto{OrderedAbelianMonoid}{OAMON} \pageto{OrderedAbelianSemiGroup}{OASGP} \pagefrom{AbelianSemiGroup}{ABELSG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ABELMON}{0} & \cross{ABELMON}{coerce} & @@ -8109,14 +8234,16 @@ digraph pic { \pagehead{BagAggregate}{BGAGG} \pagepic{ps/v102bagaggregate.ps}{BGAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DictionaryOperations}{DIOPS} \pageto{PriorityQueueAggregate}{PRQAGG} \pageto{QueueAggregate}{QUAGG} \pageto{StackAggregate}{SKAGG} \pagefrom{HomogeneousAggregate}{HOAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{BGAGG}{any?} & \cross{BGAGG}{bag} & @@ -8284,10 +8411,12 @@ digraph pic { \pagehead{CachableSet}{CACHSET} \pagepic{ps/v102cachableset.ps}{CACHSET}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{OrderedSet}{ORDSET} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{CACHESET}{coerce} & \cross{CACHESET}{hash} & @@ -8387,7 +8516,8 @@ digraph pic { \pagehead{Collection}{CLAGG} \pagepic{ps/v102collection.ps}{CLAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DictionaryOperations}{DIOPS} \pageto{LinearAggregate}{LNAGG} \pageto{PolynomialSetCategory}{PSETCAT} @@ -8395,7 +8525,8 @@ digraph pic { \pagefrom{ConvertibleTo}{KONVERT} \pagefrom{HomogeneousAggregate}{HOAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{CLAGG}{any?} & \cross{CLAGG}{coerce} & @@ -8648,11 +8779,13 @@ digraph pic { \pagehead{DifferentialVariableCategory}{DVARCAT} \pagepic{ps/v102differentialvariablecategory.ps}{DVARCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{OrderedSet}{ORDSET} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DVARCAT}{coerce} & \cross{DVARCAT}{differentiate} & @@ -8883,14 +9016,16 @@ digraph pic { \pagehead{ExpressionSpace}{ES} \pagepic{ps/v102expressionspace.ps}{ES}{0.35} -{\bf See:}\\ +{\bf See:} + \pageto{FunctionSpace}{FS} \pagefrom{Evalable}{EVALAB} \pagefrom{InnerEvalable}{IEVALAB} \pagefrom{OrderedSet}{ORDSET} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{ES}{belong?} & \cross{ES}{box} & @@ -9410,11 +9545,13 @@ digraph pic { \pagehead{GradedAlgebra}{GRALG} \pagepic{ps/v102gradedalgebra.ps}{GRALG}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{GradedModule}{GRMOD} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{GRALG}{0} & \cross{GRALG}{1} & @@ -9446,7 +9583,7 @@ These are implemented by this category: ?*? : (R,%) -> % \end{verbatim} -These exports come from \refto{GradedModule}(R, E)\\ +These exports come from \refto{GradedModule}(R, E)\hfill\\ where R:CommutativeRing and E:AbelianMonoid: \begin{verbatim} coerce : % -> OutputForm @@ -9565,14 +9702,16 @@ digraph pic { \pagehead{IndexedAggregate}{IXAGG} \pagepic{ps/v102indexedaggregate.ps}{IXAGG}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{DirectProductCategory}{DIRPCAT} \pageto{LinearAggregate}{LNAGG} \pageto{TableAggregate}{TBAGG} \pagefrom{EltableAggregate}{ELTAGG} \pagefrom{HomogeneousAggregate}{HOAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{IXAGG}{any?} & \cross{IXAGG}{coerce} & @@ -9845,11 +9984,13 @@ digraph pic { \pagehead{MonadWithUnit}{MONADWU} \pagepic{ps/v102monadwithunit.ps}{MONADWU}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{NonAssociativeRing}{NASRING} \pagefrom{Monad}{MONAD} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{MONADWU}{1} & \cross{MONADWU}{coerce} & @@ -10023,7 +10164,8 @@ digraph pic { \pagehead{Monoid}{MONOID} \pagepic{ps/v102monoid.ps}{MONOID}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{FunctionSpace}{FS} \pageto{Group}{GROUP} \pageto{OrderedMonoid}{ORDMON} @@ -10031,7 +10173,8 @@ digraph pic { \pageto{Ring}{RING} \pagefrom{SemiGroup}{SGROUP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{MONOID}{1} & \cross{MONOID}{coerce} & @@ -10179,11 +10322,13 @@ digraph pic { \pagehead{OrderedFinite}{ORDFIN} \pagepic{ps/v102orderedfinite.ps}{ORDFIN}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{Finite}{FINITE} \pagefrom{OrderedSet}{ORDSET} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ORDFIN}{coerce} & \cross{ORDFIN}{hash} & @@ -10293,13 +10438,15 @@ digraph pic { \pagehead{RecursiveAggregate}{RCAGG} \pagepic{ps/v102recursiveaggregate.ps}{RCAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{BinaryRecursiveAggregate}{BRAGG} \pageto{DoublyLinkedAggregate}{DLAGG} \pageto{UnaryRecursiveAggregate}{URAGG} \pagefrom{HomogeneousAggregate}{HOAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{RCAGG}{any?} & \cross{RCAGG}{child?} & @@ -10524,11 +10671,13 @@ be obtained by calling the function 'minColIndex'. The index of the first element of a 'Row' is the same as the index of the first column in an array and vice versa. -{\bf See:}\\ +{\bf See:} + \pageto{MatrixCategory}{MATCAT} \pagefrom{HomogeneousAggregate}{HOAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ARR2CAT}{any?} & \cross{ARR2CAT}{column} & @@ -11065,11 +11214,13 @@ digraph pic { \pagehead{BinaryRecursiveAggregate}{BRAGG} \pagepic{ps/v102binaryrecursiveaggregate.ps}{BRAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{BinaryTreeCategory}{BTCAT} \pagefrom{RecursiveAggregate}{RCAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{BRAGG}{any?} & \cross{BRAGG}{children} & @@ -11358,13 +11509,15 @@ digraph pic { \pagehead{CancellationAbelianMonoid}{CABMON} \pagepic{ps/v102cancellationabelianmonoid.ps}{CABMON}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{AbelianGroup}{ABELGRP} \pageto{FreeAbelianMonoidCategory}{FAMONC} \pageto{OrderedCancellationAbelianMonoid}{OCAMON} \pagefrom{AbelianMonoid}{ABELMON} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{CABMON}{0} & \cross{CABMON}{coerce} & @@ -11481,13 +11634,15 @@ digraph pic { \pagehead{DictionaryOperations}{DIOPS} \pagepic{ps/v102dictionaryoperations.ps}{DIOPS}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{Dictionary}{DIAGG} \pageto{MultiDictionary}{MDAGG} \pagefrom{BagAggregate}{BGAGG} \pagefrom{Collection}{CLAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DIOPS}{any?} & \cross{DIOPS}{bag} & @@ -11717,10 +11872,12 @@ digraph pic { \pagehead{DoublyLinkedAggregate}{DLAGG} \pagepic{ps/v102doublylinkedaggregate.ps}{DLAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{RecursiveAggregate}{RCAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DLAGG}{any?} & \cross{DLAGG}{children} & @@ -11934,12 +12091,14 @@ digraph pic { \pagehead{Group}{GROUP} \pagepic{ps/v102group.ps}{GROUP}{0.65} -{\bf See:}\\ +{\bf See:} + \pageto{FunctionSpace}{FS} \pageto{PermutationCategory}{PERMCAT} \pagefrom{Monoid}{MONOID} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{GROUP}{1} & \cross{GROUP}{coerce} & @@ -12110,14 +12269,16 @@ digraph pic { \pagehead{LinearAggregate}{LNAGG} \pagepic{ps/v102linearaggregate.ps}{LNAGG}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{ExtensibleLinearAggregate}{ELAGG} \pageto{FiniteLinearAggregate}{FLAGG} \pageto{StreamAggregate}{STAGG} \pagefrom{Collection}{CLAGG} \pagefrom{IndexedAggregate}{IXAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LNAGG}{any?} & \cross{LNAGG}{coerce} & @@ -13611,12 +13772,14 @@ over a quotient field Implementations that rely on the representation of matrices used in Matrix should be put into these packages. -{\bf See:}\\ +{\bf See:} + \pagefrom{TwoDimensionalArrayCategory}{ARR2CAT} \pageto{RectangularMatrixCategory}{RMATCAT} \pageto{SquareMatrixCategory}{SMATCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{MATCAT}{antisymmetric?} & \cross{MATCAT}{any?} & @@ -13755,8 +13918,8 @@ These are implemented by this category: ?*? : (%,%) -> % \end{verbatim} -These exports come from \refto{TwoDimensionalArrayCategory}(R,Row,Col)\\ -where R:Ring, Row:FiniteLinearAggregate(R),\\ +These exports come from \refto{TwoDimensionalArrayCategory}(R,Row,Col)\hfill\\ +where R:Ring, Row:FiniteLinearAggregate(R),\hfill\\ Col:FiniteLinearAggregate(R): \begin{verbatim} any? : ((R -> Boolean),%) -> Boolean if $ has finiteAggregate @@ -14623,12 +14786,14 @@ digraph pic { \pagehead{OrderedAbelianSemiGroup}{OASGP} \pagepic{ps/v102orderedabeliansemigroup.ps}{OASGP}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{OrderedAbelianMonoid}{OAMON} \pagefrom{AbelianMonoid}{ABELMON} \pagefrom{OrderedSet}{ORDSET} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{OASGP}{0} & \cross{OASGP}{coerce} & @@ -14758,11 +14923,13 @@ digraph pic { \pagehead{OrderedMonoid}{ORDMON} \pagepic{ps/v102orderedmonoid.ps}{ORDMON}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{Monoid}{MONOID} \pagefrom{OrderedSet}{ORDSET} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ORDMON}{1} & \cross{ORDMON}{coerce} & @@ -14900,13 +15067,15 @@ digraph pic { \pagehead{PolynomialSetCategory}{PSETCAT} \pagepic{ps/v102polynomialsetcategory.ps}{PSETCAT}{0.30} -{\bf See:}\\ +{\bf See:} + \pageto{TriangularSetCategory}{TSETCAT} \pagefrom{CoercibleTo}{KOERCE} \pagefrom{Collection}{CLAGG} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{PSETCAT}{any?} & \cross{PSETCAT}{coerce} & @@ -15004,8 +15173,8 @@ These exports come from \refto{SetCategory}(): ?~=? : (%,%) -> Boolean \end{verbatim} -These exports come from \refto{Collection}(P)\\ -where P:RecursivePolynomialCategory(R,E,V)\\ +These exports come from \refto{Collection}(P)\hfill\\ +where P:RecursivePolynomialCategory(R,E,V)\hfill\\ where R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet \begin{verbatim} any? : ((P -> Boolean),%) -> Boolean if $ has finiteAggregate @@ -15041,8 +15210,8 @@ where R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet #? : % -> NonNegativeInteger if $ has finiteAggregate \end{verbatim} -These exports come from \refto{CoercibleTo}(List(P))\\ -where P:RecursivePolynomialCategory(R,E,V)\\ +These exports come from \refto{CoercibleTo}(List(P))\hfill\\ +where P:RecursivePolynomialCategory(R,E,V)\hfill\\ where R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet \begin{verbatim} coerce : % -> List P @@ -15502,11 +15671,13 @@ digraph pic { \pagehead{PriorityQueueAggregate}{PRQAGG} \pagepic{ps/v102priorityqueueaggregate.ps}{PRQAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{OrderedMultisetAggregate}{OMSAGG} \pagefrom{BagAggregate}{BGAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PRQAGG}{any?} & \cross{PRQAGG}{bag} & @@ -15677,11 +15848,13 @@ digraph pic { \pagehead{QueueAggregate}{QUAGG} \pagepic{ps/v102queueaggregate.ps}{QUAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DequeueAggregate}{DQAGG} \pagefrom{BagAggregate}{BGAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{QUAGG}{any?} & \cross{QUAGG}{bag} & @@ -15865,13 +16038,15 @@ digraph pic { \pagehead{SetAggregate}{SETAGG} \pagepic{ps/v102setaggregate.ps}{SETAGG}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteSetAggregate}{FSAGG} \pageto{MultisetAggregate}{MSETAGG} \pagefrom{Collection}{CLAGG} \pagefrom{SetCategory}{SETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SETAGG}{any?} & \cross{SETAGG}{brace} & @@ -16153,11 +16328,13 @@ digraph pic { \pagehead{StackAggregate}{SKAGG} \pagepic{ps/v102stackaggregate.ps}{SKAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DequeueAggregate}{DQAGG} \pagefrom{BagAggregate}{BGAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SKAGG}{any?} & \cross{SKAGG}{bag} & @@ -16344,11 +16521,13 @@ digraph pic { \pagehead{UnaryRecursiveAggregate}{URAGG} \pagepic{ps/v102unaryrecursiveaggregate.ps}{URAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{StreamAggregate}{STAGG} \pagefrom{RecursiveAggregate}{RCAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{URAGG}{any?} & \cross{URAGG}{children} & @@ -16815,7 +16994,8 @@ digraph pic { \pagehead{AbelianGroup}{ABELGRP} \pagepic{ps/v102abeliangroup.ps}{ABELGRP}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteDivisorCategory}{FDIVCAT} \pageto{FunctionSpace}{FS} \pageto{LeftModule}{LMODULE} @@ -16825,7 +17005,8 @@ digraph pic { \pageto{Rng}{RNG} \pagefrom{CancellationAbelianMonoid}{CABMON} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ABELGRP}{0} & \cross{ABELGRP}{coerce} & @@ -16962,10 +17143,12 @@ digraph pic { \pagehead{BinaryTreeCategory}{BTCAT} \pagepic{ps/v102binarytreecategory.ps}{BTCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{BinaryRecursiveAggregate}{BRAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{BTCAT}{any?} & \cross{BTCAT}{child?} & @@ -17189,12 +17372,14 @@ digraph pic { \pagehead{Dictionary}{DIAGG} \pagepic{ps/v102dictionary.ps}{DIAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteSetAggregate}{FSAGG} \pageto{KeyedDictionary}{KDAGG} \pagefrom{DictionaryOperations}{DIOPS} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DIAGG}{any?} & \cross{DIAGG}{bag} & @@ -17417,11 +17602,13 @@ digraph pic { \pagehead{DequeueAggregate}{DQAGG} \pagepic{ps/v102dequeueaggregate.ps}{DQAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{QueueAggregate}{QUAGG} \pagefrom{StackAggregate}{SKAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DQAGG}{any?} & \cross{DQAGG}{back} & @@ -17651,11 +17838,13 @@ digraph pic { \pagehead{ExtensibleLinearAggregate}{ELAGG} \pagepic{ps/v102extensiblelinearaggregate.ps}{ELAGG}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{ListAggregate}{LSAGG} \pagefrom{LinearAggregate}{LNAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ELAGG}{any?} & \cross{ELAGG}{coerce} & @@ -17947,13 +18136,15 @@ digraph pic { \pagehead{FiniteLinearAggregate}{FLAGG} \pagepic{ps/v102finitelinearaggregate.ps}{FLAGG}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{OneDimensionalArrayAggregate}{A1AGG} \pageto{ListAggregate}{LSAGG} \pagefrom{LinearAggregate}{LNAGG} \pagefrom{OrderedSet}{ORDSET} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FLAGG}{any?} & \cross{FLAGG}{coerce} & @@ -18294,11 +18485,13 @@ digraph pic { \pagehead{FreeAbelianMonoidCategory}{FAMONC} \pagepic{ps/v102freeabelianmonoidcategory.ps}{FAMONC}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{CancellationAbelianMonoid}{CABMON} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FAMONC}{0} & \cross{FAMONC}{coefficient} & @@ -18479,11 +18672,13 @@ digraph pic { \pagehead{MultiDictionary}{MDAGG} \pagepic{ps/v102multidictionary.ps}{MDAGG}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{MultisetAggregate}{MSETAGG} \pagefrom{DictionaryOperations}{DIOPS} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{MDAGG}{any?} & \cross{MDAGG}{bag} & @@ -18684,12 +18879,14 @@ digraph pic { \pagehead{OrderedAbelianMonoid}{OAMON} \pagepic{ps/v102orderedabelianmonoid.ps}{OAMON}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{OrderedCancellationAbelianMonoid}{OCAMON} \pagefrom{AbelianMonoid}{ABELMON} \pagefrom{OrderedAbelianSemiGroup}{OASGP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{OAMON}{0} & \cross{OAMON}{coerce} & @@ -18795,10 +18992,12 @@ digraph pic { \pagehead{PermutationCategory}{PERMCAT} \pagepic{ps/v102permutationcategory.ps}{PERMCAT}{0.65} -{\bf See:}\\ +{\bf See:} + \pagefrom{Group}{GROUP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PERMCAT}{1} & \cross{PERMCAT}{coerce} & @@ -18991,12 +19190,14 @@ digraph pic { \pagehead{StreamAggregate}{STAGG} \pagepic{ps/v102streamaggregate.ps}{STAGG}{0.60} -{\bf See:}\\ +{\bf See:} + \pageto{LazyStreamAggregate}{LZSTAGG} \pagefrom{LinearAggregate}{LNAGG} \pagefrom{UnaryRecursiveAggregate}{URAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{STAGG}{any?} & \cross{STAGG}{children} & @@ -19387,11 +19588,13 @@ digraph pic { \pagehead{TriangularSetCategory}{TSETCAT} \pagepic{ps/v102triangularsetcategory.ps}{TSETCAT}{0.35} -{\bf See:}\\ +{\bf See:} + \pageto{RegularTriangularSetCategory}{RSETCAT} \pagefrom{PolynomialSetCategory}{PSETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{ll} \cross{TSETCAT}{algebraic?} & \cross{TSETCAT}{algebraicVariables} \\ @@ -19540,8 +19743,8 @@ These are implemented by this category: ?=? : (%,%) -> Boolean \end{verbatim} -These exports come from \refto{PolynomialSetCategory}(R,E,V,P)\\ -where R:IntegralDomain, E:OrderedAbelianMonoidSup,\\ +These exports come from \refto{PolynomialSetCategory}(R,E,V,P)\hfill\\ +where R:IntegralDomain, E:OrderedAbelianMonoidSup,\hfill\\ V:OrderedSet, P:RecursivePolynomialCategory(R,E,V)): \begin{verbatim} any? : ((P -> Boolean),%) -> Boolean if $ has finiteAggregate @@ -20199,10 +20402,12 @@ digraph pic { \pagehead{FiniteDivisorCategory}{FDIVCAT} \pagepic{ps/v102finitedivisorcategory.ps}{FDIVCAT}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{AbelianGroup}{ABELGRP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FDIVCAT}{0} & \cross{FDIVCAT}{coerce} & @@ -20372,11 +20577,13 @@ digraph pic { \pagehead{FiniteSetAggregate}{FSAGG} \pagepic{ps/v102finitesetaggregate.ps}{FSAGG}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{Dictionary}{DIAGG} \pagefrom{SetAggregate}{SETAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FSAGG}{any?} & \cross{FSAGG}{bag} & @@ -20699,11 +20906,13 @@ digraph pic { \pagehead{KeyedDictionary}{KDAGG} \pagepic{ps/v102keyeddictionary.ps}{KDAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{TableAggregate}{TBAGG} \pagefrom{Dictionary}{DIAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{KDAGG}{any?} & \cross{KDAGG}{bag} & @@ -20777,8 +20986,8 @@ These are implemented by this category: keys : % -> List Key \end{verbatim} -These exports come from \refto{Dictionary}(R) \\ -where R=Record(a:SetCategory,b:SetCategory))\\ +These exports come from \refto{Dictionary}(R)\hfill\\ +where R=Record(a:SetCategory,b:SetCategory))\hfill\\ and S=Record(key: Key,entry: Entry) \begin{verbatim} any? : ((S) -> Boolean),%) -> Boolean @@ -20941,10 +21150,12 @@ digraph pic { \pagehead{LazyStreamAggregate}{LZSTAGG} \pagepic{ps/v102lazystreamaggregate.ps}{LZSTAGG}{0.65} -{\bf See:}\\ +{\bf See:} + \pagefrom{StreamAggregate}{STAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LZSTAGG}{any?} & \cross{LZSTAGG}{child?} & @@ -21761,13 +21972,15 @@ digraph pic { \pagehead{LeftModule}{LMODULE} \pagepic{ps/v102leftmodule.ps}{LMODULE}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{BiModule}{BMODULE} \pageto{LeftAlgebra}{LALG} \pageto{Ring}{RING} \pagefrom{AbelianGroup}{ABELGRP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LMODULE}{0} & \cross{LMODULE}{coerce} & @@ -21883,12 +22096,14 @@ digraph pic { \pagehead{ListAggregate}{LSAGG} \pagepic{ps/v102listaggregate.ps}{LSAGG}{0.60} -{\bf See:}\\ +{\bf See:} + \pageto{AssociationListAggregate}{ALAGG} \pagefrom{ExtensibleLinearAggregate}{ELAGG} \pagefrom{FiniteLinearAggregate}{FLAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{LSAGG}{any?} & \cross{LSAGG}{children} & @@ -22458,12 +22673,14 @@ digraph pic { \pagehead{MultisetAggregate}{MSETAGG} \pagepic{ps/v102multisetaggregate.ps}{MSETAGG}{0.80} -{\bf See:}\\ +{\bf See:} + \pageto{OrderedMultisetAggregate}{OMSAGG} \pagefrom{MultiDictionary}{MDAGG} \pagefrom{SetAggregate}{SETAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{MSETAGG}{any?} & \cross{MSETAGG}{bag} & @@ -22672,13 +22889,15 @@ digraph pic { \pagehead{NonAssociativeRng}{NARNG} \pagepic{ps/v102nonassociativerng.ps}{NARNG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{NonAssociativeAlgebra}{NAALG} \pageto{NonAssociativeRing}{NASRING} \pagefrom{AbelianGroup}{ABELGRP} \pagefrom{Monad}{MONAD} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{NARNG}{0} & \cross{NARNG}{antiCommutator} & @@ -22823,13 +23042,15 @@ digraph pic { \pagehead{OneDimensionalArrayAggregate}{A1AGG} \pagepic{ps/v102onedimensionalarrayaggregate.ps}{A1AGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{BitAggregate}{BTAGG} \pageto{StringAggregate}{SRAGG} \pageto{VectorCategory}{VECTCAT} \pagefrom{FiniteLinearAggregate}{FLAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{A1AGG}{any?} & \cross{A1AGG}{coerce} & @@ -23319,13 +23540,15 @@ digraph pic { \pagehead{OrderedCancellationAbelianMonoid}{OCAMON} \pagepic{ps/v102orderedcancellationabelianmonoid.ps}{OCAMON}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{OrderedAbelianGroup}{OAGROUP} \pageto{OrderedAbelianMonoidSup}{OAMONS} \pagefrom{CancellationAbelianMonoid}{CABMON} \pagefrom{OrderedAbelianMonoid}{OAMON} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{OCAMON}{0} & \cross{OCAMON}{coerce} & @@ -23441,12 +23664,14 @@ digraph pic { \pagehead{RegularTriangularSetCategory}{RSETCAT} \pagepic{ps/v102regulartriangularsetcategory.ps}{RSETCAT}{0.35} -{\bf See:}\\ +{\bf See:} + \pageto{NormalizedTriangularSetCategory}{NTSCAT} \pageto{SquareFreeRegularTriangularSetCategory}{SFRTCAT} \pagefrom{TriangularSetCategory}{TSETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{RSETCAT}{algebraicCoefficients?} & \cross{RSETCAT}{algebraicVariables} & @@ -23586,8 +23811,8 @@ These are implemented by this category: purelyTranscendental? : (P,%) -> Boolean \end{verbatim} -These exports come from \refto{TriangularSetCategory}(R,E,V,P)\\ -where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\\ +These exports come from \refto{TriangularSetCategory}(R,E,V,P)\hfill\\ +where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\hfill\\ P:RecursivePolynomialCategory(R,E,V)): \begin{verbatim} algebraic? : (V,%) -> Boolean @@ -24099,11 +24324,13 @@ digraph pic { \pagehead{RightModule}{RMODULE} \pagepic{ps/v102rightmodule.ps}{RMODULE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{BiModule}{BMODULE} \pagefrom{AbelianGroup}{ABELGRP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{RMODULE}{0} & \cross{RMODULE}{coerce} & @@ -24214,12 +24441,14 @@ digraph pic { Rng is a Ring that does not necessarily have a unit. -{\bf See:}\\ +{\bf See:} + \pageto{Ring}{RING} \pagefrom{AbelianGroup}{ABELGRP} \pagefrom{SemiGroup}{SGROUP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{RNG}{0} & \cross{RNG}{coerce} & @@ -24341,7 +24570,8 @@ digraph pic { \pagehead{BiModule}{BMODULE} \pagepic{ps/v102bimodule.ps}{BMODULE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{AbelianMonoidRing}{AMR} \pageto{CommutativeRing}{COMRING} \pageto{DirectProductCategory}{DIRPCAT} @@ -24356,7 +24586,8 @@ digraph pic { \pagefrom{LeftModule}{LMODULE} \pagefrom{RightModule}{RMODULE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{BMODULE}{0} & \cross{BMODULE}{coerce} & @@ -24492,12 +24723,14 @@ digraph pic { \pagehead{BitAggregate}{BTAGG} \pagepic{ps/v102bitaggregate.ps}{BTAGG}{0.65} -{\bf See:}\\ +{\bf See:} + \pagefrom{Logic}{LOGIC} \pagefrom{OneDimensionalArrayAggregate}{A1AGG} \pagefrom{OrderedSet}{ORDSET} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{BTAGG}{any?} & \cross{BTAGG}{coerce} & @@ -24846,11 +25079,13 @@ digraph pic { \pagehead{NonAssociativeRing}{NASRING} \pagepic{ps/v102nonassociativering.ps}{NASRING}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{MonadWithUnit}{MONADWU} \pagefrom{NonAssociativeRng}{NARNG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{NASRING}{0} & \cross{NASRING}{1} & @@ -25015,11 +25250,13 @@ digraph pic { \pagehead{NormalizedTriangularSetCategory}{NTSCAT} \pagepic{ps/v102normalizedtriangularsetcategory.ps}{NTSCAT}{0.45} -{\bf See:}\\ +{\bf See:} + \pageto{SquareFreeNormalizedTriangularSetCategory}{SNTSCAT} \pagefrom{RegularTriangularSetCategory}{RSETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{ll} \cross{NTSCAT}{algebraic?} & \cross{NTSCAT}{algebraicCoefficients?} \\ @@ -25125,8 +25362,8 @@ is true if it is an aggregate with a finite number of elements. \item {\bf nil} \end{itemize} -These exports come from \refto{RegularTriangularSetCategory}(R,E,V,P)\\ -where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\\ +These exports come from \refto{RegularTriangularSetCategory}(R,E,V,P)\hfill\\ +where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\hfill\\ P:RecursivePolynomialCategory(R,E,V)): \begin{verbatim} algebraic? : (V,%) -> Boolean @@ -25365,12 +25602,14 @@ digraph pic { \pagehead{OrderedAbelianGroup}{OAGROUP} \pagepic{ps/v102orderedabeliangroup.ps}{OAGROUP}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{OrderedRing}{ORDRING} \pagefrom{AbelianGroup}{ABELGRP} \pagefrom{OrderedCancellationAbelianMonoid}{OCAMON} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{OAGROUP}{0} & \cross{OAGROUP}{coerce} & @@ -25483,11 +25722,13 @@ digraph pic { \pagehead{OrderedAbelianMonoidSup}{OAMONS} \pagepic{ps/v102orderedabelianmonoidsup.ps}{OAMONS}{0.80} -{\bf See:}\\ +{\bf See:} + \pagefrom{DirectProductCategory}{DIRPCAT} \pagefrom{OrderedCancellationAbelianMonoid}{OCAMON} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{OAMONS}{0} & \cross{OAMONS}{coerce} & @@ -25617,11 +25858,13 @@ digraph pic { \pagehead{OrderedMultisetAggregate}{OMSAGG} \pagepic{ps/v102orderedmultisetaggregate.ps}{OMSAGG}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{MultisetAggregate}{MSETAGG} \pagefrom{PriorityQueueAggregate}{PRQAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{OMSAGG}{any?} & \cross{OMSAGG}{bag} & @@ -25870,7 +26113,8 @@ digraph pic { \pagehead{Ring}{RING} \pagepic{ps/v102ring.ps}{RING}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{Algebra}{ALGEBRA} \pageto{AbelianMonoidRing}{AMR} \pageto{CharacteristicNonZero}{CHARNZ} @@ -25892,7 +26136,8 @@ digraph pic { \pagefrom{Monoid}{MONOID} \pagefrom{Rng}{RNG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{RING}{1} & \cross{RING}{0} & @@ -26057,11 +26302,13 @@ digraph pic { \pagehead{SquareFreeRegularTriangularSetCategory}{SFRTCAT} \pagepic{ps/v102squarefreeregulartriangularsetcategory.ps}{SFRTCAT}{0.50} -{\bf See:}\\ +{\bf See:} + \pageto{SquareFreeNormalizedTriangularSetCategory}{SNTSCAT} \pagefrom{RegularTriangularSetCategory}{RSETCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{ll} \cross{SFRTCAT}{algebraic?} & \cross{SFRTCAT}{algebraicCoefficients?} \\ @@ -26167,8 +26414,8 @@ is true if it is an aggregate with a finite number of elements. \item {\bf nil} \end{itemize} -These exports come from \refto{RegularTriangularSetCategory}(R,E,V,P)\\ -where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\\ +These exports come from \refto{RegularTriangularSetCategory}(R,E,V,P)\hfill\\ +where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\hfill\\ P:RecursivePolynomialCategory(R,E,V)): \begin{verbatim} algebraic? : (V,%) -> Boolean @@ -26402,11 +26649,13 @@ digraph pic { \pagehead{StringAggregate}{SRAGG} \pagepic{ps/v102stringaggregate.ps}{SRAGG}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{StringCategory}{STRICAT} \pagefrom{OneDimensionalArrayAggregate}{A1AGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{SRAGG}{any?} & \cross{SRAGG}{coerce} & @@ -26814,12 +27063,14 @@ digraph pic { \pagehead{TableAggregate}{TBAGG} \pagepic{ps/v102tableaggregate.ps}{TBAGG}{0.60} -{\bf See:}\\ +{\bf See:} + \pageto{AssociationListAggregate}{ALAGG} \pagefrom{IndexedAggregate}{IXAGG} \pagefrom{KeyedDictionary}{KDAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{TBAGG}{any?} & \cross{TBAGG}{bag} & @@ -26939,8 +27190,8 @@ These are implemented by this category: or Record(key: Key,entry: Entry) has SETCAT \end{verbatim} -These exports come from \refto{KeyedDictionary}(Key,Entry)\\ -where Key:SetCategory and Entry:SetCategory\\ +These exports come from \refto{KeyedDictionary}(Key,Entry)\hfill\\ +where Key:SetCategory and Entry:SetCategory\hfill\\ and RecKE=Record(key: Key,entry: Entry): \begin{verbatim} any? : ((RecKE -> Boolean),%) -> Boolean @@ -27021,8 +27272,8 @@ and RecKE=Record(key: Key,entry: Entry): or RecKE has SETCAT \end{verbatim} -These exports come from \refto{IndexedAggregate}(Key,Entry))\\ -where Key:SetCategory and Entry:SetCategory\\ +These exports come from \refto{IndexedAggregate}(Key,Entry))\hfill\\ +where Key:SetCategory and Entry:SetCategory\hfill\\ and RecKE=Record(key: Key,entry: Entry): \begin{verbatim} count : (RecKE,%) -> NonNegativeInteger @@ -27261,11 +27512,13 @@ digraph pic { \pagehead{VectorCategory}{VECTCAT} \pagepic{ps/v102vectorcategory.ps}{VECTCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{PointCategory}{PTCAT} \pagefrom{OneDimensionalArrayAggregate}{A1AGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{VECTCAT}{any?} & \cross{VECTCAT}{coerce} & @@ -27602,11 +27855,13 @@ digraph pic { \pagehead{AssociationListAggregate}{ALAGG} \pagepic{ps/v102associationlistaggregate.ps}{ALAGG}{0.45} -{\bf See:}\\ +{\bf See:} + \pagefrom{ListAggregate}{LSAGG} \pagefrom{TableAggregate}{TBAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{ALAGG}{any?} & \cross{ALAGG}{assoc} & @@ -27735,8 +27990,8 @@ These are directly exported but not implemented: assoc : (Key,%) -> Union(Record(key: Key,entry: Entry),"failed") \end{verbatim} -These exports come from \refto{TableAggregate}(Key, Entry)\\ -where Key:SetCategory and Entry:SetCategory\\ +These exports come from \refto{TableAggregate}(Key, Entry)\hfill\\ +where Key:SetCategory and Entry:SetCategory\hfill\\ and RecKE = Record(key: Key,entry: Entry) \begin{verbatim} any? : ((RecKE -> Boolean),%) -> Boolean @@ -27905,8 +28160,8 @@ and RecKE = Record(key: Key,entry: Entry) ?.? : (%,Key) -> Entry \end{verbatim} -These exports come from \refto{ListAggregate}(a)\\ -where a is Record(key:Key,entry:Entry)\\ +These exports come from \refto{ListAggregate}(a)\hfill\\ +where a is Record(key:Key,entry:Entry)\hfill\\ and RecKE=Record(key: Key,entry: Entry) \begin{verbatim} children : % -> List % @@ -28116,14 +28371,16 @@ digraph pic { \pagehead{CharacteristicNonZero}{CHARNZ} \pagepic{ps/v102characteristicnonzero.ps}{CHARNZ}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{FieldOfPrimeCharacteristic}{FPC} \pageto{FiniteRankAlgebra}{FINRALG} \pageto{FunctionSpace}{FS} \pageto{QuotientFieldCategory}{QFCAT} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{CHARNZ}{1} & \cross{CHARNZ}{0} & @@ -28267,7 +28524,8 @@ digraph pic { \pagehead{CharacteristicZero}{CHARZ} \pagepic{ps/v102characteristiczero.ps}{CHARZ}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteRankAlgebra}{FINRALG} \pageto{FunctionSpace}{FS} \pageto{IntegerNumberSystem}{INS} @@ -28277,7 +28535,8 @@ digraph pic { \pageto{RealNumberSystem}{RNS} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{CHARZ}{1} & \cross{CHARZ}{0} & @@ -28415,7 +28674,8 @@ digraph pic { Commutative Rings are a subset of IntegralDomains. \pageto{IntegralDomain}{INTDOM}. -{\bf See:}\\ +{\bf See:} + \pageto{ComplexCategory}{COMPCAT} \pageto{IntegralDomain}{INTDOM} \pageto{FunctionSpace}{FS} @@ -28425,7 +28685,8 @@ Commutative Rings are a subset of IntegralDomains. \pagefrom{BiModule}{BMODULE} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{COMRING}{1} & \cross{COMRING}{0} & @@ -28584,13 +28845,15 @@ digraph pic { \pagehead{DifferentialRing}{DIFRING} \pagepic{ps/v102differentialring.ps}{DIFRING}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{IntegerNumberSystem}{INS} \pageto{FiniteFieldCategory}{FFIELDC} \pageto{UnivariatePolynomialCategory}{UPOLYC} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DIFRING}{1} & \cross{DIFRING}{0} & @@ -28762,13 +29025,15 @@ digraph pic { \pagehead{EntireRing}{ENTIRER} \pagepic{ps/v102EntireRing.ps}{ENTIRER}{0.65} -{\bf See:}\\ +{\bf See:} + \pageto{DivisionRing}{DIVRING} \pageto{IntegralDomain}{INTDOM} \pagefrom{BiModule}{BMODULE} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ENTIRER}{1} & \cross{ENTIRER}{0} & @@ -28925,11 +29190,13 @@ digraph pic { \pagehead{FreeModuleCat}{FMCAT} \pagepic{ps/v102freemodulecat.ps}{FMCAT}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{BiModule}{BMODULE} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{FMCAT}{0} & \cross{FMCAT}{coefficient} & @@ -29141,11 +29408,13 @@ digraph pic { \pagehead{LeftAlgebra}{LALG} \pagepic{ps/v102leftalgebra.ps}{LALG}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{LeftModule}{LMODULE} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LALG}{0} & \cross{LALG}{1} & @@ -29281,13 +29550,15 @@ digraph pic { \pagehead{LinearlyExplicitRingOver}{LINEXP} \pagepic{ps/v102linearlyexplicitringover.ps}{LINEXP}{0.90} -{\bf See:}\\ +{\bf See:} + \pageto{FullyLinearlyExplicitRingOver}{FLINEXP} \pageto{IntegerNumberSystem}{INS} \pageto{MonogenicAlgebra}{MONOGEN} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LINEXP}{0} & \cross{LINEXP}{1} & @@ -29444,7 +29715,8 @@ digraph pic { \pagehead{Module}{MODULE} \pagepic{ps/v102module.ps}{MODULE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{Algebra}{ALGEBRA} \pageto{LieAlgebra}{LIECAT} \pageto{NonAssociativeAlgebra}{NAALG} @@ -29452,7 +29724,8 @@ digraph pic { \pageto{VectorSpace}{VSPACE} \pagefrom{BiModule}{BMODULE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{MODULE}{0} & \cross{MODULE}{coerce} & @@ -29581,7 +29854,8 @@ digraph pic { \pagehead{OrderedRing}{ORDRING} \pagepic{ps/v102orderedring.ps}{ORDRING}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{DirectProductCategory}{DIRPCAT} \pageto{OrderedIntegralDomain}{OINTDOM} \pageto{RealClosedField}{RCFIELD} @@ -29590,7 +29864,8 @@ digraph pic { \pagefrom{OrderedAbelianGroup}{OAGROUP} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ORDRING}{1} & \cross{ORDRING}{0} & @@ -29785,14 +30060,16 @@ digraph pic { \pagehead{PartialDifferentialRing}{PDRING} \pagepic{ps/v102partialdifferentialring.ps}{PDRING}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{DifferentialExtension}{DIFEXT} \pageto{FunctionSpace}{FS} \pageto{MultivariateTaylorSeriesCategory}{MTSCAT} \pageto{PolynomialCategory}{POLYCAT} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PDRING}{1} & \cross{PDRING}{0} & @@ -30003,10 +30280,12 @@ digraph pic { \pagehead{PointCategory}{PTCAT} \pagepic{ps/v102pointcategory.ps}{PTCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{VectorCategory}{VECTCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PTCAT}{any?} & \cross{PTCAT}{coerce} & @@ -30300,13 +30579,15 @@ parameters of RectangularMatrixCategory do not satisfy FiniteLinearAggregate(R) as required in MatrixCategory. The RectangularMatrix domain is matrices of fixed dimension. -{\bf See:}\\ +{\bf See:} + \pageto{SquareMatrixCategory}{SMATCAT} \pagefrom{BiModule}{BMODULE} \pagefrom{HomogeneousAggregate}{HOAGG} \pagefrom{MatrixCategory}{MATCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{RMATCAT}{0} & \cross{RMATCAT}{antisymmetric?} & @@ -30670,11 +30951,13 @@ digraph pic { \pagehead{SquareFreeNormalizedTriangularSetCategory}{SNTSCAT} \pagepic{ps/v102squarefreenormalizedtriangularsetcategory.ps}{SNTSCAT}{0.45} -{\bf See:}\\ +{\bf See:} + \pagefrom{NormalizedTriangularSetCategory}{NTSCAT} \pagefrom{SquareFreeRegularTriangularSetCategory}{SFRTCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{ll} \cross{SNTSCAT}{algebraic?} & \cross{SNTSCAT}{algebraicCoefficients?} \\ @@ -30781,8 +31064,8 @@ is true if it is an aggregate with a finite number of elements. \end{itemize} These exports come from\\ -\refto{SquareFreeRegularTriangularSetCategory}(R,E,V,P)\\ -where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\\ +\refto{SquareFreeRegularTriangularSetCategory}(R,E,V,P)\hfill\\ +where R:GcdDomain, E:OrderedAbelianMonoidSup, V:OrderedSet,\hfill\\ P:RecursivePolynomialCategory(R,E,V)): \begin{verbatim} algebraic? : (V,%) -> Boolean @@ -30988,12 +31271,14 @@ digraph pic { \pagehead{StringCategory}{STRICAT} \pagepic{ps/v102stringcategory.ps}{STRICAT}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{OpenMath}{OM} \pagefrom{SetCategory}{SETCAT} \pagefrom{StringAggregate}{SRAGG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{STRICAT}{any?} & \cross{STRICAT}{coerce} & @@ -31329,13 +31614,15 @@ digraph pic { \pagehead{UnivariateSkewPolynomialCategory}{OREPCAT} \pagepic{ps/v102univariateskewpolynomialcategory.ps}{OREPCAT}{0.55} -{\bf See:}\\ +{\bf See:} + \pageto{LinearOrdinaryDifferentialOperatorCategory}{LODOCAT} \pagefrom{BiModule}{BMODULE} \pagefrom{FullyRetractableTo}{FRETRCT} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{OREPCAT}{0} & \cross{OREPCAT}{1} & @@ -31823,12 +32110,14 @@ digraph pic { \pagehead{XAlgebra}{XALG} \pagepic{ps/v102xalgebra.ps}{XALG}{0.70} -{\bf See:}\\ +{\bf See:} + \pageto{XFreeAlgebra}{XFALG} \pagefrom{BiModule}{BMODULE} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{XALG}{0} & \cross{XALG}{1} & @@ -31997,7 +32286,8 @@ digraph pic { \pagehead{Algebra}{ALGEBRA} \pagepic{ps/v102algebra.ps}{ALGEBRA}{0.65} -{\bf See:}\\ +{\bf See:} + \pageto{DivisionRing}{DIVRING} \pageto{FiniteRankAlgebra}{FINRALG} \pageto{FunctionSpace}{FS} @@ -32010,7 +32300,8 @@ digraph pic { \pagefrom{Module}{MODULE} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{ALGEBRA}{1} & \cross{ALGEBRA}{0} & @@ -32207,7 +32498,8 @@ digraph pic { \pagehead{DifferentialExtension}{DIFEXT} \pagepic{ps/v102differentialextension.ps}{DIFEXT}{0.65} -{\bf See:}\\ +{\bf See:} + \pageto{ComplexCategory}{COMPCAT} \pageto{DifferentialPolynomialCategory}{DPOLCAT} \pageto{DirectProductCategory}{DIRPCAT} @@ -32218,7 +32510,8 @@ digraph pic { \pagefrom{PartialDifferentialRing}{PDRING} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DIFEXT}{1} & \cross{DIFEXT}{0} & @@ -32438,7 +32731,8 @@ digraph pic { \pagehead{FullyLinearlyExplicitRingOver}{FLINEXP} \pagepic{ps/v102fullylinearlyexplicitringover.ps}{FLINEXP}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{ComplexCategory}{COMPCAT} \pageto{DirectProductCategory}{DIRPCAT} \pageto{FunctionSpace}{FS} @@ -32449,7 +32743,8 @@ digraph pic { \pageto{SquareMatrixCategory}{SMATCAT} \pagefrom{LinearlyExplicitRingOver}{LINEXP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FLINEXP}{1} & \cross{FLINEXP}{0} & @@ -32627,11 +32922,13 @@ digraph pic { \pagehead{LieAlgebra}{LIECAT} \pagepic{ps/v102liealgebra.ps}{LIECAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{FreeLieAlgebra}{FLALG} \pagefrom{Module}{MODULE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{LIECAT}{0} & \cross{LIECAT}{coerce} & @@ -32774,11 +33071,13 @@ digraph pic { \pagehead{LinearOrdinaryDifferentialOperatorCategory}{LODOCAT} \pagepic{ps/v102linearordinarydifferentialoperatorcategory.ps}{LODOCAT}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{Eltable}{ELTAB} \pagefrom{UnivariateSkewPolynomialCategory}{OREPCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{LODOCAT}{0} & \cross{LODOCAT}{1} & @@ -33103,12 +33402,14 @@ digraph pic { \pagehead{NonAssociativeAlgebra}{NAALG} \pagepic{ps/v102nonassociativealgebra.ps}{NAALG}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteRankNonAssociativeAlgebra}{FINAALG} \pagefrom{Module}{MODULE} \pagefrom{NonAssociativeRng}{NARNG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{NAALG}{0} & \cross{NAALG}{antiCommutator} & @@ -33276,11 +33577,13 @@ digraph pic { \pagehead{VectorSpace}{VSPACE} \pagepic{ps/v102vectorspace.ps}{VSPACE}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{ExtensionField}{XF} \pagefrom{Module}{MODULE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{VSPACE}{0} & \cross{VSPACE}{coerce} & @@ -33416,13 +33719,15 @@ digraph pic { \pagehead{XFreeAlgebra}{XFALG} \pagepic{ps/v102xfreealgebra.ps}{XFALG}{0.50} -{\bf See:}\\ +{\bf See:} + \pageto{XPolynomialsCat}{XPOLYC} \pagefrom{RetractableTo}{RETRACT} \pagefrom{Ring}{RING} \pagefrom{XAlgebra}{XALG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{XFALG}{0} & \cross{XFALG}{1} & @@ -33543,7 +33848,7 @@ These exports come from \refto{XAlgebra}(a:Ring): ?*? : (R,%) -> % \end{verbatim} -These exports come from \refto{RetractableTo}(WORD)\\ +These exports come from \refto{RetractableTo}(WORD)\hfill\\ where WORD:OrderedFreeMonoid(OrderedSet)) \begin{verbatim} coerce : OrderedFreeMonoid vl -> % @@ -33735,7 +34040,8 @@ digraph pic { \pagehead{DirectProductCategory}{DIRPCAT} \pagepic{ps/v102directproductcategory.ps}{DIRPCAT}{0.40} -{\bf See:}\\ +{\bf See:} + \pagefrom{BiModule}{BMODULE} \pagefrom{CoercibleTo}{KOERCE} \pagefrom{DifferentialExtension}{DIFEXT} @@ -33746,7 +34052,8 @@ digraph pic { \pagefrom{OrderedRing}{ORDRING} \pagefrom{OrderedAbelianMonoidSup}{OAMONS} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DIRPCAT}{0} & \cross{DIRPCAT}{1} & @@ -34215,12 +34522,14 @@ digraph pic { \pagehead{DivisionRing}{DIVRING} \pagepic{ps/v102divisionring.ps}{DIVRING}{0.65} -{\bf See:}\\ +{\bf See:} + \pageto{Field}{FIELD} \pagefrom{Algebra}{ALGEBRA} \pagefrom{EntireRing}{ENTIRER} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DIVRING}{1} & \cross{DIVRING}{0} & @@ -34412,11 +34721,13 @@ digraph pic { \pagehead{FiniteRankNonAssociativeAlgebra}{FINAALG} \pagepic{ps/v102finiteranknonassociativealgebra.ps}{FINAALG}{0.80} -{\bf See:}\\ +{\bf See:} + \pageto{FramedNonAssociativeAlgebra}{FRNAALG} \pagefrom{NonAssociativeAlgebra}{NAALG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FINAALG}{0} & \cross{FINAALG}{alternative?} \\ @@ -35312,10 +35623,12 @@ digraph pic { \pagehead{FreeLieAlgebra}{FLALG} \pagepic{ps/v102freeliealgebra.ps}{FLALG}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{LieAlgebra}{LIECAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FLALG}{0} & \cross{FLALG}{coef} & @@ -35526,7 +35839,8 @@ Integral Domains are a subset of Unique Factorization domains. \pageto{UniqueFactorizationDomain}{UFD}. -{\bf See:}\\ +{\bf See:} + \pageto{FortranMachineTypeCategory}{FMTC} \pageto{FunctionSpace}{FS} \pageto{GcdDomain}{GCDDOM} @@ -35536,7 +35850,8 @@ Integral Domains are a subset of Unique Factorization domains. \pagefrom{CommutativeRing}{COMRING} \pagefrom{EntireRing}{ENTIRER} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{INTDOM}{0} & \cross{INTDOM}{1} & @@ -35753,12 +36068,14 @@ digraph pic { \pagehead{MonogenicLinearOperator}{MLO} \pagepic{ps/v102monogeniclinearoperator.ps}{MLO}{0.60} -{\bf See:}\\ +{\bf See:} + \pagefrom{Algebra}{ALGEBRA} \pagefrom{BiModule}{BMODULE} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{MLO}{0} & \cross{MLO}{1} & @@ -35986,12 +36303,14 @@ digraph pic { \pagehead{OctonionCategory}{OC} \pagepic{ps/v102octonioncategory.ps}{OC}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{Algebra}{ALGEBRA} \pagefrom{FullyEvalableOver}{FEVALAB} \pagefrom{FullyRetractableTo}{FRETRCT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{OC}{0} & \cross{OC}{1} & @@ -36472,14 +36791,16 @@ digraph pic { \pagehead{QuaternionCategory}{QUATCAT} \pagepic{ps/v102quaternioncategory.ps}{QUATCAT}{0.70} -{\bf See:}\\ +{\bf See:} + \pagefrom{Algebra}{ALGEBRA} \pagefrom{DifferentialExtension}{DIFEXT} \pagefrom{FullyEvalableOver}{FEVALAB} \pagefrom{FullyLinearlyExplicitRingOver}{FLINEXP} \pagefrom{FullyRetractableTo}{FRETRCT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{QUATCAT}{0} & \cross{QUATCAT}{1} & @@ -36643,7 +36964,7 @@ These exports come from \refto{FullyEvalableOver}(R:CommutativeRing): ?.? : (%,R) -> % if R has ELTAB(R,R) \end{verbatim} -These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\\ +These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\hfill\\ where R:CommutativeRing: \begin{verbatim} recip : % -> Union(%,"failed") @@ -36938,7 +37259,8 @@ of a given dimension The SquareMatrix domain is for square matrices of fixed dimension. -{\bf See:}\\ +{\bf See:} + \pagefrom{BiModule}{BMODULE} \pagefrom{DifferentialExtension}{DIFEXT} \pagefrom{FullyLinearlyExplicitRingOver}{FLINEXP} @@ -36946,7 +37268,8 @@ The SquareMatrix domain is for square matrices of fixed dimension. \pagefrom{MatrixCategory}{MATCAT} \pagefrom{RectangularMatrixCategory}{RMATCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{SMATCAT}{0} & \cross{SMATCAT}{1} & @@ -37115,9 +37438,9 @@ These exports come from \refto{BiModule}(R:Ring,R:Ring): ?*? : (%,R) -> % \end{verbatim} -These exports come from\\ -\refto{RectangularMatrixCategory}(ndim,ndim,R,Row,Col)\\ -where ndim:NonNegativeInteger, R:Ring, Row:DirectProductCategory(ndim,R)\\ +These exports come from\hfill\\ +\refto{RectangularMatrixCategory}(ndim,ndim,R,Row,Col)\hfill\\ +where ndim:NonNegativeInteger,R:Ring,Row:DirectProductCategory(ndim,R)\hfill\\ Col:DirectProductCategory(ndim,R): \begin{verbatim} antisymmetric? : % -> Boolean @@ -37447,10 +37770,12 @@ digraph pic { \pagehead{XPolynomialsCat}{XPOLYC} \pagepic{ps/v102xpolynomialscat.ps}{XPOLYC}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{XFreeAlgebra}{XFALG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{XPOLYC}{0} & \cross{XPOLYC}{1} & @@ -37701,13 +38026,15 @@ digraph pic { \pagehead{AbelianMonoidRing}{AMR} \pagepic{ps/v102abelianmonoidring.ps}{AMR}{0.65} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteAbelianMonoidRing}{FAMR} \pageto{PowerSeriesCategory}{PSCAT} \pagefrom{BiModule}{BMODULE} \pagefrom{Ring}{RING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{AMR}{0} & \cross{AMR}{1} & @@ -37993,12 +38320,14 @@ digraph pic { \pagehead{FortranMachineTypeCategory}{FMTC} \pagepic{ps/v102fortranmachinetypecategory.ps}{FMTC}{0.40} -{\bf See:}\\ +{\bf See:} + \pagefrom{IntegralDomain}{INTDOM} \pagefrom{OrderedSet}{ORDSET} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FMTC}{0} & \cross{FMTC}{1} & @@ -38211,10 +38540,12 @@ digraph pic { \pagehead{FramedNonAssociativeAlgebra}{FRNAALG} \pagepic{ps/v102framednonassociativealgebra.ps}{FRNAALG}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{FiniteRankNonAssociativeAlgebra}{FINAALG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FRNAALG}{0} & \cross{FRNAALG}{alternative?} \\ @@ -38340,7 +38671,7 @@ These are implemented by this category: unit : () -> Union(%,"failed") if R has INTDOM \end{verbatim} -These exports come from \refto{FiniteRankNonAssociativeAlgebra}(R)\\ +These exports come from \refto{FiniteRankNonAssociativeAlgebra}(R)\hfill\\ where R:CommutativeRing: \begin{verbatim} 0 : () -> % @@ -38805,7 +39136,8 @@ digraph pic { \pagehead{GcdDomain}{GCDDOM} \pagepic{ps/v102gcddomain.ps}{GCDDOM}{0.65} -{\bf See:}\\ +{\bf See:} + \pageto{IntervalCategory}{INTCAT} \pageto{PolynomialCategory}{POLYCAT} \pageto{PrincipalIdealDomain}{PID} @@ -38813,7 +39145,8 @@ digraph pic { \pageto{UnivariatePolynomialCategory}{UPOLYC} \pagefrom{IntegralDomain}{INTDOM} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{GCDDOM}{0} & \cross{GCDDOM}{1} & @@ -39032,13 +39365,15 @@ digraph pic { \pagehead{OrderedIntegralDomain}{OINTDOM} \pagepic{ps/v102orderedintegraldomain.ps}{OINTDOM}{0.45} -{\bf See:}\\ +{\bf See:} + \pageto{IntegerNumberSystem}{INS} \pagefrom{IntegralDomain}{INTDOM} \pagefrom{QuotientFieldCategory}{QFCAT} \pagefrom{OrderedRing}{ORDRING} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{OINTDOM}{1} & \cross{OINTDOM}{0} & @@ -39226,12 +39561,14 @@ digraph pic { \pagehead{FiniteAbelianMonoidRing}{FAMR} \pagepic{ps/v102finiteabelianmonoidring.ps}{FAMR}{0.40} -{\bf See:}\\ +{\bf See:} + \pageto{PolynomialCategory}{POLYCAT} \pagefrom{AbelianMonoidRing}{AMR} \pagefrom{FullyRetractableTo}{FRETRCT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FAMR}{0} & \cross{FAMR}{1} & @@ -39321,7 +39658,7 @@ These are implemented by this category: ?/? : (%,R) -> % if R has FIELD \end{verbatim} -These exports come from \refto{AbelianMonoidRing}(R,E)\\ +These exports come from \refto{AbelianMonoidRing}(R,E)\hfill\\ where R:Ring and E:OrderedAbelianMonoid: \begin{verbatim} 0 : () -> % @@ -39600,14 +39937,16 @@ digraph pic { \pagehead{IntervalCategory}{INTCAT} \pagepic{ps/v102intervalcategory.ps}{INTCAT}{0.60} -{\bf See:}\\ +{\bf See:} + \pagefrom{GcdDomain}{GCDDOM} \pagefrom{OrderedSet}{ORDSET} \pagefrom{RadicalCategory}{RADCAT} \pagefrom{RetractableTo}{RETRACT} \pagefrom{TranscendentalFunctionCategory}{TRANFUN} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{INTCAT}{0} & \cross{INTCAT}{1} & @@ -39949,12 +40288,14 @@ digraph pic { \pagehead{PowerSeriesCategory}{PSCAT} \pagepic{ps/v102powerseriescategory.ps}{PSCAT}{0.60} -{\bf See:}\\ +{\bf See:} + \pageto{MultivariateTaylorSeriesCategory}{MTSCAT} \pageto{UnivariatePowerSeriesCategory}{UPSCAT} \pagefrom{AbelianMonoidRing}{AMR} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PSCAT}{0} & \cross{PSCAT}{1} & @@ -40037,7 +40378,7 @@ These are implemented by this category: -? : % -> % \end{verbatim} -These exports come from \refto{AbelianMonoidRing}(Coef,Expon)\\ +These exports come from \refto{AbelianMonoidRing}(Coef,Expon)\hfill\\ where Coef:Ring and Expon:OrderedAbelianMonoid: \begin{verbatim} 0 : () -> % @@ -40232,11 +40573,13 @@ Unique Factorization Domains are a subset of Principal Ideal Domains. Principal Ideal Domains are a subset of Euclidean Domains. \pageto{EuclideanDomain}{EUCDOM} -{\bf See:}\\ +{\bf See:} + \pageto{EuclideanDomain}{EUCDOM} \pagefrom{GcdDomain}{GCDDOM} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{PID}{0} & \cross{PID}{1} & @@ -40427,13 +40770,15 @@ All Integral Domains are UniqueFactorizationDomains. Unique Factorization Domains are a subset of Principal Ideal Domains. \pageto{PrincipalIdealDomain}{PID} -{\bf See:}\\ +{\bf See:} + \pageto{Field}{FIELD} \pageto{IntegerNumberSystem}{INS} \pageto{PolynomialFactorizationExplicit}{PFECAT} \pagefrom{GcdDomain}{GCDDOM} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{UFD}{0} & \cross{UFD}{1} & @@ -40639,14 +40984,16 @@ Principal Ideal Domains are a subset of Euclidean Domains. Euclidean Domains are a subset of Fields. \pageto{Field}{FIELD} -{\bf See:}\\ +{\bf See:} + \pageto{Field}{FIELD} \pageto{IntegerNumberSystem}{INS} \pageto{PAdicIntegerCategory}{PADICCT} \pageto{QuotientFieldCategory}{QFCAT} \pagefrom{PrincipalIdealDomain}{PID} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{EUCDOM}{1} & \cross{EUCDOM}{0} & @@ -40969,13 +41316,15 @@ digraph pic { \pagehead{MultivariateTaylorSeriesCategory}{MTSCAT} \pagepic{ps/v102multivariatetaylorseriescategory.ps}{MTSCAT}{1.00} -{\bf See:}\\ +{\bf See:} + \pagefrom{Evalable}{EVALAB} \pagefrom{InnerEvalable}{IEVALAB} \pagefrom{PartialDifferentialRing}{PDRING} \pagefrom{PowerSeriesCategory}{PSCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{MTSCAT}{0} & \cross{MTSCAT}{1} & @@ -41122,7 +41471,7 @@ These exports come from \refto{PartialDifferentialRing}(OrderedSet): ?**? : (%,PositiveInteger) -> % \end{verbatim} -These exports come from \refto{PowerSeriesCategory}(A,B,C)\\ +These exports come from \refto{PowerSeriesCategory}(A,B,C)\hfill\\ where A:Ring, B:IndexedExponents(OrderedSet) and C:OrderedSet: \begin{verbatim} associates? : (%,%) -> Boolean if Coef has INTDOM @@ -41321,13 +41670,15 @@ digraph pic { \pagehead{PolynomialFactorizationExplicit}{PFECAT} \pagepic{ps/v102polynomialfactorizationexplicit.ps}{PFECAT}{0.80} -{\bf See:}\\ +{\bf See:} + \pageto{PolynomialCategory}{POLYCAT} \pageto{QuotientFieldCategory}{QFCAT} \pageto{UnivariatePolynomialCategory}{UPOLYC} \pagefrom{UniqueFactorizationDomain}{UFD} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{PFECAT}{0} & \cross{PFECAT}{1} & @@ -41594,13 +41945,15 @@ digraph pic { \pagehead{UnivariatePowerSeriesCategory}{UPSCAT} \pagepic{ps/v102univariatepowerseriescategory.ps}{UPSCAT}{0.55} -{\bf See:}\\ +{\bf See:} + \pageto{UnivariateLaurentSeriesCategory}{ULSCAT} \pageto{UnivariatePuiseuxSeriesCategory}{UPXSCAT} \pageto{UnivariateTaylorSeriesCategory}{UTSCAT} \pagefrom{PowerSeriesCategory}{PSCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{UPSCAT}{0} & \cross{UPSCAT}{1} & @@ -41700,8 +42053,8 @@ These are implemented by this category: variables : % -> List SingletonAsOrderedSet \end{verbatim} -These exports come from \refto{PowerSeriesCategory}(C,E,S)\\ -where C:Ring, E:OrderedAbelianMonoid, S:SingletonAsOrderedSet:\\ +These exports come from \refto{PowerSeriesCategory}(C,E,S)\hfill\\ +where C:Ring, E:OrderedAbelianMonoid, S:SingletonAsOrderedSet:\hfill\\ \begin{verbatim} 0 : () -> % 1 : () -> % @@ -42003,7 +42356,8 @@ digraph pic { Euclidean Domains are a subset of Fields. \pagefrom{EuclideanDomain}{EUCDOM} -{\bf See:}\\ +{\bf See:} + \pageto{AlgebraicallyClosedField}{ACF} \pageto{ExtensionField}{XF} \pageto{FieldOfPrimeCharacteristic}{FPC} @@ -42019,7 +42373,8 @@ Euclidean Domains are a subset of Fields. \pagefrom{EuclideanDomain}{EUCDOM} \pagefrom{UniqueFactorizationDomain}{UFD} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FIELD}{0} & \cross{FIELD}{1} & @@ -42072,7 +42427,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{FIELD}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{FIELD}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -42255,7 +42610,8 @@ digraph pic { \pagehead{IntegerNumberSystem}{INS} \pagepic{ps/v102integernumbersystem.ps}{INS}{0.30} -{\bf See:}\\ +{\bf See:} + \pagefrom{CharacteristicZero}{CHARZ} \pagefrom{CombinatorialFunctionCategory}{CFCAT} \pagefrom{ConvertibleTo}{KONVERT} @@ -42269,7 +42625,8 @@ digraph pic { \pagefrom{StepThrough}{STEP} \pagefrom{UniqueFactorizationDomain}{UFD} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{INS}{0} & \cross{INS}{1} & @@ -42363,7 +42720,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{INS}{multiplicativeValuation}} -implies\\ +implies\hfill\\ {\tt euclideanSize(a*b)=euclideanSize(a)*euclideanSize(b)}. \item {\bf \cross{INS}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -42769,11 +43126,13 @@ digraph pic { \pagehead{PAdicIntegerCategory}{PADICCT} \pagepic{ps/v102padicintegercategory.ps}{PADICCT}{0.70} -{\bf See:}\\ +{\bf See:} + \pagefrom{CharacteristicZero}{CHARZ} \pagefrom{EuclideanDomain}{EUCDOM} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{PADICCT}{0} & \cross{PADICCT}{1} & @@ -43023,7 +43382,8 @@ digraph pic { \pagehead{PolynomialCategory}{POLYCAT} \pagepic{ps/v102polynomialcategory.ps}{POLYCAT}{0.40} -{\bf See:}\\ +{\bf See:} + \pageto{DifferentialPolynomialCategory}{DPOLCAT} \pageto{RecursivePolynomialCategory}{RPOLCAT} \pageto{UnivariatePolynomialCategory}{UPOLYC} @@ -43038,7 +43398,8 @@ digraph pic { \pagefrom{PolynomialFactorizationExplicit}{PFECAT} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{POLYCAT}{0} & \cross{POLYCAT}{1} & @@ -43240,7 +43601,7 @@ These are implemented by this category: ? Boolean if R has ORDSET \end{verbatim} -These exports come from \refto{PartialDifferentialRing}(VarSet)\\ +These exports come from \refto{PartialDifferentialRing}(VarSet)\hfill\\ where VarSet:OrderedSet: \begin{verbatim} 0 : () -> % @@ -43278,7 +43639,7 @@ where VarSet:OrderedSet: ?**? : (%,PositiveInteger) -> % \end{verbatim} -These exports come from \refto{FiniteAbelianMonoidRing}(R,E)\\ +These exports come from \refto{FiniteAbelianMonoidRing}(R,E)\hfill\\ where R:Ring and E:OrderedAbelianMonoidSup: \begin{verbatim} associates? : (%,%) -> Boolean if R has INTDOM @@ -43334,21 +43695,21 @@ These exports come from \refto{Evalable}(PolynomialCategory(...)): eval : (%,%,%) -> % \end{verbatim} -These exports come from \refto{InnerEvalable}(VarSet,R)\\ +These exports come from \refto{InnerEvalable}(VarSet,R)\hfill\\ where VarSet:OrderedSet and R:Ring \begin{verbatim} eval : (%,VarSet,R) -> % eval : (%,List VarSet,List R) -> % \end{verbatim} -These exports come from \refto{InnerEvalable}(VarSet,R)\\ +These exports come from \refto{InnerEvalable}(VarSet,R)\hfill\\ where VarSet:OrderedSet and R:PolynomialCategory(...): \begin{verbatim} eval : (%,VarSet,%) -> % eval : (%,List VarSet,List %) -> % \end{verbatim} -These exports come from \refto{RetractableTo}(VarSet)\\ +These exports come from \refto{RetractableTo}(VarSet)\hfill\\ where VarSet:OrderedSet: \begin{verbatim} coerce : VarSet -> % @@ -43356,7 +43717,7 @@ where VarSet:OrderedSet: retractIfCan : % -> Union(R,"failed") \end{verbatim} -These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\\ +These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\hfill\\ where R:Ring: \begin{verbatim} reducedSystem : (Matrix %,Vector %) -> @@ -43939,12 +44300,14 @@ digraph pic { \pagehead{UnivariateTaylorSeriesCategory}{UTSCAT} \pagepic{ps/v102univariatetaylorseriescategory.ps}{UTSCAT}{0.60} -{\bf See:}\\ +{\bf See:} + \pagefrom{RadicalCategory}{RADCAT} \pagefrom{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{UnivariatePowerSeriesCategory}{UPSCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{UTSCAT}{0} & \cross{UTSCAT}{1} & @@ -44106,7 +44469,7 @@ These are implemented by this category: ?**? : (%,Fraction Integer) -> % if Coef has ALGEBRA FRAC INT \end{verbatim} -These exports come from \refto{UnivariatePowerSeriesCategory}(Coef,NNI)\\ +These exports come from \refto{UnivariatePowerSeriesCategory}(Coef,NNI)\hfill\\ where Coef:Ring and NNI:NonNegativeInteger: \begin{verbatim} 0 : () -> % @@ -44814,12 +45177,14 @@ See Also: o )show AlgebraicallyClosedField @ -{\bf See:}\\ +{\bf See:} + \pageto{AlgebraicallyClosedFunctionSpace}{ACFS} \pagefrom{Field}{FIELD} \pagefrom{RadicalCategory}{RADCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{ACF}{0} & \cross{ACF}{1} & @@ -44878,7 +45243,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{ACF}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{ACF}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -45225,12 +45590,14 @@ digraph pic { \pagehead{DifferentialPolynomialCategory}{DPOLCAT} \pagepic{ps/v102differentialpolynomialcategory.ps}{DPOLCAT}{0.35} -{\bf See:}\\ +{\bf See:} + \pagefrom{DifferentialExtension}{DIFEXT} \pagefrom{PolynomialCategory}{POLYCAT} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{DPOLCAT}{0} & \cross{DPOLCAT}{1} & @@ -45374,9 +45741,9 @@ These are implemented by this category: \end{verbatim} -These exports come from \refto{PolynomialCategory}(R,E,V)\\ -where R:Ring, E:OrderedAbelianMonoidSup,\\ -V:DifferentialVariableCategory(S:OrderedSet):\\ +These exports come from \refto{PolynomialCategory}(R,E,V)\hfill\\ +where R:Ring, E:OrderedAbelianMonoidSup,\hfill\\ +V:DifferentialVariableCategory(S:OrderedSet):\hfill\\ \begin{verbatim} 0 : () -> % 1 : () -> % @@ -45594,13 +45961,13 @@ These exports come from \refto{RetractableTo}(S:OrderedSet): retract : % -> S \end{verbatim} -These exports come from \refto{InnerEvalable}(S,R)\\ +These exports come from \refto{InnerEvalable}(S,R)\hfill\\ where S:OrderedSet, R:Ring: \begin{verbatim} eval : (%,S,R) -> % if R has DIFRING \end{verbatim} -These exports come from \refto{InnerEvalable}(S,%)\\ +These exports come from \refto{InnerEvalable}(S,%)\hfill\\ where S:OrderedSet, %:DPOLCAT: \begin{verbatim} eval : (%,S,%) -> % if R has DIFRING @@ -45935,12 +46302,14 @@ digraph pic { \pagehead{FieldOfPrimeCharacteristic}{FPC} \pagepic{ps/v102fieldofprimecharacteristic.ps}{FPC}{1.00} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteFieldCategory}{FFIELDC} \pagefrom{CharacteristicNonZero}{CHARNZ} \pagefrom{Field}{FIELD} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{FPC}{0} & \cross{FPC}{1} & @@ -45997,7 +46366,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{FPC}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{FPC}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -46178,14 +46547,16 @@ digraph pic { \pagehead{FiniteRankAlgebra}{FINRALG} \pagepic{ps/v102finiterankalgebra.ps}{FINRALG}{0.50} -{\bf See:}\\ +{\bf See:} + \pageto{FramedAlgebra}{FRAMALG} \pagefrom{Algebra}{ALGEBRA} \pagefrom{CharacteristicNonZero}{CHARNZ} \pagefrom{CharacteristicZero}{CHARZ} \pagefrom{Field}{FIELD} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{FINRALG}{0} & \cross{FINRALG}{1} & @@ -46438,7 +46809,8 @@ digraph pic { \pagehead{FunctionSpace}{FS} \pagepic{ps/v102functionspace.ps}{FS}{0.65} -{\bf See:}\\ +{\bf See:} + \pagefrom{AbelianGroup}{ABELGRP} \pagefrom{AbelianMonoid}{ABELMON} \pagefrom{AbelianSemiGroup}{ABELSG} @@ -46462,7 +46834,8 @@ digraph pic { \pagefrom{Ring}{RING} \pagefrom{SemiGroup}{SGROUP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{FS}{0} & \cross{FS}{1} & @@ -46570,7 +46943,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item if \$ has IntegralDomain then canonicalsClosed where -{\bf \cross{FS}{canonicalsClosed}} is true if\\ +{\bf \cross{FS}{canonicalsClosed}} is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item if \$ has IntegralDomain then commutative(``*'') where {\bf \cross{FS}{commutative(``*'')}} @@ -46822,7 +47195,7 @@ These exports come from \refto{PartialDifferentialRing}(Symbol): if R has RING \end{verbatim} -These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\\ +These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\hfill\\ where R:OrderedSet: \begin{verbatim} reducedSystem : Matrix % -> Matrix R if R has RING @@ -47698,7 +48071,8 @@ digraph pic { \pagehead{QuotientFieldCategory}{QFCAT} \pagepic{ps/v102quotientfieldcategory.ps}{QFCAT}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{Algebra}{ALGEBRA} \pagefrom{CharacteristicNonZero}{CHARNZ} \pagefrom{CharacteristicZero}{CHARZ} @@ -47717,7 +48091,8 @@ digraph pic { \pagefrom{RetractableTo}{RETRACT} \pagefrom{StepThrough}{STEP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{QFCAT}{0} & \cross{QFCAT}{1} & @@ -47807,7 +48182,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{QFCAT}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{QFCAT}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -48267,7 +48642,8 @@ digraph pic { \pagehead{RealClosedField}{RCFIELD} \pagepic{ps/v102realclosedfield.ps}{RCFIELD}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{Algebra}{ALGEBRA} \pagefrom{CharacteristicZero}{CHARZ} \pagefrom{CommutativeRing}{COMRING} @@ -48276,7 +48652,8 @@ digraph pic { \pagefrom{OrderedRing}{ORDRING} \pagefrom{RadicalCategory}{RADCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{RCFIELD}{0} & \cross{RCFIELD}{1} & @@ -48353,7 +48730,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{RCFIELD}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{RCFIELD}{unitsKnown}} is true if a monoid (a multiplicative semigroup with a 1) has @@ -48719,7 +49096,8 @@ digraph pic { \pagehead{RealNumberSystem}{RNS} \pagepic{ps/v102realnumbersystem.ps}{RNS}{0.50} -{\bf See:}\\ +{\bf See:} + \pageto{FloatingPointSystem}{FPS} \pagefrom{CharacteristicZero}{CHARZ} \pagefrom{ConvertibleTo}{KONVERT} @@ -48730,7 +49108,8 @@ digraph pic { \pagefrom{RealConstant}{REAL} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{RNS}{0} & \cross{RNS}{1} & @@ -49065,10 +49444,12 @@ digraph pic { \pagehead{RecursivePolynomialCategory}{RPOLCAT} \pagepic{ps/v102recursivepolynomialcategory.ps}{RPOLCAT}{0.30} -{\bf See:}\\ +{\bf See:} + \pagefrom{PolynomialCategory}{POLYCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{RPOLCAT}{0} & \cross{RPOLCAT}{1} & @@ -49364,7 +49745,7 @@ These are implemented by this category: tail : % -> % \end{verbatim} -These exports come from \refto{PolynomialCategory}(R,E,V)\\ +These exports come from \refto{PolynomialCategory}(R,E,V)\hfill\\ where R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet: \begin{verbatim} 0 : () -> % @@ -50842,14 +51223,16 @@ digraph pic { \pagehead{UnivariateLaurentSeriesCategory}{ULSCAT} \pagepic{ps/v102univariatelaurentseriescategory.ps}{ULSCAT}{0.50} -{\bf See:}\\ +{\bf See:} + \pageto{UnivariateLaurentSeriesConstructorCategory}{ULSCCAT} \pagefrom{Field}{FIELD} \pagefrom{RadicalCategory}{RADCAT} \pagefrom{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{UnivariatePowerSeriesCategory}{UPSCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{ULSCAT}{0} & \cross{ULSCAT}{1} & @@ -50961,7 +51344,7 @@ of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item if \#1 has Field then canonicalsClosed where {\bf \cross{ULSCAT}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{ULSCAT}{unitsKnown}} is true if a monoid (a multiplicative semigroup with a 1) has @@ -50999,7 +51382,8 @@ These are directly exported but not implemented: series : Stream Record(k: Integer,c: Coef) -> % \end{verbatim} -These exports come from \refto{UnivariatePowerSeriesCategory}(Coef,Integer)\\ +These exports come from +\refto{UnivariatePowerSeriesCategory}(Coef,Integer)\hfill\\ where Coef:Ring: \begin{verbatim} 0 : () -> % @@ -51321,14 +51705,16 @@ digraph pic { \pagehead{UnivariatePuiseuxSeriesCategory}{UPXSCAT} \pagepic{ps/v102univariatepuiseuxseriescategory.ps}{UPXSCAT}{0.50} -{\bf See:}\\ +{\bf See:} + \pageto{UnivariatePuiseuxSeriesConstructorCategory}{UPXSCCA} \pagefrom{TranscendentalFunctionCategory}{TRANFUN} \pagefrom{Field}{FIELD} \pagefrom{RadicalCategory}{RADCAT} \pagefrom{UnivariatePowerSeriesCategory}{UPSCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{UPXSCAT}{0} & \cross{UPXSCAT}{1} & @@ -51438,7 +51824,7 @@ of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item if \#1 has Field then canonicalsClosed where {\bf \cross{UPXSCAT}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{UPXSCAT}{unitsKnown}} is true if a monoid (a multiplicative semigroup with a 1) has @@ -51474,7 +51860,7 @@ These are directly exported but not implemented: series : (NonNegativeInteger,Stream Record(k: Fraction Integer,c: Coef)) -> % \end{verbatim} -These exports come from \refto{UnivariatePowerSeriesCategory}(Coef,RN)\\ +These exports come from \refto{UnivariatePowerSeriesCategory}(Coef,RN)\hfill\\ where Coef:Ring and RN:Fraction(Integer): \begin{verbatim} 0 : () -> % @@ -51785,7 +52171,8 @@ digraph pic { \pagehead{UnivariatePolynomialCategory}{UPOLYC} \pagepic{ps/v102univariatepolynomialcategory.ps}{UPOLYC}{0.35} -{\bf See:}\\ +{\bf See:} + \pagefrom{Algebra}{ALGEBRA} \pagefrom{CommutativeRing}{COMRING} \pagefrom{DifferentialExtension}{DIFEXT} @@ -51798,7 +52185,8 @@ digraph pic { \pagefrom{PolynomialFactorizationExplicit}{PFECAT} \pagefrom{StepThrough}{STEP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{UPOLYC}{0} & \cross{UPOLYC}{1} & @@ -51924,7 +52312,7 @@ which is commutative. {\bf \cross{UPOLYC}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. \item if R has Field then additiveValuation where -{\bf \cross{UPOLYC}{additiveValuation}} implies\\ +{\bf \cross{UPOLYC}{additiveValuation}} implies\hfill\\ {\tt euclideanSize(a*b)=euclideanSize(a)+euclideanSize(b)}. \item if \$ has canonicalUnitNormal then canonicalUnitNormal where {\bf \cross{UPOLYC}{canonicalUnitNormal}} @@ -52135,7 +52523,7 @@ These are implemented by this category: if R has INTDOM \end{verbatim} -These exports come from \refto{PolynomialCategory}(R,N,S)\\ +These exports come from \refto{PolynomialCategory}(R,N,S)\hfill\\ where R:Ring, N:NonNegativeInteger, S:SingletonAsOrderedSet: \begin{verbatim} charthRoot : % -> Union(%,"failed") @@ -52770,11 +53158,13 @@ digraph pic { \pagehead{AlgebraicallyClosedFunctionSpace}{ACFS} \pagepic{ps/v102algebraicallyclosedfunctionspace.ps}{ACFS}{0.45} -{\bf See:}\\ +{\bf See:} + \pagefrom{AlgebraicallyClosedField}{ACF} \pagefrom{FunctionSpace}{FS} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{ACFS}{0} & \cross{ACFS}{1} & @@ -52894,7 +53284,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{ACFS}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{ACFS}{commutative(``*'')}} is true if it has an operation $"*": (D,D) -> D$ @@ -52993,7 +53383,7 @@ These exports come from \refto{AlgebraicallyClosedField}(): ?rem? : (%,%) -> % \end{verbatim} -These exports come from \refto{FunctionSpace}(R)\\ +These exports come from \refto{FunctionSpace}(R)\hfill\\ where R:Join(OrderedSet, IntegralDomain)): \begin{verbatim} applyQuote : (Symbol,%) -> % @@ -53346,13 +53736,15 @@ digraph pic { \pagehead{ExtensionField}{XF} \pagepic{ps/v102extensionfield.ps}{XF}{0.75} -{\bf See:}\\ +{\bf See:} + \pageto{FiniteAlgebraicExtensionField}{FAXF} \pagefrom{Field}{FIELD} \pagefrom{RetractableTo}{RETRACT} \pagefrom{VectorSpace}{VSPACE} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{XF}{0} & \cross{XF}{1} & @@ -53419,7 +53811,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{XF}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{XF}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -53671,13 +54063,15 @@ digraph pic { \pagehead{FiniteFieldCategory}{FFIELDC} \pagepic{ps/v102finitefieldcategory.ps}{FFIELDC}{0.70} -{\bf See:}\\ +{\bf See:} + \pagefrom{DifferentialRing}{DIFRING} \pagefrom{FieldOfPrimeCharacteristic}{FPC} \pagefrom{Finite}{FINITE} \pagefrom{StepThrough}{STEP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{FFIELDC}{0} & \cross{FFIELDC}{1} & @@ -53749,7 +54143,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{FFIELDC}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{FFIELDC}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -54171,10 +54565,12 @@ digraph pic { \pagehead{FloatingPointSystem}{FPS} \pagepic{ps/v102floatingpointsystem.ps}{FPS}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{RealNumberSystem}{RNS} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{FPS}{0} & \cross{FPS}{1} & @@ -54262,7 +54658,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{FPS}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{FPS}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -54550,11 +54946,13 @@ digraph pic { \pagehead{FramedAlgebra}{FRAMALG} \pagepic{ps/v102framedalgebra.ps}{FRAMALG}{0.50} -{\bf See:}\\ +{\bf See:} + \pageto{MonogenicAlgebra}{MONOGEN} \pagefrom{FiniteRankAlgebra}{FINRALG} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FRAMALG}{0} & \cross{FRAMALG}{1} & @@ -54619,7 +55017,7 @@ These are implemented by this category: traceMatrix : () -> Matrix R \end{verbatim} -These exports come from \refto{FiniteRankAlgebra}(R, UP)\\ +These exports come from \refto{FiniteRankAlgebra}(R, UP)\hfill\\ where R:CommutativeRing and UP:UnivariatePolynomialCategory R): \begin{verbatim} 0 : () -> % @@ -54815,11 +55213,13 @@ digraph pic { \pagehead{UnivariateLaurentSeriesConstructorCategory}{ULSCCAT} \pagepic{ps/v102univariatelaurentseriesconstructorcategory.ps}{ULSCCAT}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{RetractableTo}{RETRACT} \pagefrom{UnivariateLaurentSeriesCategory}{ULSCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{ULSCCAT}{0} & \cross{ULSCCAT}{1} & @@ -54970,7 +55370,7 @@ is true if $1 * x = x$ for all x. is true if $x * 1 = x$ for all x. \item if \#1 has Field then canonicalClosed where {\bf \cross{ULSCCAT}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item if \#1 has Field then canonicalUnitNormal where {\bf \cross{ULSCCAT}{canonicalUnitNormal}} @@ -55205,7 +55605,7 @@ These exports come from \refto{UnivariateLaurentSeriesCategory}(Coef:Ring) ?rem? : (%,%) -> % if Coef has FIELD \end{verbatim} -These exports come from \refto{QuotientFieldCategory}(UTS)\\ +These exports come from \refto{QuotientFieldCategory}(UTS)\hfill\\ where UTS:UnivariateLaurentSeriesCategory(Coef:Ring) \begin{verbatim} abs : % -> % @@ -55221,7 +55621,7 @@ where UTS:UnivariateLaurentSeriesCategory(Coef:Ring) convert : % -> Pattern Integer if and(has(UTS,ConvertibleTo Pattern Integer),has(Coef,Field)) convert : % -> Pattern Float - if and(has(UTS,ConvertibleTo Pattern Float),has(Coef,Field)\\ + if and(has(UTS,ConvertibleTo Pattern Float),has(Coef,Field)\hfill\\ convert : % -> InputForm if and(has(UTS,ConvertibleTo InputForm),has(Coef,Field)) convert : % -> Float @@ -55467,11 +55867,13 @@ digraph pic { \pagehead{UnivariatePuiseuxSeriesConstructorCategory}{UPXSCCA} \pagepic{ps/v102univariatepuiseuxseriesconstructorcategory.ps}{UPXSCCA}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{RetractableTo}{RETRACT} \pagefrom{UnivariatePuiseuxSeriesCategory}{UPXSCAT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{llll} \cross{UPXSCCA}{0} & \cross{UPXSCCA}{1} & @@ -55591,7 +55993,7 @@ is true if $1 * x = x$ for all x. is true if $x * 1 = x$ for all x. \item if \#1 has Field then canonicalsClosed where \item {\bf \cross{UPXSCCA}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item if \#1 has Field then canonicalUnitNormal where {\bf \cross{UPXSCCA}{canonicalUnitNormal}} @@ -55930,11 +56332,13 @@ digraph pic { \pagehead{FiniteAlgebraicExtensionField}{FAXF} \pagepic{ps/v102finitealgebraicextensionfield.ps}{FAXF}{0.75} -{\bf See:}\\ +{\bf See:} + \pagefrom{ExtensionField}{XF} \pagefrom{RetractableTo}{RETRACT} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{FAXF}{0} & \cross{FAXF}{1} & @@ -56030,7 +56434,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item {\bf \cross{FAXF}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{FAXF}{noZeroDivisors}} is true if $x * y \ne 0$ implies both x and y are non-zero. @@ -56576,7 +56980,8 @@ digraph pic { \pagehead{MonogenicAlgebra}{MONOGEN} \pagepic{ps/v102monogenicalgebra.ps}{MONOGEN}{0.40} -{\bf See:}\\ +{\bf See:} + \pageto{FunctionFieldCategory}{FFCAT} \pagefrom{CommutativeRing}{COMRING} \pagefrom{ConvertibleTo}{KONVERT} @@ -56584,7 +56989,8 @@ digraph pic { \pagefrom{FullyRetractableTo}{FRETRCT} \pagefrom{LinearlyExplicitRingOver}{LINEXP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{MONOGEN}{0} & \cross{MONOGEN}{1} & @@ -56678,7 +57084,7 @@ of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item if \$ has Field then canonicalClosed where {\bf \cross{MONOGEN}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item if \$ has Field then noZeroDivisors where {\bf \cross{MONOGEN}{noZeroDivisors}} @@ -56722,7 +57128,7 @@ These are implemented by this category: size : () -> NonNegativeInteger if R has FINITE \end{verbatim} -These exports come from \refto{FramedAlgebra}(R,UP)\\ +These exports come from \refto{FramedAlgebra}(R,UP)\hfill\\ where R:CommutativeRing and UP:UnivariatePolynomialCategory(a) \begin{verbatim} 0 : () -> % @@ -56772,7 +57178,7 @@ where R:CommutativeRing and UP:UnivariatePolynomialCategory(a) ?^? : (%,NonNegativeInteger) -> % \end{verbatim} -These exports come from \refto{FullyRetractableTo}(R)\\ +These exports come from \refto{FullyRetractableTo}(R)\hfill\\ where R:CommutativeRing \begin{verbatim} coerce : Fraction Integer -> % @@ -56786,7 +57192,7 @@ where R:CommutativeRing if R has RETRACT INT \end{verbatim} -These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\\ +These exports come from \refto{FullyLinearlyExplicitRingOver}(R)\hfill\\ where R:CommutativeRing \begin{verbatim} reducedSystem : Matrix % -> Matrix R @@ -56850,7 +57256,7 @@ These exports come from \refto{Field}() ?rem? : (%,%) -> % if R has FIELD \end{verbatim} -These exports come from \refto{DifferentialExtension}(R)\\ +These exports come from \refto{DifferentialExtension}(R)\hfill\\ where R:CommutativeRing \begin{verbatim} D : (%,(R -> R)) -> % if R has FIELD @@ -57071,7 +57477,8 @@ digraph pic { \pagehead{ComplexCategory}{COMPCAT} \pagepic{ps/v102complexcategory.ps}{COMPCAT}{0.50} -{\bf See:}\\ +{\bf See:} + \pagefrom{CommutativeRing}{COMRING} \pagefrom{DifferentialExtension}{DIFEXT} \pagefrom{FullyEvalableOver}{FEVALAB} @@ -57081,7 +57488,8 @@ digraph pic { \pagefrom{Patternable}{PATAB} \pagefrom{FullyLinearlyExplicitRingOver}{FLINEXP} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lll} \cross{COMPCAT}{0} & \cross{COMPCAT}{1} & @@ -57224,15 +57632,15 @@ digraph pic { \begin{itemize} \item if \#1 has multiplicativeValuation then multiplicativeValuation where {\bf \cross{COMPCAT}{multiplicativeValuation}} -implies\\ +implies\hfill\\ {\tt euclideanSize(a*b)=euclideanSize(a)*euclideanSize(b)}. \item if \#1 has additiveValuation then additiveValuation where {\bf \cross{COMPCAT}{additiveValuation}} -implies\\ +implies\hfill\\ {\tt euclideanSize(a*b)=euclideanSize(a)+euclideanSize(b)}. \item if \#1 has Field then canonicalsClosed where {\bf \cross{COMPCAT}{canonicalsClosed}} -is true if\\ +is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item if \#1 has Field then canonicalUnitNormal where {\bf \cross{COMPCAT}{canonicalUnitNormal}} @@ -57338,7 +57746,7 @@ These are implemented by this category: ?quo? : (%,%) -> % if R has EUCDOM \end{verbatim} -These exports come from \refto{MonogenicAlgebra}(R,S)\\ +These exports come from \refto{MonogenicAlgebra}(R,S)\hfill\\ where R:CommutativeRing and S:SparseUnivariatePolynomial(R): \begin{verbatim} 0 : () -> % @@ -58006,10 +58414,12 @@ digraph pic { \pagehead{FunctionFieldCategory}{FFCAT} \pagepic{ps/v102functionfieldcategory.ps}{FFCAT}{0.70} -{\bf See:}\\ +{\bf See:} + \pagefrom{MonogenicAlgebra}{MONOGEN} -{\bf Exports:}\\ +{\bf Exports:} + \begin{tabular}{lllll} \cross{FFCAT}{0} & \cross{FFCAT}{1} \\ @@ -58137,7 +58547,7 @@ is true if we can choose a canonical representative for each class of associate elements, that is {\tt associates?(a,b)} returns true if and only if {\tt unitCanonical(a) = unitCanonical(b)}. \item if \$ has Fraction(UPOLYC(UFD)) and Field then canonicalsClosed where -{\bf \cross{FFCAT}{canonicalsClosed}} is true if\\ +{\bf \cross{FFCAT}{canonicalsClosed}} is true if\hfill\\ {\tt unitCanonical(a)*unitCanonical(b) = unitCanonical(a*b)}. \item {\bf \cross{FFCAT}{commutative(``*'')}} is true if it has an operation $"*": (D,D) -> D$ @@ -58192,9 +58602,9 @@ These are implemented by this category: yCoordinates : % -> Record(num: Vector UP,den: UP) \end{verbatim} -These exports come from \refto{MonogenicAlgebra}(RF, UPUP)\\ -where RF:Fraction UP, UP:UnivariatePolynomialCategory F\\ -F:UniqueFactorizationDomain, and\\ +These exports come from \refto{MonogenicAlgebra}(RF, UPUP)\hfill\\ +where RF:Fraction UP, UP:UnivariatePolynomialCategory F\hfill\\ +F:UniqueFactorizationDomain, and\hfill\\ UPUP:UnivariatePolynomialCategory Fraction UP \begin{verbatim} 0 : () -> % diff --git a/changelog b/changelog index 3eba9a7..ceda4a3 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20091204 tpd src/axiom-website/patches.html 20091204.03.tpd.patch +20091204 tpd books/bookvol10.2 latex cleanup 20091204 tpd src/axiom-website/patches.html 20091204.02.tpd.patch 20091204 tpd src/axiom-website/download.html add fedora 10 nov2009 build 20091204 tpd src/axiom-website/patches.html 20091204.01.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 7461f0e..e03a067 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -2306,5 +2306,7 @@ move axiom-developer to local box, step 1
src/axiom-website/download.html add nov2009 builds
20091204.02.tpd.patch src/axiom-website/download.html add fedora10 nov2009 build
+20091204.03.tpd.patch +books/bookvol10.2 latex cleanup