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)