\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}