implex tableau: implement the pivot operation