void test_solver_algebra(void);

int main(int argc, char * argv []) {
  test_solver_algebra();
}