Re: [Axiom-mail] A question about Axiom capabilities

[u1204]

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