implement basic poly row unification