Implemented linearity and relation testers