I’ve avoided proofs unless absolutely necessary, but the relation between the same eigenvector expressed in two different bases, is important.

Given that A_{S} is the linear transformation matrix in standard basis S, and A_{B} is its counterpart in basis B, we can write the relation between them as:

where C is the similarity transformation. We’ve seen this relation already; check here if you’ve forgotten about it.

Continue reading Matrix Theory: An essential proof for eigenvector computations →

**This was an old proof that was up on my old blog, but since I’m no longer posting to that, I’m reposting it here for posterity. Also, rewriting the equations in LaTeX, now that I have installed a plugin for that.**

I present a simple mathematical device to prove that tests improve our understanding of code. It does not really matter if this is code written by the test author himself or is legacy. To do this, some simplification of the situation is necessary.

Continue reading Tests increase our Knowledge of a System: A Probabilistic Proof →

## Programming / Drawing / Robots / Machine Learning