[hgomersall]

I spent ages looking for a proof of the complex cases during my PhD. Most proofs of CG begin "assuming a real, positive definite matrix".

[dataflow]

Yeah, the complex case seems to get ignored in many areas. I'm guessing it's not particularly useful for many applications.