| 354 | static CanonicalForm trycf_content ( const CanonicalForm & f, const CanonicalForm & g, const CanonicalForm & M, bool & fail ); |
| 355 | |
| 356 | static inline CanonicalForm |
| 357 | tryNewtonInterp (const CanonicalForm & alpha, const CanonicalForm & u, |
| 358 | const CanonicalForm & newtonPoly, const CanonicalForm & oldInterPoly, |
| 359 | const Variable & x, const CanonicalForm& M, bool& fail) |
| 360 | { |
| 361 | CanonicalForm interPoly; |
| 362 | |
| 363 | CanonicalForm inv; |
| 364 | tryInvert (newtonPoly (alpha, x), M, inv, fail); |
| 365 | if (fail) |
| 366 | return 0; |
| 367 | |
| 368 | interPoly= oldInterPoly+reduce ((u - oldInterPoly (alpha, x))*inv*newtonPoly, M); |
| 369 | return interPoly; |
| 370 | } |
| 371 | |
| 372 | static void leadDeg(const CanonicalForm & f, int degs[]) |
| 373 | { // leading degree vector w.r.t. lex. monomial order x(i+1) > x(i) |
no test coverage detected