Add example to Householder

[charmoniumQ]

[inducer]

Thanks! I think it might be clearer to show this matrix here:

also has a first row of [1, 0, 0, .., 0].

[SequesterHunchback]

I think that's true, but not necessary to find that first column of $H_1AH_1^T$, right?

[inducer]

I think that's true, but not necessary to find that first column of H 1 A H 1 T , right?

Correct.

[inducer]

Still not loving the presentation. For additional clarity, I think it'd be helpful to show that $H_1$'s first row and column agree with the identity, at both usage sites.

[charmoniumQ]

[inducer]

Thanks!