*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
!normal(sol_y - (3-a*b)/(a+b)).is_zero()) {
++result;
clog << "solution of the system " << eqns << " for " << vars
!normal(sol_y - (3-a*b)/(a+b)).is_zero()) {
++result;
clog << "solution of the system " << eqns << " for " << vars
(sol_y != numeric(-10,17))) {
++result;
clog << "solution of the system " << eqns << " for " << vars
(sol_y != numeric(-10,17))) {
++result;
clog << "solution of the system " << eqns << " for " << vars
(sol_y != numeric(-1,2))) {
++result;
clog << "solution of the system " << eqns << " for " << vars
(sol_y != numeric(-1,2))) {
++result;
clog << "solution of the system " << eqns << " for " << vars