Mike,
It would be possible to build a Domain (e.g. SymbolicMatrix) that
had elements which were symbolic, e.g. the symbol A from the Domain
would be considered an uninterpreted SymbolicMatrix. So you could
write something like:
(A*B)^-1
and get the result
B^1 * A^-1
Indeed, the SymbolicMatrix could be a matrix of symbols such as
A := [[a[1,1],a[1,2]],[a[2,1],a[2,2]]]
+- -+
| a a |
| 1,1 1,2 |
| |
| a a |
| 2,1 2,2 |
+- -+
but some operations would be only on an uninterpreted A matrix
and some operations would be applied elementwise.
The 'sum' question you sent could be handled in a similar way.
I will look at what this would take for equations 1-10 in the
cookbook you sent.
Tim Daly
_______________________________________________
Axiom-mail mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-mail
