Harold Thimbleby - http://www.uclic.ucl.ac.uk/harold
This file is the background for establishing some matrix identities for the calculator examples used in the papers.
In[26]:=
In[7]:=
In[15]:=
In[16]:=
= | ||||||
= | ||||||
= | ||||||
= | ||||||
= | ||||||
= | ||||||
= |
In[17]:=
In[22]:=
= | ||||||
= | ||||||
= | ||||||
= | ||||||
= |
The function howto finds the shortest products (with no more terms than maxTerms) that get to the goal. You can change limit to make it search further. Note that maxTerms refers to matrices, rather than button presses (e.g., mrcmrc is the product of two button presses).
In[23]:=
In[24]:=
In[25]:=
Converted by Mathematica (May 2, 2003)