#redirect elementary row operation