\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)}{59}{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)}{91}{subsection.3.0.28}
\contentsline {subsection}{\numberline {3.0.29}Logic (LOGIC)}{95}{subsection.3.0.29}
\contentsline {subsection}{\numberline {3.0.30}PlottablePlaneCurveCategory (PPCURVE)}{98}{subsection.3.0.30}
\contentsline {subsection}{\numberline {3.0.31}PlottableSpaceCurveCategory (PSCURVE)}{102}{subsection.3.0.31}
\contentsline {subsection}{\numberline {3.0.32}RealConstant (REAL)}{106}{subsection.3.0.32}
\contentsline {subsection}{\numberline {3.0.33}SegmentCategory (SEGCAT)}{109}{subsection.3.0.33}
\contentsline {subsection}{\numberline {3.0.34}SetCategory (SETCAT)}{113}{subsection.3.0.34}
\contentsline {subsection}{\numberline {3.0.35}TranscendentalFunctionCategory (TRANFUN)}{117}{subsection.3.0.35}
\contentsline {chapter}{\numberline {4}Category Layer 3}{123}{chapter.4}
\contentsline {subsection}{\numberline {4.0.36}AbelianSemiGroup (ABELSG)}{123}{subsection.4.0.36}
\contentsline {subsection}{\numberline {4.0.37}BlowUpMethodCategory (BLMETCT)}{127}{subsection.4.0.37}
\contentsline {subsection}{\numberline {4.0.38}DesingTreeCategory (DSTRCAT)}{131}{subsection.4.0.38}
\contentsline {subsection}{\numberline {4.0.39}FortranFunctionCategory (FORTFN)}{136}{subsection.4.0.39}
\contentsline {subsection}{\numberline {4.0.40}FortranMatrixCategory (FMC)}{141}{subsection.4.0.40}
\contentsline {subsection}{\numberline {4.0.41}FortranMatrixFunctionCategory (FMFUN)}{145}{subsection.4.0.41}
\contentsline {subsection}{\numberline {4.0.42}FortranVectorCategory (FVC)}{150}{subsection.4.0.42}
\contentsline {subsection}{\numberline {4.0.43}FortranVectorFunctionCategory (FVFUN)}{154}{subsection.4.0.43}
\contentsline {subsection}{\numberline {4.0.44}FullyEvalableOver (FEVALAB)}{159}{subsection.4.0.44}
\contentsline {subsection}{\numberline {4.0.45}FileCategory (FILECAT)}{163}{subsection.4.0.45}
\contentsline {subsection}{\numberline {4.0.46}Finite (FINITE)}{168}{subsection.4.0.46}
\contentsline {subsection}{\numberline {4.0.47}FileNameCategory (FNCAT)}{172}{subsection.4.0.47}
\contentsline {subsection}{\numberline {4.0.48}GradedModule (GRMOD)}{176}{subsection.4.0.48}
\contentsline {subsection}{\numberline {4.0.49}HomogeneousAggregate (HOAGG)}{181}{subsection.4.0.49}
\contentsline {subsection}{\numberline {4.0.50}IndexedDirectProductCategory (IDPC)}{188}{subsection.4.0.50}
\contentsline {subsection}{\numberline {4.0.51}LiouvillianFunctionCategory (LFCAT)}{192}{subsection.4.0.51}
\contentsline {subsection}{\numberline {4.0.52}Monad (MONAD)}{197}{subsection.4.0.52}
\contentsline {subsection}{\numberline {4.0.53}NumericalIntegrationCategory (NUMINT)}{202}{subsection.4.0.53}
\contentsline {subsection}{\numberline {4.0.54}NumericalOptimizationCategory (OPTCAT)}{207}{subsection.4.0.54}
\contentsline {subsection}{\numberline {4.0.55}OrdinaryDifferentialEquationsSolverCategory (ODECAT)}{212}{subsection.4.0.55}
\contentsline {subsection}{\numberline {4.0.56}OrderedSet (ORDSET)}{216}{subsection.4.0.56}
\contentsline {subsection}{\numberline {4.0.57}PartialDifferentialEquationsSolverCategory (PDECAT)}{221}{subsection.4.0.57}
\contentsline {subsection}{\numberline {4.0.58}PatternMatchable (PATMAB)}{226}{subsection.4.0.58}
\contentsline {subsection}{\numberline {4.0.59}RealRootCharacterizationCategory (RRCC)}{230}{subsection.4.0.59}
\contentsline {subsection}{\numberline {4.0.60}SegmentExpansionCategory (SEGXCAT)}{235}{subsection.4.0.60}
\contentsline {subsection}{\numberline {4.0.61}SemiGroup (SGROUP)}{239}{subsection.4.0.61}
\contentsline {subsection}{\numberline {4.0.62}SetCategoryWithDegree (SETCATD)}{243}{subsection.4.0.62}
\contentsline {subsection}{\numberline {4.0.63}SExpressionCategory (SEXCAT)}{246}{subsection.4.0.63}
\contentsline {subsection}{\numberline {4.0.64}StepThrough (STEP)}{252}{subsection.4.0.64}
\contentsline {subsection}{\numberline {4.0.65}ThreeSpaceCategory (SPACEC)}{256}{subsection.4.0.65}
\contentsline {chapter}{\numberline {5}Category Layer 4}{267}{chapter.5}
\contentsline {subsection}{\numberline {5.0.66}AbelianMonoid (ABELMON)}{267}{subsection.5.0.66}
\contentsline {subsection}{\numberline {5.0.67}AffineSpaceCategory (AFSPCAT)}{272}{subsection.5.0.67}
\contentsline {subsection}{\numberline {5.0.68}BagAggregate (BGAGG)}{277}{subsection.5.0.68}
\contentsline {subsection}{\numberline {5.0.69}CachableSet (CACHSET)}{283}{subsection.5.0.69}
\contentsline {subsection}{\numberline {5.0.70}Collection (CLAGG)}{287}{subsection.5.0.70}
\contentsline {subsection}{\numberline {5.0.71}DifferentialVariableCategory (DVARCAT)}{294}{subsection.5.0.71}
\contentsline {subsection}{\numberline {5.0.72}ExpressionSpace (ES)}{300}{subsection.5.0.72}
\contentsline {subsection}{\numberline {5.0.73}GradedAlgebra (GRALG)}{313}{subsection.5.0.73}
\contentsline {subsection}{\numberline {5.0.74}IndexedAggregate (IXAGG)}{318}{subsection.5.0.74}
\contentsline {subsection}{\numberline {5.0.75}MonadWithUnit (MONADWU)}{325}{subsection.5.0.75}
\contentsline {subsection}{\numberline {5.0.76}Monoid (MONOID)}{331}{subsection.5.0.76}
\contentsline {subsection}{\numberline {5.0.77}OrderedFinite (ORDFIN)}{336}{subsection.5.0.77}
\contentsline {subsection}{\numberline {5.0.78}PlacesCategory (PLACESC)}{340}{subsection.5.0.78}
\contentsline {subsection}{\numberline {5.0.79}ProjectiveSpaceCategory (PRSPCAT)}{345}{subsection.5.0.79}
\contentsline {subsection}{\numberline {5.0.80}RecursiveAggregate (RCAGG)}{351}{subsection.5.0.80}
\contentsline {subsection}{\numberline {5.0.81}TwoDimensionalArrayCategory (ARR2CAT)}{357}{subsection.5.0.81}
\contentsline {chapter}{\numberline {6}Category Layer 5}{371}{chapter.6}
\contentsline {subsection}{\numberline {6.0.82}BinaryRecursiveAggregate (BRAGG)}{372}{subsection.6.0.82}
\contentsline {subsection}{\numberline {6.0.83}CancellationAbelianMonoid (CABMON)}{380}{subsection.6.0.83}
\contentsline {subsection}{\numberline {6.0.84}DictionaryOperations (DIOPS)}{385}{subsection.6.0.84}
\contentsline {subsection}{\numberline {6.0.85}DoublyLinkedAggregate (DLAGG)}{392}{subsection.6.0.85}
\contentsline {subsection}{\numberline {6.0.86}Group (GROUP)}{398}{subsection.6.0.86}
\contentsline {subsection}{\numberline {6.0.87}LinearAggregate (LNAGG)}{404}{subsection.6.0.87}
\contentsline {subsection}{\numberline {6.0.88}MatrixCategory (MATCAT)}{412}{subsection.6.0.88}
\contentsline {subsection}{\numberline {6.0.89}OrderedAbelianSemiGroup (OASGP)}{456}{subsection.6.0.89}
\contentsline {subsection}{\numberline {6.0.90}OrderedMonoid (ORDMON)}{461}{subsection.6.0.90}
\contentsline {subsection}{\numberline {6.0.91}PolynomialSetCategory (PSETCAT)}{465}{subsection.6.0.91}
\contentsline {subsection}{\numberline {6.0.92}PriorityQueueAggregate (PRQAGG)}{480}{subsection.6.0.92}
\contentsline {subsection}{\numberline {6.0.93}QueueAggregate (QUAGG)}{486}{subsection.6.0.93}
\contentsline {subsection}{\numberline {6.0.94}SetAggregate (SETAGG)}{492}{subsection.6.0.94}
\contentsline {subsection}{\numberline {6.0.95}StackAggregate (SKAGG)}{500}{subsection.6.0.95}
\contentsline {subsection}{\numberline {6.0.96}UnaryRecursiveAggregate (URAGG)}{506}{subsection.6.0.96}
\contentsline {chapter}{\numberline {7}Category Layer 6}{519}{chapter.7}
\contentsline {subsection}{\numberline {7.0.97}AbelianGroup (ABELGRP)}{520}{subsection.7.0.97}
\contentsline {subsection}{\numberline {7.0.98}BinaryTreeCategory (BTCAT)}{526}{subsection.7.0.98}
\contentsline {subsection}{\numberline {7.0.99}Dictionary (DIAGG)}{533}{subsection.7.0.99}
\contentsline {subsection}{\numberline {7.0.100}DequeueAggregate (DQAGG)}{540}{subsection.7.0.100}
\contentsline {subsection}{\numberline {7.0.101}ExtensibleLinearAggregate (ELAGG)}{547}{subsection.7.0.101}
\contentsline {subsection}{\numberline {7.0.102}FiniteLinearAggregate (FLAGG)}{555}{subsection.7.0.102}
\contentsline {subsection}{\numberline {7.0.103}FreeAbelianMonoidCategory (FAMONC)}{564}{subsection.7.0.103}
\contentsline {subsection}{\numberline {7.0.104}MultiDictionary (MDAGG)}{570}{subsection.7.0.104}
\contentsline {subsection}{\numberline {7.0.105}OrderedAbelianMonoid (OAMON)}{576}{subsection.7.0.105}
\contentsline {subsection}{\numberline {7.0.106}PermutationCategory (PERMCAT)}{580}{subsection.7.0.106}
\contentsline {subsection}{\numberline {7.0.107}StreamAggregate (STAGG)}{585}{subsection.7.0.107}
\contentsline {subsection}{\numberline {7.0.108}TriangularSetCategory (TSETCAT)}{595}{subsection.7.0.108}
\contentsline {chapter}{\numberline {8}Category Layer 7}{615}{chapter.8}
\contentsline {subsection}{\numberline {8.0.109}FiniteDivisorCategory (FDIVCAT)}{616}{subsection.8.0.109}
\contentsline {subsection}{\numberline {8.0.110}FiniteSetAggregate (FSAGG)}{621}{subsection.8.0.110}
\contentsline {subsection}{\numberline {8.0.111}KeyedDictionary (KDAGG)}{630}{subsection.8.0.111}
\contentsline {subsection}{\numberline {8.0.112}LazyStreamAggregate (LZSTAGG)}{637}{subsection.8.0.112}
\contentsline {subsection}{\numberline {8.0.113}LeftModule (LMODULE)}{655}{subsection.8.0.113}
\contentsline {subsection}{\numberline {8.0.114}ListAggregate (LSAGG)}{659}{subsection.8.0.114}
\contentsline {subsection}{\numberline {8.0.115}MultisetAggregate (MSETAGG)}{673}{subsection.8.0.115}
\contentsline {subsection}{\numberline {8.0.116}NonAssociativeRng (NARNG)}{679}{subsection.8.0.116}
\contentsline {subsection}{\numberline {8.0.117}OneDimensionalArrayAggregate (A1AGG)}{684}{subsection.8.0.117}
\contentsline {subsection}{\numberline {8.0.118}OrderedCancellationAbelianMonoid (OCAMON)}{696}{subsection.8.0.118}
\contentsline {subsection}{\numberline {8.0.119}RegularTriangularSetCategory (RSETCAT)}{700}{subsection.8.0.119}
\contentsline {subsection}{\numberline {8.0.120}RightModule (RMODULE)}{715}{subsection.8.0.120}
\contentsline {subsection}{\numberline {8.0.121}Rng (RNG)}{719}{subsection.8.0.121}
\contentsline {chapter}{\numberline {9}Category Layer 8}{725}{chapter.9}
\contentsline {subsection}{\numberline {9.0.122}BiModule (BMODULE)}{726}{subsection.9.0.122}
\contentsline {subsection}{\numberline {9.0.123}BitAggregate (BTAGG)}{731}{subsection.9.0.123}
\contentsline {subsection}{\numberline {9.0.124}NonAssociativeRing (NASRING)}{740}{subsection.9.0.124}
\contentsline {subsection}{\numberline {9.0.125}NormalizedTriangularSetCategory (NTSCAT)}{745}{subsection.9.0.125}
\contentsline {subsection}{\numberline {9.0.126}OrderedAbelianGroup (OAGROUP)}{755}{subsection.9.0.126}
\contentsline {subsection}{\numberline {9.0.127}OrderedAbelianMonoidSup (OAMONS)}{759}{subsection.9.0.127}
\contentsline {subsection}{\numberline {9.0.128}OrderedMultisetAggregate (OMSAGG)}{763}{subsection.9.0.128}
\contentsline {subsection}{\numberline {9.0.129}Ring (RING)}{770}{subsection.9.0.129}
\contentsline {subsection}{\numberline {9.0.130}SquareFreeRegularTriangularSetCategory (SFRTCAT)}{775}{subsection.9.0.130}
\contentsline {subsection}{\numberline {9.0.131}StringAggregate (SRAGG)}{786}{subsection.9.0.131}
\contentsline {subsection}{\numberline {9.0.132}TableAggregate (TBAGG)}{797}{subsection.9.0.132}
\contentsline {subsection}{\numberline {9.0.133}VectorCategory (VECTCAT)}{808}{subsection.9.0.133}
\contentsline {chapter}{\numberline {10}Category Layer 9}{819}{chapter.10}
\contentsline {subsection}{\numberline {10.0.134}AssociationListAggregate (ALAGG)}{819}{subsection.10.0.134}
\contentsline {subsection}{\numberline {10.0.135}CharacteristicNonZero (CHARNZ)}{833}{subsection.10.0.135}
\contentsline {subsection}{\numberline {10.0.136}CharacteristicZero (CHARZ)}{838}{subsection.10.0.136}
\contentsline {subsection}{\numberline {10.0.137}CommutativeRing (COMRING)}{843}{subsection.10.0.137}
\contentsline {subsection}{\numberline {10.0.138}DifferentialRing (DIFRING)}{848}{subsection.10.0.138}
\contentsline {subsection}{\numberline {10.0.139}EntireRing (ENTIRER)}{853}{subsection.10.0.139}
\contentsline {subsection}{\numberline {10.0.140}FreeModuleCat (FMCAT)}{858}{subsection.10.0.140}
\contentsline {subsection}{\numberline {10.0.141}LeftAlgebra (LALG)}{864}{subsection.10.0.141}
\contentsline {subsection}{\numberline {10.0.142}LinearlyExplicitRingOver (LINEXP)}{869}{subsection.10.0.142}
\contentsline {subsection}{\numberline {10.0.143}Module (MODULE)}{874}{subsection.10.0.143}
\contentsline {subsection}{\numberline {10.0.144}OrderedRing (ORDRING)}{879}{subsection.10.0.144}
\contentsline {subsection}{\numberline {10.0.145}PartialDifferentialRing (PDRING)}{885}{subsection.10.0.145}
\contentsline {subsection}{\numberline {10.0.146}PointCategory (PTCAT)}{893}{subsection.10.0.146}
\contentsline {subsection}{\numberline {10.0.147}RectangularMatrixCategory (RMATCAT)}{901}{subsection.10.0.147}
\contentsline {subsection}{\numberline {10.0.148}SquareFreeNormalizedTriangularSetCategory (SNTSCAT)}{910}{subsection.10.0.148}
\contentsline {subsection}{\numberline {10.0.149}StringCategory (STRICAT)}{920}{subsection.10.0.149}
\contentsline {subsection}{\numberline {10.0.150}UnivariateSkewPolynomialCategory (OREPCAT)}{929}{subsection.10.0.150}
\contentsline {subsection}{\numberline {10.0.151}XAlgebra (XALG)}{940}{subsection.10.0.151}
\contentsline {chapter}{\numberline {11}Category Layer 10}{947}{chapter.11}
\contentsline {subsection}{\numberline {11.0.152}Algebra (ALGEBRA)}{947}{subsection.11.0.152}
\contentsline {subsection}{\numberline {11.0.153}DifferentialExtension (DIFEXT)}{953}{subsection.11.0.153}
\contentsline {subsection}{\numberline {11.0.154}FullyLinearlyExplicitRingOver (FLINEXP)}{960}{subsection.11.0.154}
\contentsline {subsection}{\numberline {11.0.155}LieAlgebra (LIECAT)}{966}{subsection.11.0.155}
\contentsline {subsection}{\numberline {11.0.156}LinearOrdinaryDifferentialOperatorCategory (LODOCAT)}{971}{subsection.11.0.156}
\contentsline {subsection}{\numberline {11.0.157}NonAssociativeAlgebra (NAALG)}{980}{subsection.11.0.157}
\contentsline {subsection}{\numberline {11.0.158}VectorSpace (VSPACE)}{987}{subsection.11.0.158}
\contentsline {subsection}{\numberline {11.0.159}XFreeAlgebra (XFALG)}{992}{subsection.11.0.159}
\contentsline {chapter}{\numberline {12}Category Layer 11}{1001}{chapter.12}
\contentsline {subsection}{\numberline {12.0.160}DirectProductCategory (DIRPCAT)}{1001}{subsection.12.0.160}
\contentsline {subsection}{\numberline {12.0.161}DivisionRing (DIVRING)}{1013}{subsection.12.0.161}
\contentsline {subsection}{\numberline {12.0.162}FiniteRankNonAssociativeAlgebra (FINAALG)}{1019}{subsection.12.0.162}
\contentsline {subsection}{\numberline {12.0.163}FreeLieAlgebra (FLALG)}{1041}{subsection.12.0.163}
\contentsline {subsection}{\numberline {12.0.164}IntegralDomain (INTDOM)}{1047}{subsection.12.0.164}
\contentsline {subsection}{\numberline {12.0.165}MonogenicLinearOperator (MLO)}{1053}{subsection.12.0.165}
\contentsline {subsection}{\numberline {12.0.166}OctonionCategory (OC)}{1059}{subsection.12.0.166}
\contentsline {subsection}{\numberline {12.0.167}QuaternionCategory (QUATCAT)}{1071}{subsection.12.0.167}
\contentsline {subsection}{\numberline {12.0.168}SquareMatrixCategory (SMATCAT)}{1082}{subsection.12.0.168}
\contentsline {subsection}{\numberline {12.0.169}XPolynomialsCat (XPOLYC)}{1094}{subsection.12.0.169}
\contentsline {chapter}{\numberline {13}Category Layer 12}{1101}{chapter.13}
\contentsline {subsection}{\numberline {13.0.170}AbelianMonoidRing (AMR)}{1101}{subsection.13.0.170}
\contentsline {subsection}{\numberline {13.0.171}FortranMachineTypeCategory (FMTC)}{1108}{subsection.13.0.171}
\contentsline {subsection}{\numberline {13.0.172}FramedNonAssociativeAlgebra (FRNAALG)}{1115}{subsection.13.0.172}
\contentsline {subsection}{\numberline {13.0.173}GcdDomain (GCDDOM)}{1129}{subsection.13.0.173}
\contentsline {subsection}{\numberline {13.0.174}OrderedIntegralDomain (OINTDOM)}{1135}{subsection.13.0.174}
\contentsline {chapter}{\numberline {14}Category Layer 13}{1141}{chapter.14}
\contentsline {subsection}{\numberline {14.0.175}FiniteAbelianMonoidRing (FAMR)}{1141}{subsection.14.0.175}
\contentsline {subsection}{\numberline {14.0.176}IntervalCategory (INTCAT)}{1150}{subsection.14.0.176}
\contentsline {subsection}{\numberline {14.0.177}PowerSeriesCategory (PSCAT)}{1159}{subsection.14.0.177}
\contentsline {subsection}{\numberline {14.0.178}PrincipalIdealDomain (PID)}{1166}{subsection.14.0.178}
\contentsline {subsection}{\numberline {14.0.179}UniqueFactorizationDomain (UFD)}{1172}{subsection.14.0.179}
\contentsline {chapter}{\numberline {15}Category Layer 14}{1179}{chapter.15}
\contentsline {subsection}{\numberline {15.0.180}DivisorCategory (DIVCAT)}{1179}{subsection.15.0.180}
\contentsline {subsection}{\numberline {15.0.181}EuclideanDomain (EUCDOM)}{1185}{subsection.15.0.181}
\contentsline {subsection}{\numberline {15.0.182}MultivariateTaylorSeriesCategory (MTSCAT)}{1193}{subsection.15.0.182}
\contentsline {subsection}{\numberline {15.0.183}PolynomialFactorizationExplicit (PFECAT)}{1202}{subsection.15.0.183}
\contentsline {subsection}{\numberline {15.0.184}UnivariatePowerSeriesCategory (UPSCAT)}{1210}{subsection.15.0.184}
\contentsline {chapter}{\numberline {16}Category Layer 15}{1221}{chapter.16}
\contentsline {subsection}{\numberline {16.0.185}Field (FIELD)}{1221}{subsection.16.0.185}
\contentsline {subsection}{\numberline {16.0.186}IntegerNumberSystem (INS)}{1228}{subsection.16.0.186}
\contentsline {subsection}{\numberline {16.0.187}LocalPowerSeriesCategory (LOCPOWC)}{1239}{subsection.16.0.187}
\contentsline {subsection}{\numberline {16.0.188}PAdicIntegerCategory (PADICCT)}{1249}{subsection.16.0.188}
\contentsline {subsection}{\numberline {16.0.189}PolynomialCategory (POLYCAT)}{1255}{subsection.16.0.189}
\contentsline {subsection}{\numberline {16.0.190}UnivariateTaylorSeriesCategory (UTSCAT)}{1277}{subsection.16.0.190}
\contentsline {chapter}{\numberline {17}Category Layer 16}{1293}{chapter.17}
\contentsline {subsection}{\numberline {17.0.191}AlgebraicallyClosedField (ACF)}{1293}{subsection.17.0.191}
\contentsline {subsection}{\numberline {17.0.192}DifferentialPolynomialCategory (DPOLCAT)}{1306}{subsection.17.0.192}
\contentsline {subsection}{\numberline {17.0.193}FieldOfPrimeCharacteristic (FPC)}{1323}{subsection.17.0.193}
\contentsline {subsection}{\numberline {17.0.194}FiniteRankAlgebra (FINRALG)}{1329}{subsection.17.0.194}
\contentsline {subsection}{\numberline {17.0.195}FunctionSpace (FS)}{1336}{subsection.17.0.195}
\contentsline {subsection}{\numberline {17.0.196}InfinitlyClosePointCategory (INFCLCT)}{1364}{subsection.17.0.196}
\contentsline {subsection}{\numberline {17.0.197}PseudoAlgebraicClosureOfPerfectFieldCategory (PACPERC)}{1369}{subsection.17.0.197}
\contentsline {subsection}{\numberline {17.0.198}QuotientFieldCategory (QFCAT)}{1376}{subsection.17.0.198}
\contentsline {subsection}{\numberline {17.0.199}RealClosedField (RCFIELD)}{1390}{subsection.17.0.199}
\contentsline {subsection}{\numberline {17.0.200}RealNumberSystem (RNS)}{1400}{subsection.17.0.200}
\contentsline {subsection}{\numberline {17.0.201}RecursivePolynomialCategory (RPOLCAT)}{1408}{subsection.17.0.201}
\contentsline {subsection}{\numberline {17.0.202}UnivariateLaurentSeriesCategory (ULSCAT)}{1448}{subsection.17.0.202}
\contentsline {subsection}{\numberline {17.0.203}UnivariatePuiseuxSeriesCategory (UPXSCAT)}{1460}{subsection.17.0.203}
\contentsline {subsection}{\numberline {17.0.204}UnivariatePolynomialCategory (UPOLYC)}{1471}{subsection.17.0.204}
\contentsline {chapter}{\numberline {18}Category Layer 17}{1495}{chapter.18}
\contentsline {subsection}{\numberline {18.0.205}AlgebraicallyClosedFunctionSpace (ACFS)}{1495}{subsection.18.0.205}
\contentsline {subsection}{\numberline {18.0.206}ExtensionField (XF)}{1510}{subsection.18.0.206}
\contentsline {subsection}{\numberline {18.0.207}FiniteFieldCategory (FFIELDC)}{1518}{subsection.18.0.207}
\contentsline {subsection}{\numberline {18.0.208}FloatingPointSystem (FPS)}{1530}{subsection.18.0.208}
\contentsline {subsection}{\numberline {18.0.209}FramedAlgebra (FRAMALG)}{1539}{subsection.18.0.209}
\contentsline {subsection}{\numberline {18.0.210}PseudoAlgebraicClosureOfFiniteFieldCategory (PACFFC)}{1546}{subsection.18.0.210}
\contentsline {subsection}{\numberline {18.0.211}UnivariateLaurentSeriesConstructorCategory (ULSCCAT)}{1553}{subsection.18.0.211}
\contentsline {subsection}{\numberline {18.0.212}UnivariatePuiseuxSeriesConstructorCategory (UPXSCCA)}{1570}{subsection.18.0.212}
\contentsline {chapter}{\numberline {19}Category Layer 18}{1583}{chapter.19}
\contentsline {subsection}{\numberline {19.0.213}FiniteAlgebraicExtensionField (FAXF)}{1583}{subsection.19.0.213}
\contentsline {subsection}{\numberline {19.0.214}MonogenicAlgebra (MONOGEN)}{1598}{subsection.19.0.214}
\contentsline {subsection}{\numberline {19.0.215}PseudoAlgebraicClosureOfRationalNumberCategory (PACRATC)}{1610}{subsection.19.0.215}
\contentsline {chapter}{\numberline {20}Category Layer 19}{1619}{chapter.20}
\contentsline {subsection}{\numberline {20.0.216}ComplexCategory (COMPCAT)}{1619}{subsection.20.0.216}
\contentsline {subsection}{\numberline {20.0.217}FunctionFieldCategory (FFCAT)}{1642}{subsection.20.0.217}
\contentsline {subsection}{\numberline {20.0.218}PseudoAlgebraicClosureOfAlgExtOfRationalNumberCategory (PACEXTC)}{1665}{subsection.20.0.218}
\contentsline {chapter}{\numberline {21}The bootstrap code}{1675}{chapter.21}
\contentsline {section}{\numberline {21.1}ABELGRP.lsp BOOTSTRAP}{1675}{section.21.1}
\contentsline {section}{\numberline {21.2}ABELGRP-.lsp BOOTSTRAP}{1676}{section.21.2}
\contentsline {section}{\numberline {21.3}ABELMON.lsp BOOTSTRAP}{1678}{section.21.3}
\contentsline {section}{\numberline {21.4}ABELMON-.lsp BOOTSTRAP}{1679}{section.21.4}
\contentsline {section}{\numberline {21.5}ABELSG.lsp BOOTSTRAP}{1680}{section.21.5}
\contentsline {section}{\numberline {21.6}ABELSG-.lsp BOOTSTRAP}{1681}{section.21.6}
\contentsline {section}{\numberline {21.7}ALAGG.lsp BOOTSTRAP}{1683}{section.21.7}
\contentsline {section}{\numberline {21.8}CABMON.lsp BOOTSTRAP}{1684}{section.21.8}
\contentsline {section}{\numberline {21.9}CLAGG.lsp BOOTSTRAP}{1685}{section.21.9}
\contentsline {section}{\numberline {21.10}CLAGG-.lsp BOOTSTRAP}{1687}{section.21.10}
\contentsline {section}{\numberline {21.11}COMRING.lsp BOOTSTRAP}{1691}{section.21.11}
\contentsline {section}{\numberline {21.12}DIFRING.lsp BOOTSTRAP}{1692}{section.21.12}
\contentsline {section}{\numberline {21.13}DIFRING-.lsp BOOTSTRAP}{1693}{section.21.13}
\contentsline {section}{\numberline {21.14}DIVRING.lsp BOOTSTRAP}{1695}{section.21.14}
\contentsline {section}{\numberline {21.15}DIVRING-.lsp BOOTSTRAP}{1696}{section.21.15}
\contentsline {section}{\numberline {21.16}ES.lsp BOOTSTRAP}{1698}{section.21.16}
\contentsline {section}{\numberline {21.17}ES-.lsp BOOTSTRAP}{1700}{section.21.17}
\contentsline {section}{\numberline {21.18}EUCDOM.lsp BOOTSTRAP}{1716}{section.21.18}
\contentsline {subsection}{\numberline {21.18.1}The Lisp Implementation}{1716}{subsection.21.18.1}
\contentsline {subsubsection}{EUCDOM;VersionCheck}{1716}{section*.2}
\contentsline {subsubsection}{The Domain Cache Variable}{1717}{section*.3}
\contentsline {subsubsection}{The Domain Function}{1717}{section*.4}
\contentsline {subsubsection}{The First Call Domain Function}{1718}{section*.5}
\contentsline {subsubsection}{EUCDOM;NILADIC}{1719}{section*.6}
\contentsline {section}{\numberline {21.19}EUCDOM-.lsp BOOTSTRAP}{1719}{section.21.19}
\contentsline {subsection}{\numberline {21.19.1}The Lisp Implementation}{1719}{subsection.21.19.1}
\contentsline {subsubsection}{EUCDOM-;VersionCheck}{1719}{section*.7}
\contentsline {subsubsection}{EUCDOM-;sizeLess?;2SB;1}{1720}{section*.8}
\contentsline {subsubsection}{EUCDOM-;quo;3S;2}{1720}{section*.9}
\contentsline {subsubsection}{EUCDOM-;rem;3S;3}{1720}{section*.10}
\contentsline {subsubsection}{EUCDOM-;exquo;2SU;4}{1720}{section*.11}
\contentsline {subsubsection}{EUCDOM-;gcd;3S;5}{1721}{section*.12}
\contentsline {subsubsection}{EUCDOM-;unitNormalizeIdealElt}{1722}{section*.13}
\contentsline {subsubsection}{EUCDOM-;extendedEuclidean;2SR;7}{1722}{section*.14}
\contentsline {subsubsection}{EUCDOM-;extendedEuclidean;3SU;8}{1724}{section*.15}
\contentsline {subsubsection}{EUCDOM-;principalIdeal;LR;9}{1725}{section*.16}
\contentsline {subsubsection}{EUCDOM-;expressIdealMember;LSU;10}{1726}{section*.17}
\contentsline {subsubsection}{EUCDOM-;multiEuclidean;LSU;11}{1727}{section*.18}
\contentsline {subsubsection}{EuclideanDomain\&}{1730}{section*.19}
\contentsline {subsubsection}{EUCDOM-;INFOVEC}{1730}{section*.20}
\contentsline {section}{\numberline {21.20}ENTIRER.lsp BOOTSTRAP}{1732}{section.21.20}
\contentsline {section}{\numberline {21.21}FFIELDC.lsp BOOTSTRAP}{1733}{section.21.21}
\contentsline {section}{\numberline {21.22}FFIELDC-.lsp BOOTSTRAP}{1734}{section.21.22}
\contentsline {section}{\numberline {21.23}FPS.lsp BOOTSTRAP}{1745}{section.21.23}
\contentsline {section}{\numberline {21.24}FPS-.lsp BOOTSTRAP}{1747}{section.21.24}
\contentsline {section}{\numberline {21.25}GCDDOM.lsp BOOTSTRAP}{1749}{section.21.25}
\contentsline {section}{\numberline {21.26}GCDDOM-.lsp BOOTSTRAP}{1750}{section.21.26}
\contentsline {section}{\numberline {21.27}HOAGG.lsp BOOTSTRAP}{1755}{section.21.27}
\contentsline {section}{\numberline {21.28}HOAGG-.lsp BOOTSTRAP}{1757}{section.21.28}
\contentsline {section}{\numberline {21.29}INS.lsp BOOTSTRAP}{1763}{section.21.29}
\contentsline {section}{\numberline {21.30}INS-.lsp BOOTSTRAP}{1765}{section.21.30}
\contentsline {section}{\numberline {21.31}INTDOM.lsp BOOTSTRAP}{1773}{section.21.31}
\contentsline {section}{\numberline {21.32}INTDOM-.lsp BOOTSTRAP}{1774}{section.21.32}
\contentsline {section}{\numberline {21.33}LNAGG.lsp BOOTSTRAP}{1776}{section.21.33}
\contentsline {section}{\numberline {21.34}LNAGG-.lsp BOOTSTRAP}{1778}{section.21.34}
\contentsline {section}{\numberline {21.35}LSAGG.lsp BOOTSTRAP}{1780}{section.21.35}
\contentsline {section}{\numberline {21.36}LSAGG-.lsp BOOTSTRAP}{1781}{section.21.36}
\contentsline {section}{\numberline {21.37}MONOID.lsp BOOTSTRAP}{1798}{section.21.37}
\contentsline {section}{\numberline {21.38}MONOID-.lsp BOOTSTRAP}{1799}{section.21.38}
\contentsline {section}{\numberline {21.39}MTSCAT.lsp BOOTSTRAP}{1801}{section.21.39}
\contentsline {section}{\numberline {21.40}OINTDOM.lsp BOOTSTRAP}{1803}{section.21.40}
\contentsline {section}{\numberline {21.41}ORDRING.lsp BOOTSTRAP}{1804}{section.21.41}
\contentsline {section}{\numberline {21.42}ORDRING-.lsp BOOTSTRAP}{1805}{section.21.42}
\contentsline {section}{\numberline {21.43}POLYCAT.lsp BOOTSTRAP}{1807}{section.21.43}
\contentsline {section}{\numberline {21.44}POLYCAT-.lsp BOOTSTRAP}{1809}{section.21.44}
\contentsline {section}{\numberline {21.45}PSETCAT.lsp BOOTSTRAP}{1840}{section.21.45}
\contentsline {section}{\numberline {21.46}PSETCAT-.lsp BOOTSTRAP}{1842}{section.21.46}
\contentsline {section}{\numberline {21.47}QFCAT.lsp BOOTSTRAP}{1859}{section.21.47}
\contentsline {section}{\numberline {21.48}QFCAT-.lsp BOOTSTRAP}{1861}{section.21.48}
\contentsline {section}{\numberline {21.49}RCAGG.lsp BOOTSTRAP}{1869}{section.21.49}
\contentsline {section}{\numberline {21.50}RCAGG-.lsp BOOTSTRAP}{1871}{section.21.50}
\contentsline {section}{\numberline {21.51}RING.lsp BOOTSTRAP}{1872}{section.21.51}
\contentsline {section}{\numberline {21.52}RING-.lsp BOOTSTRAP}{1873}{section.21.52}
\contentsline {section}{\numberline {21.53}RNG.lsp BOOTSTRAP}{1875}{section.21.53}
\contentsline {section}{\numberline {21.54}RNS.lsp BOOTSTRAP}{1875}{section.21.54}
\contentsline {section}{\numberline {21.55}RNS-.lsp BOOTSTRAP}{1877}{section.21.55}
\contentsline {section}{\numberline {21.56}SETAGG.lsp BOOTSTRAP}{1881}{section.21.56}
\contentsline {section}{\numberline {21.57}SETAGG-.lsp BOOTSTRAP}{1882}{section.21.57}
\contentsline {section}{\numberline {21.58}SETCAT.lsp BOOTSTRAP}{1884}{section.21.58}
\contentsline {section}{\numberline {21.59}SETCAT-.lsp BOOTSTRAP}{1885}{section.21.59}
\contentsline {section}{\numberline {21.60}STAGG.lsp BOOTSTRAP}{1886}{section.21.60}
\contentsline {section}{\numberline {21.61}STAGG-.lsp BOOTSTRAP}{1887}{section.21.61}
\contentsline {section}{\numberline {21.62}TSETCAT.lsp BOOTSTRAP}{1894}{section.21.62}
\contentsline {section}{\numberline {21.63}TSETCAT-.lsp BOOTSTRAP}{1897}{section.21.63}
\contentsline {section}{\numberline {21.64}UFD.lsp BOOTSTRAP}{1917}{section.21.64}
\contentsline {section}{\numberline {21.65}UFD-.lsp BOOTSTRAP}{1918}{section.21.65}
\contentsline {section}{\numberline {21.66}ULSCAT.lsp BOOTSTRAP}{1921}{section.21.66}
\contentsline {section}{\numberline {21.67}UPOLYC.lsp BOOTSTRAP}{1922}{section.21.67}
\contentsline {section}{\numberline {21.68}UPOLYC-.lsp BOOTSTRAP}{1926}{section.21.68}
\contentsline {section}{\numberline {21.69}URAGG.lsp BOOTSTRAP}{1953}{section.21.69}
\contentsline {section}{\numberline {21.70}URAGG-.lsp BOOTSTRAP}{1955}{section.21.70}
\contentsline {chapter}{\numberline {22}Chunk collections}{1971}{chapter.22}
