September 22, 1987 11:02:45 am PDT Demo.tioga Here are suggested steps for a CaminoReal demo. 1. Using the editor Get a blank CaminoReal tool and a blank viewer. Create some math using CR, stuff into the viewer, surround with text, print off. 2. Computations with AlgebraStructures, selections Put this matrix product into a CR tool: X then create an equation with opposite order on rhs. Eval it (confirms commutativity of matrix multiplication in this instance). Notice the domain (bools). Eval one of the products to see what it is, note the domain. For fun compute the inverse of the Hilbert matrix in place. Then start the above steps again, but change the 1 in upper lh corner to a -1. See whether matrix mult is still commutative. Again, eval the product, compute the inverse of the (modified) Hilbert matrix. 3. Computations with Algebra servers a. ReduceExamples.tioga (integration, differentiation) b. SACExamples.tioga (polynomial gcd's) 4. Computed documents (Res.tioga) Κ b˜Ileft˜"Icenter˜LšΠbl œ˜ J–Y57.71739 pt leading 53.9526 pt topLeading 53.9526 pt topIndent 27.76479 pt bottomLeading šΟl/˜/headšœ˜J–W16.4522 pt leading 28.1993 pt topLeading 28.1993 pt topIndent 12.2529 pt bottomLeading šž˜—šœ2˜2J–W16.4522 pt leading 28.1993 pt topLeading 28.1993 pt topIndent 12.2529 pt bottomLeading šž'˜'L–X108.2516 pt leading 70.1258 pt topLeading 70.1258 pt topIndent 62.1258 pt bottomLeading • CharProps›Artwork MeddleExprPostfixX108.2516 pt leading 70.1258 pt topLeading 70.1258 pt topIndent 62.1258 pt bottomLeading MeddleExprCaminoRealExpressionRepresentationVersion1.1 (CMPD $product {$multiplier (MTRX $matrix [4 4] {$r1c1 (ATOM $integer "1")} {$r1c2 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "2")})} {$r1c3 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "3")})} {$r1c4 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "4")})} {$r2c1 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "2")})} {$r2c2 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "3")})} {$r2c3 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "4")})} {$r2c4 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "5")})} {$r3c1 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "3")})} {$r3c2 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "4")})} {$r3c3 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "5")})} {$r3c4 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "6")})} {$r4c1 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "4")})} {$r4c2 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "5")})} {$r4c3 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "6")})} {$r4c4 (CMPD $fraction {$numerator (ATOM $integer "1")} {$denominator (ATOM $integer "7")})})} {$multiplicand (MTRX $matrix [4 4] {$r1c1 (ATOM $integer "16")} {$r1c2 (ATOM $integer "-120")} {$r1c3 (ATOM $integer "240")} {$r1c4 (ATOM $integer "-140")} {$r2c1 (ATOM $integer "-120")} {$r2c2 (ATOM $integer "1200")} {$r2c3 (ATOM $integer "-2700")} {$r2c4 (ATOM $integer "1680")} {$r3c1 (ATOM $integer "240")} {$r3c2 (ATOM $integer "-2700")} {$r3c3 (ATOM $integer "6480")} {$r3c4 (ATOM $integer "-4200")} {$r4c1 (ATOM $integer "-140")} {$r4c2 (ATOM $integer "1680")} {$r4c3 (ATOM $integer "-4200")} {$r4c4 (ATOM $integer "2800")})}) MeddlePtSize20˜J–W16.4522 pt leading 28.1993 pt topLeading 28.1993 pt topIndent 12.2529 pt bottomLeading šž—˜—J–W16.4522 pt leading 28.1993 pt topLeading 28.1993 pt topIndent 12.2529 pt bottomLeading šžΝ˜Ν—šœ$˜$Mšœ6˜6Mšœ'˜'—Mšœ!˜!J˜J˜—…—βJ