matrix times vector implemented