| 409 | |
| 410 | |
| 411 | void hRadical(scfmon rad, int *Nrad, int Nvar) |
| 412 | { |
| 413 | int nc = *Nrad, z = 0, i, j, k; |
| 414 | scmon n, o; |
| 415 | if (nc < 2) |
| 416 | return; |
| 417 | i = 0; |
| 418 | j = 1; |
| 419 | n = rad[j]; |
| 420 | o = rad[0]; |
| 421 | k = Nvar; |
| 422 | loop |
| 423 | { |
| 424 | if ((o[k]!=0) && (n[k]==0)) |
| 425 | { |
| 426 | loop |
| 427 | { |
| 428 | k--; |
| 429 | if (k==0) |
| 430 | { |
| 431 | rad[i] = NULL; |
| 432 | z++; |
| 433 | break; |
| 434 | } |
| 435 | else |
| 436 | { |
| 437 | if ((o[k]==0) && (n[k]!=0)) |
| 438 | break; |
| 439 | } |
| 440 | } |
| 441 | k = Nvar; |
| 442 | } |
| 443 | else if (!o[k] && n[k]) |
| 444 | { |
| 445 | loop |
| 446 | { |
| 447 | k--; |
| 448 | if (!k) |
| 449 | { |
| 450 | rad[j] = NULL; |
| 451 | z++; |
| 452 | break; |
| 453 | } |
| 454 | else |
| 455 | { |
| 456 | if (o[k] && !n[k]) |
| 457 | break; |
| 458 | } |
| 459 | } |
| 460 | k = Nvar; |
| 461 | } |
| 462 | else |
| 463 | { |
| 464 | k--; |
| 465 | if (!k) |
| 466 | { |
| 467 | rad[j] = NULL; |
| 468 | z++; |
no test coverage detected