\contentsline {chapter}{\numberline {1}Categories}{1}{chapter.1}
\contentsline {chapter}{\numberline {2}Category Layer 1}{3}{chapter.2}
\contentsline {subsection}{\numberline {2.0.1}Category (CATEGORY)}{3}{subsection.2.0.1}
\contentsline {subsection}{\numberline {2.0.2}ArcHyperbolicFunctionCategory (AHYP)}{5}{subsection.2.0.2}
\contentsline {subsection}{\numberline {2.0.3}ArcTrigonometricFunctionCategory (ATRIG)}{7}{subsection.2.0.3}
\contentsline {subsection}{\numberline {2.0.4}AttributeRegistry (ATTREG)}{10}{subsection.2.0.4}
\contentsline {subsection}{\numberline {2.0.5}BasicType (BASTYPE)}{14}{subsection.2.0.5}
\contentsline {subsection}{\numberline {2.0.6}CoercibleTo (KOERCE)}{17}{subsection.2.0.6}
\contentsline {subsection}{\numberline {2.0.7}CombinatorialFunctionCategory (CFCAT)}{20}{subsection.2.0.7}
\contentsline {subsection}{\numberline {2.0.8}ConvertibleTo (KONVERT)}{23}{subsection.2.0.8}
\contentsline {subsection}{\numberline {2.0.9}ElementaryFunctionCategory (ELEMFUN)}{27}{subsection.2.0.9}
\contentsline {subsection}{\numberline {2.0.10}Eltable (ELTAB)}{29}{subsection.2.0.10}
\contentsline {subsection}{\numberline {2.0.11}HyperbolicFunctionCategory (HYPCAT)}{32}{subsection.2.0.11}
\contentsline {subsection}{\numberline {2.0.12}InnerEvalable (IEVALAB)}{35}{subsection.2.0.12}
\contentsline {subsection}{\numberline {2.0.13}OpenMath (OM)}{39}{subsection.2.0.13}
\contentsline {subsection}{\numberline {2.0.14}PartialTranscendentalFunctions (PTRANFN)}{42}{subsection.2.0.14}
\contentsline {subsection}{\numberline {2.0.15}Patternable (PATAB)}{47}{subsection.2.0.15}
\contentsline {subsection}{\numberline {2.0.16}PrimitiveFunctionCategory (PRIMCAT)}{50}{subsection.2.0.16}
\contentsline {subsection}{\numberline {2.0.17}RadicalCategory (RADCAT)}{52}{subsection.2.0.17}
\contentsline {subsection}{\numberline {2.0.18}RetractableTo (RETRACT)}{55}{subsection.2.0.18}
\contentsline {subsection}{\numberline {2.0.19}SpecialFunctionCategory (SPFCAT)}{60}{subsection.2.0.19}
\contentsline {subsection}{\numberline {2.0.20}TrigonometricFunctionCategory (TRIGCAT)}{63}{subsection.2.0.20}
\contentsline {subsection}{\numberline {2.0.21}Type (TYPE)}{66}{subsection.2.0.21}
\contentsline {chapter}{\numberline {3}Category Layer 2}{69}{chapter.3}
\contentsline {subsection}{\numberline {3.0.22}Aggregate (AGG)}{69}{subsection.3.0.22}
\contentsline {subsection}{\numberline {3.0.23}CombinatorialOpsCategory (COMBOPC)}{73}{subsection.3.0.23}
\contentsline {subsection}{\numberline {3.0.24}EltableAggregate (ELTAGG)}{76}{subsection.3.0.24}
\contentsline {subsection}{\numberline {3.0.25}Evalable (EVALAB)}{80}{subsection.3.0.25}
\contentsline {subsection}{\numberline {3.0.26}FortranProgramCategory (FORTCAT)}{84}{subsection.3.0.26}
\contentsline {subsection}{\numberline {3.0.27}FullyRetractableTo (FRETRCT)}{87}{subsection.3.0.27}
\contentsline {subsection}{\numberline {3.0.28}FullyPatternMatchable (FPATMAB)}{92}{subsection.3.0.28}
\contentsline {subsection}{\numberline {3.0.29}Logic (LOGIC)}{96}{subsection.3.0.29}
\contentsline {subsection}{\numberline {3.0.30}PlottablePlaneCurveCategory (PPCURVE)}{99}{subsection.3.0.30}
\contentsline {subsection}{\numberline {3.0.31}PlottableSpaceCurveCategory (PSCURVE)}{103}{subsection.3.0.31}
\contentsline {subsection}{\numberline {3.0.32}RealConstant (REAL)}{107}{subsection.3.0.32}
\contentsline {subsection}{\numberline {3.0.33}SegmentCategory (SEGCAT)}{110}{subsection.3.0.33}
\contentsline {subsection}{\numberline {3.0.34}SetCategory (SETCAT)}{114}{subsection.3.0.34}
\contentsline {subsection}{\numberline {3.0.35}TranscendentalFunctionCategory (TRANFUN)}{118}{subsection.3.0.35}
\contentsline {chapter}{\numberline {4}Category Layer 3}{125}{chapter.4}
\contentsline {subsection}{\numberline {4.0.36}AbelianSemiGroup (ABELSG)}{125}{subsection.4.0.36}
\contentsline {subsection}{\numberline {4.0.37}BlowUpMethodCategory (BLMETCT)}{129}{subsection.4.0.37}
\contentsline {subsection}{\numberline {4.0.38}DesingTreeCategory (DSTRCAT)}{133}{subsection.4.0.38}
\contentsline {subsection}{\numberline {4.0.39}FortranFunctionCategory (FORTFN)}{138}{subsection.4.0.39}
\contentsline {subsection}{\numberline {4.0.40}FortranMatrixCategory (FMC)}{143}{subsection.4.0.40}
\contentsline {subsection}{\numberline {4.0.41}FortranMatrixFunctionCategory (FMFUN)}{147}{subsection.4.0.41}
\contentsline {subsection}{\numberline {4.0.42}FortranVectorCategory (FVC)}{152}{subsection.4.0.42}
\contentsline {subsection}{\numberline {4.0.43}FortranVectorFunctionCategory (FVFUN)}{156}{subsection.4.0.43}
\contentsline {subsection}{\numberline {4.0.44}FullyEvalableOver (FEVALAB)}{161}{subsection.4.0.44}
\contentsline {subsection}{\numberline {4.0.45}FileCategory (FILECAT)}{166}{subsection.4.0.45}
\contentsline {subsection}{\numberline {4.0.46}Finite (FINITE)}{171}{subsection.4.0.46}
\contentsline {subsection}{\numberline {4.0.47}FileNameCategory (FNCAT)}{175}{subsection.4.0.47}
\contentsline {subsection}{\numberline {4.0.48}GradedModule (GRMOD)}{179}{subsection.4.0.48}
\contentsline {subsection}{\numberline {4.0.49}HomogeneousAggregate (HOAGG)}{184}{subsection.4.0.49}
\contentsline {subsection}{\numberline {4.0.50}IndexedDirectProductCategory (IDPC)}{191}{subsection.4.0.50}
\contentsline {subsection}{\numberline {4.0.51}LiouvillianFunctionCategory (LFCAT)}{195}{subsection.4.0.51}
\contentsline {subsection}{\numberline {4.0.52}Monad (MONAD)}{200}{subsection.4.0.52}
\contentsline {subsection}{\numberline {4.0.53}NumericalIntegrationCategory (NUMINT)}{205}{subsection.4.0.53}
\contentsline {subsection}{\numberline {4.0.54}NumericalOptimizationCategory (OPTCAT)}{210}{subsection.4.0.54}
\contentsline {subsection}{\numberline {4.0.55}OrdinaryDifferentialEquationsSolverCategory (ODECAT)}{215}{subsection.4.0.55}
\contentsline {subsection}{\numberline {4.0.56}OrderedSet (ORDSET)}{219}{subsection.4.0.56}
\contentsline {subsection}{\numberline {4.0.57}PartialDifferentialEquationsSolverCategory (PDECAT)}{224}{subsection.4.0.57}
\contentsline {subsection}{\numberline {4.0.58}PatternMatchable (PATMAB)}{229}{subsection.4.0.58}
\contentsline {subsection}{\numberline {4.0.59}RealRootCharacterizationCategory (RRCC)}{233}{subsection.4.0.59}
\contentsline {subsection}{\numberline {4.0.60}SegmentExpansionCategory (SEGXCAT)}{238}{subsection.4.0.60}
\contentsline {subsection}{\numberline {4.0.61}SemiGroup (SGROUP)}{242}{subsection.4.0.61}
\contentsline {subsection}{\numberline {4.0.62}SetCategoryWithDegree (SETCATD)}{246}{subsection.4.0.62}
\contentsline {subsection}{\numberline {4.0.63}SExpressionCategory (SEXCAT)}{249}{subsection.4.0.63}
\contentsline {subsection}{\numberline {4.0.64}StepThrough (STEP)}{255}{subsection.4.0.64}
\contentsline {subsection}{\numberline {4.0.65}ThreeSpaceCategory (SPACEC)}{259}{subsection.4.0.65}
\contentsline {chapter}{\numberline {5}Category Layer 4}{271}{chapter.5}
\contentsline {subsection}{\numberline {5.0.66}AbelianMonoid (ABELMON)}{271}{subsection.5.0.66}
\contentsline {subsection}{\numberline {5.0.67}AffineSpaceCategory (AFSPCAT)}{276}{subsection.5.0.67}
\contentsline {subsection}{\numberline {5.0.68}BagAggregate (BGAGG)}{281}{subsection.5.0.68}
\contentsline {subsection}{\numberline {5.0.69}CachableSet (CACHSET)}{287}{subsection.5.0.69}
\contentsline {subsection}{\numberline {5.0.70}Collection (CLAGG)}{291}{subsection.5.0.70}
\contentsline {subsection}{\numberline {5.0.71}DifferentialVariableCategory (DVARCAT)}{298}{subsection.5.0.71}
\contentsline {subsection}{\numberline {5.0.72}ExpressionSpace (ES)}{304}{subsection.5.0.72}
\contentsline {subsection}{\numberline {5.0.73}GradedAlgebra (GRALG)}{317}{subsection.5.0.73}
\contentsline {subsection}{\numberline {5.0.74}IndexedAggregate (IXAGG)}{322}{subsection.5.0.74}
\contentsline {subsection}{\numberline {5.0.75}MonadWithUnit (MONADWU)}{329}{subsection.5.0.75}
\contentsline {subsection}{\numberline {5.0.76}Monoid (MONOID)}{335}{subsection.5.0.76}
\contentsline {subsection}{\numberline {5.0.77}OrderedFinite (ORDFIN)}{340}{subsection.5.0.77}
\contentsline {subsection}{\numberline {5.0.78}PlacesCategory (PLACESC)}{344}{subsection.5.0.78}
\contentsline {subsection}{\numberline {5.0.79}ProjectiveSpaceCategory (PRSPCAT)}{349}{subsection.5.0.79}
\contentsline {subsection}{\numberline {5.0.80}RecursiveAggregate (RCAGG)}{355}{subsection.5.0.80}
\contentsline {subsection}{\numberline {5.0.81}TwoDimensionalArrayCategory (ARR2CAT)}{361}{subsection.5.0.81}
\contentsline {chapter}{\numberline {6}Category Layer 5}{375}{chapter.6}
\contentsline {subsection}{\numberline {6.0.82}BinaryRecursiveAggregate (BRAGG)}{376}{subsection.6.0.82}
\contentsline {subsection}{\numberline {6.0.83}CancellationAbelianMonoid (CABMON)}{384}{subsection.6.0.83}
\contentsline {subsection}{\numberline {6.0.84}DictionaryOperations (DIOPS)}{389}{subsection.6.0.84}
\contentsline {subsection}{\numberline {6.0.85}DoublyLinkedAggregate (DLAGG)}{396}{subsection.6.0.85}
\contentsline {subsection}{\numberline {6.0.86}Group (GROUP)}{402}{subsection.6.0.86}
\contentsline {subsection}{\numberline {6.0.87}LinearAggregate (LNAGG)}{408}{subsection.6.0.87}
\contentsline {subsection}{\numberline {6.0.88}MatrixCategory (MATCAT)}{416}{subsection.6.0.88}
\contentsline {subsection}{\numberline {6.0.89}OrderedAbelianSemiGroup (OASGP)}{460}{subsection.6.0.89}
\contentsline {subsection}{\numberline {6.0.90}OrderedMonoid (ORDMON)}{465}{subsection.6.0.90}
\contentsline {subsection}{\numberline {6.0.91}PolynomialSetCategory (PSETCAT)}{469}{subsection.6.0.91}
\contentsline {subsection}{\numberline {6.0.92}PriorityQueueAggregate (PRQAGG)}{484}{subsection.6.0.92}
\contentsline {subsection}{\numberline {6.0.93}QueueAggregate (QUAGG)}{490}{subsection.6.0.93}
\contentsline {subsection}{\numberline {6.0.94}SetAggregate (SETAGG)}{496}{subsection.6.0.94}
\contentsline {subsection}{\numberline {6.0.95}StackAggregate (SKAGG)}{504}{subsection.6.0.95}
\contentsline {subsection}{\numberline {6.0.96}UnaryRecursiveAggregate (URAGG)}{510}{subsection.6.0.96}
\contentsline {chapter}{\numberline {7}Category Layer 6}{523}{chapter.7}
\contentsline {subsection}{\numberline {7.0.97}AbelianGroup (ABELGRP)}{524}{subsection.7.0.97}
\contentsline {subsection}{\numberline {7.0.98}BinaryTreeCategory (BTCAT)}{530}{subsection.7.0.98}
\contentsline {subsection}{\numberline {7.0.99}Dictionary (DIAGG)}{537}{subsection.7.0.99}
\contentsline {subsection}{\numberline {7.0.100}DequeueAggregate (DQAGG)}{544}{subsection.7.0.100}
\contentsline {subsection}{\numberline {7.0.101}ExtensibleLinearAggregate (ELAGG)}{551}{subsection.7.0.101}
\contentsline {subsection}{\numberline {7.0.102}FiniteLinearAggregate (FLAGG)}{559}{subsection.7.0.102}
\contentsline {subsection}{\numberline {7.0.103}FreeAbelianMonoidCategory (FAMONC)}{568}{subsection.7.0.103}
\contentsline {subsection}{\numberline {7.0.104}MultiDictionary (MDAGG)}{574}{subsection.7.0.104}
\contentsline {subsection}{\numberline {7.0.105}OrderedAbelianMonoid (OAMON)}{580}{subsection.7.0.105}
\contentsline {subsection}{\numberline {7.0.106}PermutationCategory (PERMCAT)}{584}{subsection.7.0.106}
\contentsline {subsection}{\numberline {7.0.107}StreamAggregate (STAGG)}{590}{subsection.7.0.107}
\contentsline {subsection}{\numberline {7.0.108}TriangularSetCategory (TSETCAT)}{600}{subsection.7.0.108}
\contentsline {chapter}{\numberline {8}Category Layer 7}{619}{chapter.8}
\contentsline {subsection}{\numberline {8.0.109}FiniteDivisorCategory (FDIVCAT)}{620}{subsection.8.0.109}
\contentsline {subsection}{\numberline {8.0.110}FiniteSetAggregate (FSAGG)}{625}{subsection.8.0.110}
\contentsline {subsection}{\numberline {8.0.111}KeyedDictionary (KDAGG)}{634}{subsection.8.0.111}
\contentsline {subsection}{\numberline {8.0.112}LazyStreamAggregate (LZSTAGG)}{641}{subsection.8.0.112}
\contentsline {subsection}{\numberline {8.0.113}LeftModule (LMODULE)}{659}{subsection.8.0.113}
\contentsline {subsection}{\numberline {8.0.114}ListAggregate (LSAGG)}{663}{subsection.8.0.114}
\contentsline {subsection}{\numberline {8.0.115}MultisetAggregate (MSETAGG)}{677}{subsection.8.0.115}
\contentsline {subsection}{\numberline {8.0.116}NonAssociativeRng (NARNG)}{683}{subsection.8.0.116}
\contentsline {subsection}{\numberline {8.0.117}OneDimensionalArrayAggregate (A1AGG)}{688}{subsection.8.0.117}
\contentsline {subsection}{\numberline {8.0.118}OrderedCancellationAbelianMonoid (OCAMON)}{700}{subsection.8.0.118}
\contentsline {subsection}{\numberline {8.0.119}RegularTriangularSetCategory (RSETCAT)}{704}{subsection.8.0.119}
\contentsline {subsection}{\numberline {8.0.120}RightModule (RMODULE)}{719}{subsection.8.0.120}
\contentsline {subsection}{\numberline {8.0.121}Rng (RNG)}{723}{subsection.8.0.121}
\contentsline {chapter}{\numberline {9}Category Layer 8}{729}{chapter.9}
\contentsline {subsection}{\numberline {9.0.122}BiModule (BMODULE)}{730}{subsection.9.0.122}
\contentsline {subsection}{\numberline {9.0.123}BitAggregate (BTAGG)}{735}{subsection.9.0.123}
\contentsline {subsection}{\numberline {9.0.124}NonAssociativeRing (NASRING)}{744}{subsection.9.0.124}
\contentsline {subsection}{\numberline {9.0.125}NormalizedTriangularSetCategory (NTSCAT)}{749}{subsection.9.0.125}
\contentsline {subsection}{\numberline {9.0.126}OrderedAbelianGroup (OAGROUP)}{759}{subsection.9.0.126}
\contentsline {subsection}{\numberline {9.0.127}OrderedAbelianMonoidSup (OAMONS)}{763}{subsection.9.0.127}
\contentsline {subsection}{\numberline {9.0.128}OrderedMultisetAggregate (OMSAGG)}{767}{subsection.9.0.128}
\contentsline {subsection}{\numberline {9.0.129}Ring (RING)}{774}{subsection.9.0.129}
\contentsline {subsection}{\numberline {9.0.130}SquareFreeRegularTriangularSetCategory (SFRTCAT)}{779}{subsection.9.0.130}
\contentsline {subsection}{\numberline {9.0.131}StringAggregate (SRAGG)}{790}{subsection.9.0.131}
\contentsline {subsection}{\numberline {9.0.132}TableAggregate (TBAGG)}{801}{subsection.9.0.132}
\contentsline {subsection}{\numberline {9.0.133}VectorCategory (VECTCAT)}{812}{subsection.9.0.133}
\contentsline {chapter}{\numberline {10}Category Layer 9}{823}{chapter.10}
\contentsline {subsection}{\numberline {10.0.134}AssociationListAggregate (ALAGG)}{823}{subsection.10.0.134}
\contentsline {subsection}{\numberline {10.0.135}CharacteristicNonZero (CHARNZ)}{837}{subsection.10.0.135}
\contentsline {subsection}{\numberline {10.0.136}CharacteristicZero (CHARZ)}{842}{subsection.10.0.136}
\contentsline {subsection}{\numberline {10.0.137}CommutativeRing (COMRING)}{847}{subsection.10.0.137}
\contentsline {subsection}{\numberline {10.0.138}DifferentialRing (DIFRING)}{852}{subsection.10.0.138}
\contentsline {subsection}{\numberline {10.0.139}EntireRing (ENTIRER)}{857}{subsection.10.0.139}
\contentsline {subsection}{\numberline {10.0.140}FreeModuleCat (FMCAT)}{862}{subsection.10.0.140}
\contentsline {subsection}{\numberline {10.0.141}LeftAlgebra (LALG)}{868}{subsection.10.0.141}
\contentsline {subsection}{\numberline {10.0.142}LinearlyExplicitRingOver (LINEXP)}{873}{subsection.10.0.142}
\contentsline {subsection}{\numberline {10.0.143}Module (MODULE)}{878}{subsection.10.0.143}
\contentsline {subsection}{\numberline {10.0.144}OrderedRing (ORDRING)}{883}{subsection.10.0.144}
\contentsline {subsection}{\numberline {10.0.145}PartialDifferentialRing (PDRING)}{889}{subsection.10.0.145}
\contentsline {subsection}{\numberline {10.0.146}PointCategory (PTCAT)}{897}{subsection.10.0.146}
\contentsline {subsection}{\numberline {10.0.147}RectangularMatrixCategory (RMATCAT)}{905}{subsection.10.0.147}
\contentsline {subsection}{\numberline {10.0.148}SquareFreeNormalizedTriangularSetCategory (SNTSCAT)}{914}{subsection.10.0.148}
\contentsline {subsection}{\numberline {10.0.149}StringCategory (STRICAT)}{924}{subsection.10.0.149}
\contentsline {subsection}{\numberline {10.0.150}UnivariateSkewPolynomialCategory (OREPCAT)}{933}{subsection.10.0.150}
\contentsline {subsection}{\numberline {10.0.151}XAlgebra (XALG)}{944}{subsection.10.0.151}
\contentsline {chapter}{\numberline {11}Category Layer 10}{951}{chapter.11}
\contentsline {subsection}{\numberline {11.0.152}Algebra (ALGEBRA)}{951}{subsection.11.0.152}
\contentsline {subsection}{\numberline {11.0.153}DifferentialExtension (DIFEXT)}{957}{subsection.11.0.153}
\contentsline {subsection}{\numberline {11.0.154}FullyLinearlyExplicitRingOver (FLINEXP)}{964}{subsection.11.0.154}
\contentsline {subsection}{\numberline {11.0.155}LieAlgebra (LIECAT)}{970}{subsection.11.0.155}
\contentsline {subsection}{\numberline {11.0.156}LinearOrdinaryDifferentialOperatorCategory (LODOCAT)}{975}{subsection.11.0.156}
\contentsline {subsection}{\numberline {11.0.157}NonAssociativeAlgebra (NAALG)}{984}{subsection.11.0.157}
\contentsline {subsection}{\numberline {11.0.158}VectorSpace (VSPACE)}{991}{subsection.11.0.158}
\contentsline {subsection}{\numberline {11.0.159}XFreeAlgebra (XFALG)}{996}{subsection.11.0.159}
\contentsline {chapter}{\numberline {12}Category Layer 11}{1005}{chapter.12}
\contentsline {subsection}{\numberline {12.0.160}DirectProductCategory (DIRPCAT)}{1005}{subsection.12.0.160}
\contentsline {subsection}{\numberline {12.0.161}DivisionRing (DIVRING)}{1017}{subsection.12.0.161}
\contentsline {subsection}{\numberline {12.0.162}FiniteRankNonAssociativeAlgebra (FINAALG)}{1023}{subsection.12.0.162}
\contentsline {subsection}{\numberline {12.0.163}FreeLieAlgebra (FLALG)}{1045}{subsection.12.0.163}
\contentsline {subsection}{\numberline {12.0.164}IntegralDomain (INTDOM)}{1051}{subsection.12.0.164}
\contentsline {subsection}{\numberline {12.0.165}MonogenicLinearOperator (MLO)}{1057}{subsection.12.0.165}
\contentsline {subsection}{\numberline {12.0.166}OctonionCategory (OC)}{1063}{subsection.12.0.166}
\contentsline {subsection}{\numberline {12.0.167}QuaternionCategory (QUATCAT)}{1075}{subsection.12.0.167}
\contentsline {subsection}{\numberline {12.0.168}SquareMatrixCategory (SMATCAT)}{1086}{subsection.12.0.168}
\contentsline {subsection}{\numberline {12.0.169}XPolynomialsCat (XPOLYC)}{1098}{subsection.12.0.169}
\contentsline {chapter}{\numberline {13}Category Layer 12}{1105}{chapter.13}
\contentsline {subsection}{\numberline {13.0.170}AbelianMonoidRing (AMR)}{1105}{subsection.13.0.170}
\contentsline {subsection}{\numberline {13.0.171}FortranMachineTypeCategory (FMTC)}{1112}{subsection.13.0.171}
\contentsline {subsection}{\numberline {13.0.172}FramedNonAssociativeAlgebra (FRNAALG)}{1119}{subsection.13.0.172}
\contentsline {subsection}{\numberline {13.0.173}GcdDomain (GCDDOM)}{1133}{subsection.13.0.173}
\contentsline {subsection}{\numberline {13.0.174}OrderedIntegralDomain (OINTDOM)}{1139}{subsection.13.0.174}
\contentsline {chapter}{\numberline {14}Category Layer 13}{1145}{chapter.14}
\contentsline {subsection}{\numberline {14.0.175}FiniteAbelianMonoidRing (FAMR)}{1145}{subsection.14.0.175}
\contentsline {subsection}{\numberline {14.0.176}IntervalCategory (INTCAT)}{1154}{subsection.14.0.176}
\contentsline {subsection}{\numberline {14.0.177}PowerSeriesCategory (PSCAT)}{1163}{subsection.14.0.177}
\contentsline {subsection}{\numberline {14.0.178}PrincipalIdealDomain (PID)}{1170}{subsection.14.0.178}
\contentsline {subsection}{\numberline {14.0.179}UniqueFactorizationDomain (UFD)}{1176}{subsection.14.0.179}
\contentsline {chapter}{\numberline {15}Category Layer 14}{1183}{chapter.15}
\contentsline {subsection}{\numberline {15.0.180}DivisorCategory (DIVCAT)}{1183}{subsection.15.0.180}
\contentsline {subsection}{\numberline {15.0.181}EuclideanDomain (EUCDOM)}{1189}{subsection.15.0.181}
\contentsline {subsection}{\numberline {15.0.182}MultivariateTaylorSeriesCategory (MTSCAT)}{1197}{subsection.15.0.182}
\contentsline {subsection}{\numberline {15.0.183}PolynomialFactorizationExplicit (PFECAT)}{1206}{subsection.15.0.183}
\contentsline {subsection}{\numberline {15.0.184}UnivariatePowerSeriesCategory (UPSCAT)}{1214}{subsection.15.0.184}
\contentsline {chapter}{\numberline {16}Category Layer 15}{1225}{chapter.16}
\contentsline {subsection}{\numberline {16.0.185}Field (FIELD)}{1225}{subsection.16.0.185}
\contentsline {subsection}{\numberline {16.0.186}IntegerNumberSystem (INS)}{1232}{subsection.16.0.186}
\contentsline {subsection}{\numberline {16.0.187}LocalPowerSeriesCategory (LOCPOWC)}{1243}{subsection.16.0.187}
\contentsline {subsection}{\numberline {16.0.188}PAdicIntegerCategory (PADICCT)}{1253}{subsection.16.0.188}
\contentsline {subsection}{\numberline {16.0.189}PolynomialCategory (POLYCAT)}{1259}{subsection.16.0.189}
\contentsline {subsection}{\numberline {16.0.190}UnivariateTaylorSeriesCategory (UTSCAT)}{1281}{subsection.16.0.190}
\contentsline {chapter}{\numberline {17}Category Layer 16}{1297}{chapter.17}
\contentsline {subsection}{\numberline {17.0.191}AlgebraicallyClosedField (ACF)}{1297}{subsection.17.0.191}
\contentsline {subsection}{\numberline {17.0.192}DifferentialPolynomialCategory (DPOLCAT)}{1310}{subsection.17.0.192}
\contentsline {subsection}{\numberline {17.0.193}FieldOfPrimeCharacteristic (FPC)}{1327}{subsection.17.0.193}
\contentsline {subsection}{\numberline {17.0.194}FiniteRankAlgebra (FINRALG)}{1334}{subsection.17.0.194}
\contentsline {subsection}{\numberline {17.0.195}FunctionSpace (FS)}{1340}{subsection.17.0.195}
\contentsline {subsection}{\numberline {17.0.196}InfinitlyClosePointCategory (INFCLCT)}{1368}{subsection.17.0.196}
\contentsline {subsection}{\numberline {17.0.197}PseudoAlgebraicClosureOfPerfectFieldCategory (PACPERC)}{1374}{subsection.17.0.197}
\contentsline {subsection}{\numberline {17.0.198}QuotientFieldCategory (QFCAT)}{1380}{subsection.17.0.198}
\contentsline {subsection}{\numberline {17.0.199}RealClosedField (RCFIELD)}{1394}{subsection.17.0.199}
\contentsline {subsection}{\numberline {17.0.200}RealNumberSystem (RNS)}{1405}{subsection.17.0.200}
\contentsline {subsection}{\numberline {17.0.201}RecursivePolynomialCategory (RPOLCAT)}{1413}{subsection.17.0.201}
\contentsline {subsection}{\numberline {17.0.202}UnivariateLaurentSeriesCategory (ULSCAT)}{1452}{subsection.17.0.202}
\contentsline {subsection}{\numberline {17.0.203}UnivariatePuiseuxSeriesCategory (UPXSCAT)}{1464}{subsection.17.0.203}
\contentsline {subsection}{\numberline {17.0.204}UnivariatePolynomialCategory (UPOLYC)}{1475}{subsection.17.0.204}
\contentsline {chapter}{\numberline {18}Category Layer 17}{1499}{chapter.18}
\contentsline {subsection}{\numberline {18.0.205}AlgebraicallyClosedFunctionSpace (ACFS)}{1499}{subsection.18.0.205}
\contentsline {subsection}{\numberline {18.0.206}ExtensionField (XF)}{1514}{subsection.18.0.206}
\contentsline {subsection}{\numberline {18.0.207}FiniteFieldCategory (FFIELDC)}{1522}{subsection.18.0.207}
\contentsline {subsection}{\numberline {18.0.208}FloatingPointSystem (FPS)}{1534}{subsection.18.0.208}
\contentsline {subsection}{\numberline {18.0.209}FramedAlgebra (FRAMALG)}{1543}{subsection.18.0.209}
\contentsline {subsection}{\numberline {18.0.210}PseudoAlgebraicClosureOfFiniteFieldCategory (PACFFC)}{1550}{subsection.18.0.210}
\contentsline {subsection}{\numberline {18.0.211}UnivariateLaurentSeriesConstructorCategory (ULSCCAT)}{1557}{subsection.18.0.211}
\contentsline {subsection}{\numberline {18.0.212}UnivariatePuiseuxSeriesConstructorCategory (UPXSCCA)}{1574}{subsection.18.0.212}
\contentsline {chapter}{\numberline {19}Category Layer 18}{1587}{chapter.19}
\contentsline {subsection}{\numberline {19.0.213}FiniteAlgebraicExtensionField (FAXF)}{1587}{subsection.19.0.213}
\contentsline {subsection}{\numberline {19.0.214}MonogenicAlgebra (MONOGEN)}{1602}{subsection.19.0.214}
\contentsline {subsection}{\numberline {19.0.215}PseudoAlgebraicClosureOfRationalNumberCategory (PACRATC)}{1614}{subsection.19.0.215}
\contentsline {chapter}{\numberline {20}Category Layer 19}{1623}{chapter.20}
\contentsline {subsection}{\numberline {20.0.216}ComplexCategory (COMPCAT)}{1623}{subsection.20.0.216}
\contentsline {subsection}{\numberline {20.0.217}FunctionFieldCategory (FFCAT)}{1646}{subsection.20.0.217}
\contentsline {subsection}{\numberline {20.0.218}PseudoAlgebraicClosureOfAlgExtOfRationalNumberCategory (PACEXTC)}{1669}{subsection.20.0.218}
\contentsline {chapter}{\numberline {21}The bootstrap code}{1679}{chapter.21}
\contentsline {section}{\numberline {21.1}ABELGRP.lsp BOOTSTRAP}{1679}{section.21.1}
\contentsline {section}{\numberline {21.2}ABELGRP-.lsp BOOTSTRAP}{1680}{section.21.2}
\contentsline {section}{\numberline {21.3}ABELMON.lsp BOOTSTRAP}{1682}{section.21.3}
\contentsline {section}{\numberline {21.4}ABELMON-.lsp BOOTSTRAP}{1683}{section.21.4}
\contentsline {section}{\numberline {21.5}ABELSG.lsp BOOTSTRAP}{1684}{section.21.5}
\contentsline {section}{\numberline {21.6}ABELSG-.lsp BOOTSTRAP}{1685}{section.21.6}
\contentsline {section}{\numberline {21.7}ALAGG.lsp BOOTSTRAP}{1687}{section.21.7}
\contentsline {section}{\numberline {21.8}CABMON.lsp BOOTSTRAP}{1688}{section.21.8}
\contentsline {section}{\numberline {21.9}CLAGG.lsp BOOTSTRAP}{1689}{section.21.9}
\contentsline {section}{\numberline {21.10}CLAGG-.lsp BOOTSTRAP}{1691}{section.21.10}
\contentsline {section}{\numberline {21.11}COMRING.lsp BOOTSTRAP}{1695}{section.21.11}
\contentsline {section}{\numberline {21.12}DIFRING.lsp BOOTSTRAP}{1696}{section.21.12}
\contentsline {section}{\numberline {21.13}DIFRING-.lsp BOOTSTRAP}{1697}{section.21.13}
\contentsline {section}{\numberline {21.14}DIVRING.lsp BOOTSTRAP}{1699}{section.21.14}
\contentsline {section}{\numberline {21.15}DIVRING-.lsp BOOTSTRAP}{1700}{section.21.15}
\contentsline {section}{\numberline {21.16}ES.lsp BOOTSTRAP}{1702}{section.21.16}
\contentsline {section}{\numberline {21.17}ES-.lsp BOOTSTRAP}{1704}{section.21.17}
\contentsline {section}{\numberline {21.18}EUCDOM.lsp BOOTSTRAP}{1720}{section.21.18}
\contentsline {subsection}{\numberline {21.18.1}The Lisp Implementation}{1720}{subsection.21.18.1}
\contentsline {subsubsection}{EUCDOM;VersionCheck}{1720}{section*.2}
\contentsline {subsubsection}{The Domain Cache Variable}{1721}{section*.3}
\contentsline {subsubsection}{The Domain Function}{1721}{section*.4}
\contentsline {subsubsection}{The First Call Domain Function}{1722}{section*.5}
\contentsline {subsubsection}{EUCDOM;NILADIC}{1723}{section*.6}
\contentsline {section}{\numberline {21.19}EUCDOM-.lsp BOOTSTRAP}{1723}{section.21.19}
\contentsline {subsection}{\numberline {21.19.1}The Lisp Implementation}{1723}{subsection.21.19.1}
\contentsline {subsubsection}{EUCDOM-;VersionCheck}{1723}{section*.7}
\contentsline {subsubsection}{EUCDOM-;sizeLess?;2SB;1}{1724}{section*.8}
\contentsline {subsubsection}{EUCDOM-;quo;3S;2}{1724}{section*.9}
\contentsline {subsubsection}{EUCDOM-;rem;3S;3}{1724}{section*.10}
\contentsline {subsubsection}{EUCDOM-;exquo;2SU;4}{1724}{section*.11}
\contentsline {subsubsection}{EUCDOM-;gcd;3S;5}{1725}{section*.12}
\contentsline {subsubsection}{EUCDOM-;unitNormalizeIdealElt}{1726}{section*.13}
\contentsline {subsubsection}{EUCDOM-;extendedEuclidean;2SR;7}{1726}{section*.14}
\contentsline {subsubsection}{EUCDOM-;extendedEuclidean;3SU;8}{1728}{section*.15}
\contentsline {subsubsection}{EUCDOM-;principalIdeal;LR;9}{1729}{section*.16}
\contentsline {subsubsection}{EUCDOM-;expressIdealMember;LSU;10}{1730}{section*.17}
\contentsline {subsubsection}{EUCDOM-;multiEuclidean;LSU;11}{1731}{section*.18}
\contentsline {subsubsection}{EuclideanDomain\&}{1734}{section*.19}
\contentsline {subsubsection}{EUCDOM-;INFOVEC}{1734}{section*.20}
\contentsline {section}{\numberline {21.20}ENTIRER.lsp BOOTSTRAP}{1736}{section.21.20}
\contentsline {section}{\numberline {21.21}FFIELDC.lsp BOOTSTRAP}{1737}{section.21.21}
\contentsline {section}{\numberline {21.22}FFIELDC-.lsp BOOTSTRAP}{1738}{section.21.22}
\contentsline {section}{\numberline {21.23}FPS.lsp BOOTSTRAP}{1749}{section.21.23}
\contentsline {section}{\numberline {21.24}FPS-.lsp BOOTSTRAP}{1751}{section.21.24}
\contentsline {section}{\numberline {21.25}GCDDOM.lsp BOOTSTRAP}{1753}{section.21.25}
\contentsline {section}{\numberline {21.26}GCDDOM-.lsp BOOTSTRAP}{1754}{section.21.26}
\contentsline {section}{\numberline {21.27}HOAGG.lsp BOOTSTRAP}{1759}{section.21.27}
\contentsline {section}{\numberline {21.28}HOAGG-.lsp BOOTSTRAP}{1761}{section.21.28}
\contentsline {section}{\numberline {21.29}INS.lsp BOOTSTRAP}{1767}{section.21.29}
\contentsline {section}{\numberline {21.30}INS-.lsp BOOTSTRAP}{1769}{section.21.30}
\contentsline {section}{\numberline {21.31}INTDOM.lsp BOOTSTRAP}{1777}{section.21.31}
\contentsline {section}{\numberline {21.32}INTDOM-.lsp BOOTSTRAP}{1778}{section.21.32}
\contentsline {section}{\numberline {21.33}LNAGG.lsp BOOTSTRAP}{1780}{section.21.33}
\contentsline {section}{\numberline {21.34}LNAGG-.lsp BOOTSTRAP}{1782}{section.21.34}
\contentsline {section}{\numberline {21.35}LSAGG.lsp BOOTSTRAP}{1784}{section.21.35}
\contentsline {section}{\numberline {21.36}LSAGG-.lsp BOOTSTRAP}{1785}{section.21.36}
\contentsline {section}{\numberline {21.37}MONOID.lsp BOOTSTRAP}{1802}{section.21.37}
\contentsline {section}{\numberline {21.38}MONOID-.lsp BOOTSTRAP}{1803}{section.21.38}
\contentsline {section}{\numberline {21.39}MTSCAT.lsp BOOTSTRAP}{1805}{section.21.39}
\contentsline {section}{\numberline {21.40}OINTDOM.lsp BOOTSTRAP}{1807}{section.21.40}
\contentsline {section}{\numberline {21.41}ORDRING.lsp BOOTSTRAP}{1808}{section.21.41}
\contentsline {section}{\numberline {21.42}ORDRING-.lsp BOOTSTRAP}{1809}{section.21.42}
\contentsline {section}{\numberline {21.43}POLYCAT.lsp BOOTSTRAP}{1811}{section.21.43}
\contentsline {section}{\numberline {21.44}POLYCAT-.lsp BOOTSTRAP}{1813}{section.21.44}
\contentsline {section}{\numberline {21.45}PSETCAT.lsp BOOTSTRAP}{1844}{section.21.45}
\contentsline {section}{\numberline {21.46}PSETCAT-.lsp BOOTSTRAP}{1846}{section.21.46}
\contentsline {section}{\numberline {21.47}QFCAT.lsp BOOTSTRAP}{1863}{section.21.47}
\contentsline {section}{\numberline {21.48}QFCAT-.lsp BOOTSTRAP}{1865}{section.21.48}
\contentsline {section}{\numberline {21.49}RCAGG.lsp BOOTSTRAP}{1873}{section.21.49}
\contentsline {section}{\numberline {21.50}RCAGG-.lsp BOOTSTRAP}{1875}{section.21.50}
\contentsline {section}{\numberline {21.51}RING.lsp BOOTSTRAP}{1876}{section.21.51}
\contentsline {section}{\numberline {21.52}RING-.lsp BOOTSTRAP}{1877}{section.21.52}
\contentsline {section}{\numberline {21.53}RNG.lsp BOOTSTRAP}{1879}{section.21.53}
\contentsline {section}{\numberline {21.54}RNS.lsp BOOTSTRAP}{1879}{section.21.54}
\contentsline {section}{\numberline {21.55}RNS-.lsp BOOTSTRAP}{1881}{section.21.55}
\contentsline {section}{\numberline {21.56}SETAGG.lsp BOOTSTRAP}{1885}{section.21.56}
\contentsline {section}{\numberline {21.57}SETAGG-.lsp BOOTSTRAP}{1886}{section.21.57}
\contentsline {section}{\numberline {21.58}SETCAT.lsp BOOTSTRAP}{1888}{section.21.58}
\contentsline {section}{\numberline {21.59}SETCAT-.lsp BOOTSTRAP}{1889}{section.21.59}
\contentsline {section}{\numberline {21.60}STAGG.lsp BOOTSTRAP}{1890}{section.21.60}
\contentsline {section}{\numberline {21.61}STAGG-.lsp BOOTSTRAP}{1891}{section.21.61}
\contentsline {section}{\numberline {21.62}TSETCAT.lsp BOOTSTRAP}{1898}{section.21.62}
\contentsline {section}{\numberline {21.63}TSETCAT-.lsp BOOTSTRAP}{1901}{section.21.63}
\contentsline {section}{\numberline {21.64}UFD.lsp BOOTSTRAP}{1921}{section.21.64}
\contentsline {section}{\numberline {21.65}UFD-.lsp BOOTSTRAP}{1922}{section.21.65}
\contentsline {section}{\numberline {21.66}ULSCAT.lsp BOOTSTRAP}{1925}{section.21.66}
\contentsline {section}{\numberline {21.67}UPOLYC.lsp BOOTSTRAP}{1926}{section.21.67}
\contentsline {section}{\numberline {21.68}UPOLYC-.lsp BOOTSTRAP}{1930}{section.21.68}
\contentsline {section}{\numberline {21.69}URAGG.lsp BOOTSTRAP}{1957}{section.21.69}
\contentsline {section}{\numberline {21.70}URAGG-.lsp BOOTSTRAP}{1959}{section.21.70}
\contentsline {chapter}{\numberline {22}Chunk collections}{1975}{chapter.22}
