diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 453e0e2..5493f91 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -290,6 +290,13 @@ November 10, 2003 ((iHy)) \eject \pagenumbering{arabic} \setcounter{chapter}{0} % Chapter 1 +\chapter{Chapter Overview} +This book contains the domains in Axiom, in alphabetical order. + +Each domain has an associated 'dotpic' chunk which only lists the +domains, categories, and packages that are in the layer immediately +below in the build order. For the full list see the algebra Makefile +where this information is maintained. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %\pagehead{Domain}{ABB} %\pagepic{ps/v103domain.ps}{ABB}{1.00} @@ -688,6 +695,11 @@ AlgebraGivenByStructuralConstants(R:Field, n : PositiveInteger,_ true @ +<>= +"ALGSC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ALGSC"] +"ALGSC" -> "FRNAALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ALGFF AlgebraicFunctionField} \pagehead{AlgebraicFunctionField}{ALGFF} @@ -833,28 +845,13 @@ AlgebraicFunctionField(F, UP, UPUP, modulus): Exports == Impl where not ground? gcd(retract(discriminant())@UP, p) @ +<>= +"ALGFF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ALGFF"] +"ALGFF" -> "FFCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain AN AlgebraicNumber} -<>= -"AN" -> "ES" -"AlgebraicNumber()" -> "ExpressionSpace()" -"AN" -> "ACF" -"AlgebraicNumber()" -> "AlgebraicallyClosedField()" -"AN" -> "RETRACT" -"AlgebraicNumber()" -> "RetractableTo(Integer)" -"AlgebraicNumber()" -> "RetractableTo(Fraction(Integer))" -"AN" -> "LINEXP" -"AlgebraicNumber()" -> "LinearlyExplicitRingOver(Integer)" -"AlgebraicNumber()" -> "LinearlyExplicitRingOver(Fraction(Integer))" -"AN" -> "REAL" -"AlgebraicNumber()" -> "RealConstant()" -"AN" -> "CHARZ" -"AlgebraicNumber()" -> "CharacteristicZero()" -"AN" -> "KONVERT" -"AlgebraicNumber()" -> "ConvertibleTo(Complex(Float))" -"AN" -> "DIFRING" -"AlgebraicNumber()" -> "DifferentialRing()" -@ \pagehead{AlgebraicNumber}{AN} \pagepic{ps/v103algebraicnumber.ps}{AN}{1.00} See also:\\ @@ -909,6 +906,11 @@ AlgebraicNumber(): Exports == Implementation where a=b == trueEqual((a-b)::Rep,0::Rep) @ +<>= +"AN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=AN"] +"AN" -> "ACF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ANON AnonymousFunction} \pagehead{AnonymousFunction}{ANON} @@ -921,6 +923,12 @@ AnonymousFunction():SetCategory == add coerce(x:%):OutputForm == x pretend OutputForm @ +<>= +"ANON" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ANON"] +"ANON" -> "BASTYPE" +"ANON" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ANTISYM AntiSymm} \pagehead{AntiSymm}{ANTISYM} @@ -1126,12 +1134,13 @@ AntiSymm(R:Ring, lVar:List Symbol): Export == Implement where reduce(_+,[makeTerm(t.coef,t.base) for t in (a @ Rep)])$L(O) @ +<>= +"ANTISYM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ANTISYM"] +"ANTISYM" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ANY Any} -<>= -"ANY" -> "SETCAT" -"Any()" -> "SetCategory()" -@ \pagehead{Any}{ANY} \pagepic{ps/v103any.ps}{ANY}{1.00} See also:\\ @@ -1216,12 +1225,13 @@ Any(): SetCategory with error "function any must have a domain as first argument" @ +<>= +"ANY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ANY"] +"ANY" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASTACK ArrayStack} -<>= -"ASTACK" -> "STACK" -"ArrayStack(a:SetCategory)" -> "Stack(a:SetCategory)" -@ \pagehead{ArrayStack}{ASTACK} \pagepic{ps/v103arraystack.ps}{ASTACK}{1.00} See also:\\ @@ -1281,6 +1291,11 @@ ArrayStack(S:SetCategory): StackAggregate(S) with empty() == new(0,0 pretend S) @ +<>= +"ASTACK" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASTACK"] +"ASTACK" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP1 Asp1} \pagehead{Asp1}{ASP1} @@ -1392,6 +1407,11 @@ Asp1(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP1" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP1"] +"ASP1" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP10 Asp10} \pagehead{Asp10}{ASP10} @@ -1533,6 +1553,11 @@ Asp10(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP10" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP10"] +"ASP10" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP12 Asp12} \pagehead{Asp12}{ASP12} @@ -1603,6 +1628,11 @@ Asp12(name): Exports == Implementation where outputAsFortran():Void == outputAsFortran(code)$Rep @ +<>= +"ASP12" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP12"] +"ASP12" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP19 Asp19} \pagehead{Asp19}{ASP19} @@ -1878,6 +1908,11 @@ Asp19(name): Exports == Implementation where (v::VEC FEXPR)::$ @ +<>= +"ASP19" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP19"] +"ASP19" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP20 Asp20} \pagehead{Asp20}{ASP20} @@ -2045,6 +2080,11 @@ Asp20(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP20" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP20"] +"ASP20" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP24 Asp24} \pagehead{Asp24}{ASP24} @@ -2163,6 +2203,11 @@ Asp24(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP24" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP24"] +"ASP24" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP27 Asp27} \pagehead{Asp27}{ASP27} @@ -2263,6 +2308,11 @@ Asp27(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP27" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP27"] +"ASP27" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP28 Asp28} \pagehead{Asp28}{ASP28} @@ -2474,6 +2524,11 @@ Asp28(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP28" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP28"] +"ASP28" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP29 Asp29} \pagehead{Asp29}{ASP29} @@ -2548,6 +2603,11 @@ Asp29(name): Exports == Implementation where outputAsFortran(coerce(code)@Rep)$Rep @ +<>= +"ASP29" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP29"] +"ASP29" -> "FORTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP30 Asp30} \pagehead{Asp30}{ASP30} @@ -2678,6 +2738,11 @@ Asp30(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP30" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP30"] +"ASP30" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP31 Asp31} \pagehead{Asp31}{ASP31} @@ -2842,6 +2907,11 @@ Asp31(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP31" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP31"] +"ASP31" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP33 Asp33} \pagehead{Asp33}{ASP33} @@ -2896,6 +2966,11 @@ Asp33(name): Exports == Implementation where coerce(u:$):OutputForm == coerce(u)$Rep @ +<>= +"ASP33" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP33"] +"ASP33" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP34 Asp34} \pagehead{Asp34}{ASP34} @@ -2996,6 +3071,12 @@ Asp34(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP34" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP34"] +"ASP34" -> "FIELD" +"ASP34" -> "RADCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP35 Asp35} \pagehead{Asp35}{ASP35} @@ -3170,6 +3251,11 @@ Asp35(name): Exports == Implementation where (v::VEC FEXPR)::$ @ +<>= +"ASP35" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP35"] +"ASP35" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP4 Asp4} \pagehead{Asp4}{ASP4} @@ -3282,6 +3368,11 @@ Asp4(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP4" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP4"] +"ASP4" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP41 Asp41} \pagehead{Asp41}{ASP41} @@ -3295,7 +3386,8 @@ Asp4(name): Exports == Implementation where ++ Related Constructors: FortranFunctionCategory, FortranProgramCategory. ++ Description: ++\spadtype{Asp41} produces Fortran for Type 41 ASPs, needed for NAG -++routines \axiomOpFrom{d02raf}{d02Package} and \axiomOpFrom{d02saf}{d02Package} +++routines \axiomOpFrom{d02raf}{d02Package} and +++\axiomOpFrom{d02saf}{d02Package} ++in particular. These ASPs are in fact ++three Fortran routines which return a vector of functions, and their ++derivatives wrt Y(i) and also a continuation parameter EPS, for example: @@ -3503,6 +3595,11 @@ Asp41(nameOne,nameTwo,nameThree): Exports == Implementation where (v::VEC FEXPR)::$ @ +<>= +"ASP41" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP41"] +"ASP41" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP42 Asp42} \pagehead{Asp42}{ASP42} @@ -3745,6 +3842,11 @@ Asp42(nameOne,nameTwo,nameThree): Exports == Implementation where (v::VEC FEXPR)::$ @ +<>= +"ASP42" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP42"] +"ASP42" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP49 Asp49} \pagehead{Asp49}{ASP49} @@ -3893,6 +3995,11 @@ Asp49(name): Exports == Implementation where (foo::FEXPR)::$ @ +<>= +"ASP49" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP49"] +"ASP49" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP50 Asp50} \pagehead{Asp50}{ASP50} @@ -4057,6 +4164,11 @@ Asp50(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP50" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP50"] +"ASP50" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP55 Asp55} \pagehead{Asp55}{ASP55} @@ -4264,6 +4376,11 @@ Asp55(name): Exports == Implementation where (v::VEC FEXPR)::$ @ +<>= +"ASP55" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP55"] +"ASP55" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP6 Asp6} \pagehead{Asp6}{ASP6} @@ -4414,6 +4531,11 @@ Asp6(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP6" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP6"] +"ASP6" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP7 Asp7} \pagehead{Asp7}{ASP7} @@ -4550,6 +4672,11 @@ Asp7(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP7" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP7"] +"ASP7" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP73 Asp73} \pagehead{Asp73}{ASP73} @@ -4698,6 +4825,11 @@ Asp73(name): Exports == Implementation where (v::VEC FEXPR)::$ @ +<>= +"ASP73" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP73"] +"ASP73" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP74 Asp74} \pagehead{Asp74}{ASP74} @@ -4887,6 +5019,11 @@ Asp74(name): Exports == Implementation where (v::MAT FEXPR)::$ @ +<>= +"ASP74" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP74"] +"ASP74" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP77 Asp77} \pagehead{Asp77}{ASP77} @@ -5041,6 +5178,11 @@ Asp77(name): Exports == Implementation where (v::MAT FEXPR)::$ @ +<>= +"ASP77" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP77"] +"ASP77" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP78 Asp78} \pagehead{Asp78}{ASP78} @@ -5170,6 +5312,11 @@ Asp78(name): Exports == Implementation where (v::VEC FEXPR)::$ @ +<>= +"ASP78" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP78"] +"ASP78" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP8 Asp8} \pagehead{Asp8}{ASP8} @@ -5300,6 +5447,11 @@ Asp8(name): Exports == Implementation where ([locals,code]$RSFC)::% @ +<>= +"ASP8" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP8"] +"ASP8" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP80 Asp80} \pagehead{Asp80}{ASP80} @@ -5452,6 +5604,11 @@ Asp80(name): Exports == Implementation where (v::MAT FEXPR)::$ @ +<>= +"ASP80" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP80"] +"ASP80" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ASP9 Asp9} \pagehead{Asp9}{ASP9} @@ -5583,6 +5740,11 @@ Asp9(name): Exports == Implementation where p => restorePrecision()$NAGLinkSupportPackage @ +<>= +"ASP9" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ASP9"] +"ASP9" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain JORDAN AssociatedJordanAlgebra} \pagehead{AssociatedJordanAlgebra}{JORDAN} @@ -5649,6 +5811,11 @@ AssociatedJordanAlgebra(R:CommutativeRing,A:NonAssociativeAlgebra R): (a:%) ** (n:PositiveInteger) == a @ +<>= +"JORDAN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=JORDAN"] +"JORDAN" -> "FRNAALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LIE AssociatedLieAlgebra} \pagehead{AssociatedLieAlgebra}{LIE} @@ -5711,6 +5878,11 @@ AssociatedLieAlgebra(R:CommutativeRing,A:NonAssociativeAlgebra R): 0 @ +<>= +"LIE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LIE"] +"LIE" -> "FRNAALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ALIST AssociationList} <>= @@ -5898,7 +6070,6 @@ See Also: o )help Table o )help List o )show AssociationList -o $AXIOM/doc/src/algebra/list.spad.dvi @ \pagehead{AssociationList}{ALIST} @@ -5988,6 +6159,11 @@ AssociationList(Key:SetCategory, Entry:SetCategory): first(curr).entry @ +<>= +"ALIST" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ALIST"] +"ALIST" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ATTRBUT AttributeButtons} \pagehead{AttributeButtons}{ATTRBUT} @@ -6204,6 +6380,11 @@ AttributeButtons(): E == I where " not found for routine " routineName)$ErrorFunctions @ +<>= +"ATTRBUT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ATTRBUT"] +"ATTRBUT" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain AUTOMOR Automorphism} \pagehead{Automorphism}{AUTOMOR} @@ -6265,6 +6446,11 @@ Automorphism(R:Ring): Join(Group, Eltable(R, R)) with iterat(f g #1, (inv g)(inv f) #1, #2, #1) @ +<>= +"AUTOMOR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=AUTOMOR"] +"AUTOMOR" -> "GROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter B} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -6458,7 +6644,6 @@ Call the Chinese Remainder Algorithm to get the answer for 12^2. See Also: o )show BalancedBinaryTree -o $AXIOM/doc/src/algebra/tree.spad.dvi @ \pagehead{BalancedBinaryTree}{BBTREE} @@ -6622,6 +6807,11 @@ BalancedBinaryTree(S: SetCategory): Exports == Implementation where x @ +<>= +"BBTREE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BBTREE"] +"BBTREE" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BPADIC BalancedPAdicInteger} \pagehead{BalancedPAdicInteger}{BPADIC} @@ -6650,6 +6840,11 @@ See also:\\ BalancedPAdicInteger(p:Integer) == InnerPAdicInteger(p,false$Boolean) @ +<>= +"BPADIC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BPADIC"] +"BPADIC" -> "PADICCT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BPADICRT BalancedPAdicRational} \pagehead{BalancedPAdicRational}{BPADICRT} @@ -6680,6 +6875,11 @@ BalancedPAdicRational(p:Integer) == PAdicRationalConstructor(p,BalancedPAdicInteger p) @ +<>= +"BPADICRT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BPADICRT"] +"BPADICRT" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BFUNCT BasicFunctions} \pagehead{BasicFunctions}{BFUNCT} @@ -6749,6 +6949,11 @@ BasicFunctions(): E == I where bfEntry(k:Symbol):RS == qelt(bf(),k)$Rep @ +<>= +"BFUNCT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BFUNCT"] +"BFUNCT" -> "FIELD-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BOP BasicOperator} <>= @@ -7052,7 +7257,6 @@ See Also o )help Expression o )help Kernel o )show BasicOperator -o $AXIOM/doc/src/algebra/op.spad.dvi @ \pagehead{BasicOperator}{BOP} @@ -7237,6 +7441,11 @@ BasicOperator(): Exports == Implementation where false @ +<>= +"BOP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BOP"] +"BOP" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BINARY BinaryExpansion} <>= @@ -7398,7 +7607,6 @@ See Also: o )help DecimalExpansion o )help HexadecimalExpansion o )show BinaryExpansion -o $AXIOM/doc/src/algebra/radix.spad.dvi @ \pagehead{BinaryExpansion}{BINARY} @@ -7441,6 +7649,11 @@ BinaryExpansion(): Exports == Implementation where coerce(x:%): RadixExpansion(2) == x pretend RadixExpansion(2) @ +<>= +"BINARY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BINARY"] +"BINARY" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BINFILE BinaryFile} \pagehead{BinaryFile}{BINFILE} @@ -7555,6 +7768,11 @@ BinaryFile: Cat == Def where (FILE_-POSITION(f.fileState,i)$Lisp ; i) @ +<>= +"BINFILE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BINFILE"] +"BINFILE" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BSTREE BinarySearchTree} <>= @@ -7758,7 +7976,6 @@ Have Axiom check that these are equal. See Also: o )show BinarySearchTree -o $AXIOM/doc/src/algebra/tree.spad.dvi @ \pagehead{BinarySearchTree}{BSTREE} @@ -7831,6 +8048,11 @@ BinarySearchTree(S: OrderedSet): Exports == Implementation where node(a.less, x, a.greater) @ +<>= +"BSTREE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BSTREE"] +"BSTREE" -> "BTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BTOURN BinaryTournament} A BinaryTournament(S) is the domain of binary trees where elements are @@ -7880,6 +8102,11 @@ BinaryTournament(S: OrderedSet): Exports == Implementation where t @ +<>= +"BTOURN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BTOURN"] +"BTOURN" -> "BTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BTREE BinaryTree} \pagehead{BinaryTree}{BTREE} @@ -7944,12 +8171,13 @@ BinaryTree(S: SetCategory): Exports == Implementation where setrest_!(t1:List Tree S,t2) @ +<>= +"BTREE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BTREE"] +"BTREE" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BITS Bits} -<>= -"BITS" -> "BTAGG" -"Bits()" -> "BitAggregate()" -@ \pagehead{Bits}{BITS} \pagepic{ps/v103bits.ps}{BITS}{1.00} See also:\\ @@ -7974,18 +8202,13 @@ Bits(): Exports == Implementation where bits(n,b) == new(n,b) @ +<>= +"BITS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BITS"] +"BITS" -> "BTAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain BOOLEAN Boolean} -<>= -"BOOLEAN" -> "ORDSET" -"Boolean()" -> "OrderedSet()" -"BOOLEAN" -> "FINITE" -"Boolean()" -> "Finite()" -"BOOLEAN" -> "LOGIC" -"Boolean()" -> "Logic()" -"BOOLEAN" -> "KONVERT" -"Boolean()" -> "ConvertibleTo(InputForm)" -@ \pagehead{Boolean}{BOOLEAN} \pagepic{ps/v103boolean.ps}{BOOLEAN}{1.00} See also:\\ @@ -8073,6 +8296,12 @@ Boolean(): Join(OrderedSet, Finite, Logic, ConvertibleTo InputForm) with message "false" @ +<>= +"BOOLEAN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=BOOLEAN", + shape=ellipse] +"BOOLEAN" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter C} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -8392,19 +8621,8 @@ continuum hypothesis in this way. See Also: o )show CardinalNumber -o $AXIOM/doc/src/algebra/card.spad.dvi @ -<>= -"CARD" -> "ORDSET" -"CardinalNumber()" -> "OrderedSet()" -"CARD" -> "ABELMON" -"CardinalNumber()" -> "AbelianMonoid()" -"CARD" -> "MONOID" -"CardinalNumber()" -> "Monoid()" -"CARD" -> "RETRACT" -"CardinalNumber()" -> "RetractableTo(NonNegativeInteger)" -@ \pagehead{CardinalNumber}{CARD} \pagepic{ps/v103cardinalnumber.ps}{CARD}{1.00} <>= @@ -8592,6 +8810,11 @@ CardinalNumber: Join(OrderedSet, AbelianMonoid, Monoid, generalizedContinuumHypothesisAssumed b == (GCHypothesis() := b) @ +<>= +"CARD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=CARD"] +"CARD" -> "ALGEBRA-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain CARTEN CartesianTensor} <>= @@ -9539,17 +9762,8 @@ interpretation. See Also o )show CartesianTensor -o $AXIOM/doc/src/algebra/carten.spad.dvi @ -<>= -"CARTEN" -> "GRALG" -"CartesianTensor(a:Integer,b:NonNegativeInteger,c:CommutativeRing)" -> - "GradedAlgebra(a:CommutativeRing,b:NonNegativeInteger)" -"CARTEN" -> "GRMOD" -"CartesianTensor(a:Integer,b:NonNegativeInteger,c:CommutativeRing)" -> - "GradedModule(a:Integer,b:NonNegativeInteger)" -@ \pagehead{CartesianTensor}{CARTEN} \pagepic{ps/v103cartesiantensor.ps}{CARTEN}{1.00} <>= @@ -10158,6 +10372,11 @@ CartesianTensor(minix, dim, R): Exports == Implementation where z @ +<>= +"CARTEN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=CARTEN"] +"CARTEN" -> "IVECTOR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain CHAR Character} <>= @@ -10359,7 +10578,6 @@ See Also: o )help CharacterClass o )help String o )show Character -o $AXIOM/doc/src/algebra/string.spad.dvi @ \pagehead{Character}{CHAR} @@ -10510,6 +10728,12 @@ Character: OrderedFinite() with QENUM(PNAME(DOWNCASE(NUM2CHAR(ord c)$Lisp)$Lisp)$Lisp,0$Lisp)$Lisp @ +<>= +"CHAR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=CHAR", + shape=ellipse] +"CHAR" -> "FSAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain CCLASS CharacterClass} <>= @@ -10736,7 +10960,6 @@ See Also: o )help Character o )help String o )show CharacterClass -o $AXIOM/doc/src/algebra/string.spad.dvi @ \pagehead{CharacterClass}{CCLASS} @@ -10860,6 +11083,11 @@ CharacterClass: Join(SetCategory, ConvertibleTo String, [char i for i in 0..N-1 | a.i] @ +<>= +"CCLASS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=CCLASS"] +"CCLASS" -> "FSAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain CLIF CliffordAlgebra\cite{7,12}} \subsection{Vector (linear) spaces} @@ -11662,17 +11890,6 @@ o )show CliffordAlgebra o $AXIOM/doc/src/algebra/clifford.spad @ -<>= -"CLIF" -> "RING" -"CliffordAlgebra(a:PositiveInteger,b:Field,c:QuadraticForm(a,b))" -> - "Ring()" -"CLIF" -> "ALGEBRA" -"CliffordAlgebra(a:PositiveInteger,b:Field,c:QuadraticForm(a,b))" -> - "Algebra(a:Field)" -"CLIF" -> "VSPACE" -"CliffordAlgebra(a:PositiveInteger,b:Field,c:QuadraticForm(a,b))" -> - "VectorSpace(a:Field)" -@ \pagehead{CliffordAlgebra}{CLIF} \pagepic{ps/v103cliffordalgebra.ps}{CLIF}{1.00} See also:\\ @@ -11883,10 +12100,6 @@ CliffordAlgebra(n, K, Q): T == Impl where @ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain COLOR Color} -<>= -"COLOR" -> "ABELSG" -"Color()" -> "AbelianSemiGroup()" -@ \pagehead{Color}{COLOR} \pagepic{ps/v103color.ps}{COLOR}{1.00} See also:\\ @@ -11983,6 +12196,11 @@ Color(): Exports == Implementation where " Weight: "::OutputForm, (c.weight)::OutputForm] @ +<>= +"COLOR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=COLOR"] +"COLOR" -> "BASTYPE/KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain COMM Commutator} \pagehead{Commutator}{COMM} @@ -12030,6 +12248,11 @@ Commutator: Export == Implement where bracket([xx.left::O,xx.right::O])$O @ +<>= +"COMM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=COMM"] +"COMM" -> "BASTYPE/KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain COMPLEX Complex} <>= @@ -12309,7 +12532,6 @@ You can factor Gaussian integers. See Also o )show Complex -o $AXIOM/doc/src/algebra/gaussian.spad.dvi @ \pagehead{Complex}{COMPLEX} @@ -12400,6 +12622,11 @@ Complex(R:CommutativeRing): ComplexCategory(R) with x * conjugate(y) exquo norm(y) @ +<>= +"COMPLEX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=COMPLEX"] +"COMPLEX" -> "COMPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain CONTFRAC ContinuedFraction} <>= @@ -12943,17 +13170,8 @@ is the expansion of sqrt(11). See Also: o )help Stream o )show ContinuedFraction -o $AXIOM/doc/src/algebra/contrac.spad.dvi @ -<>= -"CONTFRAC" -> "ALGEBRA" -"ContinuedFraction(a:EuclideanDomain)" -> "Algebra(a:EuclideanDomain)" -"ContinuedFraction(a:EuclideanDomain)" -> - "Algebra(a:Fraction(EuclideanDomain))" -"CONTFRAC" -> "FIELD" -"ContinuedFraction(a:EuclideanDomain)" -> "Field()" -@ \pagehead{ContinuedFraction}{CONTFRAC} \pagepic{ps/v103continuedfraction.ps}{CONTFRAC}{1.00} <>= @@ -13281,14 +13499,15 @@ ContinuedFraction(R): Exports == Implementation where (wh :: OUT) + e @ +<>= +"CONTFRAC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=CONTFRAC"] +"CONTFRAC" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter D} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DBASE Database} -<>= -"DBASE" -> "SETCAT" -"Database(a:OrderedSet)" -> "SetCategory()" -@ \pagehead{Database}{DBASE} \pagepic{ps/v103database.ps}{DBASE}{1.00} See also:\\ @@ -13344,12 +13563,13 @@ Database(S): Exports == Implementation where if i >= n then fullDisplay x @ +<>= +"DBASE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DBASE"] +"DBASE" -> "STRICAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DLIST DataList} -<>= -"DLIST" -> "LSAGG" -"DataList(a:OrderedSet)" -> "ListAggregate(a:Type)" -@ \pagehead{DataList}{DLIST} \pagepic{ps/v103datalist.ps}{DLIST}{1.00} See also:\\ @@ -13385,6 +13605,11 @@ DataList(S:OrderedSet) : Exports == Implementation where datalist(x:List S) == x::% @ +<>= +"DLIST" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DLIST"] +"DLIST" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DECIMAL DecimalExpansion} <>= @@ -13535,7 +13760,6 @@ o )help RadixExpansion o )help BinaryExpansion o )help HexadecimalExpansion o )show DecimalExpansion -o $AXIOM/doc/src/algebra/radix.spad.dvi @ \pagehead{DecimalExpansion}{DECIMAL} @@ -13576,6 +13800,11 @@ DecimalExpansion(): Exports == Implementation where coerce(x:%): RadixExpansion(10) == x pretend RadixExpansion(10) @ +<>= +"DECIMAL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DECIMAL"] +"DECIMAL" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{Denavit-Hartenberg Matrices} \subsection{Homogeneous Transformations} @@ -15258,12 +15487,13 @@ DenavitHartenbergMatrix(R): Exports == Implementation where <> @ +<>= +"DHMATRIX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DHMATRIX"] +"DHMATRIX" -> "IVECTOR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DEQUEUE Dequeue} -<>= -"DEQUEUE" -> "DQAGG" -"Dequeue(a:SetCategory)" -> "DequeueAggregate(a:SetCategory)" -@ \pagehead{Dequeue}{DEQUEUE} \pagepic{ps/v103dequeue.ps}{DEQUEUE}{1.00} See also:\\ @@ -15327,6 +15557,12 @@ Dequeue(S:SetCategory): DequeueAggregate S with reverse_! d == (setref(d,reverse deref d); d) @ +<>= +"DEQUEUE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DEQUEUE"] +"DEQUEUE" -> "FLAGG-" +"DEQUEUE" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DERHAM DeRhamComplex} <>= @@ -15904,7 +16140,6 @@ consists of the eight forms: 1, dx, dy, dz, dx*dy, dx*dz, dy*dz, and dx*dy*dz. See Also: o )help Operator o )show DeRhamComplex -o $AXIOM/doc/src/algebra/derham.spad.dvi @ \pagehead{DeRhamComplex}{DERHAM} @@ -16025,6 +16260,11 @@ DeRhamComplex(CoefRing,listIndVar:List Symbol): Export == Implement where reduce(_+,[makeTerm(t.c,t.k) for t in ta])$L(O) @ +<>= +"DERHAM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DERHAM"] +"DERHAM" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DSMP DifferentialSparseMultivariatePolynomial} \pagehead{DifferentialSparseMultivariatePolynomial}{DSMP} @@ -16080,6 +16320,11 @@ DifferentialSparseMultivariatePolynomial(R, S, V): map(#1::V::$, #1::$, p)$PCL(IndexedExponents S, S, R, SMP, $) @ +<>= +"DSMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DSMP"] +"DSMP" -> "DPOLCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DIRPROD DirectProduct} \pagehead{DirectProduct}{DIRPROD} @@ -16185,6 +16430,11 @@ DirectProduct(dim:NonNegativeInteger, R:Type): --)bo $noSubsumption := false @ +<>= +"DIRPROD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DIRPROD"] +"DIRPROD" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DPMM DirectProductMatrixModule} \pagehead{DirectProductMatrixModule}{DPMM} @@ -16224,6 +16474,11 @@ DirectProductMatrixModule(n, R, M, S): DPcategory == DPcapsule where m:M * x:$ == [ +/[m(i,j)*x.j for j in 1..n] for i in 1..n] @ +<>= +"DPMM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DPMM"] +"DPMM" -> "SMATCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DPMO DirectProductModule} \pagehead{DirectProductModule}{DPMO} @@ -16262,6 +16517,11 @@ DirectProductModule(n, R, S): DPcategory == DPcapsule where r:R * x:$ == [r * x.i for i in 1..n] @ +<>= +"DPMO" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DPMO"] +"DPMO" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DMP DistributedMultivariatePolynomial} <>= @@ -16471,7 +16731,6 @@ o )help MultivariatePolynomial o )help HomogeneousDistributedMultivariatePolynomial o )help GeneralDistributedMultivariatePolynomial o )show DistributedMultivariatePolynomial -o $AXIOM/doc/src/algebra/gdpoly.spad.dvi @ \pagehead{DistributedMultivariatePolynomial}{DMP} @@ -16513,6 +16772,12 @@ DistributedMultivariatePolynomial(vl,R): public == private where GeneralDistributedMultivariatePolynomial(vl,R,E) @ +<>= +"DMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DMP"] +"DMP" -> "PFECAT" +"DMP" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DFLOAT DoubleFloat} Greg Vanuxem has added some functionality to allow the user to modify @@ -16831,22 +17096,7 @@ graphed. See Also: 0 )help Float o )show DoubleFloat -o $AXIOM/doc/src/algebra/sf.spad.dvi - -@ -<>= -"DFLOAT" -> "FPS" -"DoubleFloat()" -> "FloatingPointSystem()" -"DFLOAT" -> "DIFRING" -"DoubleFloat()" -> "DifferentialRing()" -"DFLOAT" -> "OM" -"DoubleFloat()" -> "OpenMath()" -"DFLOAT" -> "TRANFUN" -"DoubleFloat()" -> "TranscendentalFunctionCategory()" -"DFLOAT" -> "SPFCAT" -"DoubleFloat()" -> "SpecialFunctionCategory()" -"DFLOAT" -> "KONVERT" -"DoubleFloat()" -> "ConvertibleTo(InputForm)" + @ \pagehead{DoubleFloat}{DFLOAT} \pagepic{ps/v103doublefloat.ps}{DFLOAT}{1.00} @@ -17171,6 +17421,12 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath, x ** (n::% / d::%) @ +<>= +"DFLOAT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DFLOAT", + shape=ellipse] +"DFLOAT" -> "FRAC" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain DROPT DrawOption} \pagehead{DrawOption}{DROPT} @@ -17387,6 +17643,11 @@ DrawOption(): Exports == Implementation where "failed" @ +<>= +"DROPT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=DROPT"] +"DROPT" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01AJFA d01ajfAnnaType} \pagehead{d01ajfAnnaType}{D01AJFA} @@ -17446,6 +17707,11 @@ d01ajfAnnaType(): NumericalIntegrationCategory == Result add args.relerr,4*iw,iw,-1,f) @ +<>= +"D01AJFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01AJFA"] +"D01AJFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01AKFA d01akfAnnaType} \pagehead{d01akfAnnaType}{D01AKFA} @@ -17510,6 +17776,11 @@ d01akfAnnaType(): NumericalIntegrationCategory == Result add args.relerr,4*iw,iw,-1,f) @ +<>= +"D01AKFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01AKFA"] +"D01AKFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01ALFA d01alfAnnaType} \pagehead{d01alfAnnaType}{D01ALFA} @@ -17586,6 +17857,11 @@ d01alfAnnaType(): NumericalIntegrationCategory == Result add args.abserr,args.relerr,2*n*iw,n*iw,-1,f) @ +<>= +"D01ALFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01ALFA"] +"D01ALFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01AMFA d01amfAnnaType} \pagehead{d01amfAnnaType}{D01AMFA} @@ -17658,6 +17934,11 @@ d01amfAnnaType(): NumericalIntegrationCategory == Result add d01amf(bound,r,args.abserr,args.relerr,4*iw,iw,-1,f) @ +<>= +"D01AMFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01AMFA"] +"D01AMFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01ANFA d01anfAnnaType} \pagehead{d01anfAnnaType}{D01ANFA} @@ -17732,6 +18013,11 @@ d01anfAnnaType(): NumericalIntegrationCategory == Result add args.abserr,args.relerr,4*iw,iw,-1,f) @ +<>= +"D01ANFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01ANFA"] +"D01ANFA" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01APFA d01apfAnnaType} \pagehead{d01apfAnnaType}{D01APFA} @@ -17819,6 +18105,13 @@ d01apfAnnaType(): NumericalIntegrationCategory == Result add args.abserr,args.relerr,4*iw,iw,-1,f) @ +<>= +"D01APFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01APFA"] +/*"D01APFA" -> {"NUMINT"; "SETCAT"; "BASTYPE"; "KOERCE"; "DFLOAT"; "INT"}*/ +/*"D01APFA" -> {"LIST"; "ILIST"; "LSAGG-"; "STAGG-"; "PI"; "NNI"}*/ +"D01APFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01AQFA d01aqfAnnaType} \pagehead{d01aqfAnnaType}{D01AQFA} @@ -17900,6 +18193,12 @@ d01aqfAnnaType(): NumericalIntegrationCategory == Result add Args.abserr,Args.relerr,4*iw,iw,-1,f) @ +<>= +"D01AQFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01AQFA"] +"D01AQFA" -> "STRING" +"D01AQFA" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01ASFA d01asfAnnaType} \pagehead{d01asfAnnaType}{D01ASFA} @@ -17980,6 +18279,11 @@ d01asfAnnaType(): NumericalIntegrationCategory == Result add d01asf(getlo(args.range),rec.w,i,err,50,4*iw,2*iw,-1,f) @ +<>= +"D01ASFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01ASFA"] +"D01ASFA" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01FCFA d01fcfAnnaType} \pagehead{d01fcfAnnaType}{D01FCFA} @@ -18050,6 +18354,11 @@ d01fcfAnnaType(): NumericalIntegrationCategory == Result add changeName(finval@Symbol,result@Symbol,out) @ +<>= +"D01FCFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01FCFA"] +"D01FCFA" -> "TRANFUN" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01GBFA d01gbfAnnaType} \pagehead{d01gbfAnnaType}{D01GBFA} @@ -18122,6 +18431,13 @@ d01gbfAnnaType(): NumericalIntegrationCategory == Result add changeName(finest@Symbol,result@Symbol,out) @ +<>= +"D01GBFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01GBFA"] +"D01GBFA" -> "FIELD" +"D01GBFA" -> "RADCAT" +"D01GBFA" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D01TRNS d01TransformFunctionType} \pagehead{d01TransformFunctionType}{D01TRNS} @@ -18283,6 +18599,11 @@ d01TransformFunctionType():NumericalIntegrationCategory == Result add insert!(recAbserr,insert!(recResult,ans))$Result @ +<>= +"D01TRNS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D01TRNS"] +"D01TRNS" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D02BBFA d02bbfAnnaType} \pagehead{d02bbfAnnaType}{D02BBFA} @@ -18379,6 +18700,11 @@ d02bbfAnnaType():OrdinaryDifferentialEquationsSolverCategory == Result add tol,-1,asp7,asp8) @ +<>= +"D02BBFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D02BBFA"] +"D02BBFA" -> "IVECTOR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D02BHFA d02bhfAnnaType} \pagehead{d02bhfAnnaType}{D02BHFA} @@ -18471,6 +18797,11 @@ d02bhfAnnaType():OrdinaryDifferentialEquationsSolverCategory == Result add tol,-1,asp9,asp7) @ +<>= +"D02BHFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D02BHFA"] +"D02BHFA" -> "IVECTOR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D02CJFA d02cjfAnnaType} \pagehead{d02cjfAnnaType}{D02CJFA} @@ -18556,6 +18887,11 @@ d02cjfAnnaType():OrdinaryDifferentialEquationsSolverCategory == Result add -1,asp9,asp7,asp8) @ +<>= +"D02CJFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D02CJFA"] +"D02CJFA" -> "IVECTOR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D02EJFA d02ejfAnnaType} \pagehead{d02ejfAnnaType}{D02EJFA} @@ -18666,6 +19002,14 @@ d02ejfAnnaType():OrdinaryDifferentialEquationsSolverCategory == Result add tol,-1,asp9,asp7,asp31,asp8) @ +<>= +"D02EJFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D02EJFA"] +"D02EJFA" -> "FLAGG" +"D02EJFA" -> "FIELD-" +"D02EJFA" -> "FIELD" +"D02EJFA" -> "RADCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D03EEFA d03eefAnnaType} \pagehead{d03eefAnnaType}{D03EEFA} @@ -18741,6 +19085,11 @@ d03eefAnnaType():PartialDifferentialEquationsSolverCategory == Result add d03edf(nx,ny,lda,15,args.tol,0,fdea,fderhs,ub,-1) @ +<>= +"D03EEFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D03EEFA"] +"D03EEFA" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain D03FAFA d03fafAnnaType} \pagehead{d03fafAnnaType}{D03FAFA} @@ -18783,6 +19132,11 @@ d03fafAnnaType():PartialDifferentialEquationsSolverCategory == Result add [0$F,"d03faf isn't finished"] @ +<>= +"D03FAFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=D03FAFA"] +"D03FAFA" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter E} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -18974,7 +19328,6 @@ do is ask! See Also: o )show Equation -o $AXIOM/doc/src/algebra/equation2.spad.dvi @ \pagehead{Equation}{EQ} @@ -19192,6 +19545,11 @@ Equation(S: Type): public == private where [subst(lhs eq1,eq3),subst(rhs eq1,eq3)] @ +<>= +"EQ" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EQ"] +"EQ" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain EQTBL EqTable} <>= @@ -19294,7 +19652,6 @@ each. See Also: o )help Table o )show EqTable -o $AXIOM/doc/src/algebra/table.spad.dvi @ \pagehead{EqTable}{EQTBL} @@ -19326,6 +19683,11 @@ EqTable(Key: SetCategory, Entry: SetCategory) == HashTable(Key, Entry, "EQ") @ +<>= +"EQTBL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EQTBL"] +"EQTBL" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain EMR EuclideanModularRing} \pagehead{EuclideanModularRing}{EMR} @@ -19437,6 +19799,11 @@ EuclideanModularRing(S,R,Mod,reduction:(R,Mod) -> R, elt(x : %,s : R) : R == reduction(elt(x.val,s),x.modulo) @ +<>= +"EMR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EMR"] +"EMR" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain EXIT Exit} <>= @@ -19537,7 +19904,6 @@ resolved to be Integer. See Also: o )show Exit -o $AXIOM/doc/src/algebra/void.spad.dvi @ \pagehead{Exit}{EXIT} @@ -19566,6 +19932,12 @@ Exit: SetCategory == add n1 = n2 == error "Cannot use an Exit value." @ +<>= +"EXIT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EXIT"] +"EXIT" -> "BASTYPE" +"EXIT" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain EXPEXPAN ExponentialExpansion} \pagehead{ExponentialExpansion}{EXPEXPAN} @@ -19719,6 +20091,12 @@ ExponentialExpansion(R,FE,var,cen): Exports == Implementation where seriesQuotientInfinity(numCoef,denCoef) @ +<>= +"EXPEXPAN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EXPEXPAN"] +"EXPEXPAN" -> "ACF" +"EXPEXPAN" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain EXPR Expression} <>= @@ -20093,7 +20471,6 @@ simplify. See Also: o )show Kernel o )show Expression -o $AXIOM/doc/src/algebra/void.spad.dvi @ \pagehead{Expression}{EXPR} @@ -20620,6 +20997,11 @@ Expression(R:OrderedSet): Exports == Implementation where -- patternMatch(x pretend K, p, l)$PatternMatchKernel(Float, %) @ +<>= +"EXPR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EXPR"] +"EXPR" -> "ACFS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain EXPUPXS ExponentialOfUnivariatePuiseuxSeries} \pagehead{ExponentialOfUnivariatePuiseuxSeries}{EXPUPXS} @@ -20698,6 +21080,11 @@ ExponentialOfUnivariatePuiseuxSeries(FE,var,cen):_ ("%e" :: OutputForm) ** ((coerce$Rep)(complete f)@OutputForm) @ +<>= +"EXPUPXS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EXPUPXS"] +"EXPUPXS" -> "UPXSCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain EAB ExtAlgBasis} \pagehead{ExtAlgBasis}{EAB} @@ -20786,6 +21173,11 @@ ExtAlgBasis(): Export == Implement where coerce x == coerce(x @ Rep)$(L I) @ +<>= +"EAB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=EAB"] +"EAB" -> "PID/OAGROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain E04DGFA e04dgfAnnaType} \pagehead{e04dgfAnnaType}{E04DGFA} @@ -20867,6 +21259,11 @@ e04dgfAnnaType(): NumericalOptimizationCategory == Result add e04dgf(n,1$DF,fu,it,lin,true,ma,op,1,1,n,0,x,-1,f) @ +<>= +"E04DGFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=E04DGFA"] +"E04DGFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain E04FDFA e04fdfAnnaType} \pagehead{e04fdfAnnaType}{E04FDFA} @@ -20973,6 +21370,11 @@ e04fdfAnnaType(): NumericalOptimizationCategory == Result add changeNameToObjf(fsumsq@Symbol,out) @ +<>= +"E04FDFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=E04FDFA"] +"E04FDFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain E04GCFA e04gcfAnnaType} \pagehead{e04gcfAnnaType}{E04GCFA} @@ -21095,6 +21497,11 @@ e04gcfAnnaType(): NumericalOptimizationCategory == Result add changeNameToObjf(fsumsq@Symbol,out) @ +<>= +"E04GCFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=E04GCFA"] +"E04GCFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain E04JAFA e04jafAnnaType} \pagehead{e04jafAnnaType}{E04JAFA} @@ -21192,6 +21599,11 @@ e04jafAnnaType(): NumericalOptimizationCategory == Result add changeNameToObjf(f@Symbol,out) @ +<>= +"E04JAFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=E04JAFA"] +"E04JAFA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain E04MBFA e04mbfAnnaType} \pagehead{e04mbfAnnaType}{E04MBFA} @@ -21275,6 +21687,11 @@ e04mbfAnnaType(): NumericalOptimizationCategory == Result add changeNameToObjf(objlp@Symbol,out) @ +<>= +"E04MBFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=E04MBFA"] +"E04MBFA" -> "TRANFUN" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain E04NAFA e04nafAnnaType} \pagehead{e04nafAnnaType}{E04NAFA} @@ -21373,6 +21790,11 @@ e04nafAnnaType(): NumericalOptimizationCategory == Result add changeNameToObjf(obj@Symbol,out) @ +<>= +"E04NAFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=E04NAFA"] +"E04NAFA" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain E04UCFA e04ucfAnnaType} \pagehead{e04ucfAnnaType}{E04UCFA} @@ -21487,6 +21909,11 @@ e04ucfAnnaType(): NumericalOptimizationCategory == Result add 1,n,n,3,istate,cjac,clambda,r,x,-1,casp,fasp) @ +<>= +"E04UCFA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=E04UCFA"] +"E04UCFA" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter F} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -22106,7 +22533,6 @@ You can differentiate with respect to a variable. See Also: o )help FactoredFunctions2 o )show Factored -o $AXIOM/doc/src/algebra/fr.spad.dvi @ \pagehead{Factored}{FR} @@ -22661,6 +23087,11 @@ Factored(R: IntegralDomain): Exports == Implementation where ((l.first.xpnt) = 1) and (l.first.flg case "prime") @ +<>= +"FR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FR"] +"FR" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FILE File} <>= @@ -22857,7 +23288,6 @@ o )help KeyedAccessFile o )help Library o )help Filename o )show File -o $AXIOM/doc/src/algebra/files.spad.dvi @ \pagehead{File}{FILE} @@ -22949,6 +23379,11 @@ File(S:SetCategory): FileCategory(FileName, S) with x @ +<>= +"FILE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FILE"] +"FILE" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FNAME FileName} <>= @@ -23227,7 +23662,6 @@ extension, and the same defaults are used. See Also: o )show FileName -o $AXIOM/doc/src/algebra/fname.spad.dvi @ \pagehead{FileName}{FNAME} @@ -23268,6 +23702,11 @@ FileName(): FileNameCategory == add new(d,pref,e) == fnameNew(d,pref,e)$Lisp @ +<>= +"FNAME" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FNAME"] +"FNAME" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FDIV FiniteDivisor} \pagehead{FiniteDivisor}{FDIV} @@ -23405,6 +23844,11 @@ FiniteDivisor(F, UP, UPUP, R): Exports == Implementation where divisor ideal [b::RF::R, h]$Vector(R) @ +<>= +"FDIV" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FDIV"] +"FDIV" -> "FDIVCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FF FiniteField} \pagehead{FiniteField}{FF} @@ -23442,6 +23886,11 @@ FiniteField(p:PositiveInteger, n:PositiveInteger): _ -- generateIrredPoly(n)$IrredPolyOverFiniteField(GF)) @ +<>= +"FF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FF"] +"FF" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFCG FiniteFieldCyclicGroup} \pagehead{FiniteFieldCyclicGroup}{FFCG} @@ -23489,6 +23938,11 @@ FiniteFieldCyclicGroup(p,extdeg):_ createPrimitivePoly(extdeg)$FFPOLY) @ +<>= +"FFCG" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFCG"] +"FFCG" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFCGX FiniteFieldCyclicGroupExtension} \pagehead{FiniteFieldCyclicGroupExtension}{FFCGX} @@ -23539,6 +23993,11 @@ FiniteFieldCyclicGroupExtension(GF,extdeg):_ createPrimitivePoly(extdeg)$FFPOLY) @ +<>= +"FFCGX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFCGX"] +"FFCGX" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFCGP FiniteFieldCyclicGroupExtensionByPolynomial} \pagehead{FiniteFieldCyclicGroupExtensionByPolynomial}{FFCGP} @@ -23855,6 +24314,11 @@ FiniteFieldCyclicGroupExtensionByPolynomial(GF,defpol):_ mulmod(m,x,sizeCG::Rep)$Rep @ +<>= +"FFCGP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFCGP"] +"FFCGP" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFX FiniteFieldExtension} \pagehead{FiniteFieldExtension}{FFX} @@ -23899,6 +24363,11 @@ FiniteFieldExtension(GF, n): Exports == Implementation where -- generateIrredPoly(n)$IrredPolyOverFiniteField(GF)) @ +<>= +"FFX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFX"] +"FFX" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFP FiniteFieldExtensionByPolynomial} \pagehead{FiniteFieldExtensionByPolynomial}{FFP} @@ -24140,6 +24609,11 @@ FiniteFieldExtensionByPolynomial(GF:FiniteFieldCategory,_ characteristic() == characteristic()$GF @ +<>= +"FFP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFP"] +"FFP" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFNB FiniteFieldNormalBasis} \pagehead{FiniteFieldNormalBasis}{FFNB} @@ -24196,6 +24670,11 @@ FiniteFieldNormalBasis(p,extdeg):_ createLowComplexityNormalBasis(extdeg)$FFF) @ +<>= +"FFNB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFNB"] +"FFNB" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFNBX FiniteFieldNormalBasisExtension} \pagehead{FiniteFieldNormalBasisExtension}{FFNBX} @@ -24252,6 +24731,11 @@ FiniteFieldNormalBasisExtension(GF,extdeg):_ createLowComplexityNormalBasis(extdeg)$FFF) @ +<>= +"FFNBX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFNBX"] +"FFNBX" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FFNBP FiniteFieldNormalBasisExtensionByPolynomial} \pagehead{FiniteFieldNormalBasisExtensionByPolynomial}{FFNBP} @@ -24618,6 +25102,11 @@ divisor of the order of the multiplicative group" normalElement() == normalElement(extdeg)$INBFF @ +<>= +"FFNBP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FFNBP"] +"FFNBP" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FARRAY FlexibleArray} <>= @@ -24883,13 +25372,8 @@ o )help OneDimensionalArray o )help Vector o )help ExtensibleLinearAggregate o )show FlexibleArray -o $AXIOM/doc/src/algebra/array1.spad.dvi @ -<>= -"FARRAY" -> "IFARRAY" -"FlexibleArray(a:Type)" -> "IndexedFlexibleArray(a:Type,1)" -@ \pagehead{FlexibleArray}{FARRAY} \pagepic{ps/v103flexiblearray.ps}{FARRAY}{1.00} See also:\\ @@ -24921,6 +25405,11 @@ FlexibleArray(S: Type) == Implementation where -- Join(OneDimensionalArrayAggregate S, ExtensibleLinearAggregate S) @ +<>= +"FARRAY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FARRAY"] +"FARRAY" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FLOAT Float} As reported in bug number 4733 (rounding of negative numbers) @@ -25758,7 +26247,6 @@ Reset digits to its default value. See Also: o )help DoubleFloat o )show Float -o $AXIOM/doc/src/algebra/float.spad.dvi @ \pagehead{Float}{FLOAT} @@ -26744,6 +27232,11 @@ Float(): (s,t) := (t,r) @ +<>= +"FLOAT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FLOAT"] +"FLOAT" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FC FortranCode} \pagehead{FortranCode}{FC} @@ -27347,6 +27840,12 @@ FortranCode(): public == private where [["call"]$OP,[s]$OPREC]$Rep @ +<>= +"FC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FC"] +"FC" -> "COMPCAT" +"FC" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FEXPR FortranExpression} \pagehead{FortranExpression}{FEXPR} @@ -27703,6 +28202,11 @@ FortranExpression(basicSymbols,subscriptedSymbols,R): res::$ @ +<>= +"FEXPR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FEXPR"] +"FEXPR" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FORTRAN FortranProgram} \pagehead{FortranProgram}{FORTRAN} @@ -27939,6 +28443,11 @@ FortranProgram(name,returnType,arguments,symbols): Exports == Implement where (subst(rhs u,eList))::$ @ +<>= +"FORTRAN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FORTRAN"] +"FORTRAN" -> "COMPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FST FortranScalarType} \pagehead{FortranScalarType}{FST} @@ -28100,6 +28609,11 @@ FortranScalarType() : exports == implementation where doubleComplex?(t:$):Boolean == t case DoubleComplexThing @ +<>= +"FST" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FST"] +"FST" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FTEM FortranTemplate} \pagehead{FortranTemplate}{FTEM} @@ -28203,6 +28717,11 @@ FortranTemplate() : specification == implementation where string(_$fortranOutputFile$Lisp)::FileName @ +<>= +"FTEM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FTEM"] +"FTEM" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FT FortranType} \pagehead{FortranType}{FT} @@ -28317,6 +28836,11 @@ FortranType() : exports == implementation where fortranLogical():$ == ("logical"::FST)::$ @ +<>= +"FT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FT"] +"FT" -> "PID/OAGROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FCOMP FourierComponent} \pagehead{FourierComponent}{FCOMP} @@ -28365,6 +28889,11 @@ FourierComponent(E:OrderedSet): y.SinIfTrue @ +<>= +"FCOMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FCOMP"] +"FCOMP" -> "ORDSET" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FSERIES FourierSeries} \pagehead{FourierSeries}{FSERIES} @@ -28441,6 +28970,11 @@ FourierSeries(R:Join(CommutativeRing,Algebra(Fraction Integer)), [[sin a,r]] @ +<>= +"FSERIES" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FSERIES"] +"FSERIES" -> "PID/OAGROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FRAC Fraction} <>= @@ -28694,7 +29228,6 @@ o )help ContinuedFraction o )help PartialFraction o )help Integer o )show Fraction -o $AXIOM/doc/src/algebra/fraction.spad.dvi @ \pagehead{Fraction}{FRAC} @@ -29029,6 +29562,11 @@ Fraction(S: IntegralDomain): QuotientFieldCategory S with makeFR(map(#1::%/den1,unit(ff)),lfact) @ +<>= +"FRAC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FRAC"] +"FRAC" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FRIDEAL FractionalIdeal} \pagehead{FractionalIdeal}{FRIDEAL} @@ -29205,6 +29743,11 @@ FractionalIdeal(R, F, UP, A): Exports == Implementation where i @ +<>= +"FRIDEAL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FRIDEAL"] +"FRIDEAL" -> "FRAMALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FRMOD FramedModule} \pagehead{FramedModule}{FRMOD} @@ -29318,6 +29861,11 @@ FramedModule(R, F, UP, A, ibasis): Exports == Implementation where module(basis i) * module(ibasis) @ +<>= +"FRMOD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FRMOD"] +"FRMOD" -> "FRAMALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FAGROUP FreeAbelianGroup} \pagehead{FreeAbelianGroup}{FAGROUP} @@ -29371,6 +29919,11 @@ FreeAbelianGroup(S:SetCategory): Exports == Implementation where (a - lc) < (b - lc) @ +<>= +"FAGROUP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FAGROUP"] +"FAGROUP" -> "PID/OAGROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FAMONOID FreeAbelianMonoid} \pagehead{FreeAbelianMonoid}{FAMONOID} @@ -29396,6 +29949,11 @@ FreeAbelianMonoid(S: SetCategory): == InnerFreeAbelianMonoid(S, NonNegativeInteger, 1) @ +<>= +"FAMONOID" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FAMONOID"] +"FAMONOID" -> "OAMONS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FGROUP FreeGroup} \pagehead{FreeGroup}{FGROUP} @@ -29467,6 +30025,12 @@ FreeGroup(S: SetCategory): Join(Group, RetractableTo S) with makeMulti concat_!(reverse_! r, q) @ +<>= +"FGROUP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FGROUP"] +"FGROUP" -> "FLAGG" +"FGROUP" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FM FreeModule} \pagehead{FreeModule}{FM} @@ -29544,6 +30108,11 @@ FreeModule(R:Ring,S:OrderedSet): reduce("+",le) @ +<>= +"FM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FM"] +"FM" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FM1 FreeModule1} \pagehead{FreeModule1}{FM1} @@ -29649,6 +30218,11 @@ FreeModule1(R:Ring,S:OrderedSet): FMcat == FMdef where 0$R @ +<>= +"FM1" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FM1"] +"FM1" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FMONOID FreeMonoid} \pagehead{FreeMonoid}{FMONOID} @@ -29841,6 +30415,12 @@ FreeMonoid(S: SetCategory): FMcategory == FMdefinition where empty? la and not empty? lb @ +<>= +"FMONOID" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FMONOID"] +"FMONOID" -> "FLAGG-" +"FMONOID" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FNLA FreeNilpotentLie} \pagehead{FreeNilpotentLie}{FNLA} @@ -29965,6 +30545,11 @@ FreeNilpotentLie(n:NNI,class:NNI,R: CommutativeRing): Export == Implement where lC(f)::O * Fac(value(lS f))::O + deepExpand(reductum f) @ +<>= +"FNLA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FNLA"] +"FNLA" -> "IVECTOR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FPARFRAC FullPartialFractionExpansion} <>= @@ -30438,7 +31023,6 @@ Proceedings of ISSAC'93, Kiev, ACM Press. See Also: o )help PartialFraction o )show FullPartialFractionExpansion -o $AXIOM/doc/src/algebra/fparfrac.spad.dvi @ \pagehead{FullPartialFractionExpansion}{FPARFRAC} @@ -30620,6 +31204,11 @@ FullPartialFractionExpansion(F, UP): Exports == Implementation where f ** (n::O) @ +<>= +"FPARFRAC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FPARFRAC"] +"FPARFRAC" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain FUNCTION FunctionCalled} \pagehead{FunctionCalled}{FUNCTION} @@ -30638,6 +31227,11 @@ FunctionCalled(f:Symbol): SetCategory with latex(x:%):String == latex f @ +<>= +"FUNCTION" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FUNCTION"] +"FUNCTION" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter G} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -30849,7 +31443,6 @@ o )help MultivariatePolynomial o )help HomogeneousDistributedMultivariatePolynomial o )help DistributedMultivariatePolynomial o )show GeneralDistributedMultivariatePolynomial -o $AXIOM/doc/src/algebra/gdpoly.spad.dvi @ \pagehead{GeneralDistributedMultivariatePolynomial}{GDMP} @@ -31108,6 +31701,11 @@ GeneralDistributedMultivariatePolynomial(vl,R,E): public == private where reduce("+",lt) @ +<>= +"GDMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GDMP"] +"GDMP" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GMODPOL GeneralModulePolynomial} \pagehead{GeneralModulePolynomial}{GMODPOL} @@ -31184,6 +31782,12 @@ GeneralModulePolynomial(vl, R, IS, E, ff, P): public == private where reductum(p) * mp @ +<>= +"GMODPOL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GMODPOL"] +"GMODPOL" -> "PFECAT" +"GMODPOL" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GCNAALG GenericNonAssociativeAlgebra} \pagehead{GenericNonAssociativeAlgebra}{GCNAALG} @@ -31482,6 +32086,11 @@ GenericNonAssociativeAlgebra(R : CommutativeRing, n : PositiveInteger,_ --le : List Equation PR := [equation(lh,rh) for lh in ls for rh in coefOfa] @ +<>= +"GCNAALG" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GCNAALG"] +"GCNAALG" -> "FRNAALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GPOLSET GeneralPolynomialSet} \pagehead{GeneralPolynomialSet}{GPOLSET} @@ -31566,6 +32175,11 @@ GeneralPolynomialSet(R,E,VarSet,P) : Exports == Implementation where construct lp @ +<>= +"GPOLSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GPOLSET"] +"GPOLSET" -> "RPOLCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GSTBL GeneralSparseTable} <>= @@ -31648,7 +32262,6 @@ So the project is cancelled and we can delete the data base: See Also: o )show GeneralSparseTable -o $AXIOM/doc/src/algebra/table.spad.dvi @ \pagehead{GeneralSparseTable}{GSTBL} @@ -31697,6 +32310,11 @@ GeneralSparseTable(Key, Entry, Tbl, dent): TableAggregate(Key, Entry) == Impl u @ +<>= +"GSTBL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GSTBL"] +"GSTBL" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GTSET GeneralTriangularSet} \pagehead{GeneralTriangularSet}{GTSET} @@ -31812,6 +32430,11 @@ GeneralTriangularSet(R,E,V,P) : Exports == Implementation where (per(cons(p,rep(ts))))::Union($,"failed") @ +<>= +"GTSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GTSET"] +"GTSET" -> "RPOLCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GSERIES GeneralUnivariatePowerSeries} \pagehead{GeneralUnivariatePowerSeries}{GSERIES} @@ -31926,6 +32549,11 @@ GeneralUnivariatePowerSeries(Coef,var,cen): Exports == Implementation where error "integrate: center is a function of variable of integration" @ +<>= +"GSERIES" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GSERIES"] +"GSERIES" -> "ACFS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GRIMAGE GraphImage} \pagehead{GraphImage}{GRIMAGE} @@ -32336,6 +32964,11 @@ GraphImage (): Exports == Implementation where (p=1 => " point list"; " point lists") :: E]) @ +<>= +"GRIMAGE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GRIMAGE"] +"GRIMAGE" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain GOPT GuessOption} \pagehead{GuessOption}{GOPT} @@ -32481,6 +33114,11 @@ GuessOption(): Exports == Implementation where else error "GuessOption: Option specified twice" @ +<>= +"GOPT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=GOPT"] +"GOPT" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter H} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -32544,6 +33182,11 @@ HashTable(Key, Entry, hashfn): Exports == Implementation where "failed" @ +<>= +"HASHTBL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=HASHTBL"] +"HASHTBL" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain HEAP Heap} <>= @@ -32679,13 +33322,8 @@ Apply heapsort to present elements in order. See Also: o )help FlexibleArray o )show Heap -o $AXIOM/doc/src/algebra/bags.spad.dvi @ -<>= -"HEAP" -> "PRQAGG" -"Heap(a:OrderedSet)" -> "PriorityQueueAggregate(a:OrderedSet)" -@ \pagehead{Heap}{HEAP} \pagepic{ps/v103heap.ps}{HEAP}{1.00} See also:\\ @@ -32772,6 +33410,11 @@ Heap(S:OrderedSet): Exports == Implementation where merge_!(a,b) == makeHeap concat_!(a,b) @ +<>= +"HEAP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=HEAP"] +"HEAP" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain HEXADEC HexadecimalExpansion} <>= @@ -32915,7 +33558,6 @@ o )help RadixExpansion o )help BinaryExpansion o )help DecimalExpansion o )show HexadecimalExpansion -o $AXIOM/doc/src/algebra/radix.spad.dvi @ \pagehead{HexadecimalExpansion}{HEXADEC} @@ -32957,6 +33599,11 @@ HexadecimalExpansion(): Exports == Implementation where coerce(x:%): RadixExpansion(16) == x pretend RadixExpansion(16) @ +<>= +"HEXADEC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=HEXADEC"] +"HEXADEC" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain HDP HomogeneousDirectProduct} \pagehead{HomogeneousDirectProduct}{HDP} @@ -33004,6 +33651,11 @@ HomogeneousDirectProduct(dim,S) : T == C where false @ +<>= +"HDP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=HDP"] +"HDP" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain HDMP HomogeneousDistributedMultivariatePolynomial} <>= @@ -33213,7 +33865,6 @@ o )help MultivariatePolynomial o )help DistributedMultivariatePolynomial o )help GeneralDistributedMultivariatePolynomial o )show HomogeneousDistributedMultivariatePolynomial -o $AXIOM/doc/src/algebra/gdpoly.spad.dvi @ \pagehead{HomogeneousDistributedMultivariatePolynomial}{HDMP} @@ -33255,6 +33906,12 @@ HomogeneousDistributedMultivariatePolynomial(vl,R): public == private where GeneralDistributedMultivariatePolynomial(vl,R,E) @ +<>= +"HDMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=HDMP"] +"HDMP" -> "PFECAT" +"HDMP" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain HELLFDIV HyperellipticFiniteDivisor} \pagehead{HyperellipticFiniteDivisor}{HELLFDIV} @@ -33431,14 +34088,15 @@ HyperellipticFiniteDivisor(F, UP, UPUP, R): Exports == Implementation where reduce makeDivisor(a, bb, 1) @ +<>= +"HELLFDIV" [color="#88FF44",href="bookvol10.3.pdf#nameddest=HELLFDIV"] +"HELLFDIV" -> "FDIVCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter I} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ICARD IndexCard} -<>= -"ICARD" -> "ORDSET" -"IndexCard()" -> "OrderedSet()" -@ \pagehead{IndexCard}{ICARD} \pagepic{ps/v103indexcard.ps}{ICARD}{1.00} See also:\\ @@ -33503,12 +34161,13 @@ IndexCard() : Exports == Implementation where error "unknown selector" @ +<>= +"ICARD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ICARD"] +"ICARD" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IBITS IndexedBits} -<>= -"IBITS" -> "BTAGG" -"IndexedBits(a:Integer)" -> "BitAggregate()" -@ \pagehead{IndexedBits}{IBITS} \pagepic{ps/v103indexedbits.ps}{IBITS}{1.00} See also:\\ @@ -33576,6 +34235,11 @@ IndexedBits(mn:Integer): BitAggregate() with Or(u, v) == (#v=#u => BVEC_-OR(v, u)$Lisp; map("or", v,u)) @ +<>= +"IBITS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IBITS"] +"IBITS" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IDPAG IndexedDirectProductAbelianGroup} \pagehead{IndexedDirectProductAbelianGroup}{IDPAG} @@ -33652,6 +34316,12 @@ IndexedDirectProductAbelianGroup(A:AbelianGroup,S:OrderedSet): -- cons([x.first.k,r],(x.rest - y.rest)) @ +<>= +"IDPAG" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IDPAG"] +"IDPAG" -> "IDPC" +"IDPAG" -> "ORDSET" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IDPAM IndexedDirectProductAbelianMonoid} \pagehead{IndexedDirectProductAbelianMonoid}{IDPAM} @@ -33739,6 +34409,12 @@ IndexedDirectProductAbelianMonoid(A:AbelianMonoid,S:OrderedSet): leadingCoefficient x == (null x => 0; x.first.c) @ +<>= +"IDPAM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IDPAM"] +"IDPAM" -> "IDPC" +"IDPAM" -> "ORDSET" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IDPO IndexedDirectProductObject} \pagehead{IndexedDirectProductObject}{IDPO} @@ -33788,6 +34464,12 @@ IndexedDirectProductObject(A:SetCategory,S:OrderedSet): IndexedDirectProductCate x.first.k @ +<>= +"IDPO" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IDPO"] +"IDPO" -> "IDPC" +"IDPO" -> "ORDSET" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IDPOAM IndexedDirectProductOrderedAbelianMonoid} \pagehead{IndexedDirectProductOrderedAbelianMonoid}{IDPOAM} @@ -33820,6 +34502,11 @@ IndexedDirectProductOrderedAbelianMonoid(A:OrderedAbelianMonoid,S:OrderedSet): x.rest < y.rest @ +<>= +"IDPOAM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IDPOAM"] +"IDPOAM" -> "OAMON" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IDPOAMS IndexedDirectProductOrderedAbelianMonoidSup} \pagehead{IndexedDirectProductOrderedAbelianMonoidSup}{IDPOAMS} @@ -33868,6 +34555,11 @@ IndexedDirectProductOrderedAbelianMonoidSup(A:OrderedAbelianMonoidSup,S:OrderedS cons([x.first.k,u],sup(x.rest,y.rest)) @ +<>= +"IDPOAMS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IDPOAMS"] +"IDPOAMS" -> "OAMONS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain INDE IndexedExponents} \pagehead{IndexedExponents}{INDE} @@ -33909,18 +34601,13 @@ IndexedExponents(Varset:OrderedSet): C == T where reduce("*",[coerceOF t for t in x]) @ +<>= +"INDE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=INDE"] +"INDE" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IFARRAY IndexedFlexibleArray} -<>= -"IFARRAY" -> "A1AGG" -"IndexedFlexibleArray(a:Type,b:Integer)" -> - "OneDimensionalArrayAggregate(a:Type)" -"IndexedFlexibleArray(a:Type,1)" -> - "IndexedFlexibleArray(a:Type,b:Integer)" -"IFARRAY" -> "ELAGG" -"IndexedFlexibleArray(a:Type,b:Integer)" -> - "ExtensibleLinearAggregate(a:Type)" -@ \pagehead{IndexedFlexibleArray}{IFARRAY} \pagepic{ps/v103indexedflexiblearray.ps}{IFARRAY}{1.00} See also:\\ @@ -34163,6 +34850,11 @@ IndexedFlexibleArray(S:Type, mn: Integer): Exports == Implementation where a @ +<>= +"IFARRAY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IFARRAY"] +"IFARRAY" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ILIST IndexedList} \pagehead{IndexedList}{ILIST} @@ -34360,6 +35052,12 @@ IndexedList(S:Type, mn:Integer): Exports == Implementation where merge_!(f, p, q) @ +<>= +"ILIST" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ILIST", + shape=ellipse] +"ILIST" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IMATRIX IndexedMatrix} \pagehead{IndexedMatrix}{IMATRIX} @@ -34435,13 +35133,14 @@ IndexedMatrix(R,mnRow,mnCol): Exports == Implementation where inverse x == inverse(x)$MATLIN @ +<>= +"IMATRIX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IMATRIX"] +"IMATRIX" -> "MATCAT" +"IMATRIX" -> "VECTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IARRAY1 IndexedOneDimensionalArray} -<>= -"IARRAY1" -> "A1AGG" -"IndexedOneDimensionalArray(a:Type,b:Integer)" -> - "OneDimensionalArrayAggregate(a:Type)" -@ \pagehead{IndexedOneDimensionalArray}{IARRAY1} \pagepic{ps/v103indexedonedimensionalarray.ps}{IARRAY1}{1.00} See also:\\ @@ -34537,6 +35236,11 @@ IndexedOneDimensionalArray(S:Type, mn:Integer): qsetelt_!(x, i, s) @ +<>= +"IARRAY1" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IARRAY1"] +"IARRAY1" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ISTRING IndexedString} \pagehead{IndexedString}{ISTRING} @@ -34749,6 +35453,12 @@ the coercion. true @ +<>= +"ISTRING" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ISTRING", + shape=ellipse] +"ISTRING" -> "FSAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IARRAY2 IndexedTwoDimensionalArray} An IndexedTwoDimensionalArray is a 2-dimensional array where @@ -34760,14 +35470,6 @@ function 'minRowIndex'. The index of the 'first' column may be obtained by calling the function 'minColIndex'. The index of the first element of a 'Row' is the same as the index of the first column in an array and vice versa. -<>= -"IARRAY2" -> "ARR2CAT" -"IndexedTwoDimensionalArray(a:Type,b:Integer,c:Integer)" -> -"TwoDimensionalArrayCategory(a:Type,d:IndexedOneDimensionalArray(a,b),e:IndexedOneDimensionalArray(a,c))" -"IARRAY2" -> "IIARRAY2" -"IndexedTwoDimensionalArray(a:Type,b:Integer,c:Integer)" -> -"InnerIndexedTwoDimensionalArray(a:Type,b:Integer,c:Integer,d:IndexedOneDimensionalArray(a,b),e:IndexedOneDimensionalArray(a,c))" -@ \pagehead{IndexedTwoDimensionalArray}{IARRAY2} \pagepic{ps/v103indexedtwodimensionalarray.ps}{IARRAY2}{1.00} See also:\\ @@ -34787,6 +35489,12 @@ IndexedTwoDimensionalArray(R,mnRow,mnCol):Exports == Implementation where InnerIndexedTwoDimensionalArray(R,mnRow,mnCol,Row,Col) @ +<>= +"IARRAY2" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IARRAY2"] +"IARRAY2" -> "ARR2CAT" +"IARRAY2" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IVECTOR IndexedVector} \pagehead{IndexedVector}{IVECTOR} @@ -34810,6 +35518,11 @@ IndexedVector(R:Type, mn:Integer): VectorCategory R == IndexedOneDimensionalArray(R, mn) @ +<>= +"IVECTOR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IVECTOR"] +"IVECTOR" -> "VECTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ITUPLE InfiniteTuple} \pagehead{InfiniteTuple}{ITUPLE} @@ -34852,28 +35565,13 @@ InfiniteTuple(S:Type): Exports == Implementation where -- coerce(x)$Stream(S) @ +<>= +"ITUPLE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ITUPLE"] +"ITUPLE" -> "TYPE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IAN InnerAlgebraicNumber} -<>= -"IAN" -> "ES" -"InnerAlgebraicNumber()" -> "ExpressionSpace()" -"IAN" -> "ACF" -"InnerAlgebraicNumber()" -> "AlgebraicallyClosedField()" -"IAN" -> "RETRACT" -"InnerAlgebraicNumber()" -> "RetractableTo(Integer)" -"InnerAlgebraicNumber()" -> "RetractableTo(Fraction(Integer))" -"IAN" -> "LINEXP" -"InnerAlgebraicNumber()" -> "LinearlyExplicitRingOver(Integer)" -"InnerAlgebraicNumber()" -> "LinearlyExplicitRingOver(Fraction(Integer))" -"IAN" -> "REAL" -"InnerAlgebraicNumber()" -> "RealConstant()" -"IAN" -> "CHARZ" -"InnerAlgebraicNumber()" -> "CharacteristicZero()" -"IAN" -> "KONVERT" -"InnerAlgebraicNumber()" -> "ConvertibleTo(Complex(Float))" -"IAN" -> "DIFRING" -"InnerAlgebraicNumber()" -> "DifferentialRing()" -@ \pagehead{InnerAlgebraicNumber}{IAN} \pagepic{ps/v103inneralgebraicnumber.ps}{IAN}{1.00} See also:\\ @@ -35019,6 +35717,13 @@ InnerAlgebraicNumber(): Exports == Implementation where x pretend FE)$ExpressionFunctions2(Z, Complex Float) @ +<>= +"IAN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IAN"] +"IAN" -> "ACF" +"IAN" -> "FS" +"IAN" -> "COMPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IFF InnerFiniteField} \pagehead{InnerFiniteField}{IFF} @@ -35052,6 +35757,11 @@ InnerFiniteField(p:PositiveInteger, n:PositiveInteger) == FiniteFieldExtension(InnerPrimeField p, n) @ +<>= +"IFF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IFF"] +"IFF" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IFAMON InnerFreeAbelianMonoid} \pagehead{InnerFreeAbelianMonoid}{IFAMON} @@ -35099,19 +35809,15 @@ InnerFreeAbelianMonoid(S: SetCategory, E:CancellationAbelianMonoid, un:E): (n := coefficient(x.gen, g)) > 0] @ +<>= +"IFAMON" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IFAMON"] +"IFAMON" -> "OAMON" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IIARRAY2 InnerIndexedTwoDimensionalArray} This is an internal type which provides an implementation of 2-dimensional arrays as PrimitiveArray's of PrimitiveArray's. -<>= -"IIARRAY2" -> "ARR2CAT" -"InnerIndexedTwoDimensionalArray(a:Type,b:Integer,c:Integer,d:FiniteLinearAggregate(a),e:FiniteLinearAggregate(a))" --> "TwoDimensionalArrayCategory(a:Type,b:FiniteLinearAggregate(a),c:FiniteLinearAggregate(a))" -"InnerIndexedTwoDimensionalArray(a:Type,b:Integer,c:Integer,d:IndexedOneDimensionalArray(a,b),e:IndexedOneDimensionalArray(a,c))" --> "InnerIndexedTwoDimensionalArray(a:Type,b:Integer,c:Integer,d:FiniteLinearAggregate(a),e:FiniteLinearAggregate(a))" -"InnerIndexedTwoDimensionalArray(a:Type,1,1,b:OneDimensionalArray(a),c:OneDimensionalArray(a))" --> "InnerIndexedTwoDimensionalArray(a:Type,b:Integer,c:Integer,d:FiniteLinearAggregate(a),e:FiniteLinearAggregate(a))" -@ \pagehead{InnerIndexedTwoDimensionalArray}{IIARRAY2} \pagepic{ps/v103innerindexedtwodimensionalarray.ps}{IIARRAY2}{1.00} See also:\\ @@ -35201,6 +35907,11 @@ InnerIndexedTwoDimensionalArray(R,mnRow,mnCol,Row,Col):_ concat(s, "\end{array} \right]")$String @ +<>= +"IIARRAY2" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IIARRAY2"] +"IIARRAY2" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IPADIC InnerPAdicInteger} \pagehead{InnerPAdicInteger}{IPADIC} @@ -35461,6 +36172,12 @@ InnerPAdicInteger(p,unBalanced?): Exports == Implementation where reduce("+",reverse_! l) @ +<>= +"IPADIC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IPADIC"] +"IPADIC" -> "PADICCT" +"IPADIC" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IPF InnerPrimeField} \pagehead{InnerPrimeField}{IPF} @@ -35649,6 +36366,11 @@ InnerPrimeField(p:PositiveInteger): Exports == Implementation where charthRoot x == x @ +<>= +"IPF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IPF"] +"IPF" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ISUPS InnerSparseUnivariatePowerSeries} \pagehead{InnerSparseUnivariatePowerSeries}{ISUPS} @@ -36712,6 +37434,11 @@ InnerSparseUnivariatePowerSeries(Coef): Exports == Implementation where reduce("+",reverse_! l) @ +<>= +"ISUPS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ISUPS"] +"ISUPS" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain INTABL InnerTable} \pagehead{InnerTable}{INTABL} @@ -36747,6 +37474,11 @@ InnerTable(Key: SetCategory, Entry: SetCategory, addDom):Exports == Implementati Implementation ==> addDom @ +<>= +"INTABL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=INTABL"] +"INTABL" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ITAYLOR InnerTaylorSeries} \pagehead{InnerTaylorSeries}{ITAYLOR} @@ -36889,6 +37621,11 @@ InnerTaylorSeries(Coef): Exports == Implementation where order x == iOrder2(stream x,0) @ +<>= +"ITAYLOR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ITAYLOR"] +"ITAYLOR" -> "ALGEBRA" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain INFORM InputForm} \pagehead{InputForm}{INFORM} @@ -37081,6 +37818,11 @@ InputForm(): conv [convert("/"::Symbol), s1, s2]$List(%) @ +<>= +"INFORM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=INFORM"] +"INFORM" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain INT Integer} The function {\bf one?} has been rewritten back to its original form. @@ -37744,7 +38486,6 @@ o )help DecimalExpansion o )help IntegerNumberTheoryFunctions o )help RomanNumeral o )show Integer -o $AXIOM/doc/src/algebra/integer.spad.dvi @ \pagehead{Integer}{INT} @@ -37932,6 +38673,13 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with -- gcdPolynomial(p,q) == modularGcd(p,q)$TT @ +<>= +"INT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=INT", + shape=ellipse] +"INT" -> "STRING" +"INT" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ZMOD IntegerMod} \pagehead{IntegerMod}{ZMOD} @@ -38024,6 +38772,11 @@ IntegerMod(p:PositiveInteger): positiveRemainder(c1, p) @ +<>= +"ZMOD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ZMOD"] +"ZMOD" -> "BMODULE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain INTFTBL IntegrationFunctionsTable} \pagehead{IntegrationFunctionsTable}{INTFTBL} @@ -38126,6 +38879,11 @@ IntegrationFunctionsTable(): E == I where qelt(theFTable,k)$Rep @ +<>= +"INTFTBL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=INTFTBL"] +"INTFTBL" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IR IntegrationResult} \pagehead{IntegrationResult}{IR} @@ -38302,6 +39060,11 @@ IntegrationResult(F:Field): Exports == Implementation where int((ne.integrand)::O * hconcat ["d"::Symbol::O, (ne.intvar)::O]) @ +<>= +"IR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IR"] +"IR" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain INTRVL Interval} \pagehead{Interval}{INTRVL} @@ -38749,6 +39512,11 @@ Interval(R:Join(FloatingPointSystem,TranscendentalFunctionCategory)): IntervalCa _*_* (u:%,n:Fraction Integer):% == interval(inf(u)**n,sup(u)**n) @ +<>= +"INTRVL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=INTRVL"] +"INTRVL" -> "INTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter J} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -39060,7 +39828,6 @@ See Also: o )help Expression o )help BasicOperator o )show Kernel -o $AXIOM/doc/src/algebra/kl.spad.dvi @ \pagehead{Kernel}{KERNEL} @@ -39211,6 +39978,11 @@ Kernel(S:OrderedSet): Exports == Implementation where o [convert x for x in k.arg]$List(Pattern Float) @ +<>= +"KERNEL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=KERNEL"] +"KERNEL" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain KAFILE KeyedAccessFile} <>= @@ -39337,7 +40109,6 @@ o )help File o )help TextFile o )help Library o )show KeyedAccessFile -o $AXIOM/doc/src/algebra/files.spad.dvi @ \pagehead{KeyedAccessFile}{KAFILE} @@ -39476,6 +40247,11 @@ KeyedAccessFile(Entry): KAFcategory == KAFcapsule where f @ +<>= +"KAFILE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=KAFILE"] +"KAFILE" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter L} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -39641,6 +40417,11 @@ LaurentPolynomial(R, UP): Exports == Implementation where mkgpol(order c - order b, bc.coef2)] @ +<>= +"LAUPOL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LAUPOL"] +"LAUPOL" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LIB Library} <>= @@ -39704,7 +40485,6 @@ o )help File o )help TextFile o )help KeyedAccessFile o )show Library -o $AXIOM/doc/src/algebra/files.spad.dvi @ \pagehead{Library}{LIB} @@ -39736,8 +40516,8 @@ Library(): TableAggregate(String, Any) with ++ unused space. elt : (%, Symbol) -> Any - ++ elt(lib,k) or lib.k extracts the value corresponding to the key \spad{k} - ++ from the library \spad{lib}. + ++ elt(lib,k) or lib.k extracts the value corresponding to + ++ the key \spad{k} from the library \spad{lib}. setelt : (%, Symbol, Any) -> Any ++ \spad{lib.k := v} saves the value \spad{v} in the library @@ -39753,6 +40533,11 @@ Library(): TableAggregate(String, Any) with setelt(f:%, v:Symbol, val:Any) == setelt(f, string v, val) @ +<>= +"LIB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LIB"] +"LIB" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LEXP LieExponentials} <>= @@ -39971,7 +40756,6 @@ Calculations See Also: o )show LieExponentials -o $AXIOM/doc/src/algebra/xlpoly.spad.dvi @ \pagehead{LieExponentials}{LEXP} @@ -40111,6 +40895,12 @@ LieExponentials(VarSet, R, Order): XDPcat == XDPdef where lt pretend $ @ +<>= +"LEXP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LEXP"] +"LEXP" -> "FLAGG-" +"LEXP" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LPOLY LiePolynomial} <>= @@ -40510,7 +41300,6 @@ See Also: o )help LyndonWord o )help XDistributedPolynomial o )show LiePolynomial -o $AXIOM/doc/src/algebra/xlpoly.spad.dvi @ \pagehead{LiePolynomial}{LPOLY} @@ -40709,6 +41498,11 @@ LiePolynomial(VarSet:OrderedSet, R:CommutativeRing) : Public == Private where -- mkNary("+" :: EX,le) @ +<>= +"LPOLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LPOLY"] +"LPOLY" -> "FLALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LSQM LieSquareMatrix} \pagehead{LieSquareMatrix}{LSQM} @@ -40802,6 +41596,11 @@ LieSquareMatrix(n,R): Exports == Implementation where -- if R has commutative("*") and R has unitsKnown then unitsKnown @ +<>= +"LSQM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LSQM"] +"LSQM" -> "FRNAALG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LODO LinearOrdinaryDifferentialOperator} <>= @@ -41289,7 +42088,6 @@ Evaluate this for several values of n. See Also: o )show LinearOrdinaryDifferentialOperator -o $AXIOM/doc/src/algebra/lodo.spad.dvi @ \pagehead{LinearOrdinaryDifferentialOperator}{LODO} @@ -41327,6 +42125,11 @@ LinearOrdinaryDifferentialOperator(A:Ring, diff: A -> A): directSum(a, b) == directSum(a, b, diff) @ +<>= +"LODO" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LODO"] +"LODO" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LODO1 LinearOrdinaryDifferentialOperator1} <>= @@ -41718,7 +42521,6 @@ both sides. See Also: o )show LinearOrdinaryDifferentialOperator1 -o $AXIOM/doc/src/algebra/lodo.spad.dvi @ \pagehead{LinearOrdinaryDifferentialOperator1}{LODO1} @@ -41741,6 +42543,11 @@ LinearOrdinaryDifferentialOperator1(A:DifferentialRing) == LinearOrdinaryDifferentialOperator(A, differentiate$A) @ +<>= +"LODO1" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LODO1"] +"LODO1" -> "LODOCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LODO2 LinearOrdinaryDifferentialOperator2} <>= @@ -42261,7 +43068,6 @@ These operators can be applied to vector values. See Also: o )show LinearOrdinaryDifferentialOperator2 -o $AXIOM/doc/src/algebra/lodo.spad.dvi @ \pagehead{LinearOrdinaryDifferentialOperator2}{LODO2} @@ -42294,6 +43100,11 @@ LinearOrdinaryDifferentialOperator2(A, M): Exports == Implementation where apply(p, differentiate, m)$ApplyUnivariateSkewPolynomial(A, M, %) @ +<>= +"LODO2" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LODO2"] +"LODO2" -> "LODOCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LIST List} <>= @@ -42852,7 +43663,6 @@ a list. See Also: o )help Stream o )show List -o $AXIOM/doc/src/algebra/list.spad.dvi @ \pagehead{List}{LIST} @@ -42995,6 +43805,12 @@ List(S:Type): Exports == Implementation where [convert a for a in (x pretend List S)]$List(InputForm)) @ +<>= +"LIST" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LIST", + shape=ellipse] +"LIST" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LMOPS ListMonoidOps} \pagehead{ListMonoidOps}{LMOPS} @@ -43159,6 +43975,12 @@ ListMonoidOps(S, E, un): Exports == Implementation where g @ +<>= +"LMOPS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LMOPS"] +"LMOPS" -> "FLAGG" +"LMOPS" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LMDICT ListMultiDictionary} \pagehead{ListMultiDictionary}{LMDICT} @@ -43308,6 +44130,11 @@ ListMultiDictionary(S:SetCategory): MultiDictionary(S) with s @ +<>= +"LMDICT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LMDICT"] +"LMDICT" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LA LocalAlgebra} \pagehead{LocalAlgebra}{LA} @@ -43346,6 +44173,11 @@ LocalAlgebra(A: Algebra R, characteristic() == characteristic()$A @ +<>= +"LA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LA"] +"LA" -> "OAGROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LO Localize} \pagehead{Localize}{LO} @@ -43420,6 +44252,11 @@ Localize(M:Module R, concat("{ ", concat(nl, concat(" \over ", concat(dl, " }")$String)$String)$String)$String @ +<>= +"LO" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LO"] +"LO" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain LWORD LyndonWord} <>= @@ -43758,7 +44595,6 @@ Checks and coercions See Also: o )show LyndonWord -o $AXIOM/doc/src/algebra/xlpoly.spad.dvi @ \pagehead{LyndonWord}{LWORD} @@ -43924,6 +44760,11 @@ LyndonWord(VarSet:OrderedSet):Public == Private where "append"/ [v.i for i in 1..n] @ +<>= +"LWORD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=LWORD"] +"LWORD" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter M} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -43980,6 +44821,11 @@ MachineComplex():Exports == Implementation where complex(real(u)::Float,imag(u)::Float) @ +<>= +"MCMPLX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MCMPLX"] +"MCMPLX" -> "COMPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MFLOAT MachineFloat} \pagehead{MachineFloat}{MFLOAT} @@ -44289,6 +45135,11 @@ MachineFloat(): Exports == Implementation where characteristic():NNI == 0 @ +<>= +"MFLOAT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MFLOAT"] +"MFLOAT" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MINT MachineInteger} \pagehead{MachineInteger}{MINT} @@ -44349,6 +45200,11 @@ MachineInteger(): Exports == Implementation where retractIfCan(u:$):Union(Integer,"failed") == u pretend Integer @ +<>= +"MINT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MINT"] +"MINT" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MAGMA Magma} <>= @@ -44646,7 +45502,6 @@ Check ordering See Also: o )show Magma -o $AXIOM/doc/src/algebra/xlpoly.spad.dvi @ \pagehead{Magma}{MAGMA} @@ -44793,6 +45648,12 @@ Magma(VarSet:OrderedSet):Public == Private where lx < ly @ +<>= +"MAGMA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MAGMA"] +"MAGMA" -> "FLAGG" +"MAGMA" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MKCHSET MakeCachableSet} \pagehead{MakeCachableSet}{MKCHSET} @@ -44836,6 +45697,11 @@ MakeCachableSet(S:SetCategory): Exports == Implementation where position(x) = position(y) @ +<>= +"MKCHSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MKCHSET"] +"MKCHSET" -> "CACHSET" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MATRIX Matrix} <>= @@ -45747,7 +46613,6 @@ o )help TwoDimensionalArray o )help Vector o )help Permanent o )show Matrix -o $AXIOM/doc/src/algebra/matrix.spad.dvi @ \pagehead{Matrix}{MATRIX} @@ -45931,6 +46796,11 @@ Matrix(R): Exports == Implementation where convert listOfLists x]$List(InputForm) @ +<>= +"MATRIX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MATRIX"] +"MATRIX" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MODMON ModMonic} \pagehead{ModMonic}{MODMON} @@ -46104,6 +46974,11 @@ ModMonic(R,Rep): C == T -- ans @ +<>= +"MODMON" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MODMON"] +"MODMON" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MODFIELD ModularField} \pagehead{ModularField}{MODFIELD} @@ -46137,6 +47012,11 @@ ModularField(R,Mod,reduction:(R,Mod) -> R, T == ModularRing(R,Mod,reduction,merge,exactQuo) @ +<>= +"MODFIELD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MODFIELD"] +"MODFIELD" -> "FIELD" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MODRING ModularRing} \pagehead{ModularRing}{MODRING} @@ -46235,6 +47115,11 @@ ModularRing(R,Mod,reduction:(R,Mod) -> R, else u::% @ +<>= +"MODRING" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MODRING"] +"MODRING" -> "BMODULE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MODMONOM ModuleMonomial} \pagehead{ModuleMonomial}{MODMONOM} @@ -46272,6 +47157,11 @@ ModuleMonomial(IS: OrderedSet, construct(i:IS, e:E):$ == [i, e]$MM::Rep::$ @ +<>= +"MODMONOM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MODMONOM"] +"MODMONOM" -> "ORDSET" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MODOP ModuleOperator} \pagehead{ModuleOperator}{MODOP} @@ -46505,6 +47395,12 @@ ModuleOperator(R: Ring, M:LeftModule(R)): Exports == Implementation where if R has conjugate:R -> R then conjug r == conjugate r else conjug r == r @ +<>= +"MODOP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MODOP"] +"MODOP" -> "FLAGG" +"MODOP" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MOEBIUS MoebiusTransform} \pagehead{MoebiusTransform}{MOEBIUS} @@ -46608,6 +47504,12 @@ MoebiusTransform(F): Exports == Implementation where proportional?(list1,list2) @ +<>= +"MOEBIUS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MOEBIUS"] +"MOEBIUS" -> "FIELD" +"MOEBIUS" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MRING MonoidRing} \pagehead{MonoidRing}{MRING} @@ -46929,6 +47831,12 @@ MonoidRing(R: Ring, M: Monoid): MRcategory == MRdefinition where [[Tabl.m, m]$Term for m in keys Tabl] @ +<>= +"MRING" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MRING"] +"MRING" -> "FLAGG" +"MRING" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MSET Multiset} <>= @@ -47143,7 +48051,6 @@ Check some inclusion relations. See Also: o )show Multiset -o $AXIOM/doc/src/algebra/mset.spad.dvi @ \pagehead{Multiset}{MSET} @@ -47432,6 +48339,11 @@ Multiset(S: SetCategory): MultisetAggregate S with true @ +<>= +"MSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MSET"] +"MSET" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MPOLY MultivariatePolynomial} <>= @@ -47630,7 +48542,6 @@ o )help DistributedMultivariatePolynomial o )help UnivariatePolynomial o )help Polynomial o )show MultivariatePolynomial -o $AXIOM/doc/src/algebra/multpoly.spad.dvi @ \pagehead{MultivariatePolynomial}{MPOLY} @@ -47663,6 +48574,11 @@ MultivariatePolynomial(vl:List Symbol, R:Ring) R, OrderedVariableList vl) @ +<>= +"MPOLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MPOLY"] +"MPOLY" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MYEXPR MyExpression} \pagehead{MyExpression}{MYEXPR} @@ -47720,6 +48636,11 @@ MyExpression(q: Symbol, R): Exports == Implementation where quot::(Expression R) @ +<>= +"MYEXPR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MYEXPR"] +"MYEXPR" -> "MYUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain MYUP MyUnivariatePolynomial} \pagehead{MyUnivariatePolynomial}{MYUP} @@ -47757,6 +48678,11 @@ MyUnivariatePolynomial(x:Symbol, R:Ring): R, %) @ +<>= +"MYUP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=MYUP"] +"MYUP" -> "MYEXPR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter N} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -48169,6 +49095,11 @@ NewSparseMultivariatePolynomial(R,VarSet) : Exports == Implementation where p @ +<>= +"NSMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=NSMP"] +"NSMP" -> "RPOLCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain NSUP NewSparseUnivariatePolynomial} Based on the {\bf PseudoRemainderSequence} package, the domain @@ -48433,6 +49364,11 @@ NewSparseUnivariatePolynomial(R): Exports == Implementation where (co ** pow) * (per reverse qq) @ +<>= +"NSUP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=NSUP"] +"NSUP" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain NONE None} <>= @@ -48498,13 +49434,8 @@ such as List NonNegativeInteger, do it this way. See Also: o )show None -o $AXIOM/doc/src/algebra/any.spad.dvi @ -<>= -"NONE" -> "SETCAT" -"None()" -> "SetCategory()" -@ \pagehead{None}{NONE} \pagepic{ps/v103none.ps}{NONE}{1.00} See also:\\ @@ -48530,6 +49461,12 @@ None():SetCategory == add x:% = y:% == EQ(x,y)$Lisp @ +<>= +"NONE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=NONE"] +"NONE" -> "BASTYPE" +"NONE" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain NNI NonNegativeInteger} \pagehead{NonNegativeInteger}{NNI} @@ -48580,6 +49517,11 @@ NonNegativeInteger: Join(OrderedAbelianMonoidSup,Monoid) with c pretend % @ +<>= +"NNI" [color="#88FF44",href="bookvol10.3.pdf#nameddest=NNI",shape=ellipse] +"NNI" -> "OAMONS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain NIPROB NumericalIntegrationProblem} \pagehead{NumericalIntegrationProblem}{NIPROB} @@ -48647,6 +49589,12 @@ NumericalIntegrationProblem():SetCategory with [x.mdnia] @ +<>= +"NIPROB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=NIPROB"] +"NIPROB" -> "BASTYPE" +"NIPROB" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ODEPROB NumericalODEProblem} \pagehead{NumericalODEProblem}{ODEPROB} @@ -48698,6 +49646,12 @@ NumericalODEProblem():SetCategory with retract(x:%):ODEAB == x :: Rep @ +<>= +"ODEPROB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ODEPROB"] +"ODEPROB" -> "BASTYPE" +"ODEPROB" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OPTPROB NumericalOptimizationProblem} \pagehead{NumericalOptimizationProblem}{OPTPROB} @@ -48767,6 +49721,12 @@ NumericalOptimizationProblem():SetCategory with [x.lsa] @ +<>= +"OPTPROB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OPTPROB"] +"OPTPROB" -> "BASTYPE" +"OPTPROB" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PDEPROB NumericalPDEProblem} \pagehead{NumericalPDEProblem}{PDEPROB} @@ -48830,6 +49790,12 @@ NumericalPDEProblem():SetCategory with retract(x:%):PDEBC == x :: Rep @ +<>= +"PDEPROB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PDEPROB"] +"PDEPROB" -> "BASTYPE" +"PDEPROB" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter O} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -49111,7 +50077,6 @@ Since the result is 0, the norm is multiplicative. See Also: o )help Quaternion o )show Octonion -o $AXIOM/doc/src/algebra/oct.spad.dvi @ \pagehead{Octonion}{OCT} @@ -49181,6 +50146,12 @@ Octonion(R:CommutativeRing): export == impl where x * y == [x.e*y.e-(conjugate y.E)*x.E, y.E*x.e + x.E*(conjugate y.e)] @ +<>= +"OCT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OCT"] +"OCT" -> "OC" +"OCT" -> "QUATCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ODEIFTBL ODEIntensityFunctionsTable} \pagehead{ODEIntensityFunctionsTable}{ODEIFTBL} @@ -49263,6 +50234,11 @@ ODEIntensityFunctionsTable(): E == I where search(k,theIFTable)$Rep @ +<>= +"ODEIFTBL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ODEIFTBL"] +"ODEIFTBL" -> "Domain" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ARRAY1 OneDimensionalArray} <>= @@ -49418,13 +50394,8 @@ See Also: o )help Vector o )help FlexibleArray o )show OneDimensionalArray -o $AXIOM/doc/src/algebra/array1.spad.dvi @ -<>= -"ARRAY1" -> "A1AGG" -"OneDimensionalArray(a:Type)" -> "OneDimensionalArrayAggregate(a:Type)" -@ \pagehead{OneDimensionalArray}{ARRAY1} \pagepic{ps/v103onedimensionalarray.ps}{ARRAY1}{1.00} See also:\\ @@ -49460,14 +50431,13 @@ OneDimensionalArray(S:Type): Exports == Implementation where oneDimensionalArray(n,s) == new(n,s) @ +<>= +"ARRAY1" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ARRAY1"] +"ARRAY1" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ONECOMP OnePointCompletion} -<>= -"ONECOMP" -> "SETCAT" -"OnePointCompletion(a:SetCategory)" -> "SetCategory()" -"ONECOMP" -> "FRETRCT" -"OnePointCompletion(a:SetCategory)" -> "FullyRetractableTo(a:SetCategory)" -@ \pagehead{OnePointCompletion}{ONECOMP} \pagepic{ps/v103onepointcompletion.ps}{ONECOMP}{1.00} See also:\\ @@ -49575,6 +50545,11 @@ OnePointCompletion(R:SetCategory): Exports == Implementation where rational(r::R) @ +<>= +"ONECOMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ONECOMP"] +"ONECOMP" -> "FRETRCT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OMCONN OpenMathConnection} \pagehead{OpenMathConnection}{OMCONN} @@ -49619,6 +50594,11 @@ OpenMathConnection(): with OM_-BINDTCP(conn, port)$Lisp @ +<>= +"OMCONN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OMCONN"] +"OMCONN" -> "Domain" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OMDEV OpenMathDevice} \pagehead{OpenMathDevice}{OMDEV} @@ -49792,6 +50772,11 @@ OpenMathDevice(): with OMgetType(dev: %): Symbol == OM_-GETTYPE(dev)$Lisp @ +<>= +"OMDEV" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OMDEV"] +"OMDEV" -> "Domain" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OMENC OpenMathEncoding} \pagehead{OpenMathEncoding}{OMENC} @@ -49843,6 +50828,12 @@ OpenMathEncoding(): SetCategory with OMencodingSGML(): % == 3::Rep @ +<>= +"OMENC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OMENC"] +"OMENC" -> "BASTYPE" +"OMENC" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OMERR OpenMathError} \pagehead{OpenMathError}{OMERR} @@ -49894,6 +50885,11 @@ OpenMathError() : SetCategory with errorInfo(e:%):List Symbol == e.info @ +<>= +"OMERR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OMERR"] +"OMERR" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OMERRK OpenMathErrorKind} \pagehead{OpenMathErrorKind}{OMERRK} @@ -49949,6 +50945,11 @@ OpenMathErrorKind() : SetCategory with coerce(e:%):OutputForm == coerce(e)$Rep @ +<>= +"OMERRK" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OMERRK"] +"OMERRK" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OP Operator} <>= @@ -50334,7 +51335,6 @@ Here is the evaluation. See Also: o )show Operator -o $AXIOM/doc/src/algebra/opalg.spad.dvi @ \pagehead{Operator}{OP} @@ -50351,6 +51351,11 @@ See also:\\ Operator(R: Ring) == ModuleOperator(R,R) @ +<>= +"OP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OP"] +"OP" -> "ALGEBRA" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OMLO OppositeMonogenicLinearOperator} \pagehead{OppositeMonogenicLinearOperator}{OMLO} @@ -50396,14 +51401,13 @@ OppositeMonogenicLinearOperator(P, R): OPRcat == OPRdef where coerce(x): OutputForm == prefix(op::OutputForm, [coerce(x:P)$P]) @ +<>= +"OMLO" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OMLO"] +"OMLO" -> "MLO" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ORDCOMP OrderedCompletion} -<>= -"ORDCOMP" -> "SETCAT" -"OrderedCompletion(a:SetCategory)" -> "SetCategory()" -"ORDCOMP" -> "FRETRCT" -"OrderedCompletion(a:SetCategory)" -> "FullyRetractableTo(a:SetCategory)" -@ \pagehead{OrderedCompletion}{ORDCOMP} \pagepic{ps/v103orderedcompletion.ps}{ORDCOMP}{1.00} See also:\\ @@ -50537,6 +51541,11 @@ OrderedCompletion(R:SetCategory): Exports == Implementation where rational(r::R) @ +<>= +"ORDCOMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ORDCOMP"] +"ORDCOMP" -> "FRETRCT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ODP OrderedDirectProduct} \pagehead{OrderedDirectProduct}{ODP} @@ -50576,6 +51585,11 @@ OrderedDirectProduct(dim:NonNegativeInteger, x:% < y:% == f(x::Rep,y::Rep) @ +<>= +"ODP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ODP"] +"ODP" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OFMONOID OrderedFreeMonoid} \pagehead{OrderedFreeMonoid}{OFMONOID} @@ -50732,6 +51746,12 @@ OrderedFreeMonoid(S: OrderedSet): OFMcategory == OFMdefinition where mirror x == reverse(x)$Rep @ +<>= +"OFMONOID" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OFMONOID"] +"OFMONOID" -> "FLAGG" +"OFMONOID" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OVAR OrderedVariableList} <>= @@ -50826,7 +51846,6 @@ Check that the ordering is right See Also: o )show OrderedVariableList -o $AXIOM/doc/src/algebra/variable.spad.dvi @ \pagehead{OrderedVariableList}{OVAR} @@ -50861,6 +51880,11 @@ OrderedVariableList(VariableList:List Symbol): latex(x:%):String == latex(convert(x)@Symbol) @ +<>= +"OVAR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OVAR"] +"OVAR" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ODPOL OrderlyDifferentialPolynomial} See also:\\ @@ -51517,7 +52541,6 @@ obtain the (pseudo) remainder of f modulo g and its derivatives. See Also: o )show OrderlyDifferentialPolynomial -o $AXIOM/doc/src/algebra/dpolcat.spad.dvi @ \pagehead{OrderlyDifferentialPolynomial}{ODPOL} @@ -51556,6 +52579,11 @@ OrderlyDifferentialPolynomial(R): Implementation ==> DifferentialSparseMultivariatePolynomial(R,S,V) @ +<>= +"ODPOL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ODPOL"] +"ODPOL" -> "DPOLCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ODVAR OrderlyDifferentialVariable} \pagehead{OrderlyDifferentialVariable}{ODVAR} @@ -51598,6 +52626,12 @@ OrderlyDifferentialVariable(S:OrderedSet):DifferentialVariableCategory(S) order v == v.ord @ +<>= +"ODVAR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ODVAR"] +"ODVAR" -> "ORDSET" +"ODVAR" -> "RETRACT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ODR OrdinaryDifferentialRing} \pagehead{OrdinaryDifferentialRing}{ODR} @@ -51645,6 +52679,11 @@ OrdinaryDifferentialRing(Kernels,R,var): DRcategory == DRcapsule where inv(p) == (inv(p::R)$R)::$ @ +<>= +"ODR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ODR"] +"ODR" -> "FIELD" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OWP OrdinaryWeightedPolynomials} \pagehead{OrdinaryWeightedPolynomials}{OWP} @@ -51688,6 +52727,11 @@ OrdinaryWeightedPolynomials(R:Ring, vl,wl,wtlevel) @ +<>= +"OWP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OWP"] +"OWP" -> "FIELD" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OSI OrdSetInts} \pagehead{OrdSetInts}{OSI} @@ -51729,6 +52773,11 @@ OrdSetInts: Export == Implement where sub(e::Symbol::O, coerce(x)$Rep)$O @ +<>= +"OSI" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OSI"] +"OSI" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OUTFORM OutputForm} \pagehead{OutputForm}{OUTFORM} @@ -52186,6 +53235,12 @@ OutputForm(): SetCategory with int(a,b,c) == [eform INTSIGN,b, c, a] @ +<>= +"OUTFORM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OUTFORM", + shape=ellipse] +"OUTFORM" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter P} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -52217,6 +53272,11 @@ See also:\\ PAdicInteger(p:Integer) == InnerPAdicInteger(p,true$Boolean) @ +<>= +"PADIC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PADIC"] +"PADIC" -> "PADICCT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PADICRAT PAdicRational} \pagehead{PAdicRational}{PADICRAT} @@ -52246,6 +53306,11 @@ See also:\\ PAdicRational(p:Integer) == PAdicRationalConstructor(p,PAdicInteger p) @ +<>= +"PADICRAT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PADICRAT"] +"PADICRAT" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PADICRC PAdicRationalConstructor} \pagehead{PAdicRationalConstructor}{PADICRC} @@ -52438,12 +53503,13 @@ PAdicRationalConstructor(p,PADIC): Exports == Implementation where reduce("+",reverse_! l) @ +<>= +"PADICRC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PADICRC"] +"PADICRC" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PALETTE Palette} -<>= -"PALETTE" -> "SETCAT" -"Palette()" -> "SetCategory()" -@ \pagehead{Palette}{PALETTE} \pagepic{ps/v103palette.ps}{PALETTE}{1.00} See also:\\ @@ -52502,6 +53568,12 @@ Palette(): Exports == Implementation where SHADE.(p.shadeField)," palette"] @ +<>= +"PALETTE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PALETTE"] +"PALETTE" -> "BASTYPE" +"PALETTE" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PARPCURV ParametricPlaneCurve} \pagehead{ParametricPlaneCurve}{PARPCURV} @@ -52547,6 +53619,11 @@ ParametricPlaneCurve(ComponentFunction): Exports == Implementation where error "coordinate: index out of bounds" @ +<>= +"PARPCURV" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PARPCURV"] +"PARPCURV" -> "TYPE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PARSCURV ParametricSpaceCurve} \pagehead{ParametricSpaceCurve}{PARSCURV} @@ -52595,6 +53672,11 @@ ParametricSpaceCurve(ComponentFunction): Exports == Implementation where error "coordinate: index out of bounds" @ +<>= +"PARSCURV" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PARSCURV"] +"PARSCURV" -> "TYPE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PARSURF ParametricSurface} \pagehead{ParametricSurface}{PARSURF} @@ -52643,6 +53725,11 @@ ParametricSurface(ComponentFunction): Exports == Implementation where error "coordinate: index out of bounds" @ +<>= +"PARSURF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PARSURF"] +"PARSURF" -> "TYPE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PFR PartialFraction} <>= @@ -52915,7 +54002,6 @@ o )help Factored o )help Complex o )help FullPartialFractionExpansionXmpPage o )show PartialFraction -o $AXIOM/doc/src/algebra/pfr.spad.dvi @ \pagehead{PartialFraction}{PFR} @@ -53248,6 +54334,13 @@ PartialFraction(R: EuclideanDomain): Cat == Capsule where reduce("+", reverse l) @ +<>= +"PFR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PFR"] +"PFR" -> "FIELD" +"PFR" -> "FLAGG-" +"PFR" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PRTITION Partition} \pagehead{Partition}{PRTITION} @@ -53381,14 +54474,14 @@ Partition: Exports == Implementation where for a in powers(x pretend Rep)] @ +<>= +"PRTITION" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PRTITION"] +"PRTITION" -> "FLAGG-" +"PRTITION" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PATTERN Pattern} -<>= -"RETRACT" -> "CATEGORY" -"RetractableTo(a:Type)" -> "Category" -"RetractableTo(SetCategory)" -> "RetractableTo(a:Type)" -"RetractableTo(Symbol)" -> "RetractableTo(a:Type)" -@ \pagehead{Pattern}{PATTERN} \pagepic{ps/v103pattern.ps}{PATTERN}{1.00} <>= @@ -53766,13 +54859,13 @@ Pattern(R:SetCategory): Exports == Implementation where mkPat(zero?(rsy.tag), [rsy], 0) @ +<>= +"PATTERN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PATTERN"] +"PATTERN" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PATLRES PatternMatchListResult} -<>= -"PATLRES" -> "SETCAT" -"PatternMatchListResult(a:SETCAT,b:SETCAT,c:LSAGG(SETCAT))" - -> "SetCategory()" -@ \pagehead{PatternMatchListResult}{PATLRES} \pagepic{ps/v103patternmatchlistresult.ps}{PATLRES}{1.00} See also:\\ @@ -53824,12 +54917,13 @@ PatternMatchListResult(R:SetCategory, S:SetCategory, L:ListAggregate S): RecordPrint(r, Rep)$Lisp @ +<>= +"PATLRES" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PATLRES"] +"PATLRES" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PATRES PatternMatchResult} -<>= -"PATRES" -> "SETCAT" -"PatternMatchResult(a:SetCategory, b:SetCategory)" -> "SetCategory()" -@ \pagehead{PatternMatchResult}{PATRES} \pagepic{ps/v103patternmatchresult.ps}{PATRES}{1.00} See also:\\ @@ -53936,6 +55030,11 @@ PatternMatchResult(R:SetCategory, S:SetCategory): SetCategory with search(retract(p)@Symbol, l::LR) @ +<>= +"PATRES" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PATRES"] +"PATRES" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PENDTREE PendantTree} A PendantTree(S)is either a leaf? and is an S or has @@ -53992,6 +55091,11 @@ PendantTree(S: SetCategory): T == C where paren blankSeparate [left b::OutputForm,right b ::OutputForm] @ +<>= +"PENDTREE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PENDTREE"] +"PENDTREE" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PERM Permutation} \pagehead{Permutation}{PERM} @@ -54226,7 +55330,6 @@ Permutation Examples See Also: o )show Permutation -o $AXIOM/doc/src/algebra/perm.spad.dvi @ <>= @@ -54530,6 +55633,11 @@ Up to [[patch--50]] we did not check for duplicates. pt +$PT conjugate(partition([#fixedPoints(p)])$PT)$PT @ +<>= +"PERM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PERM"] +"PERM" -> "FSAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PERMGRP PermutationGroup} \pagehead{PermutationGroup}{PERMGRP} @@ -55292,6 +56400,11 @@ PermutationGroup(S:SetCategory): public == private where initializeGroupForWordProblem ( gp ) == initializeGroupForWordProblem ( gp , 0 , 1 ) @ +<>= +"PERMGRP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PERMGRP"] +"PERMGRP" -> "FSAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain HACKPI Pi} \pagehead{Pi}{HACKPI} @@ -55362,6 +56475,11 @@ Pi(): Exports == Implementation where Integer, Float) (pi()$Float) @ +<>= +"HACKPI" [color="#88FF44",href="bookvol10.3.pdf#nameddest=HACKPI"] +"HACKPI" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ACPLOT PlaneAlgebraicCurvePlot} <>= @@ -55392,13 +56510,8 @@ PlaneAlgebraicCurvePlot examples See Also: o )show PlaneAlgebraicCurvePlot -o $AXIOM/doc/src/algebra/acplot.spad.dvi @ -<>= -"ACPLOT" -> "PPCURVE" -"PlaneAlgebraicCurvePlot()" -> "PlottablePlaneCurveCategory()" -@ \pagehead{PlaneAlgebraicCurvePlot}{ACPLOT} \pagepic{ps/v103planealgebraiccurveplot.ps}{ACPLOT}{1.00} <>= @@ -56614,6 +57727,11 @@ PlaneAlgebraicCurvePlot(): PlottablePlaneCurveCategory _ vconcat(message "ACPLOT",ff) @ +<>= +"ACPLOT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ACPLOT"] +"ACPLOT" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PLOT Plot} <>= @@ -56708,7 +57826,6 @@ and then feed it to the plot function with a Segment DoubleFloat See Also: o )show Plot -o $AXIOM/doc/src/algebra/plot.spad.dvi @ \pagehead{Plot}{PLOT} @@ -57276,6 +58393,11 @@ Plot(): Exports == Implementation where prefix("PLOT" :: OUT, reverse_! f) @ +<>= +"PLOT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PLOT"] +"PLOT" -> "FRAC" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PLOT3D Plot3D} \pagehead{Plot3D}{PLOT3D} @@ -57766,6 +58888,11 @@ Plot3D(): Exports == Implementation where outList @ +<>= +"PLOT3D" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PLOT3D"] +"PLOT3D" -> "TRANFUN" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PBWLB PoincareBirkhoffWittLyndonBasis} \pagehead{PoincareBirkhoffWittLyndonBasis}{PBWLB} @@ -57880,6 +59007,11 @@ PoincareBirkhoffWittLyndonBasis(VarSet: OrderedSet): Public == Private where lx < ly @ +<>= +"PBWLB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PBWLB"] +"PBWLB" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain POINT Point} \pagehead{Point}{POINT} @@ -57916,6 +59048,11 @@ Point(R:Ring) : Exports == Implementation where extend(p,l) == concat(p,point l) @ +<>= +"POINT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=POINT"] +"POINT" -> "PTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain POLY Polynomial} <>= @@ -58707,7 +59844,6 @@ o )help MultivariatePolynomial o )help DistributedMultivariatePolynomial o )help NewDistributedMultivariatePolynomial o )show Polynomial -o $AXIOM/doc/src/algebra/multpoly.spad.dvi @ \pagehead{Polynomial}{POLY} @@ -58756,6 +59892,11 @@ Polynomial(R:Ring): integrate(p, x) == (integrate univariate(p, x)) (x::%) @ +<>= +"POLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=POLY"] +"POLY" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain IDEAL PolynomialIdeals} \pagehead{PolynomialIdeals}{IDEAL} @@ -59179,6 +60320,11 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T zero?(I:Ideal) : Boolean == empty? (groebner I).idl @ +<>= +"IDEAL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=IDEAL"] +"IDEAL" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PR PolynomialRing} \pagehead{PolynomialRing}{PR} @@ -59493,6 +60639,11 @@ PolynomialRing(R:Ring,E:OrderedAbelianMonoid): T == C x/r == inv(r)*x @ +<>= +"PR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PR"] +"PR" -> "FAMR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PI PositiveInteger} \pagehead{PositiveInteger}{PI} @@ -59522,6 +60673,12 @@ PositiveInteger: Join(AbelianSemiGroup,OrderedSet,Monoid) with y:% @ +<>= +"PI" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PI",shape=ellipse] +"PI" -> "ORDSET" +"PI" -> "SGROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PF PrimeField} \pagehead{PrimeField}{PF} @@ -59555,12 +60712,13 @@ PrimeField(p:PositiveInteger): Exp == Impl where error "Argument to prime field must be a prime" @ +<>= +"PF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PF"] +"PF" -> "FAXF" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PRIMARR PrimitiveArray} -<>= -"PRIMARR" -> "A1AGG" -"PrimitiveArray(a:Type)" -> "OneDimensionalArrayAggregate(a:Type)" -@ \pagehead{PrimitiveArray}{PRIMARR} \pagepic{ps/v103primitivearray.ps}{PRIMARR}{1.00} See also:\\ @@ -59593,6 +60751,12 @@ PrimitiveArray(S:Type): OneDimensionalArrayAggregate S == add fill_!(x, s) == (for i in 0..Qmax x repeat Qsetelt(x, i, s); x) @ +<>= +"PRIMARR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PRIMARR", + shape=ellipse] +"PRIMARR" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain PRODUCT Product} \pagehead{Product}{PRODUCT} @@ -59693,14 +60857,15 @@ Product (A:SetCategory,B:SetCategory) : C == T -- formList([x.acomp::Expression,x.bcomp::Expression])$PrintableForm @ +<>= +"PRODUCT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=PRODUCT"] +"PRODUCT" -> "OAMONS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter Q} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain QFORM QuadraticForm} -<>= -"QFORM" -> "ABELGRP" -"QuadraticForm(a:PositiveInteger,b:Field)" -> "AbelianGroup()" -@ \pagehead{QuadraticForm}{QFORM} \pagepic{ps/v103quadraticform.ps}{QFORM}{1.00} See also:\\ @@ -59747,6 +60912,11 @@ QuadraticForm(n, K): T == Impl where elt(q,v) == dot(v, (matrix q * v)) @ +<>= +"QFORM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=QFORM"] +"QFORM" -> "FIELD" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain QALGSET QuasiAlgebraicSet} \pagehead{QuasiAlgebraicSet}{QALGSET} @@ -59937,6 +61107,11 @@ QuasiAlgebraicSet(R, Var,Expon,Dpoly) : C == T or/[(brace$(Set Dpoly) q) <$(Set Dpoly) (brace$(Set Dpoly) p) for q in qlist] @ +<>= +"QALGSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=QALGSET"] +"QALGSET" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain QUAT Quaternion} <>= @@ -60175,7 +61350,6 @@ o )help Octonion o )help Complex o )help CliffordAlgebra o )show Quaternion -o $AXIOM/doc/src/algebra/quat.spad.dvi @ \pagehead{Quaternion}{QUAT} @@ -60220,12 +61394,13 @@ Quaternion(R:CommutativeRing): QuaternionCategory(R) == add x.r*y.k+x.k*y.r+x.i*y.j-x.j*y.i] @ +<>= +"QUAT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=QUAT"] +"QUAT" -> "QUATCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain QEQUAT QueryEquation} -<>= -"QEQUAT" -> "KOERCE" -"QueryEquation()" -> "CoercibleTo(OutputForm)" -@ \pagehead{QueryEquation}{QEQUAT} \pagepic{ps/v103queryequation.ps}{QEQUAT}{1.00} See also:\\ @@ -60251,12 +61426,13 @@ QueryEquation(): Exports == Implementation where value q == q.val @ +<>= +"QEQUAT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=QEQUAT"] +"QEQUAT" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain QUEUE Queue} -<>= -"QUEUE" -> "QUAGG" -"Queue(a:SetCategory)" -> "QueueAggregate(a:SetCategory)" -@ \pagehead{Queue}{QUEUE} \pagepic{ps/v103queue.ps}{QUEUE}{1.00} See also:\\ @@ -60310,19 +61486,16 @@ Queue(S:SetCategory): QueueAggregate S with queue q == ref copy q @ +<>= +"QUEUE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=QUEUE"] +"QUEUE" -> "FLAGG" +"QUEUE" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter R} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RADFF RadicalFunctionField} -<>= -"RADFF" -> "FFCAT" -"RadicalFunctionField(a:UFD,b:UPOLYC(a),c:UPOLYC(FRAC(b)),d:FRAC(b))" - -> "FunctionFieldCategory(a:UFD,b:UPOLYC(a),c:UPOLYC(FRAC(b)))" -"RADFF" -> "SAE" -"RadicalFunctionField(a:UFD,b:UPOLYC(a),c:UPOLYC(FRAC(b)),d:FRAC(b))" - -> -"SimpleAlgebraicExtension(a:FRAC(UPOLYC(UFD)),b:UPOLYC(FRAC(UPOLYC(UFD))))" -@ \pagehead{RadicalFunctionField}{RADFF} \pagepic{ps/v103radicalfunctionfield.ps}{RADFF}{1.00} See also:\\ @@ -60527,6 +61700,11 @@ RadicalFunctionField(F, UP, UPUP, radicnd, n): Exports == Impl where zero?(((radcand() exquo (monomial(1,1)$UP-point::UP))::UP) point) @ +<>= +"RADFF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RADFF"] +"RADFF" -> "FFCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RADIX RadixExpansion} <>= @@ -60806,7 +61984,6 @@ o )help DecimalExpansion o )help BinaryExpansion o )help HexadecimalExpansion o )show RadixExpansion -o $AXIOM/doc/src/algebra/radix.spad.dvi @ \pagehead{RadixExpansion}{RADIX} @@ -61059,6 +62236,12 @@ RadixExpansion(bb): Exports == Implementation where [reverse_! ritspfx, reverse_! ritscyc] @ +<>= +"RADIX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RADIX"] +"RADIX" -> "PFECAT" +"RADIX" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RECLOS RealClosure} The domain constructore {\bf RealClosure} by Renaud Rioboo (University @@ -62284,7 +63467,6 @@ o )help UnivariatePolynomialCategory o )help Field o )help RealPolynomialUtilitiesPackage o )show RealClosure -o $AXIOM/doc/src/algebra/reclos.spad.dvi @ \pagehead{RealClosure}{RECLOS} @@ -62603,6 +63785,11 @@ RealClosure(TheField): PUB == PRIV where coerce(rn:TheField):$ == rn :: $ @ +<>= +"RECLOS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RECLOS"] +"RECLOS" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RMATRIX RectangularMatrix} \pagehead{RectangularMatrix}{RMATRIX} @@ -62700,12 +63887,13 @@ RectangularMatrix(m,n,R): Exports == Implementation where convert(x::Matrix(R))]$List(InputForm) @ +<>= +"RMATRIX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RMATRIX"] +"RMATRIX" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain REF Reference} -<>= -"REF" -> "TYPE" -"Reference(a:Type)" -> "Type()" -@ \pagehead{Reference}{REF} \pagepic{ps/v103reference.ps}{REF}{1.00} See also:\\ @@ -62754,6 +63942,13 @@ Reference(S:Type): Type with prefix(message("ref"@String), [p.value::OutputForm]) @ +<>= +"REF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=REF",shape=ellipse] +"REF" -> "TYPE" +"REF" -> "BASTYPE" +"REF" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RGCHAIN RegularChain} \pagehead{RegularChain}{RGCHAIN} @@ -62792,6 +63987,11 @@ RegularChain(R,ls): Exports == Implementation where Implementation == RegularTriangularSet(R,E,V,P) @ +<>= +"RGCHAIN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RGCHAIN"] +"RGCHAIN" -> "RSETCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain REGSET RegularTriangularSet} Several domain constructors implement regular triangular sets (or regular @@ -64167,7 +65367,6 @@ o )help LexTriangularPackage o )help LazardSetSolvingPackage o )help SquareFreeRegularTriangularSet o )show RegularTriangularSet -o $AXIOM/doc/src/algebra/regset.spad.dvi @ \pagehead{RegularTriangularSet}{REGSET} @@ -64560,6 +65759,11 @@ RegularTriangularSet(R,E,V,P) : Exports == Implementation where return [lp2,lts] @ +<>= +"REGSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=REGSET"] +"REGSET" -> "RSETCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RESRING ResidueRing} \pagehead{ResidueRing}{RESRING} @@ -64618,6 +65822,11 @@ ResidueRing(F,Expon,VarSet,FPol,LFPol) : Dom == Body coerce(x) : OutputForm == coerce(x)$Rep @ +<>= +"RESRING" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RESRING"] +"RESRING" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RESULT Result} \pagehead{Result}{RESULT} @@ -64698,16 +65907,10 @@ Result():Exports==Implementation where showScalarValues(b:Boolean):Boolean == showScalarValuesFlag := b @ -<>= -digraph pic { - fontsize=10; - bgcolor="#FFFF66"; - node [shape=box, color=white, style=filled]; - -"Result" - [color=lightblue,href="bookvol10.3.pdf#nameddest=RESULT"]; +<>= +"RESULT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RESULT"] +"RESULT" -> "ALIST" -} @ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RULE RewriteRule} @@ -64847,6 +66050,11 @@ RewriteRule(Base, R, F): Exports == Implementation where lhs(x)::OutputForm, rhs(x)::OutputForm) @ +<>= +"RULE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RULE"] +"RULE" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ROIRC RightOpenIntervalRootCharacterization} The domain RightOpenIntervalRootCharacterization is the main code that @@ -65348,6 +66556,11 @@ RightOpenIntervalRootCharacterization(TheField,ThePolDom) : PUB == PRIV where -- lsg := sg -- res @ +<>= +"ROIRC" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ROIRC"] +"ROIRC" -> "RRCC" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ROMAN RomanNumeral} <>= @@ -65629,7 +66842,6 @@ o )help BinaryExpansion o )help DecimalExpansion o )help IntegerNumberTheoryFunctions o )show RomanNumeral -o $AXIOM/doc/src/algebra/integer.spad.dvi @ \pagehead{RomanNumeral}{ROMAN} @@ -65678,6 +66890,11 @@ RomanNumeral(): IntegerNumberSystem with FormatRoman(n::PositiveInteger)::Symbol::OutputForm @ +<>= +"ROMAN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ROMAN"] +"ROMAN" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ROUTINE RoutinesTable} \pagehead{RoutinesTable}{ROUTINE} @@ -66061,6 +67278,11 @@ RoutinesTable(): E == I where empty()$LST @ +<>= +"ROUTINE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ROUTINE"] +"ROUTINE" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RULECOLD RuleCalled} \pagehead{RuleCalled}{RULECOLD} @@ -66079,6 +67301,11 @@ RuleCalled(f:Symbol): SetCategory with latex(x:%):String == latex f @ +<>= +"RULECOLD" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RULECOLD"] +"RULECOLD" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain RULESET Ruleset} \pagehead{Ruleset}{RULESET} @@ -66124,6 +67351,11 @@ Ruleset(Base, R, F): Exports == Implementation where rules x == parts(x)$Rep @ +<>= +"RULESET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=RULESET"] +"RULESET" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter S} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -66558,6 +67790,11 @@ ScriptFormulaFormat(): public == private where formatFunction(op,args,prec) @ +<>= +"FORMULA" [color="#88FF44",href="bookvol10.3.pdf#nameddest=FORMULA"] +"FORMULA" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SEG Segment} <>= @@ -66727,7 +67964,6 @@ See Also: o )help UniversalSegment o )help SegmentBinding o )show Segment -o $AXIOM/doc/src/algebra/seg.spad.dvi @ \pagehead{Segment}{SEG} @@ -66812,6 +68048,11 @@ Segment(S:Type): SegmentCategory(S) with reverse_! lr @ +<>= +"SEG" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SEG"] +"SEG" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SEGBIND SegmentBinding} <>= @@ -66923,7 +68164,6 @@ See Also: o )help Segment o )help UniversalSegment o )show SegmentBinding -o $AXIOM/doc/src/algebra/seg.spad.dvi @ \pagehead{SegmentBinding}{SEGBIND} @@ -66975,6 +68215,11 @@ SegmentBinding(S:Type): Type with variable(b)::OutputForm = segment(b)::OutputForm @ +<>= +"SEGBIND" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SEGBIND"] +"SEGBIND" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SET Set} <>= @@ -67282,7 +68527,6 @@ create new sets from old. See Also: o )help List o )show Set -o $AXIOM/doc/src/algebra/sets.spad.dvi @ \pagehead{Set}{SET} @@ -67465,6 +68709,11 @@ Set(S:SetCategory): FiniteSetAggregate S == add s @ +<>= +"SET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SET"] +"SET" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SETMN SetOfMIntegersInOneToN} \pagehead{SetOfMIntegersInOneToN}{SETMN} @@ -67615,6 +68864,11 @@ SetOfMIntegersInOneToN(m, n): Exports == Implementation where [newb, (i = p => s.pos; 0)] @ +<>= +"SETMN" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SETMN"] +"SETMN" -> "IVECTOR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SDPOL SequentialDifferentialPolynomial} \pagehead{SequentialDifferentialPolynomial}{SDPOL} @@ -67657,6 +68911,11 @@ SequentialDifferentialPolynomial(R): Implementation ==> DifferentialSparseMultivariatePolynomial(R,S,V) @ +<>= +"SDPOL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SDPOL"] +"SDPOL" -> "DPOLCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SDVAR SequentialDifferentialVariable} \pagehead{SequentialDifferentialVariable}{SDVAR} @@ -67702,6 +68961,12 @@ SequentialDifferentialVariable(S:OrderedSet):DifferentialVariableCategory(S) variable v < variable u @ +<>= +"SDVAR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SDVAR"] +"SDVAR" -> "ORDSET" +"SDVAR" -> "RETRACT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SEX SExpression} \pagehead{SExpression}{SEX} @@ -67720,6 +68985,11 @@ SExpression() == SExpressionOf(String, Symbol, Integer, DoubleFloat, OutputForm) @ +<>= +"SEX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SEX"] +"SEX" -> "STRICAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SEXOF SExpressionOf} \pagehead{SExpressionOf}{SEXOF} @@ -67795,18 +69065,14 @@ SExpressionOf(Str, Sym, Int, Flt, Expr): Decl == Body where b @ +<>= +"SEXOF" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SEXOF"] +"SEXOF" -> "FLAGG" +"SEXOF" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SAE SimpleAlgebraicExtension} -<>= -"SimpleAlgebraicExtension(a:FRAC(UPOLYC(UFD)),b:UPOLYC(FRAC(UPOLYC(UFD))))" - [color=white,style=filled]; -"SAE" -> "MONOGEN" -"SimpleAlgebraicExtension(a:CommutativeRing,b:UnivariatePolynomialCategory(a))" - -> "MonogenicAlgebra(a:CommutativeRing,b:UnivariatePolynomialCategory(a))" -"SimpleAlgebraicExtension(a:FRAC(UPOLYC(UFD)),b:UPOLYC(FRAC(UPOLYC(UFD))))" --> -"SimpleAlgebraicExtension(a:CommutativeRing,b:UnivariatePolynomialCategory(a))" -@ \pagehead{SimpleAlgebraicExtension}{SAE} \pagepic{ps/v103simplealgebraicextension.ps}{SAE}{1.00} <>= @@ -67989,6 +69255,11 @@ SimpleAlgebraicExtension(R:CommutativeRing, -- ffe.f @ +<>= +"SAE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SAE"] +"SAE" -> "MONOGEN" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SFORT SimpleFortranProgram} \pagehead{SimpleFortranProgram}{SFORT} @@ -68064,6 +69335,11 @@ SimpleFortranProgram(R,FS): Exports == Implementation where void()$Void @ +<>= +"SFORT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SFORT"] +"SFORT" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SINT SingleInteger} The definition of {\bf one?} has been rewritten @@ -68252,17 +69528,8 @@ of those provided for Integer. See Also: o )help Integer o )show SingleInteger -o $AXIOM/doc/src/algebra/si.spad.dvi @ -<>= -"SINT" -> "INS" -"SingleInteger()" -> "IntegerNumberSystem()" -"SINT" -> "LOGIC" -"SingleInteger()" -> "Logic()" -"SINT" -> "OM" -"SingleInteger()" -> "OpenMath()" -@ \pagehead{SingleInteger}{SINT} \pagepic{ps/v103singleinteger.ps}{SINT}{1.00} <>= @@ -68463,12 +69730,13 @@ SingleInteger(): Join(IntegerNumberSystem,Logic,OpenMath) with )bo $noSubsets := false @ +<>= +"SINT" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SINT",shape=ellipse] +"SINT" -> "PID/OAGROUP" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SAOS SingletonAsOrderedSet} -<>= -"SAOS" -> "ORDSET" -"SingletonAsOrderedSet()" -> "OrderedSet()" -@ \pagehead{SingletonAsOrderedSet}{SAOS} \pagepic{ps/v103singletonasorderedset.ps}{SAOS}{1.00} <>= @@ -68488,6 +69756,11 @@ SingletonAsOrderedSet(): OrderedSet with convert a == coerce("?") @ +<>= +"SAOS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SAOS"] +"SAOS" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SMP SparseMultivariatePolynomial} \pagehead{SparseMultivariatePolynomial}{SMP} @@ -69070,6 +70343,11 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where -- PSimp(p1.v, gcd(p1.ts, p2.ts)) @ +<>= +"SMP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SMP"] +"SMP" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SMTS SparseMultivariateTaylorSeries} \pagehead{SparseMultivariateTaylorSeries}{SMTS} @@ -69335,6 +70613,11 @@ SparseMultivariateTaylorSeries(Coef,Var,SMP):_ p:% / r:Coef ==(map(#1/$SMP r,stream p)$SF2(SMP,SMP))pretend % @ +<>= +"SMTS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SMTS"] +"SMTS" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain STBL SparseTable} <>= @@ -69456,7 +70739,6 @@ See Also: o )help Table o )help GeneralSparseTable o )show SparseTable -o $AXIOM/doc/src/algebra/table.spad.dvi @ \pagehead{SparseTable}{STBL} @@ -69488,6 +70770,11 @@ SparseTable(Key:SetCategory, Ent:SetCategory, dent:Ent) == GeneralSparseTable(Key, Ent, Table(Key, Ent), dent) @ +<>= +"STBL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=STBL"] +"STBL" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SULS SparseUnivariateLaurentSeries} \pagehead{SparseUnivariateLaurentSeries}{SULS} @@ -69687,6 +70974,11 @@ SparseUnivariateLaurentSeries(Coef,var,cen): Exports == Implementation where seriesToOutputForm(st,getRef uls,variable uls,center uls,1) @ +<>= +"SULS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SULS"] +"SULS" -> "ULSCCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SUP SparseUnivariatePolynomial} \pagehead{SparseUnivariatePolynomial}{SUP} @@ -70044,6 +71336,11 @@ SparseUnivariatePolynomial(R:Ring): UnivariatePolynomialCategory(R) with p / co == inv(co) * p @ +<>= +"SUP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SUP"] +"SUP" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SUPEXPR SparseUnivariatePolynomialExpressions} @@ -70093,6 +71390,11 @@ SparseUnivariatePolynomialExpressions(R: Ring): Exports == Implementation where output(hconcat("acos p for p= ", p::OutputForm))$OutputPackage error "SUPTRAFUN: acos only defined for elements of the coefficient ring" @ +<>= +"SUPEXPR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SUPEXPR"] +"SUPEXPR" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SUPXS SparseUnivariatePuiseuxSeries} \pagehead{SparseUnivariatePuiseuxSeries}{SUPXS} @@ -70184,6 +71486,11 @@ SparseUnivariatePuiseuxSeries(Coef,var,cen): Exports == Implementation where seriesToOutputForm(st,refer,variable x,center x,rationalPower x) @ +<>= +"SUPXS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SUPXS"] +"SUPXS" -> "ULSCCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ORESUP SparseUnivariateSkewPolynomial} \pagehead{SparseUnivariateSkewPolynomial}{ORESUP} @@ -70220,6 +71527,11 @@ SparseUnivariateSkewPolynomial(R:Ring, sigma:Automorphism R, delta: R -> R): rightDivide(a, b) == rightDivide(a, b, sigma) @ +<>= +"ORESUP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ORESUP"] +"ORESUP" -> "OREPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SUTS SparseUnivariateTaylorSeries} \pagehead{SparseUnivariateTaylorSeries}{SUTS} @@ -70608,6 +71920,11 @@ SparseUnivariateTaylorSeries(Coef,var,cen): Exports == Implementation where seriesToOutputForm(getStream x,getRef x,variable x,center x,1) @ +<>= +"SUTS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SUTS"] +"SUTS" -> "UTSCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SHDP SplitHomogeneousDirectProduct} \pagehead{SplitHomogeneousDirectProduct}{SHDP} @@ -70664,6 +71981,11 @@ SplitHomogeneousDirectProduct(dimtot,dim1,S) : T == C where lessThanRlex(v1,v2,dim1+1,dimtot) @ +<>= +"SHDP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SHDP"] +"SHDP" -> "DIRPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SPLNODE SplittingNode} \pagehead{SplittingNode}{SPLNODE} @@ -70821,6 +72143,13 @@ SplittingNode(V,C) : Exports == Implementation where bracket commaSeparate l @ +<>= +"SPLNODE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SPLNODE"] +"SPLNODE" -> "BASTYPE" +"SPLNODE" -> "KOERCE" +"SPLNODE" -> "TYPE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SPLTREE SplittingTree} \pagehead{SplittingTree}{SPLTREE} @@ -71134,6 +72463,11 @@ SplittingTree(V,C) : Exports == Implementation where updateStatus!(a) @ +<>= +"SPLTREE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SPLTREE"] +"SPLTREE" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SREGSET SquareFreeRegularTriangularSet} <>= @@ -71604,7 +72938,6 @@ o )help LexTriangularPackage o )help LazardSetSolvingPackage o )help RegularTriangularSet o )show SquareFreeRegularTriangularSet -o $AXIOM/doc/src/algebra/sregset.spad.dvi @ \pagehead{SquareFreeRegularTriangularSet}{SREGSET} @@ -72006,6 +73339,11 @@ SquareFreeRegularTriangularSet(R,E,V,P) : Exports == Implementation where return [lp2,lts] @ +<>= +"SREGSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SREGSET"] +"SREGSET" -> "SFRTCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SQMATRIX SquareMatrix} <>= @@ -72149,7 +73487,6 @@ This value can be converted to a square matrix with polynomial coefficients. See Also: o )help Matrix o )show SquareMatrix -o $AXIOM/doc/src/algebra/matrix.spad.dvi @ \pagehead{SquareMatrix}{SQMATRIX} @@ -72296,12 +73633,13 @@ SquareMatrix(ndim,R): Exports == Implementation where @ +<>= +"SQMATRIX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SQMATRIX"] +"SQMATRIX" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain STACK Stack} -<>= -"STACK" -> "SKAGG" -"Stack(a:SetCategory)" -> "StackAggregate(a:SetCategory)" -@ \pagehead{Stack}{STACK} \pagepic{ps/v103stack.ps}{STACK}{1.00} See also:\\ @@ -72357,6 +73695,11 @@ Stack(S:SetCategory): StackAggregate S with stack s == ref copy s @ +<>= +"STACK" [color="#88FF44",href="bookvol10.3.pdf#nameddest=STACK"] +"STACK" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain STREAM Stream} <>= @@ -72538,7 +73881,6 @@ o )help StreamFunctions1 o )help StreamFunctions2 o )help StreamFunctions3 o )show Stream -o $AXIOM/doc/src/algebra/stream.spad.dvi @ \pagehead{Stream}{STREAM} @@ -73191,6 +74533,11 @@ Stream(S): Exports == Implementation where -- mapp(f,x,y,a) @ +<>= +"STREAM" [color="#88FF44",href="bookvol10.3.pdf#nameddest=STREAM"] +"STREAM" -> "LZSTAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain STRING String} <>= @@ -73694,7 +75041,6 @@ See Also: o )help Character o )help CharacterClass o )show String -o $AXIOM/doc/src/algebra/string.spad.dvi @ \pagehead{String}{STRING} @@ -73749,6 +75095,11 @@ String(): StringCategory == IndexedString(MINSTRINGINDEX) add OMputEndObject(dev) @ +<>= +"STRING" [color="#88FF44",href="bookvol10.3.pdf#nameddest=STRING"] +"STRING" -> "STRICAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain STRTBL StringTable} <>= @@ -73820,7 +75171,6 @@ for s in split("My name is Ian Watt.",char " ") See Also: o )help Table o )show StringTable -o $AXIOM/doc/src/algebra/table.spad.dvi @ \pagehead{StringTable}{STRTBL} @@ -73851,6 +75201,11 @@ StringTable(Entry: SetCategory) == HashTable(String, Entry, "CVEC") @ +<>= +"STRTBL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=STRTBL"] +"STRTBL" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SUBSPACE SubSpace} The first argument n is the dimension of the subSpace @@ -74324,6 +75679,11 @@ SubSpace(n:PI,R:Ring) : Exports == Implementation where (s=1 => " component"::O;" components"::O)]) @ +<>= +"SUBSPACE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SUBSPACE"] +"SUBSPACE" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain COMPPROP SubSpaceComponentProperty} \pagehead{SubSpaceComponentProperty}{COMPPROP} @@ -74377,6 +75737,12 @@ SubSpaceComponentProperty() : Exports == Implementation where (solid? p => ""::O; "not "::O),"solid"::O ]) @ +<>= +"COMPPROP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=COMPPROP"] +"COMPPROP" -> "BASTYPE" +"COMPPROP" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SUCH SuchThat} \pagehead{SuchThat}{SUCH} @@ -74405,6 +75771,12 @@ SuchThat(S1, S2): Cat == Capsule where coerce(w):E == infix("|"::E, w.obj::E, w.cond::E) @ +<>= +"SUCH" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SUCH"] +"SUCH" -> "BASTYPE" +"SUCH" -> "KOERCE" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SWITCH Switch} \pagehead{Switch}{SWITCH} @@ -74506,6 +75878,11 @@ Switch():public == private where [operator("EQ"::Symbol),[r1,r2]$List(EXPR)]$Rep @ +<>= +"SWITCH" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SWITCH"] +"SWITCH" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SYMBOL Symbol} <>= @@ -74886,7 +76263,6 @@ If trailing lists of scripts are omitted, they are assumed to be empty. See Also: o )show Symbol -o $AXIOM/doc/src/algebra/symbol.spad.dvi @ \pagehead{Symbol}{SYMBOL} @@ -75200,6 +76576,12 @@ Symbol(): Exports == Implementation where sample() == "aSymbol"::% @ +<>= +"SYMBOL" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SYMBOL", + shape=ellipse] +"SYMBOL" -> "STRICAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SYMTAB SymbolTable} \pagehead{SymbolTable}{SYMTAB} @@ -75389,6 +76771,11 @@ SymbolTable() : exports == implementation where void()$Void @ +<>= +"SYMTAB" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SYMTAB"] +"SYMTAB" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SYMPOLY SymmetricPolynomial} \pagehead{SymmetricPolynomial}{SYMPOLY} @@ -75429,6 +76816,11 @@ SymmetricPolynomial(R:Ring) == PolynomialRing(R,Partition) add -- reduces both time and space [Abbott/Bradford/Davenport] @ +<>= +"SYMPOLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SYMPOLY"] +"SYMPOLY" -> "FAMR" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter T} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -75731,7 +77123,6 @@ o )help SparseTable o )help GeneralSparseTable o )help KeyedAccessFile o )show Table -o $AXIOM/doc/src/algebra/table.spad.dvi @ \pagehead{Table}{TABLE} @@ -75771,6 +77162,11 @@ Table(Key: SetCategory, Entry: SetCategory):Exports == Implementation where else AssociationList(Key, Entry)) @ +<>= +"TABLE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TABLE"] +"TABLE" -> "TBAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain TABLEAU Tableau} \pagehead{Tableau}{TABLEAU} @@ -75827,6 +77223,11 @@ Tableau(S:SetCategory):Exports == Implementation where coerce(x:%):OUT == maketab listOfLists x @ +<>= +"TABLEAU" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TABLEAU"] +"TABLEAU" -> "FLAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain TS TaylorSeries} \pagehead{TaylorSeries}{TS} @@ -75884,6 +77285,12 @@ TaylorSeries(Coef): Exports == Implementation where sum @ +<>= +"TS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TS"] +"TS" -> "PSCAT" +"TS" -> "TRANFUN" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain TEX TexFormat} \subsection{product(product(i*j,i=a..b),j=c..d) fix} @@ -76512,6 +77919,11 @@ TexFormat(): public == private where formatFunction(op,args,prec) @ +<>= +"TEX" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TEX"] +"TEX" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain TEXTFILE TextFile} <>= @@ -76678,7 +78090,6 @@ o )help File o )help KeyedAccessFile o )help Library o )show TextFile -o $AXIOM/doc/src/algebra/files.spad.dvi @ \pagehead{TextFile}{TEXTFILE} @@ -76775,6 +78186,11 @@ TextFile: Cat == Def where false @ +<>= +"TEXTFILE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TEXTFILE"] +"TEXTFILE" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SYMS TheSymbolTable} \pagehead{TheSymbolTable}{SYMS} @@ -76985,6 +78401,11 @@ TheSymbolTable() : Exports == Implementation where printTypes(elt(elt(theSymbolTable,u)$Rep,symtab)$Entry)$SymbolTable @ +<>= +"SYMS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SYMS"] +"SYMS" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain M3D ThreeDimensionalMatrix} \pagehead{ThreeDimensionalMatrix}{M3D} @@ -77245,6 +78666,11 @@ ThreeDimensionalMatrix(R) : Exports == Implementation where resultMatrix @ +<>= +"M3D" [color="#88FF44",href="bookvol10.3.pdf#nameddest=M3D"] +"M3D" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain VIEW3D ThreeDimensionalViewport} \pagehead{ThreeDimensionalViewport}{VIEW3D} @@ -78196,6 +79622,11 @@ ThreeDimensionalViewport(): Exports == Implementation where -- getI(VIEW)$Lisp -- acknowledge @ +<>= +"VIEW3D" [color="#88FF44",href="bookvol10.3.pdf#nameddest=VIEW3D"] +"VIEW3D" -> "FSAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain SPACE3 ThreeSpace} \pagehead{ThreeSpace}{SPACE3} @@ -78548,6 +79979,11 @@ ThreeSpace(R:Ring):Exports == Implementation where (sizo=1=>" component"::O;" components"::O)]) @ +<>= +"SPACE3" [color="#88FF44",href="bookvol10.3.pdf#nameddest=SPACE3"] +"SPACE3" -> "FSAGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain TREE Tree} \pagehead{Tree}{TREE} @@ -78893,6 +80329,11 @@ Tree(S: SetCategory): T==C where eqUnion(rest u, newV) @ +<>= +"TREE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TREE"] +"TREE" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain TUBE TubePlot} \pagehead{TubePlot}{TUBE} @@ -78951,12 +80392,14 @@ TubePlot(Curve): Exports == Implementation where tube(curve,ll,b) == [curve,ll,b] @ +<>= +"TUBE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TUBE"] +"TUBE" -> "FIELD" +"TUBE" -> "RADCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain TUPLE Tuple} -<>= -"TUPLE" -> "PRIMARR" -"Tuple(a:Type)" -> "PrimitiveArray(a:Type)" -@ \pagehead{Tuple}{TUPLE} \pagepic{ps/v103tuple.ps}{TUPLE}{1.00} See also:\\ @@ -79010,6 +80453,12 @@ Tuple(S:Type): CoercibleTo(PrimitiveArray S) with for i in minIndex x.elts .. maxIndex x.elts]$List(OutputForm) @ +<>= +"TUPLE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=TUPLE"] +"TUPLE" -> "A1AGG" +"TUPLE" -> "A1AGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ARRAY2 TwoDimensionalArray} <>= @@ -79455,17 +80904,8 @@ See Also: o )help Matrix o )help OneDimensionalArray o )show TwoDimensionalArray -o $AXIOM/doc/src/algebra/array2.spad.dvi @ -<>= -"ARRAY2" -> "ARR2CAT" -"TwoDimensionalArray(a:Type)" -> -"TwoDimensionalArrayCategory(a:Type,b:FiniteLinearAggregate(a),c:FiniteLinearAggregate(a))" -"ARRAY2" -> "IIARRAY2" -"TwoDimensionalArray(a:Type)" -> -"InnerIndexedTwoDimensionalArray(a:Type,1,1,b:OneDimensionalArray(a),c:OneDimensionalArray(a))" -@ \pagehead{TwoDimensionalArray}{ARRAY2} \pagepic{ps/v103twodimensionalarray.ps}{ARRAY2}{1.00} See also:\\ @@ -79487,6 +80927,12 @@ TwoDimensionalArray(R):Exports == Implementation where Implementation ==> InnerIndexedTwoDimensionalArray(R,1,1,Row,Col) @ +<>= +"ARRAY2" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ARRAY2"] +"ARRAY2" -> "ARR2CAT" +"ARRAY2" -> "A1AGG" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain VIEW2D TwoDimensionalViewport} <>= @@ -79727,7 +81173,6 @@ Finally we show the combined result See Also: o )show TwoDimensionalViewport -o $AXIOM/doc/src/algebra/view2d.spad.dvi @ \pagehead{TwoDimensionalViewport}{VIEW2D} @@ -80376,6 +81821,11 @@ TwoDimensionalViewport ():Exports == Implementation where Filename @ +<>= +"VIEW2D" [color="#88FF44",href="bookvol10.3.pdf#nameddest=VIEW2D"] +"VIEW2D" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter U} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -80388,6 +81838,11 @@ UnivariateFormalPowerSeries(Coef: Ring) == UnivariateTaylorSeries(Coef, 'x, 0$Coef) @ +<>= +"UFPS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=UFPS"] +"UFPS" -> "UTSCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ULS UnivariateLaurentSeries} \pagehead{UnivariateLaurentSeries}{ULS} @@ -80449,6 +81904,11 @@ UnivariateLaurentSeries(Coef,var,cen): Exports == Implementation where integrate(x:%,v:Variable(var)) == integrate x @ +<>= +"ULS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ULS"] +"ULS" -> "ULSCCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain ULSCONS UnivariateLaurentSeriesConstructor} \pagehead{UnivariateLaurentSeriesConstructor}{ULSCONS} @@ -80904,6 +82364,12 @@ UnivariateLaurentSeriesConstructor(Coef,UTS):_ termsToOutputForm(m,p,xxx) @ +<>= +"ULSCONS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=ULSCONS"] +"ULSCONS" -> "ULSCCAT" +"ULSCONS" -> "ACFS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain UP UnivariatePolynomial} <>= @@ -81530,7 +82996,6 @@ See Also: o )help MultivariatePolynomial o )help DistributedMultivariatePolynomial o )show UnivariatePolynomial -o $AXIOM/doc/src/algebra/poly.spad.dvi @ \pagehead{UnivariatePolynomial}{UP} @@ -81570,6 +83035,11 @@ UnivariatePolynomial(x:Symbol, R:Ring): coerce(v:Variable(x)):% == monomial(1, 1) @ +<>= +"UP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=UP"] +"UP" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain UPXS UnivariatePuiseuxSeries} \pagehead{UnivariatePuiseuxSeries}{UPXS} @@ -81735,6 +83205,11 @@ UnivariatePuiseuxSeries(Coef,var,cen): Exports == Implementation where termsToOutputForm(m,rat,p,xxx) @ +<>= +"UPXS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=UPXS"] +"UPXS" -> "ULSCCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain UPXSCONS UnivariatePuiseuxSeriesConstructor} \pagehead{UnivariatePuiseuxSeriesConstructor}{UPXSCONS} @@ -82088,6 +83563,11 @@ UnivariatePuiseuxSeriesConstructor(Coef,ULS):_ acsch upxs == applyUnary(acsch,upxs) @ +<>= +"UPXSCONS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=UPXSCONS"] +"UPXSCONS" -> "ACFS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain UPXSSING UnivariatePuiseuxSeriesWithExponentialSingularity} \pagehead{UnivariatePuiseuxSeriesWithExponentialSingularity}{UPXSSING} @@ -82374,6 +83854,12 @@ UnivariatePuiseuxSeriesWithExponentialSingularity(R,FE,var,cen):_ minusInfinity() @ +<>= +"UPXSSING" [color="#88FF44",href="bookvol10.3.pdf#nameddest=UPXSSING"] +"UPXSSING" -> "ACF" +"UPXSSING" -> "FS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain OREUP UnivariateSkewPolynomial} \pagehead{UnivariateSkewPolynomial}{OREUP} @@ -82400,6 +83886,11 @@ UnivariateSkewPolynomial(x:Symbol, R:Ring, sigma:Automorphism R, delta: R -> R): coerce(p:%):OutputForm == outputForm(p, outputForm x)$Rep @ +<>= +"OREUP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=OREUP"] +"OREUP" -> "OREPCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain UTS UnivariateTaylorSeries} \pagehead{UnivariateTaylorSeries}{UTS} @@ -82668,6 +84159,11 @@ UnivariateTaylorSeries(Coef,var,cen): Exports == Implementation where -- We use the default coerce: % -> OutputForm in UTSCAT& @ +<>= +"UTS" [color="#88FF44",href="bookvol10.3.pdf#nameddest=UTS"] +"UTS" -> "ACFS" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain UNISEG UniversalSegment} <>= @@ -82809,7 +84305,6 @@ o )help SegmentBinding o )help List o )help Stream o )show UniversalSegment -o $AXIOM/doc/src/algebra/seg.spad.dvi @ \pagehead{UniversalSegment}{UNISEG} @@ -82943,6 +84438,11 @@ UniversalSegment(S: Type): SegmentCategory(S) with concat(construct expand(lb), st) @ +<>= +"UNISEG" [color="#88FF44",href="bookvol10.3.pdf#nameddest=UNISEG"] +"UNISEG" -> "FLAGG-" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter V} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -82966,6 +84466,11 @@ Variable(sym:Symbol): Join(SetCategory, CoercibleTo Symbol) with latex(x:%):String == latex sym @ +<>= +"VARIABLE" [color="#88FF44",href="bookvol10.3.pdf#nameddest=VARIABLE"] +"VARIABLE" -> "ALIST" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain VECTOR Vector} <>= @@ -83159,7 +84664,6 @@ o )help Set o )help Table o )help TwoDimensionalArray o )show Vector -o $AXIOM/doc/src/algebra/vector.spad.dvi @ \pagehead{Vector}{VECTOR} @@ -83194,6 +84698,12 @@ Vector(R:Type): Exports == Implementation where convert(parts x)@InputForm] @ +<>= +"VECTOR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=VECTOR", + shape=ellipse] +"VECTOR" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain VOID Void} <>= @@ -83288,7 +84798,6 @@ Once a value has been converted to Void, it cannot be recovered. See Also: o )show Void -o $AXIOM/doc/src/algebra/void.spad.dvi @ \pagehead{Void}{VOID} @@ -83324,6 +84833,11 @@ Void: with coerce(v:%) == coerce(v)$Rep @ +<>= +"VOID" [color="#88FF44",href="bookvol10.3.pdf#nameddest=VOID"] +"VOID" -> "STRING" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter W} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -83433,6 +84947,11 @@ WeightedPolynomials(R:Ring,VarSet: OrderedSet, E:OrderedAbelianMonoidSup, w @ +<>= +"WP" [color="#88FF44",href="bookvol10.3.pdf#nameddest=WP"] +"WP" -> "PFECAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain WUTSET WuWenTsunTriangularSet} <>= @@ -83742,7 +85261,6 @@ o )help SquareFreeRegularTriangularSet o )help LazardSetSolvingPackage o )help ZeroDimensionalSolvePackage o )show WuWenTsunTriangularSet -o $AXIOM/doc/src/algebra/triset.spad.dvi @ \pagehead{WuWenTsunTriangularSet}{WUTSET} @@ -83992,6 +85510,11 @@ WuWenTsunTriangularSet(R,E,V,P) : Exports == Implementation where sort(infRittWu?, removeDuplicates lts) @ +<>= +"WUTSET" [color="#88FF44",href="bookvol10.3.pdf#nameddest=WUTSET"] +"WUTSET" -> "RPOLCAT" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter X} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -84112,6 +85635,11 @@ XDistributedPolynomial(vl:OrderedSet,R:Ring): XDPcat == XDPdef where return p.first.c * q.first.c + coef(p.rest,q.rest) @ +<>= +"XDPOLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=XDPOLY"] +"XDPOLY" -> "XPOLYC" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain XPBWPOLY XPBWPolynomial} <>= @@ -84949,7 +86477,6 @@ Calculations with verification in XRecursivePolynomial. See Also: o )show XPBWPolynomial -o $AXIOM/doc/src/algebra/xlpoly.spad.dvi @ \pagehead{XPBWPolynomial}{XPBWPOLY} @@ -85186,6 +86713,11 @@ XPBWPolynomial(VarSet:OrderedSet,R:CommutativeRing): XDPcat == XDPdef where +/ [t.c * mirror1(t.k) for t in p] @ +<>= +"XPBWPOLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=XPBWPOLY"] +"XPBWPOLY" -> "XPOLYC" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain XPOLY XPolynomial} <>= @@ -85437,7 +86969,6 @@ o )help XDistributedPolynomial o )help XRecursivePolynomial o )help XPolynomialRing o )show XPolynomial -o $AXIOM/doc/src/algebra/xpoly.spad.dvi @ \pagehead{XPolynomial}{XPOLY} @@ -85467,6 +86998,11 @@ o $AXIOM/doc/src/algebra/xpoly.spad.dvi XPolynomial(R:Ring) == XRecursivePolynomial(Symbol, R) @ +<>= +"XPOLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=XPOLY"] +"XPOLY" -> "XPOLYC" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain XPR XPolynomialRing} <>= @@ -85849,7 +87385,6 @@ o )help XDistributedPolynomial o )help XRecursivePolynomial o )help XPolynomial o )show XPolynomialRing -o $AXIOM/doc/src/algebra/xpoly.spad.dvi @ \pagehead{XPolynomialRing}{XPR} @@ -86012,6 +87547,13 @@ XPolynomialRing(R:Ring,E:OrderedMonoid): T == C where x/r == inv(r)*x @ +<>= +"XPR" [color="#88FF44",href="bookvol10.3.pdf#nameddest=XPR"] +"XPR" -> "FLAGG" +"XPR" -> "FLAGG-" +"XPR" -> "FIELD" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{domain XRPOLY XRecursivePolynomial} Polynomial arithmetic with non-commutative variables has been improved @@ -86308,6 +87850,11 @@ XRecursivePolynomial(VarSet:OrderedSet,R:Ring): Xcat == Xdef where sort_!(lv) @ +<>= +"XRPOLY" [color="#88FF44",href="bookvol10.3.pdf#nameddest=XRPOLY"] +"XRPOLY" -> "XPOLYC" + +@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \chapter{Chapter Y} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% diff --git a/changelog b/changelog index 3440db0..4598d8f 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090110 tpd src/axiom-website/patches.html 20090110.01.tpd.patch +20090110 tpd books/bookvol10.3 add dotabb chunks 20090103 tpd src/axiom-website/patches.html 20090103.01.tpd.patch 20090103 tpd src/algebra/Makefile merge layerpic graphviz data 20081231 tpd src/axiom-website/patches.html 20081231.01.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 5026b4d..b83e712 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -871,6 +871,8 @@ CATS Kamke test suite uploaded
hp build order graph fixes
20090103.01.tpd.patch algebra/Makefile merge layerpic graphviz data
+20090110.01.tpd.patch +bookvol10.3 add dotabb chunks