Function patch

factory/facSparseHensel.h:576–588

patch together @a F1 and @a F2 and normalize by a power of @a eval @a F1 and @a F2 are assumed to be bivariate with one variable having level 1

/// patch together @a F1 and @a F2 and normalize by a power of @a eval
/// @a F1 and @a F2 are assumed to be bivariate with one variable having level 1
inline
CanonicalForm patch (const CanonicalForm& F1, const CanonicalForm& F2,
                     const CanonicalForm& eval)
{
  CanonicalForm result= F1;
  if (F2.level() != 1 && !F2.inCoeffDomain())
  {
    int d= degree (F2);
    result *= power (F2.mvar(), d);
    result /= power (eval, d);
  }
  return result;
}

/// sparse heuristic lifting by Wang and Lucks
///