diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet index bcd70d9..0628cec 100644 --- a/books/bookvol10.2.pamphlet +++ b/books/bookvol10.2.pamphlet @@ -232,7 +232,7 @@ algebra there is a strict subset hierarchy, like:\hfill\\ \begin{chunk}{algebrahierarchy.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Commutative Ring" @@ -309,7 +309,7 @@ This is the root of the category hierarchy and is not represented by code. \begin{chunk}{CATEGORY.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Category" [color=lightblue]; @@ -413,7 +413,7 @@ ArcHyperbolicFunctionCategory(): Category == with \begin{chunk}{AHYP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ArcHyperbolicFunctionCategory()" [color=lightblue]; @@ -535,7 +535,7 @@ ArcTrigonometricFunctionCategory(): Category == with \begin{chunk}{ATRIG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ArcTrigonometricFunctionCategory()" [color=lightblue]; @@ -705,7 +705,7 @@ AttributeRegistry(): Category == with \begin{chunk}{ATTREG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AttributeRegistry()" [color=lightblue]; @@ -812,7 +812,7 @@ BasicType(): Category == with \begin{chunk}{BASTYPE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "BasicType()" [color=lightblue]; @@ -918,7 +918,7 @@ CoercibleTo(S:Type): Category == with \begin{chunk}{KOERCE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CoercibleTo(a:Type)" [color=lightblue]; @@ -1027,7 +1027,7 @@ CombinatorialFunctionCategory(): Category == with \begin{chunk}{CFCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CombinatorialFunctionCategory()" [color=lightblue]; @@ -1185,7 +1185,7 @@ ConvertibleTo(S:Type): Category == with \begin{chunk}{KONVERT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ConvertibleTo(a:Type)" [color=lightblue]; @@ -1289,7 +1289,7 @@ ElementaryFunctionCategory(): Category == with \begin{chunk}{ELEMFUN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ElementaryFunctionCategory()" [color=lightblue]; @@ -1406,7 +1406,7 @@ Eltable(S:SetCategory, Index:Type): Category == with \begin{chunk}{ELTAB.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Eltable(a:SetCategory,b:Type)" [color=lightblue]; @@ -1533,7 +1533,7 @@ HyperbolicFunctionCategory(): Category == with \begin{chunk}{HYPCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "HyperbolicFunctionCategory()" [color=lightblue]; @@ -1674,7 +1674,7 @@ InnerEvalable(A:SetCategory, B:Type): Category == with \begin{chunk}{IEVALAB.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "InnerEvalable(a:SetCategory,b:Type)" [color=lightblue]; @@ -1786,7 +1786,7 @@ OpenMath(): Category == with \begin{chunk}{OM.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OpenMath()" [color=lightblue]; @@ -2022,7 +2022,7 @@ PartialTranscendentalFunctions(K): Category == Definition where \begin{chunk}{PTRANFN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PartialTranscendentalFunctions(TranscendentalFunctionCategory)" @@ -2142,7 +2142,7 @@ Patternable(R:Type): Category == with \begin{chunk}{PATAB.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Patternable(a:Type)" [color=lightblue]; @@ -2238,7 +2238,7 @@ PrimitiveFunctionCategory(): Category == with \begin{chunk}{PRIMCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PrimitiveFunctionCategory()" [color=lightblue]; @@ -2353,7 +2353,7 @@ RadicalCategory(): Category == with \begin{chunk}{RADCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RadicalCategory()" [color=lightblue]; @@ -2536,7 +2536,7 @@ RetractableTo(S: Type): Category == with \begin{chunk}{RETRACT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RetractableTo(a:Type)" [color=lightblue]; @@ -2676,7 +2676,7 @@ SpecialFunctionCategory(): Category == with \begin{chunk}{SPFCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SpecialFunctionCategory()" [color=lightblue]; @@ -2800,7 +2800,7 @@ TrigonometricFunctionCategory(): Category == with \begin{chunk}{TRIGCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "TrigonometricFunctionCategory()" [color=lightblue]; @@ -2852,7 +2852,7 @@ Type(): Category == with nil \begin{chunk}{TYPE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Type()" [color=lightblue]; @@ -3010,7 +3010,7 @@ Aggregate: Category == Type with \begin{chunk}{AGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Aggregate()" [color=lightblue]; @@ -3143,7 +3143,7 @@ CombinatorialOpsCategory(): Category == \begin{chunk}{COMBOPC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CombinatorialOpsCategory()" [color=lightblue]; @@ -3301,7 +3301,7 @@ EltableAggregate(Dom:SetCategory, Im:Type): Category == \begin{chunk}{ELTAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "EltableAggregate(a:SetCategory,b:Type)" [color=lightblue]; @@ -3436,7 +3436,7 @@ Evalable(R:SetCategory): Category == InnerEvalable(R,R) with \begin{chunk}{EVALAB.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Evalable(a:SetCategory)" [color=lightblue]; @@ -3559,7 +3559,7 @@ FortranProgramCategory():Category == Join(Type,CoercibleTo OutputForm) with \begin{chunk}{FORTCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FortranProgramCategory()" [color=lightblue]; @@ -3733,7 +3733,7 @@ FullyRetractableTo(S: Type): Category == RetractableTo(S) with \begin{chunk}{FRETRCT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FullyRetractableTo(a:Type)" [color=lightblue]; @@ -3891,7 +3891,7 @@ FullyPatternMatchable(R:Type): Category == Type with \begin{chunk}{FPATMAB.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FullyPatternMatchable(a:Type)" [color=lightblue]; @@ -4011,7 +4011,7 @@ Logic: Category == BasicType with \begin{chunk}{LOGIC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Logic()" [color=lightblue]; @@ -4139,7 +4139,7 @@ PlottablePlaneCurveCategory(): Category == Definition where \begin{chunk}{PPCURVE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PlottablePlaneCurveCategory()" [color=lightblue]; @@ -4275,7 +4275,7 @@ PlottableSpaceCurveCategory(): Category == Definition where \begin{chunk}{PSCURVE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PlottableSpaceCurveCategory()" [color=lightblue]; @@ -4384,7 +4384,7 @@ RealConstant(): Category == \begin{chunk}{REAL.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RealConstant()" [color=lightblue]; @@ -4545,7 +4545,7 @@ SegmentCategory(S:Type): Category == Type with \begin{chunk}{SEGCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SegmentCategory(a:Type)" [color=lightblue]; @@ -4697,7 +4697,7 @@ SetCategory(): Category == Join(BasicType,CoercibleTo OutputForm) with \begin{chunk}{SETCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SetCategory()" [color=lightblue]; @@ -4932,7 +4932,7 @@ TranscendentalFunctionCategory(): Category == \begin{chunk}{TRANFUN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "TranscendentalFunctionCategory()" [color=lightblue]; @@ -5090,7 +5090,7 @@ AbelianSemiGroup(): Category == SetCategory with \begin{chunk}{ABELSG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AbelianSemiGroup()" [color=lightblue]; @@ -5251,7 +5251,7 @@ BlowUpMethodCategory:Category == SetCategory with \begin{chunk}{BLMETCT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "BlowUpMethodCategory()" [color=lightblue]; @@ -5491,7 +5491,7 @@ DesingTreeCategory(S: SetCategory):Category == RecursiveAggregate(S) with \begin{chunk}{DSTRCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DesingTreeCategory()" [color=lightblue]; @@ -5680,7 +5680,7 @@ FortranFunctionCategory():Category == FortranProgramCategory with \begin{chunk}{FORTFN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FortranFunctionCategory()" [color=lightblue]; @@ -5814,7 +5814,7 @@ FortranMatrixCategory():Category == FortranProgramCategory with \begin{chunk}{FMC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FortranMatrixCategory()" [color=lightblue]; @@ -6008,7 +6008,7 @@ FortranMatrixFunctionCategory():Category == FortranProgramCategory with \begin{chunk}{FMFUN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FortranMatrixFunctionCategory()" [color=lightblue]; @@ -6140,7 +6140,7 @@ FortranVectorCategory():Category == FortranProgramCategory with \begin{chunk}{FVC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FortranVectorCategory()" [color=lightblue]; @@ -6333,7 +6333,7 @@ FortranVectorFunctionCategory():Category == FortranProgramCategory with \begin{chunk}{FVFUN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FortranVectorFunctionCategory()" [color=lightblue]; @@ -6502,7 +6502,7 @@ FullyEvalableOver(R:SetCategory): Category == with \begin{chunk}{FEVALAB.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FullyEvalableOver(a:SetCategory)" [color=lightblue]; @@ -6692,7 +6692,7 @@ FileCategory(Name, S): Category == FCdefinition where \begin{chunk}{FILECAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FileCategory(a:SetCategory,b:SetCategory)" [color=lightblue]; @@ -6846,7 +6846,7 @@ Finite(): Category == SetCategory with \begin{chunk}{FINITE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Finite()" [color=lightblue]; @@ -7023,7 +7023,7 @@ FileNameCategory(): Category == SetCategory with \begin{chunk}{FNCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FileNameCategory()" @@ -7199,7 +7199,7 @@ GradedModule(R: CommutativeRing, E: AbelianMonoid): Category == \begin{chunk}{GRMOD.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "GradedModule(a:CommutativeRing,b:AbelianMonoid)" [color=lightblue]; @@ -7489,7 +7489,7 @@ HomogeneousAggregate(S:Type): Category == Aggregate with \begin{chunk}{HOAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "HomogeneousAggregate(a:Type)" [color=lightblue]; @@ -7654,7 +7654,7 @@ IndexedDirectProductCategory(A:SetCategory,S:OrderedSet): Category == \begin{chunk}{IDPC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "IndexedDirectProductCategory(a:SetCategory,b:OrderedSet)" [color=lightblue]; @@ -7885,7 +7885,7 @@ LiouvillianFunctionCategory(): Category == \begin{chunk}{LFCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LiouvillianFunctionCategory()" [color=lightblue]; @@ -8072,7 +8072,7 @@ Monad(): Category == SetCategory with \begin{chunk}{MONAD.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Monad()" [color=lightblue]; @@ -8277,7 +8277,7 @@ NumericalIntegrationCategory(): Category == Exports where \begin{chunk}{NUMINT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "NumericalIntegrationCategory()" [color=lightblue]; @@ -8467,7 +8467,7 @@ NumericalOptimizationCategory(): Category == Exports where \begin{chunk}{OPTCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "NumericalOptimizationCategory()" [color=lightblue]; @@ -8635,7 +8635,7 @@ OrdinaryDifferentialEquationsSolverCategory(): Category == Exports where \begin{chunk}{ODECAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrdinaryDifferentialEquationsSolverCategory()" @@ -8814,7 +8814,7 @@ OrderedSet(): Category == SetCategory with \begin{chunk}{ORDSET.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedSet()" [color=lightblue]; @@ -9011,7 +9011,7 @@ PartialDifferentialEquationsSolverCategory(): Category == Exports where \begin{chunk}{PDECAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PartialDifferentialEquationsSolverCategory()" [color=lightblue]; @@ -9150,7 +9150,7 @@ PatternMatchable(S:SetCategory): Category == SetCategory with \begin{chunk}{PATMAB.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PatternMatchable(a:SetCategory)" @@ -9377,7 +9377,7 @@ RealRootCharacterizationCategory(TheField, ThePols ) : Category == PUB where \begin{chunk}{RRCC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RealRootCharacterizationCategory(a:Join(OrderedRing,Field),b:UnivariatePolynomialCategory(a))" @@ -9539,7 +9539,7 @@ SegmentExpansionCategory(S: OrderedRing, L: StreamAggregate(S)): Category == \begin{chunk}{SEGXCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SegmentExpansionCategory(a:OrderedRing,b:StreamAggregate(OrderedRing))" @@ -9697,7 +9697,7 @@ SemiGroup(): Category == SetCategory with \begin{chunk}{SGROUP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SemiGroup()" [color=lightblue]; @@ -9828,7 +9828,7 @@ SetCategoryWithDegree:Category == SetCategory with \begin{chunk}{SETCATD.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SetCategoryWithDegree()" [color=lightblue]; @@ -10072,7 +10072,7 @@ SExpressionCategory(Str, Sym, Int, Flt, Expr): Category == Decl where \begin{chunk}{SEXCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SExpressionCategory(a:SetCategory,b:SetCategory,c:SetCategory,d:SetCategory,e:SetCategory)" @@ -10218,7 +10218,7 @@ StepThrough(): Category == SetCategory with \begin{chunk}{STEP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "StepThrough()" [color=lightblue]; @@ -10736,7 +10736,7 @@ ThreeSpaceCategory(R:Ring): Exports == Implementation where \begin{chunk}{SPACEC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ThreeSpaceCategory(a:Ring)" [color=lightblue]; @@ -10904,7 +10904,7 @@ AbelianMonoid(): Category == AbelianSemiGroup with \begin{chunk}{ABELMON.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AbelianMonoid()" [color=lightblue]; @@ -11137,7 +11137,7 @@ AffineSpaceCategory(K:Field):Category == Implementation where \begin{chunk}{AFSPCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AffineSpaceCategory()" [color=lightblue]; @@ -11383,7 +11383,7 @@ BagAggregate(S:Type): Category == HomogeneousAggregate S with \begin{chunk}{BGAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "BagAggregate(a:Type)" [color=lightblue]; @@ -11520,7 +11520,7 @@ CachableSet: Category == OrderedSet with \begin{chunk}{CACHSET.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CachableSet()" [color=lightblue]; @@ -11848,7 +11848,7 @@ Collection(S:Type): Category == HomogeneousAggregate(S) with \begin{chunk}{CLAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Collection(a:Type)" [color=lightblue]; @@ -12121,7 +12121,7 @@ DifferentialVariableCategory(S:OrderedSet): Category == \begin{chunk}{DVARCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DifferentialVariableCategory(a:OrderedSet)" [color=lightblue]; @@ -12703,7 +12703,7 @@ ExpressionSpace(): Category == Defn where \begin{chunk}{ES.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ExpressionSpace()" [color=lightblue]; @@ -12917,7 +12917,7 @@ GradedAlgebra(R: CommutativeRing, E: AbelianMonoid): Category == \begin{chunk}{GRALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "GradedAlgebra(a:CommutativeRing,b:AbelianMonoid)" [color=lightblue]; @@ -13273,7 +13273,7 @@ IndexedAggregate(Index: SetCategory, Entry: Type): Category == \begin{chunk}{IXAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "IndexedAggregate(a:SetCategory,b:Type)" [color=lightblue]; @@ -13488,7 +13488,7 @@ MonadWithUnit(): Category == Monad with \begin{chunk}{MONADWU.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "MonadWithUnit()" [color=lightblue]; @@ -13685,7 +13685,7 @@ Monoid(): Category == SemiGroup with \begin{chunk}{MONOID.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Monoid()" [color=lightblue]; @@ -13846,7 +13846,7 @@ OrderedFinite(): Category == Join(OrderedSet, Finite) \begin{chunk}{ORDFIN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedFinite()" [color=lightblue]; @@ -14064,7 +14064,7 @@ PlacesCategory(K:Field,PCS:LocalPowerSeriesCategory(K)):Category \begin{chunk}{PLACESC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PlacesCategory()" [color=lightblue]; @@ -14312,7 +14312,7 @@ ProjectiveSpaceCategory(K:Field):Category == Implementation where \begin{chunk}{PRSPCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ProjectiveSpaceCategory()" [color=lightblue]; @@ -14611,7 +14611,7 @@ RecursiveAggregate(S:Type): Category == HomogeneousAggregate(S) with \begin{chunk}{RCAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RecursiveAggregate(a:Type)" [color=lightblue]; @@ -15210,7 +15210,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where \begin{chunk}{ARR2CAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "TwoDimensionalArrayCategory(a:Type,b:FiniteLinearAggregate(a),c:FiniteLinearAggregate(a))" @@ -15593,7 +15593,7 @@ BinaryRecursiveAggregate(S:Type):Category == RecursiveAggregate S with \begin{chunk}{BRAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "BinaryRecursiveAggregate(a:Type)" [color=lightblue]; @@ -15739,7 +15739,7 @@ CancellationAbelianMonoid(): Category == AbelianMonoid with \begin{chunk}{CABMON.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CancellationAbelianMonoid()" [color=lightblue]; @@ -16055,7 +16055,7 @@ DictionaryOperations(S:SetCategory): Category == \begin{chunk}{DIOPS.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DictionaryOperations(a:SetCategory)" [color=lightblue]; @@ -16354,7 +16354,7 @@ DoublyLinkedAggregate(S:Type): Category == RecursiveAggregate S with \begin{chunk}{DLAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DoublyLinkedAggregate(a:Type)" [color=lightblue]; @@ -16553,7 +16553,7 @@ Group(): Category == Monoid with \begin{chunk}{GROUP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Group()" [color=lightblue]; @@ -16954,7 +16954,7 @@ LinearAggregate(S:Type): Category == \begin{chunk}{LNAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LinearAggregate(a:Type)" [color=lightblue]; @@ -19152,7 +19152,7 @@ MatrixCategory(R,Row,Col): Category == Definition where \begin{chunk}{MATCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "MatrixCategory(a:Ring,b:FiniteLinearAggregate(a),c:FiniteLinearAggregate(a)" @@ -19331,7 +19331,7 @@ OrderedAbelianSemiGroup(): Category == Join(OrderedSet, AbelianMonoid) \begin{chunk}{OASGP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedAbelianSemiGroup()" [color=lightblue]; @@ -19515,7 +19515,7 @@ OrderedMonoid(): Category == Join(OrderedSet, Monoid) \begin{chunk}{ORDMON.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedMonoid()" @@ -20186,7 +20186,7 @@ PolynomialSetCategory(R:Ring, E:OrderedAbelianMonoidSup,_ \begin{chunk}{PSETCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PolynomialSetCategory(a:Ring,b:OrderedAbelianMonoidSup,c:OrderedSet,d:RecursivePolynomialCategory(a,b,c))" @@ -20457,7 +20457,7 @@ PriorityQueueAggregate(S:OrderedSet): Category == BagAggregate S with \begin{chunk}{PRQAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PriorityQueueAggregate(a:Type)" [color=lightblue]; @@ -20707,7 +20707,7 @@ QueueAggregate(S:Type): Category == BagAggregate S with \begin{chunk}{QUAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "QueueAggregate(a:Type)" [color=lightblue]; @@ -21048,7 +21048,7 @@ SetAggregate(S:SetCategory): \begin{chunk}{SETAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SetAggregate(a:SetCategory)" [color=lightblue]; @@ -21318,7 +21318,7 @@ StackAggregate(S:Type): Category == BagAggregate S with \begin{chunk}{SKAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "StackAggregate(a:Type)" [color=lightblue]; @@ -21875,7 +21875,7 @@ UnaryRecursiveAggregate(S:Type): Category == RecursiveAggregate S with \begin{chunk}{URAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnaryRecursiveAggregate(a:Type)" [color=lightblue]; @@ -22055,7 +22055,7 @@ AbelianGroup(): Category == CancellationAbelianMonoid with \begin{chunk}{ABELGRP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AbelianGroup()" [color=lightblue]; @@ -22356,7 +22356,7 @@ BinaryTreeCategory(S: SetCategory): Category == _ \begin{chunk}{BTCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "BinaryTreeCategory(a:SetCategory)" [color=lightblue]; @@ -22653,7 +22653,7 @@ Dictionary(S:SetCategory): Category == \begin{chunk}{DIAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Dictionary(a:SetCategory)" [color=lightblue]; @@ -22968,7 +22968,7 @@ DequeueAggregate(S:Type): \begin{chunk}{DQAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DequeueAggregate(a:Type)" [color=lightblue]; @@ -23355,7 +23355,7 @@ ExtensibleLinearAggregate(S:Type):Category == LinearAggregate S with \begin{chunk}{ELAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ExtensibleLinearAggregate(a:Type)" [color=lightblue]; @@ -23803,7 +23803,7 @@ FiniteLinearAggregate(S:Type): Category == LinearAggregate S with \begin{chunk}{FLAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteLinearAggregate(a:Type)" [color=lightblue]; @@ -24015,7 +24015,7 @@ FreeAbelianMonoidCategory(S: SetCategory, E:CancellationAbelianMonoid): _ \begin{chunk}{FAMONC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FreeAbelianMonoidCategory(a:SetCategory,b:CancellationAbelianMonoid)" @@ -24318,7 +24318,7 @@ MultiDictionary(S:SetCategory): Category == DictionaryOperations S with \begin{chunk}{MDAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "MultiDictionary(a:SetCategory)" [color=lightblue]; @@ -24478,7 +24478,7 @@ OrderedAbelianMonoid(): Category == \begin{chunk}{OAMON.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedAbelianMonoid()" [color=lightblue]; @@ -24702,7 +24702,7 @@ PermutationCategory(S:SetCategory): Category == Group with \begin{chunk}{PERMCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PermutationCategory(a:SetCategory)" [color=lightblue]; @@ -25222,7 +25222,7 @@ StreamAggregate(S:Type): Category == \begin{chunk}{STAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "StreamAggregate(a:Type)" [color=lightblue]; @@ -26106,7 +26106,7 @@ TriangularSetCategory(R:IntegralDomain,E:OrderedAbelianMonoidSup,_ \begin{chunk}{TSETCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "TriangularSetCategory(a:IntegralDomain,b:OrderedAbelianMonoidSup,c:OrderedSet,d:RecursivePolynomialCategory(a,b,c))" @@ -26361,7 +26361,7 @@ FiniteDivisorCategory(F, UP, UPUP, R): Category == Result where \begin{chunk}{FDIVCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteDivisorCategory()" [color=lightblue]; @@ -26779,7 +26779,7 @@ FiniteSetAggregate(S:SetCategory): Category == \begin{chunk}{FSAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteSetAggregate(a:SetCategory)" [color=lightblue]; @@ -27095,7 +27095,7 @@ KeyedDictionary(Key:SetCategory, Entry:SetCategory): Category == \begin{chunk}{KDAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "KeyedDictionary(a:SetCategory,b:SetCategory)" [color=lightblue]; @@ -28032,7 +28032,7 @@ LazyStreamAggregate(S:Type): Category == StreamAggregate(S) with \begin{chunk}{LZSTAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LazyStreamAggregate(a:Type)" [color=lightblue]; @@ -28206,7 +28206,7 @@ LeftModule(R:Rng):Category == AbelianGroup with \begin{chunk}{LMODULE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LeftModule(a:Rng)" [color=lightblue]; @@ -28916,7 +28916,7 @@ ListAggregate(S:Type): Category == Join(StreamAggregate S, \begin{chunk}{LSAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ListAggregate(a:Type)" [color=lightblue]; @@ -29217,7 +29217,7 @@ MultisetAggregate(S:SetCategory): \begin{chunk}{MSETAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "MultisetAggregate(a:SetCategory)" [color=lightblue]; @@ -29407,7 +29407,7 @@ NonAssociativeRng(): Category == Join(AbelianGroup,Monad) with \begin{chunk}{NARNG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "NonAssociativeRng()" [color=lightblue]; @@ -30017,7 +30017,7 @@ OneDimensionalArrayAggregate(S:Type): Category == \begin{chunk}{A1AGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OneDimensionalArrayAggregate(a:Type)" [color=lightblue]; @@ -30175,7 +30175,7 @@ OrderedCancellationAbelianMonoid(): Category == \begin{chunk}{OCAMON.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedCancellationAbelianMonoid()" [color=lightblue]; @@ -30948,7 +30948,7 @@ RegularTriangularSetCategory(R:GcdDomain, E:OrderedAbelianMonoidSup,_ \begin{chunk}{RSETCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RegularTriangularSetCategory(a:GcdDomain,b:OrderedAbelianMonoidSup,c:OrderedSet,d:RecursivePolynomialCategory(a,b,c))" @@ -31124,7 +31124,7 @@ RightModule(R:Rng):Category == AbelianGroup with \begin{chunk}{RMODULE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RightModule(a:Rng)" [color=lightblue]; @@ -31283,7 +31283,7 @@ Rng(): Category == Join(AbelianGroup,SemiGroup) \begin{chunk}{RNG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Rng()" [color=lightblue]; @@ -31478,7 +31478,7 @@ BiModule(R:Ring,S:Ring):Category == \begin{chunk}{BMODULE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "BiModule(a:Ring,b:Ring)" [color=lightblue]; @@ -31920,7 +31920,7 @@ BitAggregate(): Category == \begin{chunk}{BTAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "BitAggregate()" [color=lightblue]; @@ -32154,7 +32154,7 @@ NonAssociativeRing(): Category == Join(NonAssociativeRng,MonadWithUnit) with \begin{chunk}{NASRING.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "NonAssociativeRing()" @@ -32623,7 +32623,7 @@ NormalizedTriangularSetCategory(R:GcdDomain,E:OrderedAbelianMonoidSup,_ \begin{chunk}{NTSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "NormalizedRegularTriangularSetCategory(a:GcdDomain,b:OrderedAbelianMonoidSup,c:OrderedSet,d:RecursivePolynomialCategory(a,b,c))" @@ -32810,7 +32810,7 @@ OrderedAbelianGroup(): Category == \begin{chunk}{OAGROUP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedAbelianGroup()" [color=lightblue]; @@ -32977,7 +32977,7 @@ OrderedAbelianMonoidSup(): Category == OrderedCancellationAbelianMonoid with \begin{chunk}{OAMONS.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedAbelianMonoidSup()" [color=lightblue]; @@ -33308,7 +33308,7 @@ OrderedMultisetAggregate(S:OrderedSet): Category == \begin{chunk}{OMSAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedMultisetAggregate(a:SetCategory)" [color=lightblue]; @@ -33543,7 +33543,7 @@ Ring(): Category == Join(Rng,Monoid,LeftModule(%)) with \begin{chunk}{RING.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Ring()" [color=lightblue]; @@ -34004,7 +34004,7 @@ SquareFreeRegularTriangularSetCategory(R:GcdDomain,E:OrderedAbelianMonoidSup,_ \begin{chunk}{SFRTCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SquareFreeRegularTriangularSetCategory(a:GcdDomain,b:OrderedAbelianMonoidSup,c:OrderedSet,d:RecursivePolynomialCategory(a,b,c))" @@ -34555,7 +34555,7 @@ StringAggregate: Category == OneDimensionalArrayAggregate Character with \begin{chunk}{SRAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "StringAggregate()" [color=lightblue]; @@ -35088,7 +35088,7 @@ TableAggregate(Key:SetCategory, Entry:SetCategory): Category == \begin{chunk}{TBAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "TableAggregate(a:SetCategory,b:SetCategory)" [color=lightblue]; @@ -35567,7 +35567,7 @@ VectorCategory(R:Type): Category == OneDimensionalArrayAggregate R with \begin{chunk}{VECTCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "VectorCategory(a:Type)" [color=lightblue]; @@ -36282,7 +36282,7 @@ AssociationListAggregate(Key:SetCategory,Entry:SetCategory): Category == \begin{chunk}{ALAGG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AssociationListAggregate(a:SetCategory,b:SetCategory)" [color=lightblue]; @@ -36480,7 +36480,7 @@ CharacteristicNonZero():Category == Ring with \begin{chunk}{CHARNZ.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CharacteristicNonZero()" [color=lightblue]; @@ -36673,7 +36673,7 @@ CharacteristicZero():Category == Ring \begin{chunk}{CHARZ.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CharacteristicZero()" [color=lightblue]; @@ -36882,7 +36882,7 @@ CommutativeRing():Category == Join(Ring,BiModule(%,%)) with \begin{chunk}{COMRING.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "CommutativeRing()" [color=lightblue]; @@ -37122,7 +37122,7 @@ DifferentialRing(): Category == Ring with \begin{chunk}{DIFRING.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DifferentialRing()" [color=lightblue]; @@ -37327,7 +37327,7 @@ EntireRing():Category == Join(Ring,BiModule(%,%)) with \begin{chunk}{ENTIRER.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "EntireRing()" [color=lightblue]; @@ -37606,7 +37606,7 @@ FreeModuleCat(R, Basis):Category == Exports where \begin{chunk}{FMCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FreeModuleCat(a:Ring,b:SetCategory)" [color=lightblue]; @@ -37800,7 +37800,7 @@ LeftAlgebra(R:Ring): Category == Join(Ring, LeftModule R) with \begin{chunk}{LALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LeftAlgebra(a:Ring)" [color=lightblue]; @@ -38004,7 +38004,7 @@ LinearlyExplicitRingOver(R:Ring): Category == Ring with \begin{chunk}{LINEXP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LinearlyExplicitRingOver(a:Ring)" [color=lightblue]; @@ -38193,7 +38193,7 @@ Module(R:CommutativeRing): Category == BiModule(R,R) \begin{chunk}{MODULE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Module(a:CommutativeRing)" [color=lightblue]; @@ -38439,7 +38439,7 @@ OrderedRing(): Category == Join(OrderedAbelianGroup,Ring,Monoid) with \begin{chunk}{ORDRING.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedRing()" [color=lightblue]; @@ -38713,7 +38713,7 @@ PartialDifferentialRing(S:SetCategory): Category == Ring with \begin{chunk}{PDRING.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PartialDifferentialRing(a:SetCategory)" [color=lightblue]; @@ -39122,7 +39122,7 @@ PointCategory(R:Ring) : Category == VectorCategory(R) with \begin{chunk}{PTCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PointCategory(a:Ring)" [color=lightblue]; @@ -39583,7 +39583,7 @@ RectangularMatrixCategory(m,n,R,Row,Col): Category == Definition where \begin{chunk}{RMATCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RectangularMatrixCategory(a:NonNegativeInteger,b:NonNegativeInteger,c:Ring,d:DirectProductCategory(b,c),e:DirectProductCategory(a,c))" @@ -40041,7 +40041,7 @@ SquareFreeNormalizedTriangularSetCategory(R:GcdDomain,_ \begin{chunk}{SNTSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SquareFreeNormalizedTriangularSetCategory(a:GcdDomain,b:OrderedAbelianMonoidSup,c:OrderedSet,d:RecursivePolynomialCategory(a,b,c))" @@ -40489,7 +40489,7 @@ StringCategory():Category == _ \begin{chunk}{STRICAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "StringCategory()" [color=lightblue]; @@ -41033,7 +41033,7 @@ UnivariateSkewPolynomialCategory(R:Ring): \begin{chunk}{OREPCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariateSkewPolynomialCategory(R:Ring)" [color=lightblue]; @@ -41275,7 +41275,7 @@ XAlgebra(R: Ring): Category == \begin{chunk}{XALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "XAlgebra(a:Ring)" @@ -41530,7 +41530,7 @@ Algebra(R:CommutativeRing): Category == \begin{chunk}{ALGEBRA.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Algebra(a:CommutativeRing)" [color=lightblue]; @@ -41836,7 +41836,7 @@ DifferentialExtension(R:Ring): Category == Ring with \begin{chunk}{DIFEXT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DifferentialExtension(a:Ring)" [color=lightblue]; @@ -42074,7 +42074,7 @@ FullyLinearlyExplicitRingOver(R:Ring):Category == \begin{chunk}{FLINEXP.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FullyLinearlyExplicitRingOver(a:Ring)" [color=lightblue]; @@ -42275,7 +42275,7 @@ LieAlgebra(R: CommutativeRing): Category == Module(R) with \begin{chunk}{LIECAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LieAlgebra(a:CommutativeRing)" [color=lightblue]; @@ -42644,7 +42644,7 @@ LinearOrdinaryDifferentialOperatorCategory(A:Ring): Category == \begin{chunk}{LODOCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LinearOrdinaryDifferentialOperatorCategory(a:Ring)" [color=lightblue]; @@ -42900,7 +42900,7 @@ NonAssociativeAlgebra(R:CommutativeRing): Category == _ \begin{chunk}{NAALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "NonAssociativeAlgebra(a:CommutativeRing)" [color=lightblue]; @@ -43092,7 +43092,7 @@ VectorSpace(S:Field): Category == Module(S) with \begin{chunk}{VSPACE.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "VectorSpace(a:Field)" [color=lightblue]; @@ -43452,7 +43452,7 @@ XFreeAlgebra(vl:OrderedSet,R:Ring):Category == Catdef where \begin{chunk}{XFALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "XFreeAlgebra(a:OrderedSet,b:Ring)" @@ -44104,7 +44104,7 @@ DirectProductCategory(dim:NonNegativeInteger, R:Type): Category == \begin{chunk}{DIRPCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DirectProductCategory(a:NonNegativeInteger,b:Type)" [color=lightblue]; @@ -44340,7 +44340,7 @@ DivisionRing(): Category == \begin{chunk}{DIVRING.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DivisionRing()" [color=lightblue]; @@ -45313,7 +45313,7 @@ FiniteRankNonAssociativeAlgebra(R:CommutativeRing): \begin{chunk}{FINAALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteRankNonAssociativeAlgebra(a:CommutativeRing)" [color=lightblue]; @@ -45586,7 +45586,7 @@ FreeLieAlgebra(VarSet:OrderedSet, R:CommutativeRing) :Category == _ \begin{chunk}{FLALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FreeLieAlgebra(a:OrderedSet,b:CommutativeRing)" [color=lightblue]; @@ -45876,7 +45876,7 @@ IntegralDomain(): Category == \begin{chunk}{INTDOM.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "IntegralDomain()" [color=lightblue]; @@ -46134,7 +46134,7 @@ MonogenicLinearOperator(R): Category == Defn where \begin{chunk}{MLO.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "MonogenicLinearOperator(a:Ring)" [color=lightblue]; @@ -46753,7 +46753,7 @@ OctonionCategory(R: CommutativeRing): Category == \begin{chunk}{OC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OctonionCategory(a:CommutativeRing)" [color=lightblue]; @@ -47307,7 +47307,7 @@ QuaternionCategory(R: CommutativeRing): Category == \begin{chunk}{QUATCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "QuaternionCategory(a:CommutativeRing)" [color=lightblue]; @@ -47882,7 +47882,7 @@ SquareMatrixCategory(ndim,R,Row,Col): Category == Definition where \begin{chunk}{SMATCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "SquareMatrixCategory(a:NonNegativeInteger,b:Ring,c:DirectProductCategory(a,b),d:DirectProductCategory(a,b)" @@ -48219,7 +48219,7 @@ XPolynomialsCat(vl:OrderedSet,R:Ring):Category == Export where \begin{chunk}{XPOLYC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "XPolynomialsCat(a:OrderedRing,b:Ring)" @@ -48596,7 +48596,7 @@ AbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == \begin{chunk}{AMR.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AbelianMonoidRing(a:Ring,b:OrderedAbelianMonoid)" [color=lightblue]; @@ -48854,7 +48854,7 @@ FortranMachineTypeCategory():Category == Join(IntegralDomain,OrderedSet, \begin{chunk}{FMTC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FortranMachineTypeCategory()" @@ -49556,7 +49556,7 @@ FramedNonAssociativeAlgebra(R:CommutativeRing): \begin{chunk}{FRNAALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FramedNonAssociativeAlgebra(a:CommutativeRing)" [color=lightblue]; @@ -49855,7 +49855,7 @@ GcdDomain(): Category == IntegralDomain with \begin{chunk}{GCDDOM.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "GcdDomain()" [color=lightblue]; @@ -50096,7 +50096,7 @@ OrderedIntegralDomain(): Category == \begin{chunk}{OINTDOM.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "OrderedIntegralDomain()" @@ -50530,7 +50530,7 @@ FiniteAbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == \begin{chunk}{FAMR.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteAbelianMonoidRing(a:Ring,b:OrderedAbelianMonoid)" [color=lightblue]; @@ -50971,7 +50971,7 @@ IntervalCategory(R: Join(FloatingPointSystem,TranscendentalFunctionCategory)): \begin{chunk}{INTCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "IntervalCategory(a:Join(FloatingPointSystem,TranscendentalFunctionCategory))" @@ -51316,7 +51316,7 @@ PowerSeriesCategory(Coef,Expon,Var): Category == Definition where \begin{chunk}{PSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PowerSeriesCategory(a:Ring,b:OrderedAbelianMonoid,c:OrderedSet)" @@ -51583,7 +51583,7 @@ PrincipalIdealDomain(): Category == GcdDomain with \begin{chunk}{PID.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PrincipalIdealDomain()" [color=lightblue]; @@ -51851,7 +51851,7 @@ UniqueFactorizationDomain(): Category == GcdDomain with \begin{chunk}{UFD.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UniqueFactorizationDomain()" [color=lightblue]; @@ -52124,7 +52124,7 @@ DivisorCategory(S:SetCategory):Category == Exports where \begin{chunk}{DIVCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DivisorCategory()" [color=lightblue]; @@ -52507,7 +52507,7 @@ EuclideanDomain(): Category == PrincipalIdealDomain with \begin{chunk}{EUCDOM.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "EuclideanDomain()" [color=lightblue]; @@ -52996,7 +52996,7 @@ MultivariateTaylorSeriesCategory(Coef,Var): Category == Definition where \begin{chunk}{MTSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "MultivariateTaylorSeriesCategory(a:Ring,b:OrderedSet)" [color=lightblue]; @@ -53316,7 +53316,7 @@ PolynomialFactorizationExplicit(): Category == Definition where \begin{chunk}{PFECAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PolynomialFactorizationExplicit()" [color=lightblue]; @@ -53786,7 +53786,7 @@ UnivariatePowerSeriesCategory(Coef,Expon): Category == Definition where \begin{chunk}{UPSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariatePowerSeriesCategory(a:Ring,b:OrderedAbelianMonoid)" @@ -54153,7 +54153,7 @@ Field(): Category == Join(EuclideanDomain,UniqueFactorizationDomain, \begin{chunk}{FIELD.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "Field()" [color=lightblue]; @@ -54752,7 +54752,7 @@ IntegerNumberSystem(): Category == \begin{chunk}{INS.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "IntegerNumberSystem()" [color=lightblue]; @@ -55240,7 +55240,7 @@ LocalPowerSeriesCategory(K:Field):Category == Implementation where \begin{chunk}{LOCPOWC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "LocalPowerSeriesCategory(f:Field)" [color=lightblue]; @@ -55534,7 +55534,7 @@ PAdicIntegerCategory(p): Category == Definition where \begin{chunk}{PADICCT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PAdicIntegerCategory(a:Integer)" [color=lightblue]; @@ -56602,7 +56602,7 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): \begin{chunk}{POLYCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PolynomialCategory(a:Ring,b:OrderedAbelianMonoidSup,c:OrderedSet)" @@ -57352,7 +57352,7 @@ UnivariateTaylorSeriesCategory(Coef): Category == Definition where \begin{chunk}{UTSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariateTaylorSeriesCategory(a:Ring)" [color=lightblue]; @@ -58030,7 +58030,7 @@ AlgebraicallyClosedField(): Category == Join(Field,RadicalCategory) with \begin{chunk}{ACF.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AlgebraicallyClosedField()" [color=lightblue]; @@ -58886,7 +58886,7 @@ DifferentialPolynomialCategory(R:Ring,S:OrderedSet, \begin{chunk}{DPOLCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "DifferentialPolynomialCategory(a:Ring,b:OrderedSet,c:DifferentialVariableCategory(b),d:OrderedAbelianMonoidSup)" @@ -59237,7 +59237,7 @@ FieldOfPrimeCharacteristic:Category == _ \begin{chunk}{FPC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FieldOfPrimeCharacteristic()" [color=lightblue]; @@ -59547,7 +59547,7 @@ FiniteRankAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R): \begin{chunk}{FINRALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteRankAlgebra(a:CommutativeRing,b:UnivariatePolynomialCategory(a))" @@ -60995,7 +60995,7 @@ FunctionSpace(R:OrderedSet): Category == Definition where \begin{chunk}{FS.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FunctionSpace(a:OrderedSet)" [color=lightblue]; @@ -61281,7 +61281,7 @@ InfinitlyClosePointCategory(_ \begin{chunk}{INFCLCT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "InfinitlyClosePointCategory" [color=lightblue]; @@ -61638,7 +61638,7 @@ PseudoAlgebraicClosureOfPerfectFieldCategory() : Category == PUB where \begin{chunk}{PACPERC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PseudoAlgebraicClosureOfPerfectFieldCategory" [color=lightblue]; @@ -62329,7 +62329,7 @@ QuotientFieldCategory(S: IntegralDomain): Category == \begin{chunk}{QFCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "QuotientFieldCategory(a:IntegralDomain)" [color=lightblue]; @@ -62883,7 +62883,7 @@ RealClosedField : Category == PUB where \begin{chunk}{RCFIELD.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RealClosedField()" [color=lightblue]; @@ -63314,7 +63314,7 @@ RealNumberSystem(): Category == \begin{chunk}{RNS.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RealNumberSystem()" [color=lightblue]; @@ -65268,7 +65268,7 @@ RecursivePolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, V:OrderedSet):_ \begin{chunk}{RPOLCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "RecursivePolynomialCategory(a:Ring,b:OrderedAbelianMonoidSup,c:OrderedSet)" @@ -65911,7 +65911,7 @@ UnivariateLaurentSeriesCategory(Coef): Category == Definition where \begin{chunk}{ULSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariateLaurentSeriesCategory(a:Ring)" [color=lightblue]; @@ -66527,7 +66527,7 @@ UnivariatePuiseuxSeriesCategory(Coef): Category == Definition where \begin{chunk}{UPXSCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariatePuiseuxSeriesCategory(a:Ring)" [color=lightblue]; @@ -67721,7 +67721,7 @@ UnivariatePolynomialCategory(R:Ring): Category == \begin{chunk}{UPOLYC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariatePolynomialCategory(a:Ring)" [color=lightblue]; @@ -68472,7 +68472,7 @@ AlgebraicallyClosedFunctionSpace(R:Join(OrderedSet, IntegralDomain)): \begin{chunk}{ACFS.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "AlgebraicallyClosedFunctionSpace(a:Join(OrderedSet,IntegralDomain))" @@ -68889,7 +68889,7 @@ ExtensionField(F:Field) : Category == _ \begin{chunk}{XF.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ExtensionField(a:Field)" [color=lightblue]; @@ -69489,7 +69489,7 @@ FiniteFieldCategory() : Category ==_ \begin{chunk}{FFIELDC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteFieldCategory()" [color=lightblue]; @@ -69969,7 +69969,7 @@ FloatingPointSystem(): Category == RealNumberSystem() with \begin{chunk}{FPS.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FloatingPointSystem()" [color=lightblue]; @@ -70284,7 +70284,7 @@ FramedAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R): \begin{chunk}{FRAMALG.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FramedAlgebra(a:CommutativeRing,b:UnivariatePolynomialCategory(a))" @@ -70685,7 +70685,7 @@ PseudoAlgebraicClosureOfFiniteFieldCategory:Category == \begin{chunk}{PACFFC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PseudoAlgebraicClosureOfFiniteFieldCategory" [color=lightblue]; @@ -71521,7 +71521,7 @@ UnivariateLaurentSeriesConstructorCategory(Coef,UTS):_ \begin{chunk}{ULSCCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariateLaurentSeriesConstructorCategory(a:Ring,b:UnivariateTaylorSeriesCategory(Ring))" @@ -72138,7 +72138,7 @@ UnivariatePuiseuxSeriesConstructorCategory(Coef,ULS):_ \begin{chunk}{UPXSCCA.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "UnivariatePuiseuxSeriesConstructorCategory(a:Ring,b:UnivariateLaurentSeriesCategory(a))" @@ -72912,7 +72912,7 @@ FiniteAlgebraicExtensionField(F : Field) : Category == _ \begin{chunk}{FAXF.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FiniteAlgebraicExtensionField(a:Field)" @@ -73560,7 +73560,7 @@ MonogenicAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R): \begin{chunk}{MONOGEN.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "MonogenicAlgebra(a:CommutativeRing,b:UnivariatePolynomialCategory(a))" @@ -73963,7 +73963,7 @@ PseudoAlgebraicClosureOfRationalNumberCategory:Category == \begin{chunk}{PACRATC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PseudoAlgebraicClosureOfRationalNumberCategory" [color=lightblue]; @@ -75097,7 +75097,7 @@ ComplexCategory(R:CommutativeRing): Category == \begin{chunk}{COMPCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "ComplexCategory(R:CommutativeRing)" [color=lightblue]; @@ -76253,7 +76253,7 @@ FunctionFieldCategory(F, UP, UPUP): Category == Definition where \begin{chunk}{FFCAT.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "FunctionFieldCategory(a:UFD,b:UPOLYC(a),c:UPOLYC(Fraction(b)))" @@ -76698,7 +76698,7 @@ PseudoAlgebraicClosureOfAlgExtOfRationalNumberCategory:Category == Impl where \begin{chunk}{PACEXTC.dotpic} digraph pic { fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; "PseudoAlgebraicClosureOfAlgExtOfRationalNumberCategory" @@ -91302,7 +91302,7 @@ Note that this code is not included in the generated catdef.spad file. \begin{chunk}{dotabb} digraph dotabb { ranksep=1.25; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; \getchunk{CATEGORY.dotabb} @@ -91527,7 +91527,7 @@ digraph dotfull { ranksep=1.25; nodesep=1.5; fontsize=10; - bgcolor="#FFFF66"; + bgcolor="#ECEA81"; node [shape=box, color=white, style=filled]; \getchunk{CATEGORY.dotfull} diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 1d0185d..74c37a6 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -4851,7 +4851,7 @@ and do a lookup for the source file. page:=page "" page:=page "" cmd " " args.1 "" - page:=page "" + page:=page "" page:=page "" cmd = "db" => dom:=args.1 diff --git a/books/bookvol11.pamphlet b/books/bookvol11.pamphlet index 8d15722..6d38775 100644 --- a/books/bookvol11.pamphlet +++ b/books/bookvol11.pamphlet @@ -1037,7 +1037,7 @@ hardly matters either way as the style sheet is trivial. - +
  1.0    Literate Programming - A Gentle Introduction
diff --git a/src/axiom-website/nov2008abb.svg b/src/axiom-website/nov2008abb.svg
index e22a237..28be917 100644
--- a/src/axiom-website/nov2008abb.svg
+++ b/src/axiom-website/nov2008abb.svg
@@ -32,7 +32,7 @@ function RunScript(LoadEvent) {
 
 
 dotabb
-
+
 
 CATEGORY
 
diff --git a/src/axiom-website/outsidelinks.html b/src/axiom-website/outsidelinks.html
index a181698..4508b52 100644
--- a/src/axiom-website/outsidelinks.html
+++ b/src/axiom-website/outsidelinks.html
@@ -4,7 +4,7 @@
   
   Axiom Computer Algebra System
  
- 
+