checked that axpy is OK