Re: [petsc-dev] the complex dot business