We definitely should move this to SchurComplement and in fact make SchurComplement to be a LinSys descendant.