Paolo Bientinesi

> Would it be possible to warn if we define replacements that lead to non determinism? This problem is much more complicated than it sounds, as it requires looking for...

In my experience with actual applications, the expression A B A^T is by far the one that shows up the most (together with A B^-1 A^T). One should distinguish two...

The D of an LDL' factorization is actually NOT diagonal. It is block-diagonal, with blocks of size 1x1 or 2x2. > An LDL factorization is like a Cholesky factorization, but...