Initial population.

1 files changed, 673 insertions, 0 deletions

diff --git a/src/hyper/pages/ug13.pht b/src/hyper/pages/ug13.pht
new file mode 100644
index 00000000..aa8f34e1
--- /dev/null
+++ b/src/hyper/pages/ug13.pht
@@ -0,0 +1,673 @@
+\begin{patch}{ugDomainsExamplesPagePatch1}
+\begin{paste}{ugDomainsExamplesPageFull1}{ugDomainsExamplesPageEmpty1}
+\pastebutton{ugDomainsExamplesPageFull1}{\hidepaste}
+\tab{5}\spadcommand{ks := getDatabase "k"\bound{q1 }}
+\indentrel{3}\begin{verbatim}
+   (1)  1067
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty1}
+\begin{paste}{ugDomainsExamplesPageEmpty1}{ugDomainsExamplesPagePatch1}
+\pastebutton{ugDomainsExamplesPageEmpty1}{\showpaste}
+\tab{5}\spadcommand{ks := getDatabase "k"\bound{q1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch2}
+\begin{paste}{ugDomainsExamplesPageFull2}{ugDomainsExamplesPageEmpty2}
+\pastebutton{ugDomainsExamplesPageFull2}{\hidepaste}
+\tab{5}\spadcommand{[ks.(kind=k) for k in ["c","d","p"]]\bound{q3 }\free{q1 }}
+\indentrel{3}\begin{verbatim}
+   (2)  [205,393,469]
+                          Type: List Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty2}
+\begin{paste}{ugDomainsExamplesPageEmpty2}{ugDomainsExamplesPagePatch2}
+\pastebutton{ugDomainsExamplesPageEmpty2}{\showpaste}
+\tab{5}\spadcommand{[ks.(kind=k) for k in ["c","d","p"]]\bound{q3 }\free{q1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch3}
+\begin{paste}{ugDomainsExamplesPageFull3}{ugDomainsExamplesPageEmpty3}
+\pastebutton{ugDomainsExamplesPageFull3}{\hidepaste}
+\tab{5}\spadcommand{elt(ks.(kind="d").(nargs="0"),name)\bound{q4 }\free{q1 }}
+\indentrel{3}\begin{verbatim}
+   (3)
+   ["AlgebraicNumber", "AnonymousFunction", "Any",
+    "AttributeButtons", "BasicFunctions",
+    "BasicOperator", "BinaryExpansion", "BinaryFile",
+    "Bits", "Boolean", "CardinalNumber",
+    "CharacterClass", "Character", "Color", "Commutator",
+    "DecimalExpansion", "DoubleFloat", "DrawOption",
+    "Exit", "ExtAlgBasis", "FileName", "Float",
+    "FortranCode", "FortranScalarType",
+    "FortranTemplate", "FortranType", "GraphImage",
+    "HexadecimalExpansion", "IVBaseColor", "IVBasicNode",
+    "IVCoordinate3", "IVCoordinate4", "IVFaceSet",
+    "IVField", "IVGroup", "IVIndexedLineSet",
+    "IVNodeConnection", "IVNodeObject", "IVPointSet",
+    "IVQuadMesh", "IVSeparator", "IVSimpleInnerNode",
+    "IVUtilities", "IVValue", "IndexCard",
+    "InnerAlgebraicNumber", "InputForm", "Integer",
+    "IntegrationFunctionsTable", "InventorDataSink",
+    "InventorRenderPackage", "InventorViewPort",
+    "Library", "MachineComplex", "MachineFloat",
+    "MachineInteger",
+    "NagDiscreteFourierTransformInterfacePackage",
+    "NagEigenInterfacePackage",
+    "NagOptimisationInterfacePackage",
+    "NagQuadratureInterfacePackage", "NagResultChecks",
+    "NagSpecialFunctionsInterfacePackage",
+    "NonNegativeInteger", "None",
+    "NumericalIntegrationProblem", "NumericalODEProblem",
+    "NumericalOptimizationProblem",
+    "NumericalPDEProblem", "ODEIntensityFunctionsTable",
+    "OrdSetInts", "OutputForm", "Palette", "Partition",
+    "Pi", "PlaneAlgebraicCurvePlot", "Plot3D", "Plot",
+    "PositiveInteger", "QueryEquation", "RenderTools",
+    "Result", "RomanNumeral", "RoutinesTable",
+    "SExpression", "ScriptFormulaFormat",
+    "SingleInteger", "SingletonAsOrderedSet", "String",
+    "SubSpaceComponentProperty", "Switch", "SymbolTable",
+    "Symbol", "TexFormat", "TextFile", "TheSymbolTable",
+    "ThreeDimensionalViewport", "Timer",
+    "TwoDimensionalViewport", "Void",
+    "d01TransformFunctionType", "d01ajfAnnaType",
+    "d01akfAnnaType", "d01alfAnnaType", "d01amfAnnaType",
+    "d01anfAnnaType", "d01apfAnnaType", "d01aqfAnnaType",
+    "d01asfAnnaType", "d01fcfAnnaType", "d01gbfAnnaType",
+    "d02bbfAnnaType", "d02bhfAnnaType", "d02cjfAnnaType",
+    "d02ejfAnnaType", "d03eefAnnaType", "d03fafAnnaType",
+    "e04dgfAnnaType", "e04fdfAnnaType", "e04gcfAnnaType",
+    "e04jafAnnaType", "e04mbfAnnaType", "e04nafAnnaType",
+    "e04ucfAnnaType"]
+                                  Type: DataList String
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty3}
+\begin{paste}{ugDomainsExamplesPageEmpty3}{ugDomainsExamplesPagePatch3}
+\pastebutton{ugDomainsExamplesPageEmpty3}{\showpaste}
+\tab{5}\spadcommand{elt(ks.(kind="d").(nargs="0"),name)\bound{q4 }\free{q1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch4}
+\begin{paste}{ugDomainsExamplesPageFull4}{ugDomainsExamplesPageEmpty4}
+\pastebutton{ugDomainsExamplesPageFull4}{\hidepaste}
+\tab{5}\spadcommand{mk := ks.(name="*Matrix*")\bound{q5 }\free{q1 }}
+\indentrel{3}\begin{verbatim}
+   (4)  26
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty4}
+\begin{paste}{ugDomainsExamplesPageEmpty4}{ugDomainsExamplesPagePatch4}
+\pastebutton{ugDomainsExamplesPageEmpty4}{\showpaste}
+\tab{5}\spadcommand{mk := ks.(name="*Matrix*")\bound{q5 }\free{q1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch5}
+\begin{paste}{ugDomainsExamplesPageFull5}{ugDomainsExamplesPageEmpty5}
+\pastebutton{ugDomainsExamplesPageFull5}{\hidepaste}
+\tab{5}\spadcommand{elt(mk.(kind="d"),name)\bound{q6 }\free{q5 }}
+\indentrel{3}\begin{verbatim}
+   (5)
+   ["DenavitHartenbergMatrix",
+    "DirectProductMatrixModule", "IndexedMatrix",
+    "LieSquareMatrix", "Matrix", "RectangularMatrix",
+    "SquareMatrix", "ThreeDimensionalMatrix"]
+                                  Type: DataList String
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty5}
+\begin{paste}{ugDomainsExamplesPageEmpty5}{ugDomainsExamplesPagePatch5}
+\pastebutton{ugDomainsExamplesPageEmpty5}{\showpaste}
+\tab{5}\spadcommand{elt(mk.(kind="d"),name)\bound{q6 }\free{q5 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch6}
+\begin{paste}{ugDomainsExamplesPageFull6}{ugDomainsExamplesPageEmpty6}
+\pastebutton{ugDomainsExamplesPageFull6}{\hidepaste}
+\tab{5}\spadcommand{o := getDatabase "o"\bound{o1 }}
+\indentrel{3}\begin{verbatim}
+   (6)  6315
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty6}
+\begin{paste}{ugDomainsExamplesPageEmpty6}{ugDomainsExamplesPagePatch6}
+\pastebutton{ugDomainsExamplesPageEmpty6}{\showpaste}
+\tab{5}\spadcommand{o := getDatabase "o"\bound{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch7}
+\begin{paste}{ugDomainsExamplesPageFull7}{ugDomainsExamplesPageEmpty7}
+\pastebutton{ugDomainsExamplesPageFull7}{\hidepaste}
+\tab{5}\spadcommand{[o.(kind=k) for k in ["c","d","p"]]\free{o1 }}
+\indentrel{3}\begin{verbatim}
+   (7)  [1646,2040,2629]
+                          Type: List Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty7}
+\begin{paste}{ugDomainsExamplesPageEmpty7}{ugDomainsExamplesPagePatch7}
+\pastebutton{ugDomainsExamplesPageEmpty7}{\showpaste}
+\tab{5}\spadcommand{[o.(kind=k) for k in ["c","d","p"]]\free{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch8}
+\begin{paste}{ugDomainsExamplesPageFull8}{ugDomainsExamplesPageEmpty8}
+\pastebutton{ugDomainsExamplesPageFull8}{\hidepaste}
+\tab{5}\spadcommand{eigens := o.(name="*eigen*")\bound{eigens }\free{o1 }}
+\indentrel{3}\begin{verbatim}
+   (8)  4
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty8}
+\begin{paste}{ugDomainsExamplesPageEmpty8}{ugDomainsExamplesPagePatch8}
+\pastebutton{ugDomainsExamplesPageEmpty8}{\showpaste}
+\tab{5}\spadcommand{eigens := o.(name="*eigen*")\bound{eigens }\free{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch9}
+\begin{paste}{ugDomainsExamplesPageFull9}{ugDomainsExamplesPageEmpty9}
+\pastebutton{ugDomainsExamplesPageFull9}{\hidepaste}
+\tab{5}\spadcommand{elt(eigens,name)\free{eigens }}
+\indentrel{3}\begin{verbatim}
+   (9)
+   ["eigenMatrix", "eigenvalues", "eigenvector",
+    "eigenvectors"]
+                                  Type: DataList String
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty9}
+\begin{paste}{ugDomainsExamplesPageEmpty9}{ugDomainsExamplesPagePatch9}
+\pastebutton{ugDomainsExamplesPageEmpty9}{\showpaste}
+\tab{5}\spadcommand{elt(eigens,name)\free{eigens }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch10}
+\begin{paste}{ugDomainsExamplesPageFull10}{ugDomainsExamplesPageEmpty10}
+\pastebutton{ugDomainsExamplesPageFull10}{\hidepaste}
+\tab{5}\spadcommand{elt(elt(elt(eigens,origin),sort),unique)\free{eigens }}
+\indentrel{3}\begin{verbatim}
+   (10)  ["EigenPackage","RadicalEigenPackage"]
+                                  Type: DataList String
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty10}
+\begin{paste}{ugDomainsExamplesPageEmpty10}{ugDomainsExamplesPagePatch10}
+\pastebutton{ugDomainsExamplesPageEmpty10}{\showpaste}
+\tab{5}\spadcommand{elt(elt(elt(eigens,origin),sort),unique)\free{eigens }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch11}
+\begin{paste}{ugDomainsExamplesPageFull11}{ugDomainsExamplesPageEmpty11}
+\pastebutton{ugDomainsExamplesPageFull11}{\hidepaste}
+\tab{5}\spadcommand{tm := o.(type="*Matrix*")\bound{x10 }\free{o1 }}
+\indentrel{3}\begin{verbatim}
+   (11)  353
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty11}
+\begin{paste}{ugDomainsExamplesPageEmpty11}{ugDomainsExamplesPagePatch11}
+\pastebutton{ugDomainsExamplesPageEmpty11}{\showpaste}
+\tab{5}\spadcommand{tm := o.(type="*Matrix*")\bound{x10 }\free{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch12}
+\begin{paste}{ugDomainsExamplesPageFull12}{ugDomainsExamplesPageEmpty12}
+\pastebutton{ugDomainsExamplesPageFull12}{\hidepaste}
+\tab{5}\spadcommand{fm := o.(origin="*Matrix*")\bound{x11 }\free{o1 }}
+\indentrel{3}\begin{verbatim}
+   (12)  192
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty12}
+\begin{paste}{ugDomainsExamplesPageEmpty12}{ugDomainsExamplesPagePatch12}
+\pastebutton{ugDomainsExamplesPageEmpty12}{\showpaste}
+\tab{5}\spadcommand{fm := o.(origin="*Matrix*")\bound{x11 }\free{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch13}
+\begin{paste}{ugDomainsExamplesPageFull13}{ugDomainsExamplesPageEmpty13}
+\pastebutton{ugDomainsExamplesPageFull13}{\hidepaste}
+\tab{5}\spadcommand{fm-tm\bound{x12 }\free{x10 x11 }}
+\indentrel{3}\begin{verbatim}
+   (13)  146
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty13}
+\begin{paste}{ugDomainsExamplesPageEmpty13}{ugDomainsExamplesPagePatch13}
+\pastebutton{ugDomainsExamplesPageEmpty13}{\showpaste}
+\tab{5}\spadcommand{fm-tm\bound{x12 }\free{x10 x11 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch14}
+\begin{paste}{ugDomainsExamplesPageFull14}{ugDomainsExamplesPageEmpty14}
+\pastebutton{ugDomainsExamplesPageFull14}{\hidepaste}
+\tab{5}\spadcommand{fullDisplay(fm-\%)\bound{x13 }\free{x12 }}
+\indentrel{3}\begin{verbatim}
+   ** : (Matrix(R),NonNegativeInteger)->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   clearDenominator : (Matrix(Q))->Matrix(R)
+      from MatrixCommonDenominator(R,Q)
+   coerceP
+      : (Vector(Matrix(R)))->Vector(Matrix(Polynomial(R)))
+      from CoerceVectorMatrixPackage(R) (unexposed)
+   coerce
+      :
+      (Vector(Matrix(R)))->Vector(Matrix(Fraction(Polynom
+      ial(R))))
+      from CoerceVectorMatrixPackage(R) (unexposed)
+   coerce : (_$)->Matrix(R)
+      from RectangularMatrix(m,n,R) (unexposed)
+   coerce : (_$)->Matrix(R)
+      from SquareMatrix(ndim,R) (unexposed)
+   coerce : (Matrix(MachineFloat))->_$
+      from FortranMatrixCategory
+   commonDenominator : (Matrix(Q))->R
+      from MatrixCommonDenominator(R,Q)
+   copy! : (Matrix(R),Matrix(R))->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   f01brf
+      :
+      (Integer,Integer,Integer,Integer,DoubleFloat,Boolea
+      n,Boolean,List(Boolean),Matrix(DoubleFloat),Matrix(
+      Integer),Matrix(Integer),Integer)->Result
+      from NagMatrixOperationsPackage
+   f01bsf
+      :
+      (Integer,Integer,Integer,Matrix(Integer),Matrix(Int
+      eger),Matrix(Integer),Matrix(Integer),Boolean,Doubl
+      eFloat,Boolean,Matrix(Integer),Matrix(DoubleFloat),
+      Integer)->Result
+      from NagMatrixOperationsPackage
+   f01maf
+      :
+      (Integer,Integer,Integer,Integer,List(Boolean),Matr
+      ix(DoubleFloat),Matrix(Integer),Matrix(Integer),Dou
+      bleFloat,DoubleFloat,Integer)->Result
+      from NagMatrixOperationsPackage
+   f01mcf
+      :
+      (Integer,Matrix(DoubleFloat),Integer,Matrix(Integer
+      ),Integer)->Result
+      from NagMatrixOperationsPackage
+   f01qcf
+      :
+      (Integer,Integer,Integer,Matrix(DoubleFloat),Intege
+      r)->Result
+      from NagMatrixOperationsPackage
+   f01qdf
+      :
+      (String,String,Integer,Integer,Matrix(DoubleFloat),
+      Integer,Matrix(DoubleFloat),Integer,Integer,Matrix(
+      DoubleFloat),Integer)->Result
+      from NagMatrixOperationsPackage
+   f01qef
+      :
+      (String,Integer,Integer,Integer,Integer,Matrix(Doub
+      leFloat),Matrix(DoubleFloat),Integer)->Result
+      from NagMatrixOperationsPackage
+   f01rcf
+      :
+      (Integer,Integer,Integer,Matrix(Complex(DoubleFloat
+      )),Integer)->Result
+      from NagMatrixOperationsPackage
+   f01rdf
+      :
+      (String,String,Integer,Integer,Matrix(Complex(Doubl
+      eFloat)),Integer,Matrix(Complex(DoubleFloat)),Integ
+      er,Integer,Matrix(Complex(DoubleFloat)),Integer)->R
+      esult
+      from NagMatrixOperationsPackage
+   f01ref
+      :
+      (String,Integer,Integer,Integer,Integer,Matrix(Comp
+      lex(DoubleFloat)),Matrix(Complex(DoubleFloat)),Inte
+      ger)->Result
+      from NagMatrixOperationsPackage
+   hasSolution? : (Matrix(F),Vector(F))->Boolean
+      from LinearSystemMatrixPackage1(F)
+   leftScalarTimes! : (Matrix(R),R,Matrix(R))->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   minus! : (Matrix(R),Matrix(R))->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   minus! : (Matrix(R),Matrix(R),Matrix(R))->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   particularSolution
+      : (Matrix(F),Vector(F))->Union(Vector(F),"failed")
+      from LinearSystemMatrixPackage1(F)
+   plus! : (Matrix(R),Matrix(R),Matrix(R))->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   power!
+      :
+      (Matrix(R),Matrix(R),Matrix(R),Matrix(R),NonNegativ
+      eInteger)->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   rank : (Matrix(F),Vector(F))->NonNegativeInteger
+      from LinearSystemMatrixPackage1(F)
+   rectangularMatrix : (Matrix(R))->_$
+      from RectangularMatrix(m,n,R) (unexposed)
+   retractIfCan
+      : (Matrix(Expression(Float)))->Union(_$,"failed")
+      from FortranMatrixFunctionCategory
+   retractIfCan
+      : (Matrix(Expression(Integer)))->Union(_$,"failed")
+      from FortranMatrixFunctionCategory
+   retractIfCan
+      :
+      (Matrix(Fraction(Polynomial(Float))))->Union(_$,"fa
+      iled")
+      from FortranMatrixFunctionCategory
+   retractIfCan
+      :
+      (Matrix(Fraction(Polynomial(Integer))))->Union(_$,"
+      failed")
+      from FortranMatrixFunctionCategory
+   retractIfCan
+      : (Matrix(Polynomial(Float)))->Union(_$,"failed")
+      from FortranMatrixFunctionCategory
+   retractIfCan
+      : (Matrix(Polynomial(Integer)))->Union(_$,"failed")
+      from FortranMatrixFunctionCategory
+   retract : (Matrix(Expression(Float)))->_$
+      from FortranMatrixFunctionCategory
+   retract : (Matrix(Expression(Integer)))->_$
+      from FortranMatrixFunctionCategory
+   retract : (Matrix(Fraction(Polynomial(Float))))->_$
+      from FortranMatrixFunctionCategory
+   retract : (Matrix(Fraction(Polynomial(Integer))))->_$
+      from FortranMatrixFunctionCategory
+   retract : (Matrix(Polynomial(Float)))->_$
+      from FortranMatrixFunctionCategory
+   retract : (Matrix(Polynomial(Integer)))->_$
+      from FortranMatrixFunctionCategory
+   rightScalarTimes! : (Matrix(R),Matrix(R),R)->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+   solve
+      :
+      (Matrix(F),List(Vector(F)))->List(Record(particular
+      :Union(Vector(F),"failed"),basis:List(Vector(F))))
+      from LinearSystemMatrixPackage1(F)
+   solve
+      :
+      (Matrix(F),Vector(F))->Record(particular:Union(Vect
+      or(F),"failed"),basis:List(Vector(F)))
+      from LinearSystemMatrixPackage1(F)
+   splitDenominator
+      : (Matrix(Q))->Record(num:Matrix(R),den:R)
+      from MatrixCommonDenominator(R,Q)
+   squareMatrix : (Matrix(R))->_$
+      from SquareMatrix(ndim,R) (unexposed)
+   times! : (Matrix(R),Matrix(R),Matrix(R))->Matrix(R)
+      from StorageEfficientMatrixOperations(R) (unexposed)
+                                             Type: Void
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty14}
+\begin{paste}{ugDomainsExamplesPageEmpty14}{ugDomainsExamplesPagePatch14}
+\pastebutton{ugDomainsExamplesPageEmpty14}{\showpaste}
+\tab{5}\spadcommand{fullDisplay(fm-\%)\bound{x13 }\free{x12 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch15}
+\begin{paste}{ugDomainsExamplesPageFull15}{ugDomainsExamplesPageEmpty15}
+\pastebutton{ugDomainsExamplesPageFull15}{\hidepaste}
+\tab{5}\spadcommand{m := tm+fm\bound{x14 }\free{x10 x11 }}
+\indentrel{3}\begin{verbatim}
+   (15)  499
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty15}
+\begin{paste}{ugDomainsExamplesPageEmpty15}{ugDomainsExamplesPagePatch15}
+\pastebutton{ugDomainsExamplesPageEmpty15}{\showpaste}
+\tab{5}\spadcommand{m := tm+fm\bound{x14 }\free{x10 x11 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch16}
+\begin{paste}{ugDomainsExamplesPageFull16}{ugDomainsExamplesPageEmpty16}
+\pastebutton{ugDomainsExamplesPageFull16}{\hidepaste}
+\tab{5}\spadcommand{fullDisplay(m, 202, 205)\free{x14 }}
+\indentrel{3}\begin{verbatim}
+   elt : (_$,List(Integer),List(Integer))->_$
+      from MatrixCategory(R,Row,Col)
+   elt : (_$,Integer,Integer,R)->R
+      from RectangularMatrixCategory(m,n,R,Row,Col)
+   elt
+      :
+      (_$,NonNegativeInteger,NonNegativeInteger,NonNegati
+      veInteger)->R
+      from ThreeDimensionalMatrix(R)
+   eval
+      :
+      (Matrix(Expression(DoubleFloat)),List(Symbol),Vecto
+      r(Expression(DoubleFloat)))->Matrix(Expression(Doub
+      leFloat))
+      from d02AgentsPackage
+                                             Type: Void
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty16}
+\begin{paste}{ugDomainsExamplesPageEmpty16}{ugDomainsExamplesPagePatch16}
+\pastebutton{ugDomainsExamplesPageEmpty16}{\showpaste}
+\tab{5}\spadcommand{fullDisplay(m, 202, 205)\free{x14 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPagePatch17}
+\begin{paste}{ugDomainsExamplesPageFull17}{ugDomainsExamplesPageEmpty17}
+\pastebutton{ugDomainsExamplesPageFull17}{\hidepaste}
+\tab{5}\spadcommand{elt(elt(elt(m,name),unique),count)\free{x14 }}
+\indentrel{3}\begin{verbatim}
+   (17)  317
+                                  Type: PositiveInteger
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsExamplesPageEmpty17}
+\begin{paste}{ugDomainsExamplesPageEmpty17}{ugDomainsExamplesPagePatch17}
+\pastebutton{ugDomainsExamplesPageEmpty17}{\showpaste}
+\tab{5}\spadcommand{elt(elt(elt(m,name),unique),count)\free{x14 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsQueryLanguagePagePatch1}
+\begin{paste}{ugDomainsQueryLanguagePageFull1}{ugDomainsQueryLanguagePageEmpty1}
+\pastebutton{ugDomainsQueryLanguagePageFull1}{\hidepaste}
+\tab{5}\spadcommand{ops := getDatabase("o")\bound{o1 }}
+\indentrel{3}\begin{verbatim}
+   (1)  6315
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsQueryLanguagePageEmpty1}
+\begin{paste}{ugDomainsQueryLanguagePageEmpty1}{ugDomainsQueryLanguagePagePatch1}
+\pastebutton{ugDomainsQueryLanguagePageEmpty1}{\showpaste}
+\tab{5}\spadcommand{ops := getDatabase("o")\bound{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsQueryLanguagePagePatch2}
+\begin{paste}{ugDomainsQueryLanguagePageFull2}{ugDomainsQueryLanguagePageEmpty2}
+\pastebutton{ugDomainsQueryLanguagePageFull2}{\hidepaste}
+\tab{5}\spadcommand{ops.(name="map").(nargs="3").(type="*Stream*")\bound{o2 }\free{o1 }}
+\indentrel{3}\begin{verbatim}
+   (2)  3
+                               Type: Database IndexCard
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsQueryLanguagePageEmpty2}
+\begin{paste}{ugDomainsQueryLanguagePageEmpty2}{ugDomainsQueryLanguagePagePatch2}
+\pastebutton{ugDomainsQueryLanguagePageEmpty2}{\showpaste}
+\tab{5}\spadcommand{ops.(name="map").(nargs="3").(type="*Stream*")\bound{o2 }\free{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsQueryLanguagePagePatch3}
+\begin{paste}{ugDomainsQueryLanguagePageFull3}{ugDomainsQueryLanguagePageEmpty3}
+\pastebutton{ugDomainsQueryLanguagePageFull3}{\hidepaste}
+\tab{5}\spadcommand{elt(elt(elt(elt(ops,name="determinant"),origin),sort),unique)\free{o1 }}
+\indentrel{3}\begin{verbatim}
+   (3)
+   ["InnerMatrixLinearAlgebraFunctions",
+    "MatrixCategory", "MatrixLinearAlgebraFunctions",
+    "SquareMatrixCategory"]
+                                  Type: DataList String
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsQueryLanguagePageEmpty3}
+\begin{paste}{ugDomainsQueryLanguagePageEmpty3}{ugDomainsQueryLanguagePagePatch3}
+\pastebutton{ugDomainsQueryLanguagePageEmpty3}{\showpaste}
+\tab{5}\spadcommand{elt(elt(elt(elt(ops,name="determinant"),origin),sort),unique)\free{o1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPagePatch1}
+\begin{paste}{ugDomainsDemoPageFull1}{ugDomainsDemoPageEmpty1}
+\pastebutton{ugDomainsDemoPageFull1}{\hidepaste}
+\tab{5}\spadcommand{QF := QuadraticForm(2,Fraction Integer)\bound{x2 }\free{x1 }}
+\indentrel{3}\begin{verbatim}
+   (1)  QuadraticForm(2,Fraction Integer)
+                                           Type: Domain
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPageEmpty1}
+\begin{paste}{ugDomainsDemoPageEmpty1}{ugDomainsDemoPagePatch1}
+\pastebutton{ugDomainsDemoPageEmpty1}{\showpaste}
+\tab{5}\spadcommand{QF := QuadraticForm(2,Fraction Integer)\bound{x2 }\free{x1 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPagePatch2}
+\begin{paste}{ugDomainsDemoPageFull2}{ugDomainsDemoPageEmpty2}
+\pastebutton{ugDomainsDemoPageFull2}{\hidepaste}
+\tab{5}\spadcommand{A := matrix [[-1,1/2],[1/2,1]]\bound{x3 }\free{x2 }}
+\indentrel{3}\begin{verbatim}
+        Ú     1¿
+        ³- 1  ij
+        ³     2³
+   (2)  ³      ³
+        ³ 1    ³
+        ³ Ä   1³
+        À 2    Ù
+                          Type: Matrix Fraction Integer
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPageEmpty2}
+\begin{paste}{ugDomainsDemoPageEmpty2}{ugDomainsDemoPagePatch2}
+\pastebutton{ugDomainsDemoPageEmpty2}{\showpaste}
+\tab{5}\spadcommand{A := matrix [[-1,1/2],[1/2,1]]\bound{x3 }\free{x2 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPagePatch3}
+\begin{paste}{ugDomainsDemoPageFull3}{ugDomainsDemoPageEmpty3}
+\pastebutton{ugDomainsDemoPageFull3}{\hidepaste}
+\tab{5}\spadcommand{q : QF := quadraticForm(A)\bound{x4 }\free{x3 }}
+\indentrel{3}\begin{verbatim}
+        Ú     1¿
+        ³- 1  ij
+        ³     2³
+   (3)  ³      ³
+        ³ 1    ³
+        ³ Ä   1³
+        À 2    Ù
+                Type: QuadraticForm(2,Fraction Integer)
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPageEmpty3}
+\begin{paste}{ugDomainsDemoPageEmpty3}{ugDomainsDemoPagePatch3}
+\pastebutton{ugDomainsDemoPageEmpty3}{\showpaste}
+\tab{5}\spadcommand{q : QF := quadraticForm(A)\bound{x4 }\free{x3 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPagePatch4}
+\begin{paste}{ugDomainsDemoPageFull4}{ugDomainsDemoPageEmpty4}
+\pastebutton{ugDomainsDemoPageFull4}{\hidepaste}
+\tab{5}\spadcommand{nrows q\free{x3 }}
+\indentrel{3}\begin{verbatim}
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPageEmpty4}
+\begin{paste}{ugDomainsDemoPageEmpty4}{ugDomainsDemoPagePatch4}
+\pastebutton{ugDomainsDemoPageEmpty4}{\showpaste}
+\tab{5}\spadcommand{nrows q\free{x3 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPagePatch5}
+\begin{paste}{ugDomainsDemoPageFull5}{ugDomainsDemoPageEmpty5}
+\pastebutton{ugDomainsDemoPageFull5}{\hidepaste}
+\tab{5}\spadcommand{v := directProduct([2,-1])$DirectProduct(2,Fraction Integer)\bound{x5 }\free{x4 }}
+\indentrel{3}\begin{verbatim}
+   (4)  [2,- 1]
+                Type: DirectProduct(2,Fraction Integer)
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPageEmpty5}
+\begin{paste}{ugDomainsDemoPageEmpty5}{ugDomainsDemoPagePatch5}
+\pastebutton{ugDomainsDemoPageEmpty5}{\showpaste}
+\tab{5}\spadcommand{v := directProduct([2,-1])$DirectProduct(2,Fraction Integer)\bound{x5 }\free{x4 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPagePatch6}
+\begin{paste}{ugDomainsDemoPageFull6}{ugDomainsDemoPageEmpty6}
+\pastebutton{ugDomainsDemoPageFull6}{\hidepaste}
+\tab{5}\spadcommand{q.v\free{x5 }}
+\indentrel{3}\begin{verbatim}
+   (5)  - 5
+                                 Type: Fraction Integer
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPageEmpty6}
+\begin{paste}{ugDomainsDemoPageEmpty6}{ugDomainsDemoPagePatch6}
+\pastebutton{ugDomainsDemoPageEmpty6}{\showpaste}
+\tab{5}\spadcommand{q.v\free{x5 }}
+\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPagePatch7}
+\begin{paste}{ugDomainsDemoPageFull7}{ugDomainsDemoPageEmpty7}
+\pastebutton{ugDomainsDemoPageFull7}{\hidepaste}
+\tab{5}\spadcommand{3*q-q+q\free{x4 }}
+\indentrel{3}\begin{verbatim}
+        Ú     3¿
+        ³- 3  ij
+        ³     2³
+   (6)  ³      ³
+        ³ 3    ³
+        ³ Ä   3³
+        À 2    Ù
+                Type: QuadraticForm(2,Fraction Integer)
+\end{verbatim}
+\indentrel{-3}\end{paste}\end{patch}
+
+\begin{patch}{ugDomainsDemoPageEmpty7}
+\begin{paste}{ugDomainsDemoPageEmpty7}{ugDomainsDemoPagePatch7}
+\pastebutton{ugDomainsDemoPageEmpty7}{\showpaste}
+\tab{5}\spadcommand{3*q-q+q\free{x4 }}
+\end{paste}\end{patch}
+