Test algebraic constraints