| 64 | TIMING_DEFINE_PRINT(ez_p_content) |
| 65 | |
| 66 | bool |
| 67 | terminationTest (const CanonicalForm& F, const CanonicalForm& G, |
| 68 | const CanonicalForm& coF, const CanonicalForm& coG, |
| 69 | const CanonicalForm& cand) |
| 70 | { |
| 71 | CanonicalForm LCCand= abs (LC (cand)); |
| 72 | if (LCCand*abs (LC (coF)) == abs (LC (F))) |
| 73 | { |
| 74 | if (LCCand*abs (LC (coG)) == abs (LC (G))) |
| 75 | { |
| 76 | if (abs (cand)*abs (coF) == abs (F)) |
| 77 | { |
| 78 | if (abs (cand)*abs (coG) == abs (G)) |
| 79 | return true; |
| 80 | } |
| 81 | return false; |
| 82 | } |
| 83 | return false; |
| 84 | } |
| 85 | return false; |
| 86 | } |
| 87 | |
| 88 | #if defined(HAVE_NTL)|| defined(HAVE_FLINT) |
| 89 | |