\BOOKMARK [0][-]{chapter.1}{Categories}{}
\BOOKMARK [0][-]{chapter.2}{Category Layer 1}{}
\BOOKMARK [1][-]{subsection.2.0.1}{Category \(CATEGORY\)}{chapter.2}
\BOOKMARK [2][-]{subsection.2.0.2}{ArcHyperbolicFunctionCategory \(AHYP\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.3}{ArcTrigonometricFunctionCategory \(ATRIG\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.4}{AttributeRegistry \(ATTREG\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.5}{BasicType \(BASTYPE\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.6}{CoercibleTo \(KOERCE\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.7}{CombinatorialFunctionCategory \(CFCAT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.8}{ConvertibleTo \(KONVERT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.9}{ElementaryFunctionCategory \(ELEMFUN\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.10}{Eltable \(ELTAB\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.11}{HyperbolicFunctionCategory \(HYPCAT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.12}{InnerEvalable \(IEVALAB\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.13}{OpenMath \(OM\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.14}{PartialTranscendentalFunctions \(PTRANFN\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.15}{Patternable \(PATAB\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.16}{PrimitiveFunctionCategory \(PRIMCAT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.17}{RadicalCategory \(RADCAT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.18}{RetractableTo \(RETRACT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.19}{SpecialFunctionCategory \(SPFCAT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.20}{TrigonometricFunctionCategory \(TRIGCAT\)}{subsection.2.0.1}
\BOOKMARK [2][-]{subsection.2.0.21}{Type \(TYPE\)}{subsection.2.0.1}
\BOOKMARK [0][-]{chapter.3}{Category Layer 2}{}
\BOOKMARK [1][-]{subsection.3.0.22}{Aggregate \(AGG\)}{chapter.3}
\BOOKMARK [2][-]{subsection.3.0.23}{CombinatorialOpsCategory \(COMBOPC\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.24}{EltableAggregate \(ELTAGG\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.25}{Evalable \(EVALAB\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.26}{FortranProgramCategory \(FORTCAT\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.27}{FullyRetractableTo \(FRETRCT\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.28}{FullyPatternMatchable \(FPATMAB\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.29}{Logic \(LOGIC\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.30}{PlottablePlaneCurveCategory \(PPCURVE\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.31}{PlottableSpaceCurveCategory \(PSCURVE\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.32}{RealConstant \(REAL\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.33}{SegmentCategory \(SEGCAT\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.34}{SetCategory \(SETCAT\)}{subsection.3.0.22}
\BOOKMARK [2][-]{subsection.3.0.35}{TranscendentalFunctionCategory \(TRANFUN\)}{subsection.3.0.22}
\BOOKMARK [0][-]{chapter.4}{Category Layer 3}{}
\BOOKMARK [1][-]{subsection.4.0.36}{AbelianSemiGroup \(ABELSG\)}{chapter.4}
\BOOKMARK [2][-]{subsection.4.0.37}{BlowUpMethodCategory \(BLMETCT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.38}{DesingTreeCategory \(DSTRCAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.39}{FortranFunctionCategory \(FORTFN\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.40}{FortranMatrixCategory \(FMC\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.41}{FortranMatrixFunctionCategory \(FMFUN\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.42}{FortranVectorCategory \(FVC\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.43}{FortranVectorFunctionCategory \(FVFUN\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.44}{FullyEvalableOver \(FEVALAB\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.45}{FileCategory \(FILECAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.46}{Finite \(FINITE\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.47}{FileNameCategory \(FNCAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.48}{GradedModule \(GRMOD\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.49}{HomogeneousAggregate \(HOAGG\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.50}{IndexedDirectProductCategory \(IDPC\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.51}{LiouvillianFunctionCategory \(LFCAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.52}{Monad \(MONAD\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.53}{NumericalIntegrationCategory \(NUMINT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.54}{NumericalOptimizationCategory \(OPTCAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.55}{OrdinaryDifferentialEquationsSolverCategory \(ODECAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.56}{OrderedSet \(ORDSET\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.57}{PartialDifferentialEquationsSolverCategory \(PDECAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.58}{PatternMatchable \(PATMAB\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.59}{RealRootCharacterizationCategory \(RRCC\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.60}{SegmentExpansionCategory \(SEGXCAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.61}{SemiGroup \(SGROUP\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.62}{SetCategoryWithDegree \(SETCATD\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.63}{SExpressionCategory \(SEXCAT\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.64}{StepThrough \(STEP\)}{subsection.4.0.36}
\BOOKMARK [2][-]{subsection.4.0.65}{ThreeSpaceCategory \(SPACEC\)}{subsection.4.0.36}
\BOOKMARK [0][-]{chapter.5}{Category Layer 4}{}
\BOOKMARK [1][-]{subsection.5.0.66}{AbelianMonoid \(ABELMON\)}{chapter.5}
\BOOKMARK [2][-]{subsection.5.0.67}{AffineSpaceCategory \(AFSPCAT\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.68}{BagAggregate \(BGAGG\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.69}{CachableSet \(CACHSET\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.70}{Collection \(CLAGG\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.71}{DifferentialVariableCategory \(DVARCAT\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.72}{ExpressionSpace \(ES\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.73}{GradedAlgebra \(GRALG\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.74}{IndexedAggregate \(IXAGG\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.75}{MonadWithUnit \(MONADWU\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.76}{Monoid \(MONOID\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.77}{OrderedFinite \(ORDFIN\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.78}{PlacesCategory \(PLACESC\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.79}{ProjectiveSpaceCategory \(PRSPCAT\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.80}{RecursiveAggregate \(RCAGG\)}{subsection.5.0.66}
\BOOKMARK [2][-]{subsection.5.0.81}{TwoDimensionalArrayCategory \(ARR2CAT\)}{subsection.5.0.66}
\BOOKMARK [0][-]{chapter.6}{Category Layer 5}{}
\BOOKMARK [1][-]{subsection.6.0.82}{BinaryRecursiveAggregate \(BRAGG\)}{chapter.6}
\BOOKMARK [2][-]{subsection.6.0.83}{CancellationAbelianMonoid \(CABMON\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.84}{DictionaryOperations \(DIOPS\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.85}{DoublyLinkedAggregate \(DLAGG\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.86}{Group \(GROUP\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.87}{LinearAggregate \(LNAGG\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.88}{MatrixCategory \(MATCAT\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.89}{OrderedAbelianSemiGroup \(OASGP\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.90}{OrderedMonoid \(ORDMON\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.91}{PolynomialSetCategory \(PSETCAT\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.92}{PriorityQueueAggregate \(PRQAGG\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.93}{QueueAggregate \(QUAGG\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.94}{SetAggregate \(SETAGG\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.95}{StackAggregate \(SKAGG\)}{subsection.6.0.82}
\BOOKMARK [2][-]{subsection.6.0.96}{UnaryRecursiveAggregate \(URAGG\)}{subsection.6.0.82}
\BOOKMARK [0][-]{chapter.7}{Category Layer 6}{}
\BOOKMARK [1][-]{subsection.7.0.97}{AbelianGroup \(ABELGRP\)}{chapter.7}
\BOOKMARK [2][-]{subsection.7.0.98}{BinaryTreeCategory \(BTCAT\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.99}{Dictionary \(DIAGG\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.100}{DequeueAggregate \(DQAGG\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.101}{ExtensibleLinearAggregate \(ELAGG\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.102}{FiniteLinearAggregate \(FLAGG\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.103}{FreeAbelianMonoidCategory \(FAMONC\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.104}{MultiDictionary \(MDAGG\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.105}{OrderedAbelianMonoid \(OAMON\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.106}{PermutationCategory \(PERMCAT\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.107}{StreamAggregate \(STAGG\)}{subsection.7.0.97}
\BOOKMARK [2][-]{subsection.7.0.108}{TriangularSetCategory \(TSETCAT\)}{subsection.7.0.97}
\BOOKMARK [0][-]{chapter.8}{Category Layer 7}{}
\BOOKMARK [1][-]{subsection.8.0.109}{FiniteDivisorCategory \(FDIVCAT\)}{chapter.8}
\BOOKMARK [2][-]{subsection.8.0.110}{FiniteSetAggregate \(FSAGG\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.111}{KeyedDictionary \(KDAGG\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.112}{LazyStreamAggregate \(LZSTAGG\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.113}{LeftModule \(LMODULE\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.114}{ListAggregate \(LSAGG\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.115}{MultisetAggregate \(MSETAGG\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.116}{NonAssociativeRng \(NARNG\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.117}{OneDimensionalArrayAggregate \(A1AGG\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.118}{OrderedCancellationAbelianMonoid \(OCAMON\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.119}{RegularTriangularSetCategory \(RSETCAT\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.120}{RightModule \(RMODULE\)}{subsection.8.0.109}
\BOOKMARK [2][-]{subsection.8.0.121}{Rng \(RNG\)}{subsection.8.0.109}
\BOOKMARK [0][-]{chapter.9}{Category Layer 8}{}
\BOOKMARK [1][-]{subsection.9.0.122}{BiModule \(BMODULE\)}{chapter.9}
\BOOKMARK [2][-]{subsection.9.0.123}{BitAggregate \(BTAGG\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.124}{NonAssociativeRing \(NASRING\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.125}{NormalizedTriangularSetCategory \(NTSCAT\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.126}{OrderedAbelianGroup \(OAGROUP\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.127}{OrderedAbelianMonoidSup \(OAMONS\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.128}{OrderedMultisetAggregate \(OMSAGG\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.129}{Ring \(RING\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.130}{SquareFreeRegularTriangularSetCategory \(SFRTCAT\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.131}{StringAggregate \(SRAGG\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.132}{TableAggregate \(TBAGG\)}{subsection.9.0.122}
\BOOKMARK [2][-]{subsection.9.0.133}{VectorCategory \(VECTCAT\)}{subsection.9.0.122}
\BOOKMARK [0][-]{chapter.10}{Category Layer 9}{}
\BOOKMARK [1][-]{subsection.10.0.134}{AssociationListAggregate \(ALAGG\)}{chapter.10}
\BOOKMARK [2][-]{subsection.10.0.135}{CharacteristicNonZero \(CHARNZ\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.136}{CharacteristicZero \(CHARZ\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.137}{CommutativeRing \(COMRING\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.138}{DifferentialRing \(DIFRING\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.139}{EntireRing \(ENTIRER\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.140}{FreeModuleCat \(FMCAT\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.141}{LeftAlgebra \(LALG\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.142}{LinearlyExplicitRingOver \(LINEXP\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.143}{Module \(MODULE\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.144}{OrderedRing \(ORDRING\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.145}{PartialDifferentialRing \(PDRING\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.146}{PointCategory \(PTCAT\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.147}{RectangularMatrixCategory \(RMATCAT\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.148}{SquareFreeNormalizedTriangularSetCategory \(SNTSCAT\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.149}{StringCategory \(STRICAT\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.150}{UnivariateSkewPolynomialCategory \(OREPCAT\)}{subsection.10.0.134}
\BOOKMARK [2][-]{subsection.10.0.151}{XAlgebra \(XALG\)}{subsection.10.0.134}
\BOOKMARK [0][-]{chapter.11}{Category Layer 10}{}
\BOOKMARK [1][-]{subsection.11.0.152}{Algebra \(ALGEBRA\)}{chapter.11}
\BOOKMARK [2][-]{subsection.11.0.153}{DifferentialExtension \(DIFEXT\)}{subsection.11.0.152}
\BOOKMARK [2][-]{subsection.11.0.154}{FullyLinearlyExplicitRingOver \(FLINEXP\)}{subsection.11.0.152}
\BOOKMARK [2][-]{subsection.11.0.155}{LieAlgebra \(LIECAT\)}{subsection.11.0.152}
\BOOKMARK [2][-]{subsection.11.0.156}{LinearOrdinaryDifferentialOperatorCategory \(LODOCAT\)}{subsection.11.0.152}
\BOOKMARK [2][-]{subsection.11.0.157}{NonAssociativeAlgebra \(NAALG\)}{subsection.11.0.152}
\BOOKMARK [2][-]{subsection.11.0.158}{VectorSpace \(VSPACE\)}{subsection.11.0.152}
\BOOKMARK [2][-]{subsection.11.0.159}{XFreeAlgebra \(XFALG\)}{subsection.11.0.152}
\BOOKMARK [0][-]{chapter.12}{Category Layer 11}{}
\BOOKMARK [1][-]{subsection.12.0.160}{DirectProductCategory \(DIRPCAT\)}{chapter.12}
\BOOKMARK [2][-]{subsection.12.0.161}{DivisionRing \(DIVRING\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.162}{FiniteRankNonAssociativeAlgebra \(FINAALG\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.163}{FreeLieAlgebra \(FLALG\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.164}{IntegralDomain \(INTDOM\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.165}{MonogenicLinearOperator \(MLO\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.166}{OctonionCategory \(OC\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.167}{QuaternionCategory \(QUATCAT\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.168}{SquareMatrixCategory \(SMATCAT\)}{subsection.12.0.160}
\BOOKMARK [2][-]{subsection.12.0.169}{XPolynomialsCat \(XPOLYC\)}{subsection.12.0.160}
\BOOKMARK [0][-]{chapter.13}{Category Layer 12}{}
\BOOKMARK [1][-]{subsection.13.0.170}{AbelianMonoidRing \(AMR\)}{chapter.13}
\BOOKMARK [2][-]{subsection.13.0.171}{FortranMachineTypeCategory \(FMTC\)}{subsection.13.0.170}
\BOOKMARK [2][-]{subsection.13.0.172}{FramedNonAssociativeAlgebra \(FRNAALG\)}{subsection.13.0.170}
\BOOKMARK [2][-]{subsection.13.0.173}{GcdDomain \(GCDDOM\)}{subsection.13.0.170}
\BOOKMARK [2][-]{subsection.13.0.174}{OrderedIntegralDomain \(OINTDOM\)}{subsection.13.0.170}
\BOOKMARK [0][-]{chapter.14}{Category Layer 13}{}
\BOOKMARK [1][-]{subsection.14.0.175}{FiniteAbelianMonoidRing \(FAMR\)}{chapter.14}
\BOOKMARK [2][-]{subsection.14.0.176}{IntervalCategory \(INTCAT\)}{subsection.14.0.175}
\BOOKMARK [2][-]{subsection.14.0.177}{PowerSeriesCategory \(PSCAT\)}{subsection.14.0.175}
\BOOKMARK [2][-]{subsection.14.0.178}{PrincipalIdealDomain \(PID\)}{subsection.14.0.175}
\BOOKMARK [2][-]{subsection.14.0.179}{UniqueFactorizationDomain \(UFD\)}{subsection.14.0.175}
\BOOKMARK [0][-]{chapter.15}{Category Layer 14}{}
\BOOKMARK [1][-]{subsection.15.0.180}{DivisorCategory \(DIVCAT\)}{chapter.15}
\BOOKMARK [2][-]{subsection.15.0.181}{EuclideanDomain \(EUCDOM\)}{subsection.15.0.180}
\BOOKMARK [2][-]{subsection.15.0.182}{MultivariateTaylorSeriesCategory \(MTSCAT\)}{subsection.15.0.180}
\BOOKMARK [2][-]{subsection.15.0.183}{PolynomialFactorizationExplicit \(PFECAT\)}{subsection.15.0.180}
\BOOKMARK [2][-]{subsection.15.0.184}{UnivariatePowerSeriesCategory \(UPSCAT\)}{subsection.15.0.180}
\BOOKMARK [0][-]{chapter.16}{Category Layer 15}{}
\BOOKMARK [1][-]{subsection.16.0.185}{Field \(FIELD\)}{chapter.16}
\BOOKMARK [2][-]{subsection.16.0.186}{IntegerNumberSystem \(INS\)}{subsection.16.0.185}
\BOOKMARK [2][-]{subsection.16.0.187}{LocalPowerSeriesCategory \(LOCPOWC\)}{subsection.16.0.185}
\BOOKMARK [2][-]{subsection.16.0.188}{PAdicIntegerCategory \(PADICCT\)}{subsection.16.0.185}
\BOOKMARK [2][-]{subsection.16.0.189}{PolynomialCategory \(POLYCAT\)}{subsection.16.0.185}
\BOOKMARK [2][-]{subsection.16.0.190}{UnivariateTaylorSeriesCategory \(UTSCAT\)}{subsection.16.0.185}
\BOOKMARK [0][-]{chapter.17}{Category Layer 16}{}
\BOOKMARK [1][-]{subsection.17.0.191}{AlgebraicallyClosedField \(ACF\)}{chapter.17}
\BOOKMARK [2][-]{subsection.17.0.192}{DifferentialPolynomialCategory \(DPOLCAT\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.193}{FieldOfPrimeCharacteristic \(FPC\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.194}{FiniteRankAlgebra \(FINRALG\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.195}{FunctionSpace \(FS\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.196}{InfinitlyClosePointCategory \(INFCLCT\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.197}{PseudoAlgebraicClosureOfPerfectFieldCategory \(PACPERC\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.198}{QuotientFieldCategory \(QFCAT\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.199}{RealClosedField \(RCFIELD\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.200}{RealNumberSystem \(RNS\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.201}{RecursivePolynomialCategory \(RPOLCAT\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.202}{UnivariateLaurentSeriesCategory \(ULSCAT\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.203}{UnivariatePuiseuxSeriesCategory \(UPXSCAT\)}{subsection.17.0.191}
\BOOKMARK [2][-]{subsection.17.0.204}{UnivariatePolynomialCategory \(UPOLYC\)}{subsection.17.0.191}
\BOOKMARK [0][-]{chapter.18}{Category Layer 17}{}
\BOOKMARK [1][-]{subsection.18.0.205}{AlgebraicallyClosedFunctionSpace \(ACFS\)}{chapter.18}
\BOOKMARK [2][-]{subsection.18.0.206}{ExtensionField \(XF\)}{subsection.18.0.205}
\BOOKMARK [2][-]{subsection.18.0.207}{FiniteFieldCategory \(FFIELDC\)}{subsection.18.0.205}
\BOOKMARK [2][-]{subsection.18.0.208}{FloatingPointSystem \(FPS\)}{subsection.18.0.205}
\BOOKMARK [2][-]{subsection.18.0.209}{FramedAlgebra \(FRAMALG\)}{subsection.18.0.205}
\BOOKMARK [2][-]{subsection.18.0.210}{PseudoAlgebraicClosureOfFiniteFieldCategory \(PACFFC\)}{subsection.18.0.205}
\BOOKMARK [2][-]{subsection.18.0.211}{UnivariateLaurentSeriesConstructorCategory \(ULSCCAT\)}{subsection.18.0.205}
\BOOKMARK [2][-]{subsection.18.0.212}{UnivariatePuiseuxSeriesConstructorCategory \(UPXSCCA\)}{subsection.18.0.205}
\BOOKMARK [0][-]{chapter.19}{Category Layer 18}{}
\BOOKMARK [1][-]{subsection.19.0.213}{FiniteAlgebraicExtensionField \(FAXF\)}{chapter.19}
\BOOKMARK [2][-]{subsection.19.0.214}{MonogenicAlgebra \(MONOGEN\)}{subsection.19.0.213}
\BOOKMARK [2][-]{subsection.19.0.215}{PseudoAlgebraicClosureOfRationalNumberCategory \(PACRATC\)}{subsection.19.0.213}
\BOOKMARK [0][-]{chapter.20}{Category Layer 19}{}
\BOOKMARK [1][-]{subsection.20.0.216}{ComplexCategory \(COMPCAT\)}{chapter.20}
\BOOKMARK [2][-]{subsection.20.0.217}{FunctionFieldCategory \(FFCAT\)}{subsection.20.0.216}
\BOOKMARK [2][-]{subsection.20.0.218}{PseudoAlgebraicClosureOfAlgExtOfRationalNumberCategory \(PACEXTC\)}{subsection.20.0.216}
\BOOKMARK [0][-]{chapter.21}{The bootstrap code}{}
\BOOKMARK [1][-]{section.21.1}{ABELGRP.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.2}{ABELGRP-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.3}{ABELMON.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.4}{ABELMON-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.5}{ABELSG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.6}{ABELSG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.7}{ALAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.8}{CABMON.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.9}{CLAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.10}{CLAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.11}{COMRING.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.12}{DIFRING.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.13}{DIFRING-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.14}{DIVRING.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.15}{DIVRING-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.16}{ES.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.17}{ES-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.18}{EUCDOM.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [2][-]{subsection.21.18.1}{The Lisp Implementation}{section.21.18}
\BOOKMARK [1][-]{section.21.19}{EUCDOM-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [2][-]{subsection.21.19.1}{The Lisp Implementation}{section.21.19}
\BOOKMARK [1][-]{section.21.20}{ENTIRER.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.21}{FFIELDC.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.22}{FFIELDC-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.23}{FPS.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.24}{FPS-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.25}{GCDDOM.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.26}{GCDDOM-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.27}{HOAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.28}{HOAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.29}{INS.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.30}{INS-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.31}{INTDOM.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.32}{INTDOM-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.33}{LNAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.34}{LNAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.35}{LSAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.36}{LSAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.37}{MONOID.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.38}{MONOID-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.39}{MTSCAT.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.40}{OINTDOM.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.41}{ORDRING.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.42}{ORDRING-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.43}{POLYCAT.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.44}{POLYCAT-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.45}{PSETCAT.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.46}{PSETCAT-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.47}{QFCAT.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.48}{QFCAT-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.49}{RCAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.50}{RCAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.51}{RING.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.52}{RING-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.53}{RNG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.54}{RNS.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.55}{RNS-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.56}{SETAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.57}{SETAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.58}{SETCAT.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.59}{SETCAT-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.60}{STAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.61}{STAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.62}{TSETCAT.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.63}{TSETCAT-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.64}{UFD.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.65}{UFD-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.66}{ULSCAT.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.67}{UPOLYC.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.68}{UPOLYC-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.69}{URAGG.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [1][-]{section.21.70}{URAGG-.lsp BOOTSTRAP}{chapter.21}
\BOOKMARK [0][-]{chapter.22}{Chunk collections}{}
